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
18437
posts in
234.8
ms
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
3d
🧠
Separation Logic
Canzona
: A Unified, Asynchronous, and Load-Balanced Framework for Distributed Matrix-based
Optimizers
arxiv.org
·
15h
⚡
Z3 Optimization
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
·
4d
📜
Proof Carrying Code
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
1d
·
Discuss:
DEV
🧪
Binary Fuzzing
Yet Another Set of Claude Code
Plugins
(But Maybe
Useful
?)
dev.to
·
1d
·
Discuss:
DEV
⚡
Proof Automation
zmem-org/ZMEM
: Extremely fast binary message format with minimal memory
overhead
and zero copy access
github.com
·
2d
·
Discuss:
Hacker News
🔢
Binary Formats
Structured
outputs
on Amazon Bedrock:
Schema-compliant
AI responses
aws.amazon.com
·
3d
📋
Document Grammar
Merkle
trees and build systems with
OSTree
and ninja
lwn.net
·
3d
·
Discuss:
Hacker News
🌳
Git Internals
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
3d
·
Discuss:
Hacker News
🎯
Performance Proofs
Deterministic
Time with Go's
Synctest
oblique.security
·
4d
·
Discuss:
Hacker News
,
Hacker News
,
r/golang
🔍
Concolic Testing
Rewriting
pycparser
with the help of an LLM
eli.thegreenplace.net
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/Compilers
📝
Concrete Syntax
Algebraic
Effects
for the Rest of Us
overreacted.io
·
6d
✨
Algebraic Effects
Mekara
:
Workflows
as Code Proof-of-Concept
meksys-dev.github.io
·
5d
·
Discuss:
Hacker News
⚡
Proof Automation
Native UI
toolkit
Slint
1.15 released 🎉
slint.dev
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/embedded
,
r/programming
,
r/rust
🎯
Gradual Typing
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
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
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
3d
·
Discuss:
Hacker News
📊
Quantization
Sukr
: A minimal static site
compiler
in Rust with zero-JS output
lobste.rs
·
4d
·
Discuss:
Lobsters
🦀
Rust Macros
Loading...
Loading more...
« Page 11
•
Page 13 »
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