HN Explorer

tesserato

↗ HN profile [ 74.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Lean 4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com)
    145 points 22
  2. Virtual Width Networks (VWN) (arxiv.org)
    9 points 1
  3. Maximum Agreement Linear Predictor (MALP) (arxiv.org)
    1 points 1
  4. Hear the "Amati King Cello", the Oldest Known Cello in Existence (openculture.com)
    85 points 8
  5. Aligning brains into a shared space improves their alignment with LLMs (nature.com)
    5 points 1
  6. Continuous Tensors (dl.acm.org)
    3 points 1
  7. Show HN: Minimal type-safe language for software architecture (github.com)

    Define systems using a minimal, declarative syntax with only *6 keywords* (`constant`, `variable`, `error`, `group`, `function`, `import`), with instant feedback via errors, warnings and an interactive graph to explore…

    2 points 0
  8. Constructor Theory: expressing laws in terms of what is possible or impossible (constructortheory.org)
    3 points 0
  9. MIDI Intro for Makers (makezine.com)
    2 points 0
  10. Where to Read Leonardo da Vinci's Notebooks Online (openculture.com)
    2 points 0
  11. Hear Bach's Pieces Played on Original Baroque Instruments (openculture.com)
    6 points 0
  12. Learn Haskell by building a blog generator (learn-haskell.blog)
    5 points 0
  13. Business cycle and herding behavior in stock returns: theory and evidence (link.springer.com)
    2 points 0
  14. Shallow learning mechanism used by the brain can compete with deep learning (techxplore.com)
    2 points 0
  15. Training Ising Machines with Equilibrium Propagation (nature.com)
    3 points 0
  16. Guidance: A cheat code for diffusion models (sander.ai)
    8 points 0
  17. Transformers Are Multi-State RNNs (huggingface.co)
    3 points 0
  18. Two thousand years of garden urbanism in the Upper Amazon (science.org)
    3 points 0
  19. If AI Is Our Future, What Can We Learn from the Past? (forbes.com)
    2 points 0
  20. An AI Brain with Only One Neuron Could Surpass Humans (thenextweb.com)
    2 points 2
  21. Predicting the Past: AI for Ancient Texts (predictingthepast.com)
    3 points 0
  22. Programmable Diffractive Deep Neural Networks (nature.com)
    2 points 1
  23. Some AI Systems May Be Impossible to Compute (spectrum.ieee.org)
    5 points 0
  24. Does Time Flow? New Clues Come from a Century-Old Approach to Math (quantamagazine.org)
    4 points 3
  25. The Animate and The Inanimate, a cosmological tome written by a child prodigy [pdf] (sidis.net)
    3 points 0