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
22880
posts in
291.6
ms
Common
Mistakes
[0]
ilya-sher.org
·
3d
✅
Format Verification
CodeSOD
:
Invalid
Passport
thedailywtf.com
·
3d
✅
Checksum Validation
Backdoors
With
Manners
: When AI Writes Clean Code That Turns Malicious Later
hackernoon.com
·
3d
🕵️
Vector Smuggling
From PDFs to Proof Pipelines: Building Audit-Grade
Traceability
in
Regulated
Deep-Tech
hackernoon.com
·
3d
🔗
Hash Chains
Kubernetes Operator for automated
Jupyter
Notebook validation in
MLOps
pipelines
reddit.com
·
5d
·
Discuss:
r/kubernetes
✅
Archive Validation
How to Use AI
Hallucination
to Generate Your Software
Spec
dev.to
·
4d
·
Discuss:
DEV
⚡
SMT Integration
Adaptive
Neuro-Symbolic
Planning for smart agriculture
microgrid
orchestration in hybrid quantum-classical pipelines
dev.to
·
4d
·
Discuss:
DEV
⚡
Incremental Computation
isledb
: An
embedded
key-value engine built on object storage in Go
reddit.com
·
4d
·
Discuss:
r/golang
🏺
Database Archaeology
A Theory for
Probabilistic
Polynomial-Time
Reasoning
arxiv.org
·
1d
🔗
Combinatory Logic
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
1d
🔗
Concatenative Programming
31-year old
VT220
terminfo
curses bug
lists.gnu.org
·
3d
·
Discuss:
Hacker News
📺
VT100
I
Wrote
a
Scheme
in 2025
maplant.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
🐚
Bash Combinators
eBPF
Gives You
Packets
. Here's How We Turn Them Into Security Insights
akashmandal001.substack.com
·
3d
·
Discuss:
Substack
🛡️
eBPF Security
CSCI
49201 - Functional Programming in
OCaml
a-nikolaev.github.io
·
6d
·
Discuss:
Hacker News
🧬
Functional Programming
Jim
Roskind
on C
Ambiguity
pdos.csail.mit.edu
·
6d
·
Discuss:
Hacker News
🔍
Z3 Parsing
CCC
(Claude's C Compiler) on Compiler
Explorer
godbolt.org
·
4d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
The Rise of
Spec
Driven Development
dbreunig.com
·
5d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Type
Variance
en.wikipedia.org
·
6d
·
Discuss:
Hacker News
🧮
Algebraic Datatypes
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🧪
Binary Fuzzing
Jacob
Boxerman
- Declarative,
Reproducible
Emacs with straight.el and use-package
jakebox.github.io
·
5d
·
Discuss:
Lobsters
,
Hacker News
🐚
Bash Combinators
Loading...
Loading more...
« Page 16
•
Page 18 »
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