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
17962
posts in
397.0
ms
How to write your first
obfuscator
of Java
Bytecode
blog.quarkslab.com
·
4d
📜
Proof Carrying Code
The
Miner
and the
Jeweler
: Why AI Code Isn't Production-Ready
dev.to
·
2d
·
Discuss:
DEV
📏
Code Metrics
I built a
cryptographic
memory layer for humans in Python tags: python,
opensource
, security, blockchain
dev.to
·
1d
·
Discuss:
DEV
🌳
Archive Merkle Trees
Strong
Normalisation
for
Asynchronous
Effects
arxiv.org
·
3d
✨
Effect Handlers
Does Programming Language Matter? An
Empirical
Study of
Fuzzing
Bug Detection
arxiv.org
·
3d
🧪
Binary Fuzzing
MLflow
's Missing
Validators
: An Authorization Bypass Across API Surfaces
tachyon.so
·
4d
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
Making
Pyrefly
Diagnostics
18x Faster
pyrefly.org
·
3d
·
Discuss:
Hacker News
🌳
Incremental Parsing
annotate
–> preview –> code generation
intentify.dev
·
3d
·
Discuss:
Hacker News
🦀
Rust Macros
Automatic
Programming
Returns
cyber-omelette.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
,
r/programming
🏗️
Compiler Archaeology
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
3d
·
Discuss:
Substack
⚙️
RISC-V Microcode
dakotalock/holygrailopensource
: Fully autonomous AI development agent with stateful memory, live web access, pseudo self-improvement and more!
github.com
·
1d
·
Discuss:
Hacker News
,
r/SideProject
,
r/webdev
🌀
Brotli Internals
How to Build Safe
Natural
Language-Driven
APIs
techcommunity.microsoft.com
·
6d
·
Discuss:
Hacker News
🌀
Brotli Internals
EarlyBinder
and
instantiating
parameters - Rust Compiler Development Guide
rustc-dev-guide.rust-lang.org
·
4d
·
Discuss:
Lobsters
,
Hacker News
🔒
Type Safety
Processes and Threads -
Discourse
on
Concurrency
, Part I
ayanmali.substack.com
·
3d
·
Discuss:
Substack
🧠
Program Logic
Things
Unix
can do
atomically
rcrowley.org
·
3d
·
Discuss:
Hacker News
📂
Directory Synchronization
Introducing
the Developer Knowledge API and
MCP
Server
developers.googleblog.com
·
4d
·
Discuss:
Hacker News
🔌
Archive APIs
How I Program with LLMs
blog.wesleyabbey.io
·
5d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Structured
outputs
on Amazon Bedrock:
Schema-compliant
AI responses
aws.amazon.com
·
2d
📋
Document Grammar
zmem-org/ZMEM
: Extremely fast binary message format with minimal memory
overhead
and zero copy access
github.com
·
2d
·
Discuss:
Hacker News
🔢
Binary Formats
Merkle
trees and build systems with
OSTree
and ninja
lwn.net
·
3d
·
Discuss:
Hacker News
🌳
Git Internals
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