টুইট

আপনি @taktoa1-কে ব্লক করেছেন

আপনি কি এই টুইটগুলি দেখতে চাওয়ার বিষয়ে নিশ্চিত? টুইটগুলি দেখা হলে @taktoa1 অবরোধ মুক্ত হবে না।

  1. পিন করা টুইট
    ১১ এপ্রিল, ২০১৭

    If you have a criticism of the way I conduct my life, feel free to leave polite feedback here:

    পূর্বাবস্থায়
  2. ১৫ জুলাই
    পূর্বাবস্থায়
  3. ১৪ জুলাই

    Looks like I might be able to do this if I can figure out the right QUIP incantations

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  4. ১৩ জুলাই

    Also, I just packaged it for Nix, though the package is not really ready for inclusion in nixpkgs:

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  5. ১৩ জুলাই

    ArrayFire is pretty nice for writing numeric code that can easily be switched to use OpenCL / CUDA, and it has well-supported Rust bindings.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  6. ১১ জুলাই

    oops, this is the one for maximizing speed / stability for a given Re, that one is for maximizing speed / accuracy:

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  7. ১১ জুলাই

    You know a book is good when it has flowcharts like this one (for choosing a collision operator that maximizes speed and stability for a given Reynold's number):

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  8. ১১ জুলাই

    Not surprising, but worth keeping in mind: even if you use an accurate discretization for the bulk volume of your CFD problem, if the boundary condition discretization has low accuracy, the accuracy of the solution will be degraded everywhere.

    পূর্বাবস্থায়
  9. ১০ জুলাই

    In elementary school, I loved "The Way Things Work" book. Took it out of the library and renewed it every time. When I graduated from 5th grade, the librarian told me I should just keep it.

    পূর্বাবস্থায়
  10. ৭ জুলাই

    reading about all this CFD and simulation and cheminformatics stuff is weirdly relaxing on my vacation. maybe because the stakes for not understanding something feel so low (i.e.: I'm just dabbling).

    পূর্বাবস্থায়
  11. ৬ জুলাই

    I've been looking for a good resource on the Lattice Boltzmann method for a while and it looks like is just the ticket!

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  12. ১ জুলাই

    Anyone know of existing software for inferring (gas phase) chemical kinetics data (especially reaction mechanisms) by running an ab initio molecular dynamics simulation? I don't need support for very complicated molecules, and I don't need much accuracy (30% tolerance is fine).

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  13. ২৯ জুন

    like you'd design your own 2D reaction vessels (ala Falling Sand games) and then it'd run a CFD / chemical kinetics simulation until steady state. in newb mode it'd show you the composition of everything but hard mode would require you to do NMR or mass spectrometry.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  14. ২৯ জুন

    currently nerdsniping myself with thoughts of making a "realistic" chemical engineering and resource harvesting mod for minecraft or minetest.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  15. পুনঃ টুইট করেছেন
    ২১ জুন

    "Generalized data structure synthesis" Loncaric et al., ICSE'18 You know that tricky data structure at the core of your system? Cozy can generate an efficient and correct implementation for you.

    পূর্বাবস্থায়
  16. ১৬ জুন

    I wrote up a more complete description of the problem and various proposed solutions on StackOverflow:

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  17. ১৬ জুন

    One thing that smells about that TotalSubstitution type is that you'd hope that you could use `TotalSubstitution node var Void` as a type of ground substitutions, but then you'd need a function `var -> Void`, which obviously does not exist.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  18. ১৬ জুন

    Anyone know of a category whose objects are the disjoint union of all the sets of terms open in a given variable type/set, and whose morphisms are potentially variable-type-changing substitutions? The TotalSubstitution type below is close, but I can't figure out composition.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  19. ১৫ জুন

    I have visual snow syndrome, and I just performed an interesting experiment: closed eyes, focus on part of snow field, focus on another part of snow field. If my eyes move (physically) relative to the field, it's probably in my brain, not my eyes. They moved.

    পূর্বাবস্থায়
  20. ২ জুন

    It is fairly well-known that higher-order unification is undecidable (but semidecidable via Huet's algorithm), but I never knew that higher-order matching is actually decidable! If the time/space usage is reasonable in practice, this could be quite useful.

    পূর্বাবস্থায়
  21. ৩০ মে

    "you know, I've been hearing a lot about ∞-wars and ∞-stones, but I have yet to see a single text describing the theory of (n, r)-wars and (n, r)-stones for finite n and r"

    পূর্বাবস্থায়

লোড হতে বেশ কিছুক্ষণ সময় নিচ্ছে।

টুইটার তার ক্ষমতার বাইরে চলে গেছে বা কোনো সাময়িক সমস্যার সম্মুখীন হয়েছে আবার চেষ্টা করুন বা আরও তথ্যের জন্য টুইটারের স্থিতি দেখুন।

    আপনিও পছন্দ করতে পারেন

    ·