📏 Linear Types

Resource Management, Use-Once Semantics, Affine Types, Memory Safety

Personal Standard Library - Generic and Type-Safe Containers
reddit.com·18h·
Discuss: r/C_Programming
λFunctional Programming
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·11h
🧮SMT Solvers
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·5h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
Low-Level Hacks
blog.raycursive.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·20h·
Discuss: r/programming
📄FlatBuffers
Flag this post
How to Design Efficient Memory Architectures for Agentic AI Systems
pub.towardsai.net·21h
🧠Memory Models
Flag this post
Thoughts on "Static Retrival Revisited"
curiouscoding.nl·1d
#️⃣Hash Tables
Flag this post
News for October 2025
ptreview.sublinear.info·1d
✅Property Testing
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
How to build a Heapless Vector using `MaybeUninit<T>` for Better Performance.
dev.to·1d·
Discuss: DEV
⚠️Rust Unsafe
Flag this post
When will `type A = impl Trait` where A is associated type become stable?
github.com·1d·
Discuss: r/rust
📦Serde
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·2d·
Discuss: Hacker News
🔀SIMD Programming
Flag this post
Feature Stores 2.0: The Next Frontier of Scalable Data Engineering for AI
hackernoon.com·11h
🎨Design Systems
Flag this post
'No Free Lunch: Deconstruct Efficient Attention with MiniMax M2'
lmsys.org·1d
📱Edge AI
Flag this post
Flatpak Happenings
blog.sebastianwick.net·4h·
Discuss: r/linux
📄FlatBuffers
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
reddit.com·13h·
Discuss: r/ClaudeAI
🔨Incremental Compilation
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·18h·
Discuss: r/programming
λFunctional Programming
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·19h
λFunctional Programming
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post