An enough week
blog.mitrichev.chยท1dยท
Discuss: blog.mitrichev.ch
๐Ÿ“ˆLinear programming
Experimenting with ACL2 and Claude Code
mikedodds.orgยท11hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Atomic and Saturated Models
functor.networkยท6dยท
Discuss: Hacker News
๐Ÿ”ฒProof Irrelevance
Show HN: Realization Jsmn on a Pure Zig
github.comยท13hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Neuro-Symbolic AI
en.wikipedia.orgยท9hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Contrastive Weak-to-strong Generalization
arxiv.orgยท19h
โง—Information Bottleneck
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท19h
โ›ชChurch Encoding
The Porcelain to Come
stackdiver.comยท58mยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท2dยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
MultiCNKG: Integrating Cognitive Neuroscience, Gene, and Disease Knowledge Graphs Using Large Language Models
arxiv.orgยท1d
๐Ÿง Intelligence Compression
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
A Manifesto for the Programming Desperado
github.comยท7hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท19h
๐ŸงฎTheorem Proving
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.comยท1dยท
Discuss: Lobsters, Hacker News
๐ŸงฎAlgebraic Datatypes
Relational Transformer: Toward Zero-Shot Foundation Models for Relational Data
arxiv.orgยท1d
๐Ÿง Learned Indexes
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.toยท14hยท
Discuss: DEV
๐Ÿ•ต๏ธFeed Discovery
10 Data + AI Observations for Fall 2025
towardsdatascience.comยท9h
๐ŸŒŠStream Processing
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.orgยท1d
๐Ÿ”จCompilers
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.orgยท19h
๐Ÿ”—Parser Combinators
IASC: Interactive Agentic System for ConLangs
arxiv.orgยท19h
๐ŸŒณContext free grammars