Feeds to Scour
SubscribedAll
Scoured 23672 posts in 416.5 ms
DCP-o-matic • Feature Request for Verifier
dcpomatic.com·2d
🛡️Archive Verification
Ethereum Signature Schemes Explained: ECDSA, BLS, XMSS, and Post-Quantum leanSig with Rust Code Examples
blog.lambdaclass.com·3d
🔗Hash Chains
On A Lark
dothemath.ucsd.edu·2d
🏛️Philosophy
When is a bug not a bug?
blog.zarfhome.com·1d
🧪Binary Fuzzing
My Claude Code workflow
invertedpassion.com·3d
⚡Proof Automation
Microsoft researchers crack AI guardrails with a single prompt
techradar.com
·2d
💾Persistence Strategies
Mathematicians launch First Proof, a first-of-its-kind math exam for AI
scientificamerican.com
·3d
⚙️Proof Engineering
C-- Home
cs.tufts.edu·2d·
Discuss: Lobsters
🔗Concatenative Programming
Building Reliable AI Applications: A Validation Strategy
dev.to·4d·
Discuss: DEV
✅Format Verification
Consistency Meets Verification: Enhancing Test Generation Quality in Large Language Models Without Ground-Truth Solutions
arxiv.org·14h
🧪Property-Based Testing
Benchmarking Large Language Models for Knowledge Graph Validation
arxiv.org·14h
🕸️Graph Embeddings
Allium is an LLM-native language for sharpening intent alongside implementation
juxt.github.io·3d·
Discuss: Hacker News
🎯Gradual Typing
Show HN: 0x – A language that compiles to React, Vue, and Svelte (80% less code)
0xlang.com·2d·
Discuss: Hacker News
🦀Rust Macros
Pre-compiled semantic JSON for AI agent web consumption
sdfprotocol.org·2d·
Discuss: Hacker News
📋Document Grammar
Struggling Towards an Algebraic Theory of Music
reasonablypolymorphic.com·2d·
Discuss: Hacker News
🎼Audio Lambda Calculus
Domain Knowledge Is the New Syntax
blog.melashri.net·3d·
Discuss: Hacker News
📏Code Metrics
Show HN: ClawKit｜Open-source toolkit to configure and debug OpenClaw AI agents
getclawkit.com·2d·
Discuss: Hacker News
⚡Proof Automation
SubJS: JavaScript Runtime for Agents. Let your agent do what it does best
emi0x7d1.dev·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Learning by hand is better than learning by AI
blog.engora.com·3d·
Discuss: Hacker News
⚡Proof Automation
Poison2
rnsaffn.com·3d·
Discuss: Hacker News
🎯Gradual Typing

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