smj-edison

7 ms·

1.
by smj-edison 5d ago
> while human math capability will not. I actually partially disagree with this. What happened to all the excitement about Intelligence Augmentation (IA)? Now it's AI instead of IA. I think there's so much untapped potential fo
2.
by smj-edison 17d ago
How do you even measure those? Will that show up under something like VTune?
3.
by smj-edison 20d ago
TIL that agile has its own words for everything.
4.
by smj-edison 20d ago
Yeah, I once asked it to review its own writing with a subagent with a pretty strict writing guide, and it didn't see anything wrong, lol.
5.
by smj-edison 20d ago
I like to imagine that there's this one employee that oversees RHLF, who has a particular style of writing, and that got so ingrained that it's just them x1000.
6.
by smj-edison 22d ago
Tbh those sound more like Mast Cell Activation Syndrome (MCAS) symptoms...
7.
'Social' Mitochondria, Whispering Between Cells, Influence Health (2021)(quantamagazine.org)
3 points by smj-edison 1mo ago|0 comments
8.
by smj-edison 1mo ago
I also find them bad at what I call "abstraction compression." They're really bad at noticing when a helper function is needed, when some structure they repeated five times slightly differently can become a struct, when a who
9.
by smj-edison 1mo ago
That's the smoking gun
10.
by smj-edison 1mo ago
So is it the LLM or us that's getting the RLHF? /s
11.
by smj-edison 1mo ago
I did this too, but it usually thinks its writing is fine in my experience. Even when spawning a subagent, it thinks its effusive comments are fine. It's driving me nuts. Before I commit I end up ripping out 90% of the comments, and re
12.
by smj-edison 1mo ago
I just can't get it to stop writing two paragraphs every time it makes a small ownership bugfix in my code. Every time it has to explain in excruciating detail every internal thought it had while fixing it. I find myself going in after
13.
by smj-edison 1mo ago
Now that you mention the original meaning of cybernetics, it makes cybersecurity a way more interesting word (security relating to the interface between humans and technology). Never thought of it that precisely.
14.
by smj-edison 1mo ago
How so? Never heard this perspective. Is it substantially more than reflection?
15.
by smj-edison 2mo ago
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 now we have buildings that can withstand a whole earthqua
16.
by smj-edison 2mo ago
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), but those proofs can be traced back to ZFC (a specific
17.
by smj-edison 2mo ago
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 want a nullable pointer, you would use `?*Objec
18.
by smj-edison 2mo ago
> 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/central DB (among other things not relevant to the
19.
by smj-edison 2mo ago
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 I'm considering switching to a tag + 64
20.
by smj-edison 2mo ago
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 correct code. His language, Metamath C, also allows fo
21.
by smj-edison 2mo ago
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 hatch for naming things that don&#
22.
by smj-edison 2mo ago
Interesting. I stopped working with Rust about two years ago, so it looks like there's been a lot more polish in these areas.
23.
by smj-edison 2mo ago
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 good reason, as Rust tends to think these pro
24.
by smj-edison 2mo ago
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 a lot in languages that put structs and pointers i
25.
by smj-edison 2mo ago
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 in production is pretty much zero. I do have a lot of
26.
by smj-edison 2mo ago
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 role models. Now to be fair, there's also example
27.
by smj-edison 2mo ago
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, so I was all in with tree ownership and XOR muta
28.
by smj-edison 2mo 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
29.
by smj-edison 2mo 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
30.
by smj-edison 2mo 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.

More ›