How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean Y Combinator 2025-05-09 01:00 Comments
Coupling furfural oxidation for H2 production using silicon photoelectrodes Y Combinator 2025-05-09 00:26 Comments
Fui: C library for interacting with the framebuffer in a TTY context Y Combinator 2025-05-08 22:05 Comments
Writing an LLM from scratch, part 13 – attention heads are dumb Y Combinator 2025-05-08 21:06 Comments