A fresh look at the Spring Framework
infoworld.com·4h
🎨API Design
Flag this post
Radar Trends to Watch: November 2025
oreilly.com·1d
🎭Program Synthesis
Flag this post
Formal Verification’s Value Grows
semiengineering.com·5h
🎭Program Synthesis
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
Composer-1 vs SWE-1.5: A detailed Comparison
dev.to·8h·
Discuss: DEV
🎮Game Engines
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·5d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Your ORM is Lying to You About SQL (CTEs Explained)
buttondown.com·2d·
Discuss: DEV
🔍Query Optimization
Flag this post
Pragma Unroll
sandordargo.com·4h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Proving Authenticated Key Exchange via Memory-Efficient Reductions
eprint.iacr.org·6d
🧠Memory Models
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography for Secure Model Aggregation in Cross-Silo Envir...
dev.to·4h·
Discuss: DEV
🔢Homomorphic Encryption
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.ai·5h
🧮Vector Databases
Flag this post
A unified threshold-constrained optimization framework for consistent and interpretable cross-machine condition monitoring
sciencedirect.com·3d
🔍eBPF
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
📐TLA+
Flag this post
Best approach for transactional emails in Rust e-commerce app?
reddit.com·1d·
Discuss: r/rust
🦀Rust
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
blog.chrislewis.au·1h·
Discuss: Hacker News
🔓Binary Exploitation
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·18h·
Discuss: r/programming
📏Linear Types
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·1d·
Discuss: Hacker News
📏Linear Types
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·22h·
Discuss: Hacker News
🦀Rust
Flag this post
A C example with objects and a arena for allocations, what do you think?
reddit.com·1h·
Discuss: r/C_Programming
🦀Rust
Flag this post