smj-edison

7 ms·

31.
by smj-edison 3mo ago
Interesting to see it mention quantum chemistry, could anyone familiar with the field chimu in on whether it is viable to get accurate bond energies? It mentions Hartree-Fock, but I thought that that wasn't accurate enough to find tran
32.
by smj-edison 3mo ago
> you can use their LLM to trivially clone their software. Perhaps, but what you can't clone is familiarity, polish, integration, and network effects. These companies desperately need a moat, and so for example all the new additions
33.
by smj-edison 3mo ago
Dynamicland hasn't published any of their code, while folk computer priorizes being open source. So yes, a lot of the ideas come from Dynamicland, but there's the important detail that you can actually use folk computer.
34.
by smj-edison 3mo ago
Yes and no. If we could "just" run full QM, there's still the issue of building abstractions regarding the emergent behavior. A full system is still useless if you can't describe things like ligands, carbon rings, etc. S
35.
by smj-edison 3mo ago
Thank you for the kind words! I've been wanting to do this research precisely because of firsthand experience with how hard chronic illness can be, and I'm hoping to attack it with a systems approach. I haven't seen that webs
36.
by smj-edison 3mo ago
Disclaimer: I'm only a freshman, so there's still a ton I don't know :) Right now the lab is having me get comfortable using software like Gaussian and ORCA by simulating a bifurcating reaction. This is a reaction that, depen
37.
by smj-edison 3mo ago
I'm only a freshman, so I don't feel very qualified to comment on that :) I hope so though!
38.
by smj-edison 3mo ago
And also emergent behavior means that at each level, we need different abstractions to deal with the problem. Even with chemistry, there's ideas like benzene rings that are aromatic, that you couldn't predict that from particle-pa
39.
by smj-edison 3mo ago
Depends what level of accuracy you want. I just started in a computational chemistry lab so I'll probably get some details wrong, but for small systems, you can use a method called CCSD(T) for up to ~20 atoms, but it scales O(N^7). I&#
40.
by smj-edison 3mo ago
Have you looked at Metamath Zero[1] before? You mentioned using sorts which is what reminded me of it. Just thought I'd point to some additional interesting work :) [1] https://github.com/digama0/mm0
41.
by smj-edison 4mo ago
The one plus I'll give reference counting is it still takes the cake for interoperability with C. Which is only important if you need good interoperability, but when you do, tracing GCs don't play nice.
42.
by smj-edison 4mo ago
Gilad Bracha wrote a fascinating piece on how tail call optimization could be implemented with periodic collection instead of immediately reusing the call frame, it's a fascinating piece: https://gbracha.blogspot.com/20
43.
by smj-edison 4mo ago
I use Zig, which has slices, so so far none. But man, it can't get ref counting right to save its life. There have been remarkably few times it's gotten it right on the first try. My codebase considers OOM recoverable, so it keeps
44.
by smj-edison 4mo ago
I feel like chemistry is one thing that current models will struggle with for the next while, because it's inherently 3D. In the micro world, shape = function. Maybe enough textual patterns will let it under chemistry, but like how do
45.
by smj-edison 4mo ago
> Overloadable operators are not an instance of hidden control flow. In general perhaps not, but in Zig it definitely does. Zig considers calling a function to change control flow, because it's no longer just an operator but somethi
46.
by smj-edison 4mo ago
At first I was going to say that I disagreed since you couldn't choose what implementation of addition you wanted, but now that I've read your comment where you import the type of addition used, it's growing on me. Would you
47.
by smj-edison 4mo ago
I didn't realize compile time reflection was back on track, that's really exciting!
48.
by smj-edison 4mo ago
Andrew talks about it because it introduces hidden control flow where you're expecting simple operators. In Zig anything that deals with control flow is a keyword (including short circuiting and, which is `and` instead of `&&`)
49.
by smj-edison 4mo ago
That's the other great thing about using comptime, is you can specify which DSL you want to use for which scenario. You're not locked into one implementation.
50.
by smj-edison 4mo ago
I've been thinking about a way around this, and I'd be interested to see if comptime with a DSL wouldn't be too unwieldy. Something like math("(v + Ω * c) * Δt", .{ .v = physics_data.velocity, .@"Ω" =
51.
by smj-edison 4mo ago
It sounds like they're interested in the concept though, just not that specific implementation.
52.
by smj-edison 4mo ago
Yeah, I think that's closer to what I'm looking for. I'm actually looking into scaling up chemical simulation, so hopefully simulating it is feasible in the near future!
53.
by smj-edison 4mo ago
This has been my experience. After not getting answers for a long time from conventional doctors, I went to a naturopath out of desperation. I was diagnosed with "mold toxicity", and took a bunch of supplements to boost all the lo
54.
by smj-edison 4mo ago
I've heard things hypothesized to be either differences in hormone levels, or the one that's more fascinating to me is it could be because an issue came up with suppressing the second X chromezone.
55.
by smj-edison 4mo ago
Source? Never heard of this before.
56.
by smj-edison 4mo ago
Thanks for the link! I looked over it, but I'm not seeing quantitative levels of reactions. That's been my biggest issue with current pathway databases. It's great to know what's connected to what, but very quickly it be
57.
by smj-edison 4mo ago
Maybe a bit of a strange take, but after having dealt with chronic illness personally and talked with a lot of others with chronic illness, I don't think classifying chronic illness by symptoms will help with curing, and in fact I don&
58.
by smj-edison 5mo ago
Oh, is it not a specific keyword? I thought they were thinking of it being a keyword so you could be sure that it was restricted, in case a variable or function was exported that took in a foreign pointer.
59.
by smj-edison 5mo ago
I can tell you a bit about my own experience, as I've I used Rust for two years, but have now transitioned to Zig. I started working on a modular synthesis engine, and I realized that Javascript wouldn't give me the granular contr
60.
by smj-edison 5mo ago
I believe their plan is using "restricted function pointers", where you can specify that a pointer will only ever be to a function defined in the codebase. I'm pretty sure they also have plans for devirtualization, but I have

More ›