Hacker News: tesseratohttps://news.ycombinator.com/user?id=tesseratoHacker News RSShttps://hnrss.org/hnrss v2.1.1Fri, 10 Apr 2026 11:12:52 +0000<![CDATA[Lean 4: How the theorem prover works and why it's the new competitive edge in AI]]>Article URL: https://venturebeat.com/ai/lean4-how-the-theorem-prover-works-and-why-its-the-new-competitive-edge-in

Comments URL: https://news.ycombinator.com/item?id=47047027

Points: 145

# Comments: 64

]]>Tue, 17 Feb 2026 12:58:37 +0000https://venturebeat.com/ai/lean4-how-the-theorem-prover-works-and-why-its-the-new-competitive-edge-intesseratohttps://news.ycombinator.com/item?id=47047027https://news.ycombinator.com/item?id=47047027<![CDATA[Virtual Width Networks (VWN)]]>Article URL: https://arxiv.org/abs/2511.11238

Comments URL: https://news.ycombinator.com/item?id=47040153

Points: 9

# Comments: 0

]]>Mon, 16 Feb 2026 20:50:00 +0000https://arxiv.org/abs/2511.11238tesseratohttps://news.ycombinator.com/item?id=47040153https://news.ycombinator.com/item?id=47040153<![CDATA[New comment by tesserato in "Maximum Agreement Linear Predictor (MALP)"]]>A statistical model that maximizes Lin's concordance correlation coefficient (CCC) instead of minimizing squared errors, offering a predictor with higher direct agreement with the predictand.

]]>Fri, 13 Feb 2026 16:21:31 +0000https://news.ycombinator.com/item?id=47004449tesseratohttps://news.ycombinator.com/item?id=47004449https://news.ycombinator.com/item?id=47004449<![CDATA[Maximum Agreement Linear Predictor (MALP)]]>Article URL: https://arxiv.org/abs/2304.04221

Comments URL: https://news.ycombinator.com/item?id=47004448

Points: 1

# Comments: 1

]]>Fri, 13 Feb 2026 16:21:31 +0000https://arxiv.org/abs/2304.04221tesseratohttps://news.ycombinator.com/item?id=47004448https://news.ycombinator.com/item?id=47004448<![CDATA[Hear the "Amati King Cello", the Oldest Known Cello in Existence]]>Article URL: https://www.openculture.com/2021/06/hear-the-amati-king-cello-the-oldest-known-cello-in-existence-c-1560.html

Comments URL: https://news.ycombinator.com/item?id=47000708

Points: 85

# Comments: 42

]]>Fri, 13 Feb 2026 09:17:54 +0000https://www.openculture.com/2021/06/hear-the-amati-king-cello-the-oldest-known-cello-in-existence-c-1560.htmltesseratohttps://news.ycombinator.com/item?id=47000708https://news.ycombinator.com/item?id=47000708<![CDATA[New comment by tesserato in "Aligning brains into a shared space improves their alignment with LLMs"]]>Mapping neural activity from multiple individuals into a "shared response space" improves the accuracy of LLM-based brain encoding by 37%.

]]>Thu, 12 Feb 2026 19:55:35 +0000https://news.ycombinator.com/item?id=46994184tesseratohttps://news.ycombinator.com/item?id=46994184https://news.ycombinator.com/item?id=46994184<![CDATA[Aligning brains into a shared space improves their alignment with LLMs]]>Article URL: https://www.nature.com/articles/s43588-025-00900-y

Comments URL: https://news.ycombinator.com/item?id=46994183

Points: 5

# Comments: 1

]]>Thu, 12 Feb 2026 19:55:35 +0000https://www.nature.com/articles/s43588-025-00900-ytesseratohttps://news.ycombinator.com/item?id=46994183https://news.ycombinator.com/item?id=46994183<![CDATA[New comment by tesserato in "Continuous Tensors"]]>A new programming abstraction that allows tensor indices to take real-number values, unifying fields like computational geometry and computer graphics under the language of tensor algebra.

]]>Thu, 12 Feb 2026 15:29:48 +0000https://news.ycombinator.com/item?id=46990024tesseratohttps://news.ycombinator.com/item?id=46990024https://news.ycombinator.com/item?id=46990024<![CDATA[Continuous Tensors]]>Article URL: https://dl.acm.org/doi/10.1145/3763146

Comments URL: https://news.ycombinator.com/item?id=46990023

Points: 3

# Comments: 1

]]>Thu, 12 Feb 2026 15:29:48 +0000https://dl.acm.org/doi/10.1145/3763146tesseratohttps://news.ycombinator.com/item?id=46990023https://news.ycombinator.com/item?id=46990023<![CDATA[Show HN: Minimal type-safe language for software architecture]]>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 complex systems.

Comments URL: https://news.ycombinator.com/item?id=46596483

Points: 2

# Comments: 0

]]>Tue, 13 Jan 2026 01:47:11 +0000https://github.com/tesserato/Tecttesseratohttps://news.ycombinator.com/item?id=46596483https://news.ycombinator.com/item?id=46596483<![CDATA[Constructor Theory: expressing laws in terms of what is possible or impossible]]>Article URL: https://www.constructortheory.org/

