| 1. | | Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net) |
| 117 points by SchwKatze 11 days ago | 29 comments |
|
| 2. | | Intellect-3: A 100B+ MoE trained with large-scale RL (primeintellect.ai) |
| 2 points by meetpateltech 10 days ago | 1 comment |
|
| 3. | | Imgui-react-runtime: natively compiled apps with React+JavaScript+Dear ImGui (github.com/tmikov) |
| 3 points by tmikov 28 days ago | 1 comment |
|
| 4. | | Hard Rust requirements from May onward (debian.org) |
| 400 points by rkta 36 days ago | 755 comments |
|
| 5. | | Basic income support for artists made permanent and opened to new entrants (irishtimes.com) |
| 2 points by bookofjoe 45 days ago | 2 comments |
|
| 6. | | Sites Using PQC (netmeister.org) |
| 4 points by 8organicbits 79 days ago |
|
| 7. | | The use of LLM assistants for kernel development (lwn.net) |
| 88 points by Bogdanp 3 months ago | 44 comments |
|
| 8. | | Show HN: I built a toy TPU that can do inference and training on the XOR problem (tinytpu.com) |
| 134 points by evxxan 3 months ago | 24 comments |
|
| 9. | | Show HN: Terminal-Bench-RL: Training long-horizon terminal agents with RL (github.com/danau5tin) |
| 125 points by Danau5tin 4 months ago | 12 comments |
|
| 10. | | Google DeepMind Formal Conjectures (google-deepmind.github.io) |
| 2 points by pmaddams 4 months ago |
|
| 11. | | The current hype around autonomous agents, and what actually works in production (utkarshkanwat.com) |
| 427 points by Dachande663 4 months ago | 257 comments |
|
| 12. | | Encrypting files with passkeys and age (filippo.io) |
| 131 points by Bogdanp 4 months ago | 2 comments |
|
| 13. | | Show HN: Still coding in VC++ 6.0 after losing everything, living in a trailer |
| 17 points by CodeAndExile 5 months ago | 15 comments |
|
| 14. | | Asana warns MCP AI feature exposed customer data to other orgs (bleepingcomputer.com) |
| 5 points by mooreds 5 months ago |
|
| 15. | | US Housing Market Has ~500k More Sellers Than Buyers, Most on Record (redfin.com) |
| 8 points by toomuchtodo 6 months ago | 4 comments |
|
| 16. | | AI Hallucination Legal Cases Database (damiencharlotin.com) |
| 86 points by Tomte 6 months ago | 46 comments |
|
| 17. | | Flattening Rust’s learning curve (corrode.dev) |
| 460 points by birdculture 6 months ago | 398 comments |
|
| 18. | | Continuous Thought Machines (sakana.ai) |
| 315 points by hardmaru 7 months ago | 36 comments |
|
| 19. | | Rust’s dependencies are starting to worry me (vincents.dev) |
| 424 points by chaosprint 7 months ago | 570 comments |
|
| 20. | | LLMs for Engineering: Teaching Models to Design High Powered Rockets (arxiv.org) |
| 124 points by tamassimond 7 months ago | 45 comments |
|
| 21. | | Manhattan penthouse hits the market for $110M (6sqft.com) |
| 6 points by geox 7 months ago |
|
| 22. | | CubeCL: GPU Kernels in Rust for CUDA, ROCm, and WGPU (github.com/tracel-ai) |
| 210 points by ashvardanian 7 months ago | 41 comments |
|
| 23. | | Amateurs Solve a Famous Computer Science Problem on Discord [video] (youtube.com) |
| 1 point by guiambros 7 months ago |
|
| 24. | | Show HN: A static file server in 1.5MB – no Node, no Python, no install (github.com/trikko) |
| 6 points by trikko 7 months ago | 3 comments |
|
| 25. | | Show HN: Onit – Source-available ChatGPT Desktop with local mode, Claude, Gemini (github.com/synth-inc) |
| 174 points by telenardo 10 months ago | 58 comments |
|
| 26. | | Static search trees: faster than binary search (curiouscoding.nl) |
| 656 points by atombender 11 months ago | 232 comments |
|
| 27. | | Ask HN: Getting around the hour-long design interview |
| 4 points by ahicks 11 months ago |
|
| 28. | | Bayesian Neural Networks (toronto.edu) |
| 259 points by reqo on Nov 18, 2024 | 54 comments |
|
| 29. | | A high-performance, zero-overhead, extensible Python compiler using LLVM (github.com/exaloop) |
| 241 points by wspeirs on Sept 18, 2024 | 93 comments |
|
| 30. | | Tips for reading ArXiv papers in mathematics (mathoverflow.net) |
| 2 points by paulpauper on July 20, 2024 |
|
|
| More |
