Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
🗣️Language Servers
SOME: Symmetric One-Hot Matching Elector -- A Lightweight Microsecond Decoder for Quantum Error Correction
arxiv.org·19h
🌍Distributed Systems
“Opponent shaping” as a model for manipulation and cooperation
lesswrong.com·14h
🧮Linear Algebra
The State of Post-Quantum Cryptography in Rust: The Belt Is Vacant
blog.projecteleven.com·1d·
Discuss: Hacker News
🔧Embedded Rust
'Hello world' in Bismuth
enikofox.com·12h·
Discuss: Lobsters, Hacker News, r/programming
🎭Proc Macros
2000 words about arrays and tables
buttondown.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Linear Algebra
Sync primitives are Functionally Complete
kprotty.me·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Async Rust
Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
🗣️Language Servers
Go Assembly Mutation Testing
words.filippo.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🔧Embedded Rust
The Signal Protocol Explained #2: Implementing the Double Ratchet Algorithm in Rust
kerkour.com·2d·
Discuss: Hacker News
🔧Embedded Rust
Discrete Tokenization for Multimodal LLMs: A Comprehensive Survey
arxiv.org·19h
🗣️Language Servers
Research Areas in Information Theory and Cryptography (The Alignment Project by UK AISI)
lesswrong.com·12h
🔒Hardware Security
From XML to JSON to CBOR
cborbook.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🕸️WebAssembly
In-Network Leaderless Replication for Distributed Data Stores
vldb.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🌍Distributed Systems
Show HN: Term – Rust-based data validation with OpenTelemetry
github.com·2d·
Discuss: Hacker News
🔧Embedded Rust
Schematra: Sinatra inspired Chicken web framework
github.com·1d·
Discuss: Lobsters, Hacker News
🕸️WebAssembly
The smallest embeddable scripting language, part 1
log.schemescape.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🏗️LLVM
Data Leakage and Redundancy in the LIT-PCBA Benchmark
arxiv.org·2d
📊Profiling Tools
I designed my own ridiculously fast game streaming video codec
themaister.net·4d·
Discuss: Lobsters, Hacker News
🎮Game Engines
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·1d
🗣️Language Servers