| 1. | | Lean 4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com) |
| 145 points by tesserato 28 days ago | past | 64 comments |
|
| 2. | | Virtual Width Networks (VWN) (arxiv.org) |
| 9 points by tesserato 29 days ago | past |
|
| 3. | | Maximum Agreement Linear Predictor (MALP) (arxiv.org) |
| 1 point by tesserato 32 days ago | past | 1 comment |
|
| 4. | | Hear the "Amati King Cello", the Oldest Known Cello in Existence (openculture.com) |
| 85 points by tesserato 33 days ago | past | 42 comments |
|
| 5. | | Aligning brains into a shared space improves their alignment with LLMs (nature.com) |
| 5 points by tesserato 33 days ago | past | 1 comment |
|
| 6. | | Continuous Tensors (acm.org) |
| 3 points by tesserato 33 days ago | past | 1 comment |
|
| 7. | | Show HN: Minimal type-safe language for software architecture (github.com/tesserato) |
| 2 points by tesserato 64 days ago | past |
|
| 8. | | Constructor Theory: expressing laws in terms of what is possible or impossible (constructortheory.org) |
| 3 points by tesserato 3 months ago | past |
|
| 9. | | MIDI Intro for Makers (makezine.com) |
| 2 points by tesserato 3 months ago | past |
|
| 10. | | Where to Read Leonardo da Vinci's Notebooks Online (openculture.com) |
| 2 points by tesserato 3 months ago | past |
|
| 11. | | Hear Bach's Pieces Played on Original Baroque Instruments (openculture.com) |
| 6 points by tesserato 3 months ago | past |
|
| 12. | | Learn Haskell by building a blog generator (learn-haskell.blog) |
| 5 points by tesserato 3 months ago | past |
|
| 13. | | Business cycle and herding behavior in stock returns: theory and evidence (springer.com) |
| 2 points by tesserato 3 months ago | past |
|
| 14. | | Shallow learning mechanism used by the brain can compete with deep learning (techxplore.com) |
| 2 points by tesserato 3 months ago | past |
|
| 15. | | Training Ising Machines with Equilibrium Propagation (nature.com) |
| 3 points by tesserato 3 months ago | past |
|
| 16. | | Guidance: A cheat code for diffusion models (sander.ai) |
| 8 points by tesserato 3 months ago | past |
|
| 17. | | Transformers Are Multi-State RNNs (huggingface.co) |
| 3 points by tesserato 3 months ago | past |
|
| 18. | | Two thousand years of garden urbanism in the Upper Amazon (science.org) |
| 3 points by tesserato 3 months ago | past |
|
| 19. | | If AI Is Our Future, What Can We Learn from the Past? (forbes.com/sites/sap) |
| 2 points by tesserato 3 months ago | past |
|
| 20. | | An AI Brain with Only One Neuron Could Surpass Humans (thenextweb.com) |
| 2 points by tesserato 3 months ago | past | 2 comments |
|
| 21. | | Predicting the Past: AI for Ancient Texts (predictingthepast.com) |
| 3 points by tesserato 3 months ago | past |
|
| 22. | | Programmable Diffractive Deep Neural Networks (nature.com) |
| 2 points by tesserato 3 months ago | past | 1 comment |
|
| 23. | | Some AI Systems May Be Impossible to Compute (ieee.org) |
| 5 points by tesserato 3 months ago | past |
|
| 24. | | Does Time Flow? New Clues Come from a Century-Old Approach to Math (quantamagazine.org) |
| 4 points by tesserato 3 months ago | past | 3 comments |
|
| 25. | | The Animate and The Inanimate, a cosmological tome written by a child prodigy [pdf] (sidis.net) |
| 3 points by tesserato 3 months ago | past |
|
| 26. | | Chasing the Myth: Achieving Artificial General Intelligence May Be a Pipe Dream (forbes.com/sites/naveenjoshi) |
| 3 points by tesserato 3 months ago | past |
|
| 27. | | Project Gutenberg Compilation of Short Stories by Chekhov (gutenberg.org) |
| 3 points by tesserato 3 months ago | past |
|
| 28. | | A New Vision of Artificial Intelligence for the People (technologyreview.com) |
| 2 points by tesserato 3 months ago | past | 1 comment |
|
| 29. | | Odin: A Modern Systems Language (odin-lang.org) |
| 5 points by tesserato 3 months ago | past |
|
| 30. | | Fall of a Prolific Journal Exposes the Billionaire Profits of Science Publishing (elpais.com) |
| 6 points by tesserato 3 months ago | past | 1 comment |
|
|
| More |