Feeds to Scour
SubscribedAll
Scoured 2510 posts in 89.3 ms
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
⚙️systems programming
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚙️systems programming
Railway Oriented Programming
fsharpforfunandprofit.com·23h·
Discuss: Hacker News
🐫ocaml
Local Agent Bench: Test 11 small LLMs on tool-calling judgment, on CPU, no GPU
github.com·32m·
Discuss: Hacker News
⚙️systems programming
stdlib v7.2
erlang.org·1d·
Discuss: Hacker News
🐫ocaml
Waterloo Style
theprogrammersparadox.blogspot.com·20h·
Discuss: Hacker News
⚙️systems programming
The control layer for AI
blog.dottxt.ai·14h·
Discuss: Hacker News
⚙️systems programming
clojure.spec - Rationale and Overview
clojure.org·5d·
Discuss: Hacker News
🐫ocaml
The Engineering Discipline That Made AI Actually Useful
multigres.com·2d·
Discuss: Hacker News
🔄compilers
Multi-Paxos – Consensus in Distributed Databases
arpitbhayani.me·17h·
Discuss: Hacker News
⚙️systems programming
The Missing Layer
yagmin.com·2d·
Discuss: Hacker News
⚙️systems programming
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
link.springer.com·18h·
Discuss: Hacker News
🐫ocaml
LLMs could be, but shouldn't be compilers
alperenkeles.com·1d·
Discuss: Lobsters, Hacker News
🔄compilers
The Rise of Spec Driven Development
dbreunig.com·22h·
Discuss: Hacker News
⚙️systems programming
Building "zero-gap" secrets for a UGC platform
news.ycombinator.com·13h·
Discuss: Hacker News
⚙️systems programming
Company as Code
blog.42futures.com·2d·
Discuss: Hacker News
⚙️systems programming
Rethinking Time in Computation – From Wall Clocks to State Transitions
d1gesto.blogspot.com·20h·
Discuss: Hacker News
⚙️systems programming
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·1d·
Discuss: Hacker News
🐫ocaml
Verifying coding AIs for LLM powered software
aunhumano.com·3d·
Discuss: Hacker News
⚙️systems programming
A Tale of Two Standards, POSIX and Win32 (2005)
samba.org·3h·
Discuss: Hacker News
⚙️systems programming

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