Feeds to Scour
SubscribedAll
Scoured 8541 posts in 290.6 ms
Showcase: "act" - A lightweight Go library for cleaner error handling - my take on the Go error handling discussion
reddit.com·4d·
Discuss: r/golang
📦Opam
Fastfood: Approximate Kernel Expansions in Loglinear Time
dev.to·4d·
Discuss: DEV
🔠Type-Level Programming
CReact: JSX meta-execution engine v0.3.0
dev.to·4d·
Discuss: DEV
🔧ppx
FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
arxiv.org·1d
🎯GADT
AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org·1d
📐Hoare Logic
Oatmeal - Constraint propagation for fun
eli.li·4d·
Discuss: Lobsters, Hacker News
🧮SMT Solvers
Same Surface, Different Weight
robpanico.com·4d·
Discuss: Hacker News
🔢Algebraic Data Types
Show HN: Klint – Linux Kernel Security Scanner
saturnine.cc·3d·
Discuss: Hacker News
🔧Unikernel Development
Extracting Xcode's Claude Code Prompt
jackpearce.co.uk·4d·
Discuss: Hacker News
💻CLI Tools
Show HN: Claude has a compiler, I have SlopScript
slopscript.netlify.app·4d·
Discuss: Hacker News
🔧ppx
Unlocking core memories with GoldSrc engine and CS 1.6 (2025)
danielbrendel.com·4d·
Discuss: Hacker News
🔧Unikernel Development
PanelBench: We evaluated Cursor's Visual Editor on 89 test cases. 43 fail
tryinspector.com·5d·
Discuss: Hacker News
👁️System Observability
A Horrible Conclusion
addisoncrump.info·5d·
Discuss: Lobsters, Hacker News
🛡️seL4
Code only says what it does
brooker.co.za·4d·
Discuss: Hacker News
🤖Program Synthesis
Using AI for Code Reviews: What Works, What Doesn’t, and Why
entelligence.ai·4d·
Discuss: Hacker News
🔄Reproducible Builds
Designing MCP tool schemas that LLMs understand
news.ycombinator.com·3d·
Discuss: Hacker News
🛡️seL4
Understanding the Go Runtime: The Bootstrap
internals-for-interns.com·3d·
Discuss: Hacker News, r/golang
🏃Escape Analysis
Context Is Part of the Game
joy.pm·4d·
Discuss: Hacker News
🎮Verification Games
Sound and Practical Points-To Analysis for Incomplete C Programs [pdf]
sjalander.com·3d·
Discuss: Hacker News
🐫OCaml
C and Undefined Behaviour
lelanthran.com·3d·
Discuss: Hacker News, r/C_Programming, r/programming
🏃Escape Analysis

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