Feeds to Scour
SubscribedAll
Scoured 8612 posts in 95.8 ms
Computational Explorations on Semifields
arxiv.org·1d
🔀Brzozowski Derivatives
Wheeler Bisimulations
arxiv.org·2d
📐Hoare Logic
A Simple Method for Commonsense Reasoning
dev.to·4d·
Discuss: DEV
📚Automata Learning
Hello World: Algorithmic Trading & DeFi Logic
dev.to·4d·
Discuss: DEV
🔀Brzozowski Derivatives
Building a Regex Engine with a team of parallel Claudes
lesswrong.com·1d
🧩Parser Combinators
Observations and Complexity
lesswrong.com·3d
👁️Observability
Relational Programming in miniKanren: Techniques, Applications, and Implementations (2009)
scholarworks.iu.edu·3d·
Discuss: Lobsters
🐫OCaml
How pair prompting could mitigate the risks of AI assisted programming
gethopp.app·1d·
Discuss: Hacker News
🤖Program Synthesis
Benchmarking Claude C Compiler
dineshgdk.substack.com·2d·
Discuss: Substack, r/programming
🏃Escape Analysis
State of HLSL: February 2026
abolishcrlf.org·2d·
Discuss: Hacker News
🔬Static Analysis
DFlash: Block Diffusion for Flash Speculative Decoding
z-lab.ai·2d·
Discuss: Hacker News
🔀OCaml Multicore
Testing 80 LLMs on spatial reasoning on grids
mihai.page·3d·
Discuss: Hacker News
🎮Verification Games
Allium is an LLM-native language for sharpening intent alongside implementation
juxt.github.io·3d·
Discuss: Hacker News
⚙️PL Implementation
Circumstantial Complexity, LLMs and Large Scale Architecture
datagubbe.se·2d·
Discuss: Hacker News
⚙Operational Semantics
Portable C Compiler
en.wikipedia.org·4d·
Discuss: Hacker News
🐫Embedded OCaml
six thoughts on generating c
wingolog.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Autobiolocation
autobiolocation.is·3d·
Discuss: Hacker News
🔲Cellular Automata
Building a semantic search engine in ±250 lines of Python
bart.degoe.de·2d·
Discuss: Hacker News
🔁Fixed-Point Theory
Railway Oriented Programming
fsharpforfunandprofit.com·6d·
Discuss: Hacker News
📦Module Systems
Jim Roskind on C Ambiguity
pdos.csail.mit.edu·6d·
Discuss: Hacker News
🔀Brzozowski Derivatives

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