Folly: IOBuf and Zero-Copy Networking
uvdn7.github.io·17h·
Discuss: Hacker News
🔄Protocol Design
UK Government Recruiting Puzzle
mindyourdecisions.com·3h
🔗Crypto
How I compile and run software (e.g. XLibre)
felipec.wordpress.com·2d
🔧MLIR
2025 Week 28
paultraylor.net·1d
🔄Protocol Design
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·6d·
Discuss: Lobsters, Hacker News, r/programming
🔧MLIR
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·3d·
Discuss: Hacker News
✅Formal Verification
Programming serious roguelikes takes a lot longer than I was expecting
reddit.com·16h·
Discuss: r/roguelikedev
🔧MLIR
NeoPilot - the assistant
dev.to·22h·
Discuss: DEV
🤖AI
I built a VSCode extension to see your Javascript/Typescript code on an infinite canvas.
reddit.com·1d·
Discuss: r/reactjs
🔧MLIR
My Linux Learning Journey: From Clueless to Confident
dev.to·23h·
Discuss: DEV
✅Formal Verification
Death by a thousand slops
daniel.haxx.se·11m
🔗Crypto
From TypeScript to Rust – My Journey Begins 🦀
dev.to·4d·
Discuss: DEV
🔧MLIR
SFedKD: Sequential Federated Learning with Discrepancy-Aware Multi-Teacher Knowledge Distillation
arxiv.org·6h
🌐Decentralized AI
From Lab Toy to Core Infra: Why Vector Databases Became Default in My AD Projects
dev.to·1h·
Discuss: DEV
🛡️AI Safety
From Curiosity to Competence: How World Models Interact with the Dynamics of Exploration
arxiv.org·6h
🛡️AI Safety
Middleware Architecture Patterns for Request Processing(3755)
dev.to·1d·
Discuss: DEV
📜Smart Contracts
Just started learning C for college. Let’s see how this goes.
reddit.com·5d·
Discuss: r/C_Programming
✅Formal Verification
AmpLyze: A Deep Learning Model for Predicting the Hemolytic Concentration
arxiv.org·6h
🧮Homomorphic Encryption
I Tested Grok 4 to See if the Hype is Real: What I Found Will Surprise You
dev.to·14h·
Discuss: DEV
🤖AI
Rust Async Web Framework Performance Breakthrough(7941)
dev.to·1d·
Discuss: DEV
🔧MLIR