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
⚔️ Lean Tactics
Interactive Proving, Tactic Composition, Proof Automation, Mathlib
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23915
posts in
1.35
s
Agentic
AI Engineering
Workflows
for iOS in 2026
blog.jacobstechtavern.com
·
2d
⚡
Incremental Computation
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
4d
📝
Concrete Syntax
Main
Content ||
Math
∩ Programming
jeremykun.com
·
2d
🧮
Kolmogorov Complexity
What's up with
Haskell
's do
notation
?
slightknack.dev
·
2d
🧬
Functional Programming
A
Proof
of P =
NP
dev.to
·
2d
·
Discuss:
DEV
🎯
Performance Proofs
RuleFlow
: Generating Reusable Program
Optimizations
with LLMs
arxiv.org
·
17h
🏗️
Compiler Archaeology
Static Analysis Under
Non-Deterministic
Program
Assumptions
arxiv.org
·
1d
🧪
Property-Based Testing
Exploring Chess
Positions
and
Counts
win-vector.com
·
1h
·
Discuss:
Hacker News
🔲
Cellular Automata
You Don't Need It
moq.dev
·
2h
·
Discuss:
Hacker News
🌐
Protocol Synthesis
Show HN: I built simple browser tools
bcoz
I'm
tired
of everything becoming SaaS
bitlist.io
·
5h
·
Discuss:
Hacker News
🔍
BitFunnel
How I Use
ActivitySmith
While
Deploying
ActivitySmith
activitysmith.com
·
1d
·
Discuss:
Hacker News
📦
Package Managers
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
1d
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
an early-stage
experimental
programming
language
solnix-lang.org
·
3d
·
Discuss:
DEV
,
Hacker News
💻
Programming languages
The
Quiet
Surrender
to AI
jcmartinez.dev
·
30m
·
Discuss:
Hacker News
🤖
AI Curation
Humanity
's last
programming
language
xeiaso.net
·
1d
·
Discuss:
Lobsters
,
Hacker News
📝
Concrete Syntax
"
Compiled
"
Specs
deepclause.substack.com
·
3d
·
Discuss:
Substack
⚡
Proof Automation
Why "just
prompt
better" doesn't work
bicameral-ai.com
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
Spike
from July 2025:
Creating
a Programming Language using Coding Agents on GitHub
dsyme.net
·
3d
·
Discuss:
Hacker News
🦀
Rust Macros
Experiments
in building
bespoke
tools with AI
knlb.dev
·
2d
·
Discuss:
Hacker News
⚡
Incremental Computation
Hands-Free
Claude Code with the Agent
SDK
yberreby.com
·
1d
·
Discuss:
Hacker News
🎙️
Whisper
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