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
⚖️ Verification Calculi
Refinement Types, SMT Integration, Program Logic, Type Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23827
posts in
724.9
ms
QtWidgets
to
QtQuick
, An Application Journey Part 2
qt.io
·
1d
🔌
Interface Evolution
Structured
Context Engineering for File-Native
Agentic
Systems
simonwillison.net
·
2d
📋
Document Grammar
The End of CI/CD
Pipelines
: The
Dawn
of Agentic DevOps
hackernoon.com
·
1d
⚙️
Proof Engineering
Introducing
ThinkLang
: A Programming Language Where AI Is a First-Class
Citizen
dev.to
·
3d
·
Discuss:
DEV
⚡
Proof Automation
Differential
Logic
• 3
inquiryintoinquiry.com
·
4d
⚡
Circuit Design
CoRefine
: Confidence-Guided
Self-Refinement
for Adaptive Test-Time Compute
arxiv.org
·
1d
🔍
Concolic Testing
Main
Content ||
Math
∩ Programming
jeremykun.com
·
3d
🧮
Kolmogorov Complexity
A Theory for
Probabilistic
Polynomial-Time
Reasoning
arxiv.org
·
23h
🔗
Combinatory Logic
Domain
Specific
Languages
martinfowler.com
·
1d
🗣️
Domain-Specific Languages
The hunt for
truly
zero-CVE
container images
thenewstack.io
·
1d
·
Discuss:
Hacker News
📦
Container Security
Towards
Perfect
Vulnerability
Management System
worklifenotes.com
·
2d
·
Discuss:
Hacker News
✅
Archive Fixity
Why
Spec-Driven
Development
Breaks
at Scale (and How to Fix It)
arcturus-labs.com
·
2d
·
Discuss:
Hacker News
🔄
Reproducible Builds
A Software Engineer’s
Wish
List for
CS
Research
laser-coder.net
·
2d
·
Discuss:
Hacker News
🔩
Systems Programming
When Models Examine Themselves: Vocabulary-Activation
Correspondence
in
Self-Referential
Processing
zenodo.org
·
2d
·
Discuss:
Hacker News
💾
Floppy Imaging
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
3d
·
Discuss:
Hacker News
🎯
Performance Proofs
Show HN: Claude has a
compiler
, I have
SlopScript
slopscript.netlify.app
·
3d
·
Discuss:
Hacker News
⚔️
Lean Tactics
"
Compiled
"
Specs
deepclause.substack.com
·
3d
·
Discuss:
Substack
⚡
Proof Automation
New
microkernel
OS in 10 days: From zero to Google
Compute
Engine
seiya.me
·
2d
·
Discuss:
Hacker News
⚙️
Operating System Design
Agentic
Tool
Patterns
– 54
patterns
for building tools LLM agents can use
blog.arcade.dev
·
2d
·
Discuss:
Hacker News
🔌
Interface Evolution
We hid
backdoors
in
binaries
– Opus 4.6 found 49% of them
quesma.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
,
r/ClaudeAI
,
r/programming
🦠
Malware Analysis
Loading...
Loading more...
« Page 7
•
Page 9 »
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