Multiple Reachability in Linear Dynamical Systems
arxiv.org·8h
🔲Cellular Automata
FSM for Python, Inspired by Gen_fsm
github.com·1d·
Discuss: Hacker News
🐛Fuzzing
Automated Verification of Model-Based Design Transformations via Formal Methods and Deep Learning
dev.to·14h·
Discuss: DEV
⚙️Proof Engineering
Anaphoric Macros
letoverlambda.com·3h·
Discuss: Lobsters
🧠Lisp Dialects
Beyond `?`: Why Rust Needs `try` for Composable Effects
reddit.com·1d·
Discuss: r/rust
🐚Shell Monads
Mellea is a library for writing generative programs
mellea.ai·19h·
Discuss: Lobsters, Hacker News
⚡Incremental Computation
Writing an LLM from scratch - Tutorial series
gilesthomas.com·20h
💻Local LLMs
On The Little Things of Data Representation
lmika.org·14h
🗄️Database Internals
Complex behaving Hardware with CircuitPython - Part I
hackster.io·2d
⚡Circuit Design
Babbage – The Language of the Future
tlc-systems.com·16h·
Discuss: Hacker News
🇬🇧British Computing
Promoting Efficient Reasoning with Verifiable Stepwise Reward
arxiv.org·8h
🔗Constraint Handling
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·15h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
LangGraph 101: Let’s Build A Deep Research Agent
towardsdatascience.com·12h
🕸️Neo4j
Simplifying Code: Migrating from Reactive to Virtual Threads
scalex.dev·1d·
Discuss: Hacker News
🌊Stream Processing
Software Engineering Laws - Coding & Development
leadership.garden·19h
🔩Systems Programming
Databricks: Recognizing and avoiding security vulnerabilities in vibe coding
heise.de·1d
📜Proof Carrying Code
Google DeepMind Genie 3: The Most Interesting AI Model Announced in 2025
thealgorithmicbridge.com·21h
🔲Cellular Automata
Show HN: Mapping the Network Behind "The Network State"
evai.ai·17h·
Discuss: Hacker News
📡BGP Archaeology
Go go goroutines
bitfieldconsulting.com·3h
🧠Program Logic
Swift for the Web
nicksloan.com·2d·
Discuss: Hacker News
🔬Refinement Types