Y Hacker News new | ask | show | jobs

user: tesserato created: 2025-01-08 karma: 211 PhD in Production Engineering Machine Learning, Software Development, Digital Signal Processing Tat Tvam Asi submissions: Lean 4: How the theorem prover works and why it's the new competitive edge in AI 145 points | 64 comments Virtual Width Networks (VWN) 9 points | 0 comments 0 points | 0 comments Maximum Agreement Linear Predictor (MALP) 1 points | 1 comments Hear the "Amati King Cello", the Oldest Known Cello in Existence 85 points | 42 comments 0 points | 0 comments Aligning brains into a shared space improves their alignment with LLMs 5 points | 1 comments 0 points | 0 comments Continuous Tensors 3 points | 1 comments Show HN: Minimal type-safe language for software architecture 2 points | 0 comments Constructor Theory: expressing laws in terms of what is possible or impossible 3 points | 0 comments MIDI Intro for Makers 2 points | 0 comments Where to Read Leonardo da Vinci's Notebooks Online 2 points | 0 comments Hear Bach's Pieces Played on Original Baroque Instruments 6 points | 0 comments Learn Haskell by building a blog generator 5 points | 0 comments Business cycle and herding behavior in stock returns: theory and evidence 2 points | 0 comments Shallow learning mechanism used by the brain can compete with deep learning 2 points | 0 comments Training Ising Machines with Equilibrium Propagation 3 points | 0 comments Guidance: A cheat code for diffusion models 8 points | 0 comments Transformers Are Multi-State RNNs 3 points | 0 comments Two thousand years of garden urbanism in the Upper Amazon 3 points | 0 comments If AI Is Our Future, What Can We Learn from the Past? 2 points | 0 comments An AI Brain with Only One Neuron Could Surpass Humans 2 points | 2 comments Predicting the Past: AI for Ancient Texts 3 points | 0 comments Programmable Diffractive Deep Neural Networks 2 points | 1 comments Some AI Systems May Be Impossible to Compute 5 points | 0 comments Does Time Flow? New Clues Come from a Century-Old Approach to Math 4 points | 3 comments