🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Optimizing CI/CD with RAM Target Applications
mcuoneclipse.com·2d
🏷️Memory Tagging
Ruckus Unleashed: Multiple vulnerabilities exploited
sector7.computest.nl·18h
🔓Hacking
The Rise of Fluid Teams
blog.pwkf.org·9h·
Discuss: Hacker News
💧Liquid Types
Categorizing Book Notes with AI
mieubrisse.substack.com·1d·
Discuss: Substack
🌀Brotli Internals
There are plenty of expensive SSD NAS, but I tested the TerraMaster F4 and it might deliver exactly what many people want from this technology
techradar.com·7h
🏠Homelab Preservation
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·4d·
Discuss: Hacker News
🔗Concatenative Programming
The New Bar for Engineers in 2025: AI-Native or Behind
zachwills.net·17h·
Discuss: Hacker News
🔌Interface Evolution
Try These Logic Puzzles from the International Logic Olympiad
scientificamerican.com·1h
📚Proof Pedagogy
Week 5— Learning Basic Concepts of Cybersecurity
infosecwriteups.com·13h
🌐Web Standards
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·6d
🎯Gradual Typing
Unpacking Go Slices: 3 Common Gotchas You Need to Know
dev.to·4d·
Discuss: DEV
⬆️Lambda Lifting
Acceleration of Gossip Algorithms through the Euler-Poisson-Darboux Equation
arxiv.org·14h
🕸️Network Topology
🔐 FastAPI JWT Authentication with SQLite Database for Secure APIs
dev.to·1d·
Discuss: DEV
🧩SQLite Extensions
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·5d·
Discuss: Hacker News
🦀Rust Borrowing
Show HN: Easy Python Time Parsing
github.com·8h·
Discuss: Hacker News
📝Concrete Syntax
You are the pilot: How to stand out in the vibe coding era
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Reading Between the Lines: Combining Pause Dynamics and Semantic Coherence for Automated Assessment of Thought Disorder
arxiv.org·14h
👂Psychoacoustics
🔍 What is Retrieval-Augmented Generation (RAG)?
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Graph-Structured Data Analysis of Component Failure in Autonomous Cargo Ships Based on Feature Fusion
arxiv.org·14h
🧠Machine Learning
Causal Knowledge Transfer for Multi-Agent Reinforcement Learning in Dynamic Environments
arxiv.org·14h
🔲Cellular Automata