KnorrFG's Top FindsLoading...
Linear Types for Programmers
twey.io·1d·
Discuss: Hacker News
📐Type Theory
Web Developer Travis McCracken on Using Async Rust Safely
dev.to·1d·
Discuss: DEV
🦀Rust
Parallel Programming Models
ayushgundawar.me·1d·
Discuss: Hacker News
🦀Rust
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
🐪ocaml
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com·4h·
Discuss: Hacker News
🦀Rust
How should we learn from bugs?
typesanitizer.com·1h·
Discuss: Hacker News
⚠️Error Handling
Vibe coding complex changes in Rust
youtube.com·1d
🦀Rust
Running C++ on Cloudflare WASM
saus.app·9h·
Discuss: Hacker News
🦀Rust
lydiahallie/javascript-questions
github.com·18h
💻programming
A Library Approach to Constant Template Parameters
brevzin.github.io·1d·
Discuss: Hacker News, r/cpp
🦀Rust
ECMA-262, 16th edition, June 2025
262.ecma-international.org·3h·
Discuss: Hacker News
🐪ocaml
The smallest embeddable scripting language, part 1 | Lobsters
lobste.rs·5h·
Discuss: Lobsters
🦀Rust
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
[D] reflecting on 8 years of model inference
reddit.com·1h·
Discuss: r/MachineLearning
📐Type Theory
Three bad things: threads, garbage collection, and nondeterministic destructors
apenwarr.ca·11h·
Discuss: Hacker News
🦀Rust
Smart Pointers in Rust: A Love Story Between You and Memory Safety 💘
dev.to·2d·
Discuss: DEV
🦀Rust
Claude Code and shipping stuff to prod
boliv.substack.com·10h·
Discuss: Substack
🦀Rust
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1h·
Discuss: Substack, r/programming
💻programming
A Doubly-MMapped Contiguous Shared-Memory Lock-Free Queue
reachablecode.com·19h·
Discuss: Hacker News
🦀Rust
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·2d·
Discuss: Hacker News
⚠️Error Handling
Rust vs. Java: Choosing the right tool for your next project
blog.jetbrains.com·2d
🦀Rust