Feeds to Scour
SubscribedAll
Scoured 23907 posts in 765.5 ms
What Is Your Beef With JSON Schema? by The API Evangelist
apievangelist.com·2d
🏺ZIP Archaeology
Rebuilding the spellchecker
zverok.space·4d
🌲Parse Trees
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
NUASM — Neuro‑Universal‑ASM: The World's First Native Multi‑Language Assembler
dev.to·4d·
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
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
Using Claude Code as a general agent
raahelbaig.com·2d·
Discuss: Hacker News
👑Isabelle
Code only says what it does
brooker.co.za·3d·
Discuss: Hacker News
📜Proof Carrying Code
Show HN: C-CMCP – Validated AI development workflow with quality gates
news.ycombinator.com·2d·
Discuss: Hacker News
📏Code Metrics
Circumstantial Complexity, LLMs and Large Scale Architecture
datagubbe.se·3d·
Discuss: Lobsters, Hacker News
⚙️Proof Engineering
Some thoughts on LLM coding
blog.dave.tf·2d·
Discuss: Hacker News
📏Code Metrics
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