Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
System Instruction Fixed Point
funcall.blogspot.com·7h·
Discuss: www.blogger.com
⚡Proof Automation
HARP: Hallucination Detection via Reasoning Subspace Projection
arxiv.org·22h
🧠Machine Learning
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·9h
🔀Category Theory
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·1d
🏛️Agda
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·1d
🎯Dependent Parsing
Semantic Dictionary Encoding
falvotech.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
Show HN: Semlib – Semantic Data Processing
github.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·18h
💻Local LLMs
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·1d
🤖Grammar Induction
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·1d·
Discuss: Hacker News
λLambda Encodings
Claude Can (Sometimes) Prove It
galois.com·3h·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
PSA: `views::single` doesn’t really view
quuxplusone.github.io·1d
🧮Algebraic Datatypes
Automated Conformance Testing Through Hybrid Symbolic Execution & Reinforcement Learning
dev.to·57m·
Discuss: DEV
🔍Concolic Testing
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·22h
🧮Algebraic Datatypes
Ask HN: What in your opinion is the best model for vibecoding? My thoughts below
news.ycombinator.com·11h·
Discuss: Hacker News
📏Code Metrics
The Case for Compact AI – Communications of the ACM
dl.acm.org·18h·
Discuss: Hacker News
🧠Intelligence Compression
ADK for Java opening up to third-party language models via LangChain4j integration
developers.googleblog.com·17h
💧Liquidhaskell
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·1d·
Discuss: DEV
🦀Rust Macros
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🧮Z3 Solver