Feeds to Scour
SubscribedAll
Scoured 23929 posts in 494.5 ms
What Is Your Beef With JSON Schema? by The API Evangelist
apievangelist.com·2d
🏺ZIP Archaeology
How StrongDM’s AI team build serious software without even looking at the code
jmason.ie·2d
⚔️Lean Tactics
F# Weekly #6, 2026 – FScript & An ode to “Slowly” handcrafted code
sergeytihon.com·4d
💧Liquid Types
Matchlock: Linux-based sandboxing for AI agents
news.ycombinator.com·3d·
Discuss: Hacker News
🛡️WASM Sandboxing
Differential Logic • 2
inquiryintoinquiry.com·5d
⚖️Constraint Logic
What You Have to Know About Syntactic Support for Error Handling
hackernoon.com·3d
✅Format Verification
NUASM — Neuro‑Universal‑ASM: The World's First Native Multi‑Language Assembler
dev.to·3d·
Discuss: DEV
⚙️Modern Assembly
Hello World: Algorithmic Trading & DeFi Logic
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway
webpronews.com·4d
🏗️Compiler Archaeology
Static Analysis Under Non-Deterministic Program Assumptions
arxiv.org·1d
🧪Property-Based Testing
VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org·1d
⚔️Lean Tactics
Oatmeal - Constraint propagation for fun
eli.li·3d·
Discuss: Lobsters, Hacker News
🧮Z3 Solver
The control layer for AI
blog.dottxt.ai·4d·
Discuss: Hacker News
🔒WASM Capabilities
Jim Roskind on C Ambiguity
pdos.csail.mit.edu·5d·
Discuss: Hacker News
🔍Z3 Parsing
Opus 4.5 really changed things
kylerush.org·2d·
Discuss: Hacker News
📚MARC Evolution
Code only says what it does
brooker.co.za·3d·
Discuss: Hacker News
📜Proof Carrying Code
Style tips for less experienced developers coding with AI
honnibal.dev·5d·
Discuss: Hacker News
🎯Gradual Typing
From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI
news.ycombinator.com·3d·
Discuss: Hacker News
⚖️Hoare Logic
CrimsonDemon567PC/JavaPP: Python Syntax, compiles to branchless, highly optimized Java
github.com·2d·
Discuss: Hacker News
🧠Lisp Dialects
strangehospital/Frontier-Dynamics-Project: On-Demand A.I Computation
github.com·1d·
Discuss: Hacker News
⚡Incremental Computation

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