Functional Abstract Interpretation
simon.peytonjones.org·20h·
Discuss: Hacker News
🔍Query Compilers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·20h·
Discuss: Hacker News
📐Data Modeling
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·1d·
Discuss: r/programming
☁️Serverless Rust
A Rust Shaped Hole
mnvr.in·9h·
Discuss: Hacker News
🔌Embedded Rust
Discrete Differential Principle for Continuous Smooth Function Representation
arxiv.org·17h
🧬Computational Biology
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
📐Data Modeling
Functional Programming in 40 Minutes • Russ Olsen • GOTO 2024
youtube.com·6d
☁️Serverless Rust
A distributed systems reliability glossary
antithesis.com·6h·
Discuss: Lobsters, Hacker News
🔄CRDT
Song recommendations with pipes and filters
blog.ploeh.dk·1d
🌊Event Streaming
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·5h·
Discuss: Hacker News, r/programming
🔌Embedded Rust
The Best C++ Library
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News, r/cpp
🔌Embedded Rust
Inheritance over composition, sometimes
death.andgravity.com·14h
☁️Serverless Rust
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·22h·
Discuss: Hacker News
☁️Serverless Rust
The Way I Code (and have been coding for 30 years)
rosswintle.uk·2d
🔍Static Analysis
MatrixTransformer–A Unified Framework for Matrix Transformations
news.ycombinator.com·1d·
Discuss: Hacker News
💻Local LLMs
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🔍Query Compilers
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·2d·
Discuss: Hacker News
☁️Serverless Rust
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
✨vibe-coding
7 Frontend Design Patterns You Should Know (with Examples)
blog.devops.dev·5h
🧩Low-code
How AI on Microcontrollers Works: Registering Operators
danielmangum.com·1d·
Discuss: Hacker News
🏗️AI Infrastructure