🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Show HN: Building a web search engine from scratch with 3B neural embeddings
blog.wilsonl.in·2d·
Discuss: Lobsters, Hacker News
🔗Parser Combinators
Dion: the distributed orthonormal update revolution is here
microsoft.com·2d
🏗Computer Architecture
The GPT-5 Launch Broke the AI Internet (And Not in a Good Way)
docker.com·1d
🏗️Software Architecture
LLM Hallucination Seems Like a Big Problem, Not a Mere Speedbump
freddiedeboer.substack.com·2d·
Discuss: Substack
🎲Probabilistic Programming
Day 4 [August 11, 2025] Python Extensibility - More research/reading to follow in day 5. I barely scratched the surface.
dev.to·2d·
Discuss: DEV
📝Lisp
10 ChatGPT 5 Problems and How to Fix Them : Unlock GPT-5's Full Potential
geeky-gadgets.com·3d
🔗Parser Combinators
'The amount of inference compute needed is already 100x more': How Europe's AI companies can meet demands
sifted.eu·2d
🎲Probabilistic Programming
How to Run Python AI Scripts on Android via Termux
dev.to·1d·
Discuss: DEV
🤖Sci-Fi
I Built a "GPT" in My Browser in One Evening. The Journey from Amnesia to Stable Learning with Pure JS.
dev.to·3d·
Discuss: DEV
🔗Parser Combinators
This might be the most underrated AI skill of 2025:
threadreaderapp.com·7h
🔗Parser Combinators
Learning Mandarin with Duolingo’s Reversed Tree – Surprisingly Perfect for My Situation
i.redd.it·1h·
Discuss: r/ChineseLanguage
🔗Parser Combinators
Unlocking Scalability: A Deep Dive into Mixture of Experts (MoE) for Modern LLMs
dev.to·3d·
Discuss: DEV
🎲Probabilistic Programming
Classifier Language Models: Unifying Sparse Finetuning and Adaptive Tokenization for Specialized Classification Tasks
arxiv.org·2d
🔗Parser Combinators
Scalable Failure Mode Prediction via Multi-Modal Data Fusion and Deep Temporal Analysis in Aging Infrastructure
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
🚀AI + Crypto: The Collision That Could Redefine the Internet
dev.to·5h·
Discuss: DEV
🔐Cryptography
Effective and Efficient Attributed Hypergraph Embedding on Nodes and Hyperedges
arxiv.org·2d
🕸️Graph Theory
SLIP: Soft Label Mechanism and Key-Extraction-Guided CoT-based Defense Against Instruction Backdoor in APIs
arxiv.org·4d
🔐Cryptography
Sample-efficient LLM Optimization with Reset Replay
arxiv.org·4d
🔧Compiler Design
🧠 From Specs to Sentience: How Kiro IDE Helped Me Build a Reactive AI Dungeon in Days
dev.to·1d·
Discuss: DEV
🔍Static Analysis
STRIDE-QA: Visual Question Answering Dataset for Spatiotemporal Reasoning in Urban Driving Scenes
arxiv.org·11h
🔗Parser Combinators