🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Phalanx 36: A Formation to Attack Lateral Finger Strain
old.reddit.com·11h·
Discuss: r/ErgoMechKeyboards
💾Retrocomputing
Fixed Points via Logically Contractive Maps
lightcapai.medium.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
Apple Permanently Closes Its First Store in China - Fatbobman's Swift Weekly #97
fatbobman.com·8h
📝Lisp
Made my portfolio website at 14! Please rate!
aarus2709.me·1d·
Discuss: r/webdev
🔧Compiler Design
The Zero-to-Vibe Coding Jumpstart Cube Catastrophication
vanonselenp.github.io·4d·
Discuss: Hacker News
🧩Theorem Proving
Joy & Curiosity #49
registerspill.thorstenball.com·1d
🤖Sci-Fi
DoRA Explained: Next Evolution of LoRA?
pub.towardsai.net·1d
🔗Parser Combinators
How can I better scope personal projects to avoid missing steps and underestimating timelines?
reddit.com·1h·
Discuss: r/SoftwareEngineering
🔧Compiler Design
The Frustrations and Perils of Navigating Blind to Rocks
lesswrong.com·3h
🧫Cellular Automata
Searching actually viable alternative to Ollama
reddit.com·7h·
Discuss: r/LocalLLaMA
⚖️Logic Programming
Domain-Specific Fine-Tuning and Prompt-Based Learning: A Comparative Study for developing Natural Language-Based BIM Information Retrieval Systems
arxiv.org·18h
🎲Probabilistic Programming
Years ago I created a 3D engine from scratch (pre LLM-era and without using internet as a challenge) and made Minecraft in it
github.com·1d·
Discuss: r/C_Programming
🔧Compiler Design
gomjml: A native Go implementation of the MJML email framework
reddit.com·8h·
Discuss: r/golang
📦WebAssembly
Automated Hierarchical Semantic Graph Analysis for Enhanced Fraud Detection in Financial Transactions
dev.to·1d·
Discuss: DEV
🔗Parser Combinators
Seeking Feedback: Self-Hosted RAG System + Multi-GPU Hardware Setup for Local LLM Development
reddit.com·1d·
Discuss: r/LocalLLaMA
🔧Compiler Design
Problem Solving Tools for Software Engineers
dev.to·10h·
Discuss: DEV
🏗️Software Architecture
High-Performance Routing System Design and Implementation(6195)
dev.to·1d·
Discuss: DEV
🦀Rust
Automated Sterility Assurance via Predictive Polymer Degradation Analytics in Cleanroom Glove Manufacturing
dev.to·2h·
Discuss: DEV
🎲Probabilistic Programming
TRUST: Leveraging Text Robustness for Unsupervised Domain Adaptation
arxiv.org·18h
🎲Probabilistic Programming
Why Programming Fundamentals Are Crucial Before Diving Into AI
dev.to·11h·
Discuss: DEV
🧩Theorem Proving