Feeds to Scour
SubscribedAll
Scoured 74158 posts in 1.23 s
Constrained parallel tempering in traveling-salesman problems with circular neighborhoods
link.aps.org·1d
📮Multi-producer Queues
The path to noncommutative function theory: a research story
noncommutativeanalysis.wordpress.com·5d
∘Category Theory
Presentation: Expanding Swift from Apps to Services
infoq.com
·2d
🏰Tower
Learning Swift - Generics
troz.net·6d
🔢const Generics
Logic for Programmers New Release and Next Steps
buttondown.com·4d
📊Datalog
Show HN: LocalGPT – A local-first AI assistant in Rust with persistent memory
dev.to·18h·
Discuss: DEV
🦀Rust
I Built a Python CLI Tool for RAG Over Any Document Folder
dev.to·1h·
Discuss: DEV
📦uv
Fast Autoscheduling for Sparse ML Frameworks
ajroot.pl·4d·
Discuss: Hacker News, r/Compilers
🤖TVM
JavaScript Execution Context and Call Stack Explained
linkedin.com·1d·
Discuss: DEV
🔁eBPF Tail Calls
learning by reverse engineering
clymup.com·1d
🔍Reverse Engineering
Software Design by Example: A File Viewer
third-bit.com·1d
📚Stack Unwinding
[2301.04104] Mastering Diverse Domains through World Models
arxiv.org·21h
🔲Cellular Automata
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.com·2d·
Discuss: Hacker News, r/rust
🍱Nom
Game of Coding for Vector-Valued Computations
arxiv.org·4d
📦Succinct Data Structures
Continual learning and the post monolith AI era
baseten.co·2d·
Discuss: Hacker News
📱Edge AI
"Five-Point Haskell": Total Depravity (and Defensive Typing)
blog.jle.im·6d·
Discuss: Lobsters, Hacker News, r/programming
👻Phantom Types
Building a battle tested C compiler in a new language using Codex
moonbitlang.com·3d·
Discuss: Hacker News
🔨Compiler Design
Production pain points and coordination patterns from building a dual-orchestrator (Claude + Kimi) system on Claude Code. 8 failure modes with specs and invariants.
gist.github.com·1d·
Discuss: Hacker News
🌀Maelstrom
What I wish I knew before building a vibe coding platform
imagine.dev·2d·
Discuss: Hacker News
📝Poem
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·2d
📐TLA+

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