adamnemecek

4 ms·

31.
by adamnemecek 4mo ago
> For years, AI researchers have used math as a proving ground for their models. For years?
32.
Codexia: "IDE" for Codex and Claude Code(github.com)
2 points by adamnemecek 4mo ago|0 comments
33.
by adamnemecek 5mo ago
I feel like it's harder to hide malicious stuff in Rust build scripts.
34.
Building ML framework with Rust and Category Theory(hghalebi.github.io)
102 points by adamnemecek 5mo ago|21 comments
35.
by adamnemecek 5mo ago
Autodiff is preventing any meaningful discussion about safety, systems trained with autodiff cannot be made safe.
36.
by adamnemecek 5mo ago
Here's the repo link https://github.com/NVlabs/cuda-oxide
37.
CUDA-oxide: Nvidia's official Rust to CUDA compiler(nvlabs.github.io)
424 points by adamnemecek 5mo ago|118 comments
38.
by adamnemecek 5mo ago
This is exactly how the open sourcing of Swift went so I imagine it will be the same.
39.
by adamnemecek 5mo ago
+1 for Typst being amazing. I can actually like write my own functions when I need to. I don't think I have ever written a LaTeX macro without having to look up a lot of stuff.
40.
by adamnemecek 5mo ago
That's like saying that Ted Kaczynski was innocent, because he didn't force anyone to open the packages.
41.
by adamnemecek 5mo ago
They are back because modern languages (Rust, Go) have made it pretty straight forward to build them. Ratatui and such allow you to write a TUI really quickly without needing to deal with VT100 arcana.
42.
by adamnemecek 5mo ago
I think that you send the entire conversation with every request.
43.
Taming Symmetry: A Dive into Lie Groups with Python (2025)(patricknicolas.substack.com)
1 points by adamnemecek 5mo ago|0 comments
44.
by adamnemecek 6mo ago
It really doesn't, Rust is a better language.
45.
Rust should have stable tail calls(trifectatech.org)
8 points by adamnemecek 6mo ago|1 comments
46.
by adamnemecek 6mo ago
It makes complete sense to polish that usecase.
47.
by adamnemecek 6mo ago
This blog post is less than excellent. In fact it's a bit of a shit.
48.
Eviscerated by Rust: Overcoming C++'s 58x Standard Library Handicap(lucisqr.substack.com)
1 points by adamnemecek 6mo ago|0 comments
49.
by adamnemecek 6mo ago
Neither did Steve Jobs and no one cared.
50.
by adamnemecek 6mo ago
What do people use for Windows-like window management on macos? I tried a bunch of them and I'm not a fan of any of them. I actively dislike the notion of spaces.
51.
by adamnemecek 6mo ago
Wow, fresh take. Not.
52.
by adamnemecek 7mo ago
Good call, ArXiv seems like one of the most important institutions out there right now.
53.
Apiark: Open-Source Postman Alternative(github.com)
3 points by adamnemecek 7mo ago|0 comments
54.
by adamnemecek 7mo ago
Who could have predicted that a guy who has no experience developing superintelligence will fail at developing superintelligence.
55.
by adamnemecek 7mo ago
Gradually develop an OS that is not just an Android fork, but a full blown OS people can contribute to. And of course write it in Rust, like the problems with Java are so apparent in Android.
56.
by adamnemecek 7mo ago
Robots or drones with ground penetrating radar?
57.
by adamnemecek 7mo ago
This feels like a perfect use case for AI.
58.
by adamnemecek 7mo ago
It might be a good idea to look into the research on streams as coalgebras, there is quite a bit, for example here https://cs.ru.nl/~jrot/CTC20/ . Coalgebras might seem too academic but so were monads at some point
59.
Woxi: Wolfram Mathematica Reimplementation in Rust(github.com)
350 points by adamnemecek 8mo ago|137 comments
60.
by adamnemecek 8mo ago
Did consider that your view might be skewed because you work in a CRUD app?

More ›