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
17056
posts in
219.4
ms
Canzona
: A Unified, Asynchronous, and Load-Balanced Framework for Distributed Matrix-based
Optimizers
arxiv.org
·
1d
⚡
Z3 Optimization
Beyond
Static
Alignment:
Hierarchical
Policy Control for LLM Safety via Risk-Aware Chain-of-Thought
arxiv.org
·
1d
🔒
WASM Capabilities
How to write your first
obfuscator
of Java
Bytecode
blog.quarkslab.com
·
5d
📜
Proof Carrying Code
I built a
cryptographic
memory layer for humans in Python tags: python,
opensource
, security, blockchain
dev.to
·
2d
·
Discuss:
DEV
🌳
Archive Merkle Trees
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
2d
·
Discuss:
DEV
🧪
Binary Fuzzing
An Update on
Heroku
heroku.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/webdev
📦
Git LFS
EarlyBinder
and
instantiating
parameters - Rust Compiler Development Guide
rustc-dev-guide.rust-lang.org
·
5d
·
Discuss:
Lobsters
,
Hacker News
🔒
Type Safety
Processes and Threads -
Discourse
on
Concurrency
, Part I
ayanmali.substack.com
·
3d
·
Discuss:
Substack
🧠
Program Logic
Michael
Tsai
- Blog - LLMs and Software Development
Roundup
mjtsai.com
·
3d
📏
Code Metrics
Supac
- a declarative package manager written in Rust,
scriptable
in nushell
codeberg.org
·
2d
·
Discuss:
r/rust
📦
Package Managers
How to Build Safe
Natural
Language-Driven
APIs
techcommunity.microsoft.com
·
6d
·
Discuss:
Hacker News
🌀
Brotli Internals
How I Program with LLMs
blog.wesleyabbey.io
·
5d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Things
Unix
can do
atomically
rcrowley.org
·
4d
·
Discuss:
Hacker News
📂
Directory Synchronization
Structured
outputs
on Amazon Bedrock:
Schema-compliant
AI responses
aws.amazon.com
·
3d
📋
Document Grammar
zmem-org/ZMEM
: Extremely fast binary message format with minimal memory
overhead
and zero copy access
github.com
·
3d
·
Discuss:
Hacker News
🔢
Binary Formats
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
3d
·
Discuss:
Hacker News
🎯
Performance Proofs
Introducing
the Developer Knowledge API and
MCP
Server
developers.googleblog.com
·
4d
·
Discuss:
Hacker News
🔌
Archive APIs
Rewriting
pycparser
with the help of an LLM
eli.thegreenplace.net
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/Compilers
📝
Concrete Syntax
Algebraic
Effects
for the Rest of Us
overreacted.io
·
6d
✨
Algebraic Effects
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🧪
Binary Fuzzing
Loading...
Loading more...
« Page 12
•
Page 14 »
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