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
⬌ Bidirectional Typing
Type Inference, Elaboration, Synthesis, Checking Modes
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23874
posts in
299.2
ms
Unicode
18.0
Alpha
review
blog.unicode.org
·
1d
·
Discuss:
Blogger
🔤
Character Encoding
Common
Mistakes
[0]
ilya-sher.org
·
2d
✅
Format Verification
Mini-Heap
dailynous.com
·
1d
⬜
Minimalism
When is a
bug
not a
bug
?
blog.zarfhome.com
·
20h
🧪
Binary Fuzzing
Function
Calling & Tool
Schemas
dev.to
·
3d
·
Discuss:
DEV
🦀
Rust Macros
Structured
Context Engineering for File-Native
Agentic
Systems
simonwillison.net
·
1d
📋
Document Grammar
Introducing
ThinkLang
: A Programming Language Where AI Is a First-Class
Citizen
dev.to
·
3d
·
Discuss:
DEV
⚡
Proof Automation
Differential
Logic
• 4
inquiryintoinquiry.com
·
3d
⚔️
Lean Theorem
The Design
Checklist
: Keeping AI Products
Alive
After Week One
hackernoon.com
·
16h
📟
CLI Design
Eve-positional
languages: putting order into B\"
uchi
automata
arxiv.org
·
18h
🎯
Automata theory
RustCompCert
: A Verified and Verifying Compiler for a Sequential
Subset
of Rust
arxiv.org
·
1d
🦀
Rust Verification
SubJS
: JavaScript
Runtime
for Agents. Let your agent do what it does best
emi0x7d1.dev
·
23h
·
Discuss:
Hacker News
🗣️
Domain-Specific Languages
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
mitsuhiko/insta
: A snapshot testing library for rust
github.com
·
4h
🦀
Rust Borrowing
Adventures
in Neural
Rendering
interplayoflight.wordpress.com
·
1d
·
Discuss:
Hacker News
🧠
Neural Codecs
When Models Examine Themselves: Vocabulary-Activation
Correspondence
in
Self-Referential
Processing
zenodo.org
·
1d
·
Discuss:
Hacker News
💾
Floppy Imaging
Benchmarking
Claude C
Compiler
dineshgdk.substack.com
·
1d
·
Discuss:
Substack
,
r/programming
🚀
Compiler Optimizations
Khronos
at 25:
Shaping
Visual Computing with Open Standards
khronos.org
·
1d
·
Discuss:
Hacker News
🎬
WebCodecs
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
a free-to-use data
modeler/generator
for any database
synthforge.io
·
1d
·
Discuss:
Hacker News
🔄
Schema Evolution
Loading...
Loading more...
« Page 4
•
Page 6 »
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