ทวีตที่ปักหมุด
ishan
7.9K posts
ishan
@usrbinishan
20. gotta make it feel home (it's working). ♥️ IL-BLR-ISK-HYD-BLR-DXB-WA-IN- @hestabbedhim
purdueee เข้าร่วม Kasım 2018
2.3K กำลังติดตาม1.7K ผู้ติดตาม
@_alexkino @notadampaul @Jake_M_Wilson @Pacem_tw @smashdirt @ViralManager great analogy, please see this @notadampaul
English
@notadampaul @Jake_M_Wilson @Pacem_tw @smashdirt @ViralManager Both Newton's laws and NS describe their respective phenomena accurately in most domains.
Just because NS does not have an analytical solution for all scenarios does not make it unproven. Newton's laws describe the 3-body problem (1/2)
English
seeing shit like this makes me question reality
100 million particles of water behaving exactly like water. at what point do we just admit the simulation theory might be right
Jeremy White@jeremywhitefx
Hippo fluid scene pushed to 100M particles made with HydroFX. Foam, bubbles, and spray all simmed together in one system for a cohesive result, fully GPU accelerated. Meshed + extra sand interaction in Houdini, final lookdev/render in Blender. Get HydroFX storm-vfx.com
English
@notadampaul @Pacem_tw @smashdirt @ViralManager you can solve numerically without knowing the analytical equation. the equations we have for simulating water waves are going to be really good because they’re mostly based on simple classical newtonian physics which works well in these normal human regimes
English
@Pacem_tw @smashdirt @ViralManager the existence of the equations does not imply that water obeys them, lol
We would need to solve them and demonstrate empirically that they indeed describe the motion of water. That has not been done. You are presuming the conclusion and making the canonical map/territory error
English
@oldestasian looks like it could poke through ig that’s kinda unavoidable?
English
this is a fantastic video on conformal transforms, and I highly recommend you watch the entire thing. but if you're really time strapped, I've compressed the key details into ~30s for you
Grant Sanderson@3blue1brown
This video was a complete joy to make. Here's a short preview, but next time you're looking to sit down for 45 minutes of math and art, take a look at the full version on YouTube.
English
ishan รีทวีตแล้ว
draggable stickers on a website for an event @purduehackers is hosting
the stickers share data across clients so when someone moves a sticker, it moves on your screen too :3
English
At some point I plan to blog about the fun in-house HDL stuff we're doing. My favorite feature we've got is that "print" works on real hardware by producing debugging wires, then you can decode it and get identical-to-simulation printing, including cycle by cycle line numbers.
English
@JarlsberoMan @xsphi @lossfunk implementation is significant part of overall reasoning. kinda makes sense that this is tough
English
🚨 Shocking: Frontier LLMs score 85-95% on standard coding benchmarks. We gave them equivalent problems in languages they couldn't have memorized. They collapsed to 0-11%.
Presenting EsoLang-Bench.
Accepted to the Logical Reasoning and ICBINB workshops at ICLR 2026 🧵
English
@KuviacM @bouguereau_stan @Speido0815 @jyzg i mean negative numbers are also defined things existing to make other things work
English
@bouguereau_stan @Speido0815 @jyzg I mean yeah, but I don't regularly interface with this stuff, so whenever I do, it's always somehow awesome to me
I didn't know what d was. Now I know. It's sort of like i, but for computers, a defined thing that exists to make other things work
English
minor improvement to my IsEven algorithm,
small but still confusing
English
@AliQTweets @fermatslibrary even if it did converge nicely, this is no better than just checking if the denominator is an integer. on a computer depending on the representation format this is probably easy. most numbers on computers are represented as rationals since space is fixed (can’t actually store pi)
English
@usrbinishan @fermatslibrary Thanks. I was thinking if it converges nicely to 0 or 1, you can cut the infinite process short at some point and deduce whether it's heading to 0 or 1. But, by the sounds, it doesn't converge nicely.
English
@AliQTweets @fermatslibrary unfortunately not. for rationals it will abruptly jump to 1.
English
@fermatslibrary seems like it’s important for m and n to be integers idk what the notation is for limits specifically on integers. people usually just define a series and then let n go to inf.
English
@AliQTweets @fermatslibrary if you think about how this test is working, the m! going to inf is adding all possible factors for the denominator to cancel out with. on a computer this is this the same as checking whether each number cancels out the denominator. also computers can’t store numbers exactly.
English
@AliQTweets @fermatslibrary no. computers can’t do infinite limits and this test only really works if you do actually let both variables go to infinity
English
機能を保ったまま生きた脳組織の透明化を実現した論文がNature Methods誌に掲載されました。
2013年に固定組織の透明化法を発表した当初、「いつか生きたまま透明にできますか？」という質問を幾度となくされて、常にNoと答えていたのですが、ついに実現しました！
nature.com/articles/s4159…
Takeshi Imai@TakeshiImaiLab
Our live tissue clearing paper is out in @naturemethods! We achieved optical clearing of mammalian brain tissues without compromising normal neuronal function. Big congrats to @Shigenori774 and our wonderful collaborators! 🎉 nature.com/articles/s4159… (1/10)
日本語
But why do we need to look at ugly linear one-line notation? Maybe useful if we'll copy-paste it into a program. But why not show it as a more ordinary textbook form? ... So I built `math2d`.
$ integral '1/(1-x^3)' | math2d
English
The UNIX "philosophy" stopped at "basic text utilities" instead of "pipelines with text as I/O". Like why doesn't Linux/Mac come with anything interesting? sed, awk, grep, "TUIs", yawn... I want cooler stuff. Like an integrator. So I built `integral`.
$ integral '1/(1-x^3)'
English
Some caveats:
We can't trace the actual motor neurons because the body was not scanned. However we do know what the brain does when it wants to move in certain ways and that's what we connected to the NeuroMechFly. This is a real limitation of the FlyWire connectome, which is why we plan to scan both the brain and the body.
Another limitation is that we're using Leaky Integrate-and-Fire, which doesn't have any kind of plasticity rules. This fly cannot form long-term memories atm.
English
We've uploaded a fruit fly. We took the @FlyWireNews connectome of the fruit fly brain, applied a simple neuron model (@Philip_Shiu Nature 2024) and used it to control a MuJoCo physics-simulated body, closing the loop from neural activation to action.
A few things I want to say about what this means and where we're going at @eonsys. 🧵
English
@camarraluca at the risk of sounding dumb. I’ve found it helps me to explicitly write the sign of each number/variable, so it might be easier to reason that +x+4 is same as +4+x . I think “hiding” signs saves up space on the blackboard, but adds a layer of uncertainty/indirection.
English
Was working on limits and continuity with a student this weekend. It's her second time taking Calculus 1.
She knew her limit rules and techniques, factoring and rearranging the expression appropriately.
Then she got to the very last step...
Luca Camarra@camarraluca
Every hour I spend tutoring radicalizes me further. Has nothing to do with the kids not being "smart" enough. They're being systematically set up to fail by a machine that prioritizes curriculum speed and pass rates over comprehension.
English
@HarksenNiels @DJSnM in 3D you have two extra directions to have neighbors in, meaning that you may hit criticality sooner. your mass calculations won’t be right. this is just one difference i can think of rn
English
@DJSnM Is 2D really a good argument ? Couldn't you simply make a very long bomb so that 2D is accurate enough?
English
Apparently Nuclear Design Bureau is being blocked from released by the U.S. Department of Commerce who think it could violate export control laws.
The physics in the sim are intentionally wrong because it's only 2D. It's comparable to PowderToy but with missions and challenges.
English
English
mathematical symbols are just "over-compressed, non-runnable" spaghetti code. the biggest failure of education is teaching these esoterics without explaining that an integral is basically just a for loop with an accumulator. when optimizing diffusion in sglang, my favorite part is taking those "spoopy" paper formulas and pruning them into 5 lines of high-perf Triton kernels. code isn't a translation of discrete math; code is how math was meant to be read.
vx-underground@vxunderground
> be me > can't math at all > suffered in math in school > mathematical dyslexia > weird symbols scare me > can program though > self taught c programmer > been programming for like, 20 years > see spoopy calculus thingy > ask ai thingy > "can translate calculus to c?" > ai thingy responds > "programming just discrete mathematics lol r u dumb? of course" > shows me calculus thingy translated to C > makes literally perfect sense > look inside > calculus, discrete mathematics, algebra > all make perfect sense Wtf why did the public school system make math seem so crazy
English