Handbook of Satisfiability (2021)
iospress.com·16h·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
What If "Maybe" Was A Core Data Type In ColdFusion
bennadel.com·5h
🦉Swift Interpreters
Flag this post
De Bruijn Numerals
text.marvinborner.de·3d·
Discuss: Hacker News
λLambda Calculus
Flag this post
Oops, My UUIDs Collided
alexsci.com·2d·
Discuss: Hacker News
🔗Hash Functions
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.dev·31m·
Discuss: Hacker News
🌊Dataflow Languages
Flag this post
🚀 The Black Box Principle: Decoupling API Clients with OpenAPI and TypeScript
dev.to·1d·
Discuss: DEV
🔧API Design
Flag this post
Building Up And Sanding Down
endler.dev·3d
🔧API Design
Flag this post
Making an Easy-to-Install Application in Python
gokmengorgen.net·6h·
Discuss: Lobsters, Hacker News
📦Package Managers
Flag this post
Exhaustive Guide to Generative and Predictive AI in AppSec
qwiet.ai·2d·
Discuss: DEV
🛡️Taint Analysis
Flag this post
Using a macro for a repeated if statement condition?
reddit.com·5h·
Discuss: r/C_Programming
🪄Macros
Flag this post
A Beginner’s Guide to Getting Started with add_messages Reducer in LangGraph
langcasts.com·2d·
Discuss: DEV
🌉Language Bridges
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·3d
⚖️Inference Rules
Flag this post
Favourites of October 2025
brainbaking.com·12h
⚡Effect Handlers
Flag this post
Unlocking LLMs: The Self-Steering Revolution
dev.to·12h·
Discuss: DEV
🪜Recursive Descent
Flag this post
Pressure to change
maryrosecook.com·1d·
Discuss: Hacker News
📚Self-Documenting Code
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.to·3d·
Discuss: DEV
🎯Pattern Matching
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·3d·
Discuss: Hacker News
🌊Gradual Typing
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🪄C Metaprogramming
Flag this post
Convince me to use C instead of Rust
reddit.com·14h·
Discuss: r/C_Programming
🏗️Minimal Compilers
Flag this post
The Cargo Cult in the Machine: Why LLMs Are the Ultimate Imitators
steviee.medium.com·15h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post