Recent Rust Changes
ncameron.org·6h·
🦀Rust Borrowing
Flag this post
GSoC '25: Parallel Macro Expansion
lorrens.me·1d·
Discuss: r/rust
🦀Rust Macros
Flag this post
Rust Coreutils 0.3.0: Up to 3.7x Faster Than GNU Tools
heise.de·14h
🦀Rust Macros
Flag this post
How to organize your Rust tests
blog.logrocket.com·7h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Rust Gets a Garbage Collector
weeklyrust.substack.com·16h·
Discuss: Substack
🦀Rust Borrowing
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·14h·
Discuss: Hacker News
🔒Type Safety
Flag this post
The Trojan Example: Jailbreaking LLMs through Template Filling and Unsafety Reasoning
arxiv.org·22h
🌐NetworkProtocols
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·17h
SIMD Vectorization
Flag this post
Show HN: Cuq – Formal Verification of Rust GPU Kernels
github.com·5d·
🦀Rust Borrowing
Flag this post
Speedrunning an RL Environment
sidb.in·12h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Modern Perfect Hashing
blog.sesse.net·13h·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·11h·
🧪Binary Fuzzing
Flag this post
Research Worth Reading Week 43/2025
pentesterlab.com·1d
🛡️Proof-Carrying Archives
Flag this post
A Vision for Future Low-Level Languages
antelang.org·3d·
🦀Rust Borrowing
Flag this post
Turing Machine Visualization (2016)
turingmachine.io·3h·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
AgentKit: How Efficient Laziness Fixes Fragile LLM Workflows
dev.to·17h·
Discuss: DEV
⚙️Proof Engineering
Flag this post
Automatically Translating C to Rust
cacm.acm.org·3d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Stock Market Shark: More Multidimensional DP
mmhaskell.com·17h
🔗Constraint Handling
Flag this post
Parsing: How Ruby Understands Your Code
patshaughnessy.net·1d
📝Concrete Syntax
Flag this post