This week in history: August 25-31
wsws.org·20h
🔢Mathematical Logic
CL-JSON Ambiguity
funcall.blogspot.com·2d·
Discuss: www.blogger.com
📝Lisp
Review your week like in chess
davideaversa.it·1d
🔢Mathematical Logic
Capture Checking in Scala
nrinaudo.github.io·17h·
Discuss: Hacker News
✅Formal Verification
Over-Engineering Sleep
matt.blwt.io·1d
🐧Linux
Invention as Exploration
symmetrybroken.com·2d·
Discuss: Hacker News
📈Complexity Theory
AI Agents: Why the Hype Feels Wrong to an Old Programmer
nimishg.substack.com·2d·
Discuss: Substack
🧩Theorem Proving
Docx templating with golang
reddit.com·21h·
Discuss: r/golang
📝Lisp
Built with Claude: A Local Voice Transcription App | 5 Practical Tips for Claude Code
reddit.com·1d·
Discuss: r/ClaudeAI
🔧Compiler Design
AWS Noob here: EC2 vs SageMaker vs Bedrock for fine-tuning & serving a custom LLM?
reddit.com·7h·
Discuss: r/LocalLLaMA
🧩Theorem Proving
Supervised Learning — The Heart of Modern AI
dev.to·17h·
Discuss: DEV
🎲Probabilistic Programming
Why JSON-Serializable Rules Changed Everything: From Code Chaos to Configuration Clarity
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Contributions to Label-Efficient Learning in Computer Vision and Remote Sensing
arxiv.org·18h
🔗Parser Combinators
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·15h·
Discuss: Hacker News
🧭SMT Solvers
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·18h
🧮Programming Language Theory
ALAS: Autonomous Learning Agent for Self-Updating Language Models
arxiv.org·18h
🔗Parser Combinators
This is amazing. But I'm a bit more extreme than Maxime.
threadreaderapp.com·1d
🧭SMT Solvers
Reinforcement Learning-based Control via Y-wise Affine Neural Networks (YANNs)
arxiv.org·18h
🎲Probabilistic Programming
leptos-rs/leptos
github.com·20h
🦀Rust
Postit 2025-07-02 18:34:52
dinandmentink.nl·2d
🧫Cellular Automata