Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

I’m writing another book!
ericlippert.com·16h
📄PostScript
Flag this post
“Slop Coding” and Responsible Testers
satisfice.com·7h
🐛Fuzzing
Flag this post
OpenAI Releases New Open-Weight Reasoning Model
heise.de·1d
💻Local LLMs
Flag this post
Reduce CAPTCHAs for AI agents browsing the web with Web Bot Auth (Preview) in Amazon Bedrock AgentCore Browser
aws.amazon.com·11h
🌳Archive Merkle Trees
Flag this post
We May Have Fixed Python's 25-Year-Old Vulnerability
iyehuda.substack.com·16h·
Discuss: Substack
🧪Binary Fuzzing
Flag this post
AI Scientists History
diffuse.one·19h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·2d·
Discuss: Hacker News
📏Code Metrics
Flag this post
My Wishlist for PHP in 2026
stitcher.io·1d·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
Building AI Agents on the Frontend with Sam Bhagwat and Abhi Aiyer
softwareengineeringdaily.com·1d
Proof Automation
Flag this post
Web PKI Ditches TLS Client Authentication
feistyduck.com·20h·
Discuss: Hacker News
🔐PKI Archaeology
Flag this post
Emergent introspective awareness in large language models
transformer-circuits.pub·4h·
Discuss: Hacker News
🤖Grammar Induction
Flag this post
Building from First Principles
marvinh.dev·20h·
Discuss: Hacker News
❄️Nix Flakes
Flag this post
Linear Causal Discovery with Interventional Constraints
arxiv.org·5h
Effect Handlers
Flag this post
RS-ORT: A Reduced-Space Branch-and-Bound Algorithm for Optimal Regression Trees
arxiv.org·2d
🧮Kolmogorov Bounds
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
github.com·7h·
Discuss: Hacker News
🔐CBOR
Flag this post
Building Intelligent Multi-Agent Systems with Context-Aware Coordination
dev.to·1d·
Discuss: DEV
Algebraic Effects
Flag this post
Building Intelligent Multi-Agent Systems with Context-Aware Coordination
dev.to·1d·
Discuss: DEV
Algebraic Effects
Flag this post
Building Intelligent Multi-Agent Systems with Context-Aware Coordination
dev.to·1d·
Discuss: DEV
Algebraic Effects
Flag this post
Robust GNN Watermarking via Implicit Perception of Topological Invariants
arxiv.org·5h
🕳️Persistent Homology
Flag this post