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
23903
posts in
569.1
ms
Unicode
18.0
Alpha
review
blog.unicode.org
·
1d
·
Discuss:
Blogger
🔤
Character Encoding
Common
Mistakes
[0]
ilya-sher.org
·
2d
✅
Format Verification
Ethereum Signature Schemes Explained: ECDSA, BLS,
XMSS
, and Post-Quantum
leanSig
with Rust Code Examples
blog.lambdaclass.com
·
2d
🔗
Hash Chains
Structured
Context Engineering for File-Native
Agentic
Systems
simonwillison.net
·
1d
📋
Document Grammar
Function
Calling & Tool
Schemas
dev.to
·
3d
·
Discuss:
DEV
🦀
Rust Macros
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
Eve-positional
languages: putting order into B\"
uchi
automata
arxiv.org
·
16h
🎯
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
·
21h
·
Discuss:
Hacker News
🗣️
Domain-Specific Languages
mitsuhiko/insta
: A snapshot testing library for rust
github.com
·
3h
🦀
Rust Borrowing
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
Adventures
in Neural
Rendering
interplayoflight.wordpress.com
·
1d
·
Discuss:
Hacker News
🧠
Neural Codecs
Hands-Free
Claude Code with the Agent
SDK
yberreby.com
·
1d
·
Discuss:
Hacker News
🎙️
Whisper
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
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
2d
·
Discuss:
Hacker News
🎯
Gradual Typing
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