| 1. | | How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (kirancodes.me) |
|
75 points by gopiandcode 3 days ago | 15 comments
|
|
| 2. | | Email Forwarding for Your Domain (mailwip.com) |
|
58 points by codazoda 2 days ago | 43 comments
|
|
| 3. | | Void: Open-source Cursor alternative (github.com/voideditor) |
|
917 points by sharjeelsayed 4 days ago | 342 comments
|
|
| 4. | | Show HN: Real-time AI Voice Chat at ~500ms Latency (github.com/koljab) |
|
517 points by koljab 7 days ago | 226 comments
|
|
| 5. | | Algebraic Semantics for Machine Knitting (uwplse.org) |
|
246 points by PaulHoule 20 days ago | 20 comments
|
|
| 6. | | An intro to DeepSeek's distributed file system (maknee.github.io) |
|
623 points by sebg 25 days ago | 108 comments
|
|
| 7. | | Spreadsheets are all you need (spreadsheets-are-all-you-need.ai) |
|
1493 points by evanmays on March 14, 2024 | 164 comments
|
|
| 8. | | Csvlens: Command line CSV file viewer. Like less but made for CSV (github.com/ys-l) |
|
393 points by ingve on Jan 6, 2024 | 82 comments
|
|
| 9. | | LLM Visualization (bbycroft.net) |
|
972 points by jonbaer on Dec 3, 2023 | 1 comment
|
|
| 10. | | What are Transformer Models and how do they work? [video] (youtube.com) |
|
83 points by luis_likes_math on Nov 6, 2023 | 3 comments
|
|
| 11. | | How to Build Your Own AI-Generated Images with ControlNet and Stable Diffusion (datature.io) |
|
191 points by gkeechin on Oct 23, 2023 | 68 comments
|
|
| 12. | | Autogen: Enable next-gen large language model applications (github.com/microsoft) |
|
163 points by infruset on Oct 18, 2023 | 54 comments
|
|
| 13. | | Llemma: An Open Language Model for Mathematics (arxiv.org) |
|
267 points by AlphaWeaver on Oct 17, 2023 | 46 comments
|
|
| 14. | | MemGPT – LLMs with self-editing memory for unbounded context (github.com/cpacker) |
|
363 points by shishirpatil on Oct 16, 2023 | 85 comments
|
|
| 15. | | The deep link equating math proofs and computer programs (quantamagazine.org) |
|
249 points by digital55 on Oct 11, 2023 | 162 comments
|
|
| 16. | | Decomposing language models into understandable components (anthropic.com) |
|
445 points by tompark on Oct 8, 2023 | 62 comments
|
|
| 17. | | Divan: Fast and Simple Benchmarking for Rust (nikolaivazquez.com) |
|
123 points by nvzqz on Oct 5, 2023 | 11 comments
|
|
| 18. | | Efficient streaming language models with attention sinks (github.com/mit-han-lab) |
|
421 points by guywithabowtie on Oct 2, 2023 | 65 comments
|
|
| 19. | | What every software developer must know about Unicode in 2023 (tonsky.me) |
|
989 points by mrzool on Oct 2, 2023 | 555 comments
|
|
| 20. | | Adding runtime benchmarks to the Rust compiler benchmark suite (kobzol.github.io) |
|
120 points by lukastyrychtr on Sept 30, 2023 | 28 comments
|
|
| 21. | | Performance Evaluation of Rust Asynchronous Frameworks (2022) (zenoh.io) |
|
44 points by Scramblejams on Sept 29, 2023 | 3 comments
|
|
| 22. | | Dictionary of Algorithms and Data Structures (nist.gov) |
|
409 points by gballan on Sept 28, 2023 | 42 comments
|
|
| 23. | | Croc: Easily and securely send things from one computer to another (github.com/schollz) |
|
300 points by tentacleuno on Sept 22, 2023 | 141 comments
|
|
| 24. | | Provably safe systems: the only path to controllable AGI (arxiv.org) |
|
45 points by antonkar on Sept 22, 2023 | 64 comments
|
|
| 25. | | I made a transformer to predict a simple sequence manually (vgel.me) |
|
360 points by lukastyrychtr on Sept 22, 2023 | 94 comments
|
|
| 26. | | TinyML and Efficient Deep Learning Computing (efficientml.ai) |
|
239 points by samuel246 on Sept 23, 2023 | 37 comments
|
|
| 27. | | Corrosion: Gossip-based service discovery for large distributed systems (github.com/superfly) |
|
32 points by logic on Sept 21, 2023 | 1 comment
|
|
| 28. | | Lean, Coq and other proof assistants: Visualising proofs as trees (brick.do) |
|
158 points by lakesare on Sept 20, 2023 | 28 comments
|
|
| 29. | | Changing the Rules of Rust (without.boats) |
|
190 points by kevincox on Sept 17, 2023 | 127 comments
|
|
| 30. | | Text classifiers are an underrated application of LLMs (kasperjunge.com) |
|
94 points by juunge on Sept 15, 2023 | 34 comments
|
|
|
|
More |
