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
19341
posts in
248.8
ms
Protecting
Triton
kernel deployments with
cryptographic
signatures
next.redhat.com
·
2d
⚙️
Operating System Design
How to write your first
obfuscator
of Java
Bytecode
blog.quarkslab.com
·
3d
📜
Proof Carrying Code
Yet Another Set of Claude Code
Plugins
(But Maybe
Useful
?)
dev.to
·
15h
·
Discuss:
DEV
⚡
Proof Automation
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
13h
·
Discuss:
DEV
🧪
Binary Fuzzing
Strong
Normalisation
for
Asynchronous
Effects
arxiv.org
·
2d
✨
Effect Handlers
TimelyFreeze
: Adaptive Parameter Freezing Mechanism for Pipeline
Parallelism
arxiv.org
·
2d
🌊
Stream Processing
How I Program with LLMs
blog.wesleyabbey.io
·
3d
·
Discuss:
Hacker News
⚔️
Lean Tactics
dakotalock/holygrailopensource
: Fully autonomous AI development agent with stateful memory, live web access, pseudo self-improvement and more!
github.com
·
12h
·
Discuss:
Hacker News
,
r/SideProject
,
r/webdev
🌀
Brotli Internals
Introducing
the Developer Knowledge API and
MCP
Server
developers.googleblog.com
·
3d
·
Discuss:
Hacker News
🔌
Archive APIs
How to Build Safe
Natural
Language-Driven
APIs
techcommunity.microsoft.com
·
4d
·
Discuss:
Hacker News
🌀
Brotli Internals
EarlyBinder
and
instantiating
parameters - Rust Compiler Development Guide
rustc-dev-guide.rust-lang.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
🔒
Type Safety
Processes and Threads -
Discourse
on
Concurrency
, Part I
ayanmali.substack.com
·
2d
·
Discuss:
Substack
🧠
Program Logic
Unearthing Subtle
Misconfigurations
in Cloud-Native
Kubernet
forms.gle
·
3d
·
Discuss:
DEV
📦
Container Security
Things
Unix
can do
atomically
rcrowley.org
·
2d
·
Discuss:
Hacker News
📂
Directory Synchronization
Algebraic
Effects
for the Rest of Us
overreacted.io
·
4d
✨
Algebraic Effects
Structured
outputs
on Amazon Bedrock:
Schema-compliant
AI responses
aws.amazon.com
·
1d
📋
Document Grammar
zmem-org/ZMEM
: Extremely fast binary message format with minimal memory
overhead
and zero copy access
github.com
·
1d
·
Discuss:
Hacker News
🔢
Binary Formats
Merkle
trees and build systems with
OSTree
and ninja
lwn.net
·
2d
·
Discuss:
Hacker News
🌳
Git Internals
Deterministic
Time with Go's
Synctest
oblique.security
·
2d
·
Discuss:
Hacker News
,
Hacker News
,
r/golang
🔍
Concolic Testing
Rewriting
pycparser
with the help of an LLM
eli.thegreenplace.net
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/Compilers
📝
Concrete Syntax
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