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
🔗 Concatenative Programming
Factor, Joy, Stack-based Languages, Point-free Style
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18056
posts in
445.6
ms
Build in a Day: AI Video
Clipping
with
CE.SDK
img.ly
·
4d
🎬
WebCodecs
How to write your first
obfuscator
of Java
Bytecode
blog.quarkslab.com
·
4d
📜
Proof Carrying Code
Weeknotes
#362
andrewdoran.uk
·
3d
📰
Feed Readers
Continuous
AI in practice: What developers can automate today with agentic
CI
github.blog
·
3d
⚡
Proof Automation
Modern
Trends
In
Floating-Point
semiengineering.com
·
4d
📐
Arithmetic Precision
First
Proof
arxiv.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🎯
Proof Tactics
Towards
Reducible
Uncertainty Modeling for
Reliable
Large Language Model Agents
arxiv.org
·
3d
🧮
Kolmogorov Bounds
EarlyBinder
and
instantiating
parameters - Rust Compiler Development Guide
rustc-dev-guide.rust-lang.org
·
4d
·
Discuss:
Lobsters
,
Hacker News
🔒
Type Safety
1M
token context: The good, the bad and the
ugly
(2025)
micron.com
·
3d
·
Discuss:
Hacker News
🌊
Streaming Compression
Of achieving
responsive
code
formatting
on web
mostlyobvio.us
·
4d
·
Discuss:
Hacker News
🎬
WebCodecs
Sharepiece
4/5: Emergent Task
Timer
for Lawyers
dsriseah.com
·
3d
·
Discuss:
Hacker News
🎯
Interactive Provers
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🧪
Binary Fuzzing
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
6d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
3d
·
Discuss:
Hacker News
📊
Quantization
Orchestrate
teams of Claude Code
sessions
code.claude.com
·
3d
·
Discuss:
Hacker News
,
r/ClaudeAI
⚔️
Lean Tactics
How to Build Safe
Natural
Language-Driven
APIs
techcommunity.microsoft.com
·
6d
·
Discuss:
Hacker News
🌀
Brotli Internals
I Built a Claude Code
Plugin
That
Detects
and Blocks It Before Changes Happen
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
✨
Effect Handlers
GABRIEL – turn messy
qualitative
corpora
into analysis-ready datasets
github.com
·
3d
·
Discuss:
Hacker News
🎙️
Whisper
Show HN:
Gazill
– Save your code, it's live. Built for vibe
coders
and agents
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🌀
Brotli Dictionary
Automated AI research setup (
Clawdbot/OpenClaw
and
vibecoding
)
jessesilverberg.com
·
4d
·
Discuss:
Hacker News
📡
RSS Automation
Loading...
Loading more...
« Page 18
•
Page 20 »
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