🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

SpecTcl: GUI Builder for Tcl/Tk
spectcl.sourceforge.net·3h·
Discuss: Hacker News
🔧Compiler Design
Abstraction Deviation Impedance
sollecitom.github.io·19h·
Discuss: Hacker News
🔍Static Analysis
Keymaps for the move command
youtube.com·19h·
Discuss: r/neovim
🧫Cellular Automata
Centralia Old-Time Campout 2025
chriscoyier.net·9h
🧫Cellular Automata
If you love physics: Alpha constant is unlocked today; prepare for goosebumps
news.ycombinator.com·15h·
Discuss: Hacker News
🔐Cryptography
Quiz: Exploring Python Closures: Examples and Use Cases
realpython.com·3d
⚙Functional Programming
Landlady refuses to pay for water heater repair - fair or unfair?
reddit.com·9h·
Discuss: r/askSingapore
💭Prolog
Force recurring reminder to create its child before I screw with it
reddit.com·7h·
Discuss: r/shortcuts
🧩Theorem Proving
Building Space Education App
dev.to·15h·
Discuss: DEV
🏗️Software Architecture
Pen, Paper, Done - Getting Started with Mind Mapping
dev.to·17h·
Discuss: DEV
🧩Theorem Proving
Spring is here
aardvark.co.nz·13h
🧫Cellular Automata
I started building Lichess (2021)
lichess.org·21h·
Discuss: Hacker News
🧩Theorem Proving
Multi-View Graph Convolution Network for Internal Talent Recommendation Based on Enterprise Emails
arxiv.org·4d
🔗Parser Combinators
I built LazySSH: A terminal-based SSH manager with a simple UI
github.com·11h·
Discuss: r/devops, r/selfhosted
🦀Rust
UTCP-agent: Build agents that discover & call any native endpoint, in less than 5 lines of code
github.com·3d·
Discuss: r/programming
🧩Theorem Proving
Mark Zuckerberg Bets Billions On 'Startup Mode' As Meta's Superintelligence Unit Lures Alexandr Wang And Nat Friedman From Top AI Firms - Benzinga
news.google.com·7h
🔗Parser Combinators
New comment by kylecazar in "Ask HN: Who wants to be hired? (September 2025)"
news.ycombinator.com·7h·
Discuss: Hacker News
🔌Network Programming
I think cli agent like claude code probably be the the future
reddit.com·2d·
Discuss: r/ClaudeAI
🧫Cellular Automata
Aggregate Fictitious Play for Learning in Anonymous Polymatrix Games (Extended Version)
arxiv.org·5d
⚖Algorithmic Game Theory
History Rhymes: Accelerating LLM Reinforcement Learning with RhymeRL
arxiv.org·6d
🔗Parser Combinators