SMT Solving, Satisfiability, Theorem Proving, Constraint Solving

Show HN: I'm a pastor/dev and built a 200M token generative Bible ($0.67/report)
anselm-project.com·1h·
Discuss: Hacker News
🔤Language Design
Flag this post
Marden's Theorem
en.wikipedia.org·3d·
Discuss: Hacker News
🔤Regular Expression Theory
Flag this post
BostonWalks study: a longitudinal travel survey using smartphone tracking
link.springer.com·1h·
Discuss: Hacker News
🛡️Privacy Engineering
Flag this post
At the Root: An Anti-Racist Ethical Source License for Open Source Projects
attheroot.dev·1d·
Discuss: Hacker News
🛡️macOS Security
Flag this post
How Tiles Works – Tiles Privacy
blog.tiles.run·3d·
Discuss: Hacker News
🔬Unikernels
Flag this post
Intelligent end-to-end monitoring for AI agents
trysentinel.vercel.app·2d·
Discuss: Hacker News
👁️System Observability
Flag this post
Building my first homelab for home & business
imgur.com·1d·
Discuss: r/homelab
🏠HomeLab
Flag this post
Async QUIC and HTTP/3 made easy: Tokio-quiche is now open-source
blog.cloudflare.com·3d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
huggingface.co·4d·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
PSF Gets a Donor Surge After Rejecting Anti-DEI Federal Grant
thenewstack.io·8h·
Discuss: Hacker News
🏛️CoreFoundation
Flag this post
Reflection
alexpolozov.com·3d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Managing long contexts in agentic coding systems
cto.new·4d·
Discuss: Hacker News
🔤Language Design
Flag this post
Level Up Your Coding: A Beginner's Guide to Blockchain Development Frameworks
dev.to·2d·
Discuss: DEV
🌐ActivityPub
Flag this post
Tunable Acoustic Black Hole Facades via Bio-Inspired Meta-Material Gradients
dev.to·15h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Measuring Aleatoric and Epistemic Uncertainty in LLMs: Empirical Evaluation on ID and OOD QA Tasks
arxiv.org·3d
LTL
Flag this post
Evaluating Generative AI as an Educational Tool for Radiology Resident Report Drafting
arxiv.org·3d
🔲Cellular Automata
Flag this post
Explaining Human Choice Probabilities with Simple Vector Representations
arxiv.org·3d
🔲Cellular Automata
Flag this post
The Best AI Social Media Scheduler for Multiple Clients I've Found (And Why It's Not a $500/mo Tool)
dev.to·8h·
Discuss: DEV
🌐ActivityPub
Flag this post