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
59
posts in
8.4
ms
Introducing Soteria: A New Generation of Static Analysis for Rust
🔬
Code Analysis
Content type:
Blog
soteria-tools.com
·
3d
3 days ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
Book note: The
Open
Logic FOL texts
🔍
Static Analysis
Content type:
Blog
logicmatters.net
·
3d
3 days ago
Actions for Book note: The Open Logic FOL texts
Inclusive Beauty Packaging: Melabody Visual
System
🔍
Lens Libraries
abduzeedo.com
·
5d
5 days ago
Actions for Inclusive Beauty Packaging: Melabody Visual System
Typotheque
: New
typeface
: Chairman
✨
Code Formatting
Content type:
Blog
typotheque.com
·
6d
6 days ago
Actions for Typotheque: New typeface: Chairman
Programming Languages Software Award
🛠
programming language development
sigplan.org
·
4d
4 days ago
Actions for Programming Languages Software Award
rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come
🛠
programming language development
Content type:
Code
github.com
·
6d
6 days ago
·
Hacker News
Actions for rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come
Junior Devs Who Use AI Are Not Cheating – They're Training Smarter
🎮
Language Ergonomics
Content type:
Blog
theaileverageweekly.com
·
4d
4 days ago
·
Hacker News
Actions for Junior Devs Who Use AI Are Not Cheating – They're Training Smarter
Introducing RawTree
📡
Network Serialization
Content type:
Blog
rawtree.com
·
5d
5 days ago
·
Hacker News
Actions for Introducing RawTree
Caty: Capable
Types
🧪
Zig Testing
ziggit.dev
·
6d
6 days ago
Actions for Caty: Capable Types
The fastest JVM is the C++26 compiler
🛠
programming language development
wrocpp.github.io
·
6d
6 days ago
·
r/cpp
Actions for The fastest JVM is the C++26 compiler
Pitch Deck Presentation Design Template for Adobe InDesign That Actually Works Under Pressure
💬
Error Message Design
weandthecolor.com
·
6d
6 days ago
Actions for Pitch Deck Presentation Design Template for Adobe InDesign That Actually Works Under Pressure
Native Elm (the real kind this time)
📊
Row Polymorphism
cekrem.github.io
·
6d
6 days ago
·
r/functionalprogramming
,
r/node
,
r/programming
,
r/typescript
,
r/webdev
Actions for Native Elm (the real kind this time)
PyCoder’s Weekly: Issue #738: sleep(), Polars Workflows, Iterators, and More (2026-06-09)
🐍
CPython Internals
pycoders.com
·
4d
4 days ago
Actions for PyCoder’s Weekly: Issue #738: sleep(), Polars Workflows, Iterators, and More (2026-06-09)
IDA 9.4 Beta Is Now Available
🔓
Decompilers
Content type:
Blog
hex-rays.com
·
3d
3 days ago
Actions for IDA 9.4 Beta Is Now Available
Air Spring Shock Absorber Market Size to Reach US$ Million by 2032 with Strong CAGR Driven by EV Suspension Demand
🔌
Microcontrollers
Content type:
Blog
plaza.rakuten.co.jp
·
3d
3 days ago
Actions for Air Spring Shock Absorber Market Size to Reach US$ Million by 2032 with Strong CAGR Driven by EV Suspension Demand
How to Defend Against Prompt Injection in Production
📦
Monorepos
Content type:
Reference
leanpub.com
·
5d
5 days ago
·
DEV
Actions for How to Defend Against Prompt Injection in Production
Infinite precision intermediate arithmetic: how much would break?
⚙️
Compilers
internals.rust-lang.org
·
5d
5 days ago
·
Hacker News
Actions for Infinite precision intermediate arithmetic: how much would break?
ariadne: a CI/CD Optimizing Compiler
⚙️
Assembly
abm-77.dev
·
6d
6 days ago
Actions for ariadne: a CI/CD Optimizing Compiler
nixidy part 4:
Typed
resource options and CRD generation
🛠
programming language development
codedbearder.com
·
5d
5 days ago
Actions for nixidy part 4: Typed resource options and CRD generation
Scarab Diagnostic Field Test #023 — Rust Raw Pointer Recursive Layout Boundary
📦
Package Managers
Content type:
Code
github.com
·
3d
3 days ago
·
DEV
Actions for Scarab Diagnostic Field Test #023 — Rust Raw Pointer Recursive Layout Boundary
« Page 1
·
Page 3 »
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