Cyclic Proofs for iGL via Corecursion
arxiv.org·13h
🧮SMT Solvers
Flag this post
Designing Data-Intensive Applications [Book Review]-The Big Ideas Behind Reliable, Scalable and Maintainable Systems
dev.to·2h·
Discuss: DEV
🏗️System Design
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·7h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
📐TLA+
Flag this post
Creating Lisp Systems
renato.athaydes.com·11h·
Discuss: Hacker News
🏭Code Generation
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·21h·
Discuss: r/C_Programming
📏Linear Types
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·2d
λFunctional Programming
Flag this post
News for October 2025
ptreview.sublinear.info·1d
✅Property Testing
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·1d·
Discuss: DEV
⚛️Quantum Computing
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·1d·
Discuss: DEV
📦Serde
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
📐TLA+
Flag this post
From logs to insights: The AI breakthrough redefining observability
venturebeat.com·13h
🔭Tracing
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
100 Techniques for Writing Readable Rust Code
github.com·14h·
Discuss: r/rust
🦀Rust Macros
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
reddit.com·15h·
Discuss: r/ClaudeAI
🔨Incremental Compilation
Flag this post
Pain Points of OCaml
quamserena.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·2d
📐Type Theory
Flag this post
Handbook of Satisfiability (2021)
iospress.com·3d·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·8h·
Discuss: Lobsters, Hacker News, r/programming
🔓Binary Exploitation
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·1d·
Discuss: Hacker News
🛡️Error Handling
Flag this post