| 1. | | Verified dynamic programming with Σ-types in Lean (tannerduve.github.io) |
| 86 points by rck 6 months ago | past | 43 comments |
|
| 2. | | It's Not What You Think: LLMs Like Obvious Answers (lemmata.substack.com) |
| 3 points by rck 7 months ago | past |
|
| 3. | | Functional Programming and Theorem Proving in Lean 4 (stanford.edu) |
| 6 points by rck 7 months ago | past |
|
| 4. | | Show HN: Easily generate text and compute probabilities for any Hugging Face LLM (github.com/richardkelley) |
| 2 points by rck on Aug 16, 2024 | past |
|
| 5. | | Building a Local LLM Agent with Speech Recognition and TTS Support (richardkelley.io) |
| 1 point by rck on April 17, 2024 | past |
|
| 6. | | Show HN: Dendron – A Library for Building LLM Agents Using Behavior Trees (github.com/richardkelley) |
| 2 points by rck on April 17, 2024 | past |
|
| 7. | | Language Modeling Reading List (To Start Your Paper Club) (eugeneyan.com) |
| 1 point by rck on Jan 10, 2024 | past |
|
| 8. | | How does GPT-3 spend its 175B parameters? (aizi.substack.com) |
| 3 points by rck on April 17, 2023 | past |
|
| 9. | | Text Rendering Hates You (faultlore.com) |
| 3 points by rck on March 15, 2023 | past |
|
| 10. | | Formalizing Stability and Resilience Properties via TLA+ (buttondown.email/hillelwayne) |
| 3 points by rck on March 10, 2023 | past |
|
| 11. | | Leveraging Rust and the GPU to render user interfaces at 120 FPS (zed.dev) |
| 259 points by rck on March 9, 2023 | past | 203 comments |
|
| 12. | | Full screen triangle optimization (30fps.net) |
| 115 points by rck on March 8, 2023 | past | 44 comments |
|
| 13. | | Evaluating the Cost of Atomic Operations on Modern Architectures (paperswithcode.com) |
| 2 points by rck on Jan 18, 2023 | past |
|
| 14. | | Rust concepts I wish I learned earlier (rauljordan.com) |
| 379 points by rck on Jan 18, 2023 | past | 170 comments |
|
| 15. | | Design of Emacs in Rust (coredumped.dev) |
| 3 points by rck on Jan 17, 2023 | past |
|
| 16. | | Predictions Scorecard, 2023 January 01 (rodneybrooks.com) |
| 6 points by rck on Jan 2, 2023 | past | 1 comment |
|
| 17. | | A taste of pavex, an upcoming Rust web framework (lpalmieri.com) |
| 2 points by rck on Dec 30, 2022 | past |
|
| 18. | | Human-Oriented Automatic Theorem Proving (wtgowers.github.io) |
| 42 points by rck on Dec 28, 2022 | past | 17 comments |
|
| 19. | | Accelerating ZK-SNARKs – MSM and NTT Algorithms on FPGAs with Hardcaml (janestreet.com) |
| 27 points by rck on Dec 26, 2022 | past |
|
| 20. | | Practical Pigment Mixing for Digital Painting (scrtwpns.com) |
| 60 points by rck on Jan 22, 2022 | past | 13 comments |
|
| 21. | | FreedomBox: Run your digital services from your home (freedombox.org) |
| 265 points by rck on Feb 7, 2021 | past | 75 comments |
|
| 22. | | Bandit Algorithms Book (banditalgs.com) |
| 4 points by rck on May 27, 2019 | past |
|
| 23. | | RIP Anki: Yet Another Home Robotics Company Powers Down (wired.com) |
| 3 points by rck on April 30, 2019 | past |
|
| 24. | | Extreme Finitism – Banish Infinity for Good (extremefinitism.com) |
| 3 points by rck on June 22, 2018 | past |
|
| 25. | | ‘I am thoroughly ashamed’: British lord resigns after arriving late to work (washingtonpost.com) |
| 2 points by rck on Jan 31, 2018 | past |
|
| 26. | | Boston Dynamics’ latest robot dog is slightly less terrifying (theverge.com) |
| 2 points by rck on Nov 13, 2017 | past |
|
| 27. | | Tech Giants Are Paying Huge Salaries for Scarce A.I. Talent (nytimes.com) |
| 5 points by rck on Oct 23, 2017 | past |
|
| 28. | | HoloLens is still for developers, developers, developers (fastcompany.com) |
| 2 points by rck on May 11, 2017 | past |
|
| 29. | | Mapped: The Top 263 Companies Racing Toward Autonomous Cars (wired.com) |
| 2 points by rck on May 11, 2017 | past |
|
| 30. | | Don’t Look Now, but Even Buses Are Going Autonomous (wired.com) |
| 1 point by rck on May 2, 2017 | past |
|
|
| More |