Comments URL: https://news.ycombinator.com/item?id=46274526

Points: 3

# Comments: 0

]]>Mon, 15 Dec 2025 13:51:13 +0000https://www.constructortheory.org/tesseratohttps://news.ycombinator.com/item?id=46274526https://news.ycombinator.com/item?id=46274526<![CDATA[MIDI Intro for Makers]]>Article URL: https://makezine.com/article/craft/music/skillbuilder-midi-for-makers/

Comments URL: https://news.ycombinator.com/item?id=46236069

Points: 2

# Comments: 0

]]>Thu, 11 Dec 2025 19:33:48 +0000https://makezine.com/article/craft/music/skillbuilder-midi-for-makers/tesseratohttps://news.ycombinator.com/item?id=46236069https://news.ycombinator.com/item?id=46236069<![CDATA[Where to Read Leonardo da Vinci's Notebooks Online]]>Article URL: https://www.openculture.com/2021/05/where-to-read-leonardo-da-vincis-notebooks-online.html

Comments URL: https://news.ycombinator.com/item?id=46230554

Points: 2

# Comments: 0

]]>Thu, 11 Dec 2025 12:27:53 +0000https://www.openculture.com/2021/05/where-to-read-leonardo-da-vincis-notebooks-online.htmltesseratohttps://news.ycombinator.com/item?id=46230554https://news.ycombinator.com/item?id=46230554<![CDATA[Hear Bach's Pieces Played on Original Baroque Instruments]]>Article URL: https://www.openculture.com/2020/08/hear-ten-of-bachs-pieces-played-on-original-baroque-instruments.html

Comments URL: https://news.ycombinator.com/item?id=46221857

Points: 6

# Comments: 0

]]>Wed, 10 Dec 2025 18:54:53 +0000https://www.openculture.com/2020/08/hear-ten-of-bachs-pieces-played-on-original-baroque-instruments.htmltesseratohttps://news.ycombinator.com/item?id=46221857https://news.ycombinator.com/item?id=46221857<![CDATA[Learn Haskell by building a blog generator]]>Article URL: https://learn-haskell.blog/

Comments URL: https://news.ycombinator.com/item?id=46215728

Points: 5

# Comments: 0

]]>Wed, 10 Dec 2025 09:21:07 +0000https://learn-haskell.blog/tesseratohttps://news.ycombinator.com/item?id=46215728https://news.ycombinator.com/item?id=46215728<![CDATA[Business cycle and herding behavior in stock returns: theory and evidence]]>Article URL: https://link.springer.com/article/10.1186/s40854-023-00540-z

Comments URL: https://news.ycombinator.com/item?id=46211826

Points: 2

# Comments: 0

]]>Tue, 09 Dec 2025 22:50:39 +0000https://link.springer.com/article/10.1186/s40854-023-00540-ztesseratohttps://news.ycombinator.com/item?id=46211826https://news.ycombinator.com/item?id=46211826<![CDATA[Shallow learning mechanism used by the brain can compete with deep learning]]>Article URL: https://techxplore.com/news/2024-01-scientists-shallow-mechanism-brain-deep.html

Comments URL: https://news.ycombinator.com/item?id=46195203

Points: 2

# Comments: 0

]]>Mon, 08 Dec 2025 17:38:55 +0000https://techxplore.com/news/2024-01-scientists-shallow-mechanism-brain-deep.htmltesseratohttps://news.ycombinator.com/item?id=46195203https://news.ycombinator.com/item?id=46195203<![CDATA[Training Ising Machines with Equilibrium Propagation]]>Article URL: https://www.nature.com/articles/s41467-024-46879-4

Comments URL: https://news.ycombinator.com/item?id=46193699

Points: 3

# Comments: 0

]]>Mon, 08 Dec 2025 15:51:34 +0000https://www.nature.com/articles/s41467-024-46879-4tesseratohttps://news.ycombinator.com/item?id=46193699https://news.ycombinator.com/item?id=46193699<![CDATA[Guidance: A cheat code for diffusion models]]>Article URL: https://sander.ai/2022/05/26/guidance.html

Comments URL: https://news.ycombinator.com/item?id=46189615

Points: 8

# Comments: 0

]]>Mon, 08 Dec 2025 08:01:47 +0000https://sander.ai/2022/05/26/guidance.htmltesseratohttps://news.ycombinator.com/item?id=46189615https://news.ycombinator.com/item?id=46189615<![CDATA[Transformers Are Multi-State RNNs]]>Article URL: https://huggingface.co/papers/2401.06104

Comments URL: https://news.ycombinator.com/item?id=46186750

Points: 3

# Comments: 0

]]>Mon, 08 Dec 2025 00:02:54 +0000https://huggingface.co/papers/2401.06104tesseratohttps://news.ycombinator.com/item?id=46186750https://news.ycombinator.com/item?id=46186750