Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚡ Proof Automation
Tactic Languages, Auto Tactics, Proof Search, Hammer Tools
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
24223
posts in
1.24
s
Snippets
With Regular
Expressions
irreal.org
·
18h
🌳
Incremental Parsing
Fragments
: February 9
martinfowler.com
·
1d
🗣️
Domain-Specific Languages
GitLab
CEO on why AI isn’t
helping
enterprise ship code faster
thenewstack.io
·
17h
⚙️
Proof Engineering
10 AI
Automation
Workflows
That Save 10+ Hours/Week
dev.to
·
4d
·
Discuss:
DEV
🤖
Archive Automation
Build a
Compiler
in Five Projects
kmicinski.com
·
3d
🔨
Compilers
Toward
Faithful
and Complete Answer Construction from a Single
Document
arxiv.org
·
2d
🎯
Dependent Parsing
System-Level Verification in the
Chiplet
Era: Where Integration Complexity Really
Emerges
dev.to
·
6h
·
Discuss:
DEV
🔧
Hardware Verification
Characterizing
,
Evaluating
, and Optimizing Complex Reasoning
arxiv.org
·
1d
🧠
Computational Logic
PaddleOCR-VL-1.5
: A 0.9B Vision-Language OCR Model Built for Real-World Documents
hackernoon.com
·
9h
🤖
Advanced OCR
Show HN:
Biology
Tools for Rust
athanorlab.com
·
13h
·
Discuss:
Hacker News
🦀
Rust Macros
Better Python tests with
inline-snapshot
pydantic.dev
·
1d
·
Discuss:
Lobsters
,
Hacker News
🧪
Property-Based Testing
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
1d
·
Discuss:
Hacker News
🎯
Gradual Typing
AI Agents are shipping code
faster
than we can test
christopherhwood.com
·
2d
·
Discuss:
Hacker News
🧪
Protocol Fuzzing
Show HN:
Forrus
– A Bridge for Forgejo and
Cirrus
CI
lchenghui.com
·
3h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Show HN: Parametric
Hubris
– Beating GPT-5 on
SimpleQA
with forced retrieval
dev.thelastrag.de
·
2d
·
Discuss:
Hacker News
🔍
BitFunnel
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
1d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Macros
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
3d
·
Discuss:
Hacker News
⚡
Incremental Computation
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
2d
·
Discuss:
Hacker News
🧮
Prolog Parsing
Show HN: Applying
OAuth/RBAC
patterns to secure AI agents
macawsecurity.ai
·
1d
·
Discuss:
Hacker News
🔒
Language-based security
Spike
from July 2025:
Creating
a Programming Language using Coding Agents on GitHub
dsyme.net
·
2d
·
Discuss:
Hacker News
🦀
Rust Macros
Loading...
Loading more...
« Page 6
•
Page 8 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help