Feeds to Scour
SubscribedAll
Scoured 122146 posts in 908.7 ms
The Observer Lemma
zenodo.org·21h·
Discuss: Hacker News
📐Type Theory
Custom RSpec Matchers Give Tests Superpowers
blog.ty-porter.dev·1d
🦀Rust
I benchmarked 4 CLI coding agents on an NP-hard optimization problem I solved by hand 8 years ago. One of them beat me.
charlesazam.com·6h·
Discuss: Hacker News
🦀Rust
The Air-Gapped Chronicles: The Sovereign Vault
pub.towardsai.net
·29m
🦀Rust
We Built a Better Cassandra + ScyllaDB Driver for Node.js – with Rust
scylladb.com·1d·
Discuss: r/programming, r/rust
🦀Rust
Lean 4 and the Curry–Howard correspondence
wildonblog.wordpress.com·3d
📐Type Theory
I Improved 15 LLMs at Coding in One Afternoon. Only the Harness Changed.
blog.can.ac·21h·
Discuss: Hacker News
🦀Rust
Real-Time AI Streaming in Production: What We Built at Helpmaton
metaduck.com·5h
🦀Rust
Railway Oriented Programming
fsharpforfunandprofit.com·6d·
Discuss: Hacker News
🔧functional programming languages
Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org·2d
🦀Rust
Rust Standard Library Challenges
rustfinity.com·1d·
Discuss: r/rust
🦀Rust
LateOn-Code & ColGrep: LightOn unveils state-of-the-art code retrieval models and code search tooling
huggingface.co·5h·
Discuss: Hacker News
🦀Rust
Python to Clojure: A Gentle Guide for Pythonistas
dev.to·12h·
Discuss: DEV
🔧functional programming languages
Structure Beats Prose: Specs for Coding Agents That Actually Work
medium.com·2d·
Discuss: Hacker News
🦀Rust
Optimizing the MongoDB Java Driver: How minor optimizations led to macro gains
linkedin.com·1d·
Discuss: DEV
🦀Rust
Blockers
theprogrammersparadox.blogspot.com·5h·
Discuss: theprogrammersparadox.blogspot.com
🦀Rust
Snakemake
snakemake.github.io·6h
🔧Tooling
Bringing a jewel-encrusted warhammer to a knife fight
reorchestrate.com·1d·
Discuss: Hacker News, r/rust
🦀Rust
True, Relevant, and Wrong: The Applicability Problem in RAG
pinecone.io·21h
📐Type Theory
Wrapping trait implems in an enum kept appearing in code base so I blogged about it. Are there other such useful patterns that are not much advertised?
asfaload.com·3d·
Discuss: r/rust
🦀Rust

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help