Feeds to Scour
SubscribedAll
Scoured 82998 posts in 290.0 ms
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.orgยท1d
๐ŸงฉConstraint Solvers
Context Rot: From Agent Loop to Agent Swarm โ€” Solving Context Persistence in AI-Assisted Development
dev.toยท22hยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.comยท22h
๐Ÿ“กErlang BEAM
๐ŸŽฒ Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.comยท2d
๐Ÿš‚Error Propagation
Build a Compiler in Five Projects
kmicinski.comยท4h
๐ŸŽญRacket Modules
Agentic Proof-Oriented Programming
risemsr.github.ioยท1dยท
Discuss: Lobsters, Hacker News
ฯ€Pi Calculus
7 Continuous Testing Best Practices That Accelerate Software Delivery
thecrazyprogrammer.comยท1h
๐Ÿ”ฅJIT Compilers
The Rise of Spec Driven Development
dbreunig.comยท22hยท
Discuss: Hacker News
๐ŸฅพCompiler Bootstrapping
feldera/feldera: The Feldera Incremental Computation Engine
github.comยท4h
๐Ÿš‚Cranelift IR
Abstract Framework for All-Path Reachability Analysis
arxiv.orgยท2d
๐Ÿ”„Protocol State Machines
JavaScript Execution Context and Call Stack Explained
linkedin.comยท50mยท
Discuss: DEV
๐Ÿ“šCall Stacks
Automatic Programming
notes.billmill.orgยท2d
๐ŸŽญProgram Synthesis
Style tips for less experienced developers coding with AI
honnibal.devยท1dยท
Discuss: Hacker News
๐ŸŒŠGradual Effects
Linting intra-task concurrency and FutureLock
farnoy.devยท2dยท
Discuss: r/rust
โš™๏ธAsync State Machines
I Built a 6 BIPS JIT in Five Months
unlikelyemphasis.substack.comยท1dยท
Discuss: Substack
๐Ÿ“œBytecode Interpreters
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.aiยท1dยท
Discuss: Hacker News
๐ŸŒŠReactive Languages
Concurrency Deep Dive: Memory Models, Lock-Free, and RCU
dev.toยท52mยท
Discuss: DEV
๐Ÿง Memory Models
The Spec Problem, Part 1: When Tools Try to Do Too Much
blog.gorewood.gamesยท1d
๐ŸŒณTree Shaking
LISP: Symbolic Architecture and the Evolution of Agentic Systems
notebooklm.google.comยท1d
๐Ÿ–ฅ๏ธLisp Machines
Why Large Language Models Make Terrible Compilers โ€” And Why the Industry Keeps Trying Anyway
webpronews.comยท12h
๐Ÿ—๏ธLLVM

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