Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Inference Rules
⚖️ Inference Rules
Type Systems, Judgments, Proof Trees, Formal Semantics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
58
posts in
7.7
ms
Static
types
and shovels (2026)
🔍
Type Inference
carefully.understood.systems
·
3d
3 days ago
·
Lobsters
,
Hacker News
Actions for Static types and shovels (2026)
YETI programming language
🌱
Minimal ML
mth.github.io
·
1d
1 day ago
·
Hacker News
Actions for YETI programming language
I made a programming language called Zen, wanted to share some examples
🛠
programming language development
jishith-dev.github.io
·
20h
20 hours ago
·
DEV
·
Cited by 1 article
Actions for I made a programming language called Zen, wanted to share some examples
The Compiler Reads Your Code, Not Your Mind
🚂
Error Propagation
Content type:
News
siliconopera.com
·
2d
2 days ago
Actions for The Compiler Reads Your Code, Not Your Mind
Value Object, Entities and validation at runtime
⚙️
Configuration Parsing
matada.org
·
15h
15 hours ago
Actions for Value Object, Entities and validation at runtime
Rust in the Vibe Coding Era
🚪
Escape Hatch
Content type:
Blog
dioko.ai
·
4d
4 days ago
·
Hacker News
Actions for Rust in the Vibe Coding Era
Deconstructing Datalog
📋
Datalog
rntz.net
·
2d
2 days ago
·
Hacker News
Actions for Deconstructing Datalog
DotFox/transit.c: A data interchange
format
and set of libraries for conveying values between applications written in different programming languages.
📦
Serialization
Content type:
Code
github.com
·
6d
6 days ago
·
Lobsters
·
Cited by 1 article
Actions for DotFox/transit.c: A data interchange format and set of libraries for conveying values between applications written in different programming languages.
Publishing WASM wheels to PyPI for use with Pyodide
🌐
Browser REPLs
simonwillison.net
·
12h
12 hours ago
Actions for Publishing WASM wheels to PyPI for use with Pyodide
Proof
System
Timelines
🏗️
Calculus of Constructions
Content type:
Blog
klatz.co
·
5d
5 days ago
Actions for Proof System Timelines
How Honda's Innovative Motorcycle E-Clutch
System
Works (And Which Bikes Have It)
⚡
Control Synthesis
jalopnik.com
·
16h
16 hours ago
Actions for How Honda's Innovative Motorcycle E-Clutch System Works (And Which Bikes Have It)
Rust Prevents Data Races, Not Race Conditions
🚪
Escape Hatch
Content type:
Blog
corrode.dev
·
2d
2 days ago
Actions for Rust Prevents Data Races, Not Race Conditions
WebAssembly Specification
🚂
Cranelift Backend
webassembly.github.io
·
4d
4 days ago
·
Hacker News
·
Cited by 2 articles
Actions for WebAssembly Specification
Type-Safe
Environment Variables in Convex
⚙️
Configuration Parsing
Content type:
Video
stack.convex.dev
·
2d
2 days ago
Actions for Type-Safe Environment Variables in Convex
2026-06-10, Wednesday
📜
Proof Languages
hakon.gylterud.net
·
4d
4 days ago
Actions for 2026-06-10, Wednesday
Co-Creator of Haskell: Functional Programming, Thinking in
Types
, Useless Languages | Simon Jones
⚡
functional programming
Content type:
News
developing.dev
·
6d
6 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
A programming language for humans.
🔍
Type Inference
crowdhailer.me
·
5d
5 days ago
·
Lobsters
Actions for A programming language for humans.
Silent Bugs Are the Ones That Actually Ruin You
🐛
Debugging
siliconopera.com
·
1d
1 day ago
Actions for Silent Bugs Are the Ones That Actually Ruin You
Records in Production: Where They Shine and Where They Silently Fail
🏁
Language Benchmarks
javacodegeeks.com
·
3d
3 days ago
Actions for Records in Production: Where They Shine and Where They Silently Fail
The Algorithm for Precision Medicine
⚡
functional programming
janestreet.com
·
3d
3 days ago
·
Hacker News
Actions for The Algorithm for Precision Medicine
Page 2 »
Log in to enable infinite scrolling
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
Save / unsave
s
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