🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Copilot launches in Excel, but Microsoft warns against using it "for any task requiring accuracy"
ghacks.net·33m
🔗Concatenative Languages
A neat idea, but I can see this leading to the Balkanization of the Internet
boston.conman.org·8h
🛡Cybersecurity
A Conjure Piglet Client
lambdaisland.com·6d
🦀Rust Macros
Reverse-engineering Roadsearch Plus, or, roadgeeking with an 8-bit CPU
oldvcr.blogspot.com·2d·
Discuss: oldvcr.blogspot.com
🖥️Vintage Macintosh
You could have invented CuTe hierarchical layout (but maybe not the rest of it?)
blog.ezyang.com·4d·
Discuss: blog.ezyang.com
⟷Bidirectional Programming
Row Your Boat: How I made a boat physics simulation inside Oblivion Remastered
hallada.net·16h·
Discuss: Hacker News
🏺Computational Archaeology
There's No Gold in Removing Signaling Costs
liorbd.me·2d·
Discuss: Hacker News
🔲Cellular Automata
Pgschema: Postgres Declarative Schema Migration, Like Terraform
pgschema.com·3d·
Discuss: Hacker News
🚚Data Migration
When doing too much is a symptom, not a solution
kevinavignon.com·22h·
Discuss: Hacker News
❄️Nix Flakes
Declaring a variable with an implied type.
reddit.com·2d·
Discuss: r/golang
🎯Dependent Types
[P] Analyzing classroom data
reddit.com·1d·
Discuss: r/MachineLearning
🤖Grammar Induction
Google and Meta move closer together on AI
heise.de·1d
🏠Homelab Federation
Pi Zero-sized Radxa Cubie A7Z SBC features Allwinner A733 Cortex-A76/A55 SoC, up to 16GB RAM, WiFi 6
cnx-software.com·1d
🔌Single Board PC
AI-Facilitated Delusional Ideation: Rethinking "AI Psychosis"
michellepellon.com·1d·
Discuss: Hacker News
🧠Intelligence Compression
How I Built an Interactive Asteroid Dashboard with NASA's Data
dev.to·2h·
Discuss: DEV
👁️Observatory Systems
Comp-X: On Defining an Interactive Learned Image Compression Paradigm With Expert-driven LLM Agent
arxiv.org·4d
🧠Neural Compression
Walter Writes AI Review
dev.to·6h·
Discuss: DEV
⚡Proof Automation
MMCIG: Multimodal Cover Image Generation for Text-only Documents and Its Dataset Construction via Pseudo-labeling
arxiv.org·5h
👁️OCR Verification
Peeking Under the Hood of Claude Code
medium.com·5d·
Discuss: Hacker News
🌳Incremental Parsing
CarboNet: A Finite-Time Combustion-Tolerant Compartmental Network for Tropospheric Carbon Control
arxiv.org·5h
🧮Algorithmic Cooking