Feeds to Scour
SubscribedAll
Scoured 19000 posts in 706.3 ms
Introduction to Flakes
nixos-and-flakes.thiscute.world·18h
❄️Nix Flakes
Style tips for less experienced developers coding with AI
honnibal.dev·3d·
Discuss: Hacker News
🎯Gradual Typing
Unlocking the Power of Python Generators: A Comprehensive Guide
dev.to·17h·
Discuss: DEV
⚙️Parser Generators
Deep dive into Hierarchical Navigable Small Worlds
amandeepsp.github.io·1d·
Discuss: Hacker News, r/Zig, r/programming
🔶Voronoi Diagrams
Show HN: LocalGPT – A local-first AI assistant in Rust with persistent memory
dev.to·12h·
Discuss: DEV
🦀Rust Macros
A Newbie's First Contribution to (Rust for) Linux
blog.buenzli.dev·7h·
Discuss: Hacker News
🦀Rust Macros
outer measure in nLab
ncatlab.org·4d
🔢Denotational Semantics
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·2d
🤝Consensus Protocols
Hoot: Scheme on WebAssembly
spritely.institute·1d·
Discuss: Hacker News
🌐WASI
Waterloo Style
theprogrammersparadox.blogspot.com·2d·
Discuss: Hacker News
🕹Emulation Theory
The control layer for AI
blog.dottxt.ai·2d·
Discuss: Hacker News
🔒WASM Capabilities
Visual data modelling in the browser (open source)
github.com·1d·
Discuss: Hacker News
🔶Voronoi Diagrams
Building Highly Efficient Inference System for Recommenders Using PyTorch
pytorch.org·2d·
Discuss: Hacker News
📊Quantization
Circumstantial Complexity, LLMs and Large Scale Architecture
datagubbe.se·22h·
Discuss: Lobsters, Hacker News
⚙️Proof Engineering
To Consume or Reference in Rust
meejah.ca·3d
🦀Rust Borrowing
learning by reverse engineering
clymup.com·1d
🔓Reverse engineering
Logic Puzzles: Why the Liar Is the Helpful One
blog.szczepan.org·1d·
Discuss: Hacker News
🔲Proof Irrelevance
Human-like Search for Modern Applications
anvitra.ai·1d·
Discuss: Hacker News
🗂️Vector Search
Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference
arxiv.org·3d
📏Linear Logic
[Dev Weekly #97] Astro is 39% More Loved Than Next.js, Claude 4.6 + GPT-5.3 Codex Just Dropped, and more
blog.codeminer42.com·2d
🔄Language Evolution

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