Feeds to Scour
SubscribedAll
Scoured 83222 posts in 1.20 s
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🎯Symbolic Execution
Concurrency Deep Dive: Memory Models, Lock-Free, and RCU
dev.to·2h·
Discuss: DEV
🧠Memory Models
Build a Compiler in Five Projects
kmicinski.com·6h
🎭Racket Modules
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
🌊Reactive Languages
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·1d·
Discuss: r/golang
🔤Regex Engines
JavaScript Execution Context and Call Stack Explained
linkedin.com·2h·
Discuss: DEV
📚Call Stacks
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
πPi Calculus
The Rise of Spec Driven Development
dbreunig.com·1d·
Discuss: Hacker News
🥾Compiler Bootstrapping
feldera/feldera: The Feldera Incremental Computation Engine
github.com·6h
🚂Cranelift IR
LLM Inference Benchmarking - Measure What Matters
digitalocean.com·1d
⚡Performance
felt the flow while programming
skuka.online·1d
⚡Live Programming
Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway
webpronews.com·14h
🏗️LLVM
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·1h·
Discuss: Hacker News
🔬Nanopasses
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·1d
🔒Rust Borrowing
I Built a 6 BIPS JIT in Five Months
unlikelyemphasis.substack.com·1d·
Discuss: Substack
📜Bytecode Interpreters
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·1d
📡Erlang BEAM
Let Lambda Come Over
yamlscript.org·11h
λLambda Calculus
Linting intra-task concurrency and FutureLock
farnoy.dev·2d·
Discuss: r/rust
⚙️Async State Machines
Is Your Machine Learning Pipeline as Efficient as it Could Be?
kdnuggets.com·1d
🚀MLton
learning by reverse engineering
clymup.com·2h
🔓Decompilers

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