Stock Market Shark: More Multidimensional DP
mmhaskell.com·16h
🔗Constraint Handling
Flag this post
A moonlit week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
λLambda Encodings
Flag this post
Research Worth Reading Week 43/2025
pentesterlab.com·1d
🛡️Proof-Carrying Archives
Flag this post
Mastering Lock-Free Data Structures in Go: Ring Buffers, Queues, and Performance Optimization
dev.to·1d·
Discuss: DEV
⚡Hardware Transactional Memory
Flag this post
Automatically Translating C to Rust
cacm.acm.org·3d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
AgentKit: How Efficient Laziness Fixes Fragile LLM Workflows
dev.to·15h·
Discuss: DEV
⚙️Proof Engineering
Flag this post
Building for the future
icy.leaflet.pub·2h·
Discuss: Hacker News
📦Content Addressable
Flag this post
The seven second kernel compile
es.tldp.org·4h·
Discuss: Hacker News
💾Memory Mapping
Flag this post
How TARmageddon Compromises Rust Security: A Developer’s Guide
thenewstack.io·3d·
Discuss: Hacker News, r/rust
🦀Embedded Rust
Flag this post
The Art of Dependency Updates: Balancing Stability, Features, and Security
wawand.co·10h·
Discuss: Hacker News
📦Package Managers
Flag this post
Re: A few comments on ‘age’ (2019)
groups.google.com·5h·
Discuss: Lobsters
🔐Archive Encryption
Flag this post
Show HN: Zimic: TypeScript-first HTTP integrations
zimic.dev·1d·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
How to create a GPU-based, multi-tenant, Container as a Service k8s cluster with NVIDIA DGX/HGX
topofmind.dev·8h
📦Container Security
Flag this post
Dependent Session Types for Verified Concurrent Programming
arxiv.org·4d
📞Session Types
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·9h·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·1d·
Discuss: Hacker News
📐Format Grammars
Flag this post
A bestiary of single-file programming language implementations
github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Paillier Cryptosystem
en.wikipedia.org·11h·
Discuss: Hacker News
🔐Homomorphic Encryption
Flag this post
Rust for JavaScript Developers: A Complete Roadmap
scour.ing·1d·
Discuss: DEV
🦀Rust Macros
Flag this post
On Having a Data Object
natemeyvis.com·12h·
Discuss: Hacker News
🗄️Database Internals
Flag this post