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
🔬 Refinement Types
Liquid Haskell, Contract Programming, SMT Integration, Type Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
17032
posts in
230.7
ms
Beyond
Static
Alignment:
Hierarchical
Policy Control for LLM Safety via Risk-Aware Chain-of-Thought
arxiv.org
·
1d
🔒
WASM Capabilities
Learning-Infused
Formal Reasoning: From Contract Synthesis to
Artifact
Reuse and Formal Semantics
arxiv.org
·
6d
⚔️
Lean Tactics
Protecting
Triton
kernel deployments with
cryptographic
signatures
next.redhat.com
·
4d
⚙️
Operating System Design
How to write your first
obfuscator
of Java
Bytecode
blog.quarkslab.com
·
5d
📜
Proof Carrying Code
Yet Another Set of Claude Code
Plugins
(But Maybe
Useful
?)
dev.to
·
2d
·
Discuss:
DEV
⚡
Proof Automation
13,981 Downloads. A
Hardcoded
ByteDance Token. Zero
Vetting
.
dev.to
·
1d
·
Discuss:
DEV
🚀
Indie Hacking
Merkle
trees and build systems with
OSTree
and ninja
lwn.net
·
4d
·
Discuss:
Hacker News
🌳
Git Internals
Deterministic
Time with Go's
Synctest
oblique.security
·
4d
·
Discuss:
Hacker News
,
Hacker News
,
r/golang
🔍
Concolic Testing
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🧪
Binary Fuzzing
Unearthing Subtle
Misconfigurations
in Cloud-Native
Kubernet
forms.gle
·
5d
·
Discuss:
DEV
📦
Container Security
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
4d
·
Discuss:
Hacker News
📊
Quantization
Sukr
: A minimal static site
compiler
in Rust with zero-JS output
lobste.rs
·
5d
·
Discuss:
Lobsters
🦀
Rust Macros
microsoft/litebox
: A security-focused library OS
supporting
kernel- and user-mode execution
github.com
·
3d
·
Discuss:
Hacker News
,
r/programming
,
r/rust
🔌
Operating system internals
Introducing the
Metaflow-Kubeflow
Integration
blog.kubeflow.org
·
6d
·
Discuss:
Hacker News
🌊
Streaming Systems
How not to program in
Dyalog
APL
toolofthought.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
✅
Format Verification
Implementing
gRPC
.
github.com
·
4d
·
Discuss:
DEV
⚡
gRPC
The LLM
spectrum
and
responsible
LLM use
martin.janiczek.cz
·
5d
·
Discuss:
Lobsters
,
Hacker News
💧
Liquid Types
Writing
the Code That
Powers
Your Code
thelinell.com
·
6d
·
Discuss:
Hacker News
📜
Proof Carrying Code
Show HN:
OpenSymbolicAI
– Agents with typed variables, not just context
stuffing
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
⚔️
Lean Tactics
The Missing
Layer
yagmin.com
·
4d
·
Discuss:
Hacker News
⚙️
Proof Engineering
Loading...
Loading more...
« Page 13
•
Page 15 »
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