bts's Top Finds
Feeds to Scour
SubscribedAll
Scoured 149979 posts in 1.30 s
Loading...
Technical Perspective: Toward a Formally Verified Compiler for a Synchronous, Functional, Data-Flow Programming Language
cacm.acm.org·6h
⚙Programming Language Design
Preview
Report Post
Well, new vulnerability in the rust code
git.kernel.org·1d·
Discuss: Hacker News, r/linux, r/programming
🦀Rust
Preview
Report Post
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
arxiv.org·2h·
Discuss: Lobsters
🦀Rust
Preview
Report Post
The Impatient Programmer’s Guide to Bevy and Rust: Chapter 4 - Let There Be Collisions
reddit.com·22h·
Discuss: r/rust_gamedev
🦀Rust
Preview
Report Post
Heartlander
freerepublic.com·5h
🤔philosophy
Preview
Report Post
Great Ideas in Theoretical Computer Science
cs251.com·41m·
Discuss: Hacker News
⚙Programming Language Design
Preview
Report Post
DISTRIBUTED SYSTEMS
dev.to·1d·
Discuss: DEV
🌐Distributed Systems
Preview
Report Post
Python to Rust: Porting My Genetic Art Algorithm
blog.4dcu.be·10h
🦀Rust
Preview
Report Post
The Wrong Question About Type Systems
furkan3ayraktar.github.io·1d·
Discuss: Lobsters, Hacker News
🦀Rust
Preview
Report Post
The First Rust CVE in Linux Kernel Only Makes Your System Crash
itsfoss.com·7h
🦀Rust
Preview
Report Post
Idiomatic Rust CLI Framework build on Clap
crates.io·2h·
Discuss: r/rust
🦀Rust
Preview
Report Post
michmech/lemmatization-lists: Machine-readable lists of lemma-token pairs in 23 languages.
github.com·1d
⚙Programming Language Design
Preview
Report Post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Vibe Coding Is Creating a Generation of Sorcerer’s Apprentices
russellmiller2.substack.com·4h·
Discuss: Substack
⚙Programming Language Design
Preview
Report Post
Announcing support for GROUP BY, SUM, and other aggregation queries in R2 SQL
blog.cloudflare.com·9h
💎Materialized Views
Preview
Report Post
Unicode strings
rosettacode.org·13h
⚙Programming Language Design
Preview
Report Post
Rust vs C++: competition or evolution in systems programming for 2026
blog.jetbrains.com·2d
🦀Rust
Preview
Report Post
Show HN: Spice Cayenne – SQL acceleration built on Vortex
spice.ai·4h·
Discuss: Hacker News
💾Database Systems
Preview
Report Post
Selective Applicative Functors
blog.veritates.love·1d·
Discuss: Lobsters, Hacker News
📐Type Theory
Preview
Report Post
Secure your Rust projects and significantly improve the developer experience with Dev Containers
kerkour.com·1d
🦀Rust
Preview
Report Post
Inlining – The Ultimate Optimisation
xania.org·1d·
Discuss: Lobsters, Hacker News
🔨Compilers
Preview
Report Post