🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Google Cloud Oddities Summer 2025 Edition
sven.stormbind.net·17h
⚡gRPC
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·5h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
C++ Coroutines Advanced: Converting std:future to asio:awaitable
ddhigh.com·2d·
Discuss: Hacker News, r/cpp
🌊Stream Processing
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·1h
🧮Kolmogorov Complexity
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Upcoming const breakthrough
reddit.com·3d·
Discuss: r/rust
🦀Rust Verification
I've been coding with AI for two years. Here is what I've learned
nathanpeck.com·2h·
Discuss: Hacker News
💾Persistence Strategies
Advanced JIT Compilers for Ruby: TruffleRuby and JRuby
blog.appsignal.com·19h·
Discuss: Hacker News
💧Liquid Types
Open Sesame: Poems with Entropy
benwr.net·24m·
Discuss: Lobsters, Hacker News
🔓Password Cracking
Rust Language Cheat Sheet
cheats.rs·5d·
Discuss: Hacker News
🦀Rust Macros
Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology
Coming to ISO C++ 26 Standard: An AI Acceleration Edge
thenewstack.io·2d·
Discuss: Hacker News
🔩Systems Programming
Row Polymorphic Programming
stranger.systems·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·1h
🛡️Proof-Carrying Archives
The Component Manifesto
lifeiscontent.net·1d·
Discuss: Hacker News
🧩WASM Components
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·1d
🔗Hash Chains
Show HN: Notsc – A CLI to Scaffold Node.js and TypeScript API Projects
npmjs.com·1d·
Discuss: Hacker News
🎯Gradual Typing
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·3d·
Discuss: Hacker News
🔗Functional Compilers
Three unrelated thoughts about working with LLMs
henrycourse.com·5h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·1d
🔢Bitwise Algorithms