Feeds to Scour
SubscribedAll
Scoured 9391 posts in 341.5 ms
Measuring Model Overconfidence: When AI Thinks It Knows
dev.to·4d·
Discuss: DEV
🧠Automated Reasoning
Craig Interpolation in Program Verification
arxiv.org·1d
🔍CBMC
The middle ground between canonical models and data mesh
frederickvanbrabant.com·1d·
Discuss: r/programming
🔢Algebraic Data Types
A Small-Scale System for Autoregressive Program Synthesis Enabling Controlled Experimentation
arxiv.org·22h
🐫Embedded OCaml
Claude Opus 4.6: System Card Part 2: Frontier Alignment
lesswrong.com·1d
🛡️seL4
On Meta-Level Adversarial Evaluations of (White-Box) Alignment Auditing
lesswrong.com·1d
📚Automata Learning
Games Console (2018)
mitxela.com·1d·
Discuss: Hacker News
💾Retro Computing
The Autonomous Experimentation Engine
remoroo.com·3d·
Discuss: Hacker News
👁️System Observability
Show HN: 0x – A language that compiles to React, Vue, and Svelte (80% less code)
0xlang.com·1d·
Discuss: Hacker News
🔧ppx
Introducing Showboat and Rodney, so agents can demo what they’ve built
simonwillison.net·1d·
Discuss: Hacker News
💻CLI Tools
Large Language Models for Mortals book released
crimede-coder.com·1d·
Discuss: Hacker News
🎯Hindley-Milner
Expectation and Copysets
buttondown.com·2d·
Discuss: Hacker News, Hacker News
🔢Algebraic Data Types
Well-Typed.Com: hs-bindgen 0.1-alpha release
well-typed.com·2d·
Discuss: Lobsters, Hacker News
📦Opam
Show HN: Local and Cloud LLM Comparison Using Nvidia DGX Spark
devashish.me·2d·
Discuss: Hacker News
👁️System Observability
LLM Performance in Astro, React, Tailwind and Cloudflare
10xbench.ai·1d·
Discuss: Hacker News
👁️System Observability
No, dynamic type systems are not inherently more open
lexi-lambda.github.io·1d·
Discuss: Hacker News
❓Existential Types
Show HN: ShapeGuard – Shape Contracts for NumPy and Jax
news.ycombinator.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Learning by hand is better than learning by AI
blog.engora.com·2d·
Discuss: Hacker News
📚Automata Learning
A one-prompt attack that breaks LLM safety alignment
microsoft.com·2d·
Discuss: Hacker News
🛡️seL4
Why Spec-Driven Development Breaks at Scale (and How to Fix It)
arcturus-labs.com·2d·
Discuss: Hacker News
🔄Reproducible Builds

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