| 1. | | Formal Methods and the Future of Programming (janestreet.com) |
| 3 points by dcre 10 days ago | past | 2 comments |
|
| 2. | | How fast is autonomous AI cyber capability advancing? (aisi.gov.uk) |
| 3 points by dcre 43 days ago | past | 1 comment |
|
| 3. | | An FAQ on Reinforcement Learning Environments (epoch.ai) |
| 44 points by dcre 3 months ago | past | 9 comments |
|
| 4. | | An x86-64 back end for raven-uxn (mattkeeter.com) |
| 41 points by dcre 3 months ago | past | 10 comments |
|
| 5. | | An FAQ on Reinforcement Learning Environments (epoch.ai) |
| 2 points by dcre 5 months ago | past |
|
| 6. | | Epiplexity: Rethinking Information for Computationally Bounded Intelligence (arxiv.org) |
| 5 points by dcre 5 months ago | past |
|
| 7. | | Reflections on Vibe Researching (joshuagans.substack.com) |
| 2 points by dcre 5 months ago | past | 1 comment |
|
| 8. | | Distributional AGI Safety (DeepMind) (arxiv.org) |
| 4 points by dcre 6 months ago | past |
|
| 9. | | Project Vend: Phase Two (anthropic.com) |
| 2 points by dcre 6 months ago | past | 1 comment |
|
| 10. | | 16 charts that explain the AI boom (understandingai.org) |
| 4 points by dcre 7 months ago | past |
|
| 11. | | In the economy of user effort, be a bargain, not a scam (verou.me) |
| 25 points by dcre 8 months ago | past |
|
| 12. | | Is the "cost of inference" going up or down? (crespo.business) |
| 9 points by dcre 9 months ago | past |
|
| 13. | | Playable preview of ARC-AGI-3 (arcprize.org) |
| 11 points by dcre 11 months ago | past | 2 comments |
|
| 14. | | LLMs show cultural theory was right about the death of the author (programmablemutter.com) |
| 20 points by dcre 11 months ago | past | 3 comments |
|
| 15. | | Highlights from the Claude 4 system prompt (simonwillison.net) |
| 9 points by dcre on May 25, 2025 | past | 1 comment |
|
| 16. | | LLM-only RAG for small corpora (crespo.business) |
| 2 points by dcre on March 28, 2025 | past |
|
| 17. | | Palantir's Call to Arms Is Also a Sales Pitch (bloomberg.com) |
| 2 points by dcre on Feb 21, 2025 | past |
|
| 18. | | MLscript (github.com/hkust-taco) |
| 1 point by dcre on Oct 21, 2024 | past |
|
| 19. | | System prompts used by the Claude web UI and native UIs (anthropic.com) |
| 5 points by dcre on Aug 26, 2024 | past |
|
| 20. | | Riven remake coming out June 25th (twitter.com/cyanworlds) |
| 4 points by dcre on June 3, 2024 | past | 2 comments |
|
| 21. | | Ultraspeaking (meaningness.substack.com) |
| 2 points by dcre on April 6, 2024 | past |
|
| 22. | | Unison Cloud (unison.cloud) |
| 281 points by dcre on Feb 7, 2024 | past | 152 comments |
|
| 23. | | The Future of CSS: Easy Light-Dark Mode Color Switching with Light-Dark() (bram.us) |
| 127 points by dcre on Oct 9, 2023 | past | 70 comments |
|
| 24. | | Software and Its Discontents, Part 2: An Explosion of Complexity (laughingmeme.org) |
| 1 point by dcre on July 10, 2023 | past |
|
| 25. | | Bret Victor update (worrydream.com) |
| 351 points by dcre on July 5, 2023 | past | 128 comments |
|
| 26. | | TypeSpec (microsoft.github.io) |
| 2 points by dcre on June 1, 2023 | past |
|
| 27. | | Pando, the Heaviest Known Organism (wikipedia.org) |
| 3 points by dcre on April 26, 2023 | past |
|
| 28. | | Tailscale Funnel now available in beta (tailscale.com) |
| 304 points by dcre on March 30, 2023 | past | 113 comments |
|
| 29. | | Serverless maps at 1/700 the cost of Google Maps API (protomaps.com) |
| 519 points by dcre on March 10, 2023 | past | 115 comments |
|
| 30. | | How to Make a Pencil (logicmag.io) |
| 2 points by dcre on Jan 19, 2021 | past |
|
|
| More |
