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
18262
posts in
171.8
ms
Protecting
Triton
kernel deployments with
cryptographic
signatures
next.redhat.com
·
3d
⚙️
Operating System Design
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
TimelyFreeze
: Adaptive Parameter Freezing Mechanism for Pipeline
Parallelism
arxiv.org
·
3d
🌊
Stream Processing
Steering
Large Reasoning Models towards
Concise
Reasoning via Flow Matching
arxiv.org
·
3d
🧮
Z3 Solver
Unearthing Subtle
Misconfigurations
in Cloud-Native
Kubernet
forms.gle
·
4d
·
Discuss:
DEV
📦
Container Security
🎉🎉🎉
NativePHP
for Mobile is Now Free 🎉🎉🎉
nativephp.com
·
3d
·
Discuss:
Hacker News
🌀
Brotli Internals
zmem-org/ZMEM
: Extremely fast binary message format with minimal memory
overhead
and zero copy access
github.com
·
2d
·
Discuss:
Hacker News
🔢
Binary Formats
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
2d
·
Discuss:
Hacker News
🎯
Performance Proofs
Merkle
trees and build systems with
OSTree
and ninja
lwn.net
·
3d
·
Discuss:
Hacker News
🌳
Git Internals
Deterministic
Time with Go's
Synctest
oblique.security
·
3d
·
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
Native UI
toolkit
Slint
1.15 released 🎉
slint.dev
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/embedded
,
r/programming
,
r/rust
🎯
Gradual Typing
microsoft/litebox
: A security-focused library OS
supporting
kernel- and user-mode execution
github.com
·
2d
·
Discuss:
Hacker News
,
r/programming
,
r/rust
🔌
Operating system internals
Mekara
:
Workflows
as Code Proof-of-Concept
meksys-dev.github.io
·
5d
·
Discuss:
Hacker News
⚡
Proof Automation
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🧪
Binary Fuzzing
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
Introducing the
Metaflow-Kubeflow
Integration
blog.kubeflow.org
·
5d
·
Discuss:
Hacker News
🌊
Streaming Systems
How not to program in
Dyalog
APL
toolofthought.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
✅
Format Verification
Loading...
Loading more...
« Page 9
•
Page 11 »
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