Viewing profile — smj-edison

How so? Never heard this perspective. Is it substantially more than reflection?

Wow, it's incredible how far civil engineering has come in the past 600 years. To think that we used to have bridges collapse all the time, and buildings crack and collapse, and no…

Most math does proofs somewhat informally (as in the proofs are written in a conversational style, and they're considered valid when they convince the majority of mathemeticians), …

Not familiar with the idea of "zapped", and I thought that Rust had a similar provenance model? Working with pointers in Zig is much nicer, since 1. They're not nullable. If you wa…

> but your software is almost certainly not an operating system kernel. In general yes, but right now I'm contributing to folk.computer, which is a multithreaded task scheduler/cen…

Interesting, this is pretty cool! I'm guessing it doesn't work with pointer to int casts though? I'm using NaN packing, so I necessarily have to cast it to an integer. EDIT: though…

There's some interesting work going on with this with Metamath Zero[0], where he's working on verifying everything down to the compiler, to make sure the compiler always emits corr…

Rust allows you to use a literal iirc like r#raw, which helps with migration. This isn't too different from Zig's @"var" for example, which I'm glad modern languages have an escape…

Interesting. I stopped working with Rust about two years ago, so it looks like there's been a lot more polish in these areas.

I think this crate description encapsulates what's difficult about unsafe rust, which is how unergonomic pointers are. Like why do I need to use `addr_of_mut!`? I'm sure there's a …

Thank you! I've seen the latter two mentioned in the past, but I never got very far into the books before getting confused with all the moving pieces. I think now that I've worked …

Yeah, probably not. I wouldn't mind fuzzing it with Zig-Fil, but the interpreter (Zicl) is embedded in a larger C project that uses a lot of dynamic linking, so chances of using it…

Depends how you interpret it tbh. At least in my tradition the focus is on seeing the good, bad, and ugly of history. There's many bible stories that are more cautionary tales than…

This is perhaps a different take, but one reason I love Zig and C is because I've learned how to reason in pointers. I've worked with Rust in the past on a ~12,000 LOC side project…

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 …

> 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 n…

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 …

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 t…

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…

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 bifurca…

I'm only a freshman, so I don't feel very qualified to comment on that :) I hope so though!

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 aromati…

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…

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://git…