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
Type Theory
📐 Type Theory
Type Systems, Generics, Traits, Static Analysis
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
56
posts in
11.4
ms
olivier-ls/php-ruler: A transparent expression & rule evaluator in pure PHP. Strict
typing
, no
dependencies
, and an explain mode that shows exactly why a rule passed or failed.
⚙️
Compiler Design
Content type:
Code
github.com
·
2d
2 days ago
·
Hacker News
Actions for olivier-ls/php-ruler: A transparent expression & rule evaluator in pure PHP. Strict typing, no dependencies, and an explain mode that shows exactly why a rule passed or failed.
Beyond Pass Rate: A Multilingual, Execution-Grounded Evaluation of Open Code LLMs
⚙️
Compiler Design
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Beyond Pass Rate: A Multilingual, Execution-Grounded Evaluation of Open Code LLMs
Why We Built SQL
Tran
: Automated Oracle to PostgreSQL Migration in Seconds
🔬
Code Analysis
Content type:
Blog
spectralcore.com
·
5d
5 days ago
·
Hacker News
Actions for Why We Built SQL Tran: Automated Oracle to PostgreSQL Migration in Seconds
Less-relevant results
Pythagora-io/gpt-pilot Compromised on GitHub - Shai-Hulud Credential Stealer Blocked by Python Linter
🔬
Code Analysis
Content type:
Blog
stepsecurity.io
·
7h
7 hours ago
·
Hacker News
Actions for Pythagora-io/gpt-pilot Compromised on GitHub - Shai-Hulud Credential Stealer Blocked by Python Linter
Show HN: The first agentic coding engine that hot-reloads the full stack
⚡
Live Coding
Content type:
Blog
serverpod.dev
·
2d
2 days ago
·
Hacker News
Actions for Show HN: The first agentic coding engine that hot-reloads the full stack
Introduction - Rust for Python Programmers
🌉
Language Bridges
microsoft.github.io
·
6d
6 days ago
·
Hacker News
Actions for Introduction - Rust for Python Programmers
Provably Auditable and
Safe
LLM Agents from Human-Authored Ontologies
🔬
programming language theory
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Provably Auditable and Safe LLM Agents from Human-Authored Ontologies
Native Elm (the real kind this time)
🌐
Browser Compilers
cekrem.github.io
·
2d
2 days ago
·
r/functionalprogramming
,
r/node
,
r/programming
,
r/typescript
,
r/webdev
Actions for Native Elm (the real kind this time)
Introducing RawTree
🗄️
Database Internals
Content type:
Blog
rawtree.com
·
1d
1 day ago
·
Hacker News
Actions for Introducing RawTree
TanStack AI: Your MCP, your way
📥
Inlining
Content type:
Blog
tanstack.com
·
5d
5 days ago
·
Hacker News
Actions for TanStack AI: Your MCP, your way
Devs know AI code is riddled with holes, but ship it anyway
🔬
Code Analysis
Content type:
News
theregister.com
·
1d
1 day ago
·
Hacker News
Actions for Devs know AI code is riddled with holes, but ship it anyway
Composable
Data
Access with Lenses
✅
Property Testing
claudiu-ivan.com
·
6d
6 days ago
·
Hacker News
Actions for Composable Data Access with Lenses
naveenayalla1-CS50/mcp-server-toolkit: Build plug-and-play MCP servers for any dev workflow — code search, docs,
databases
, and more.
🗄️
SQLite
Content type:
Code
github.com
·
1d
1 day ago
·
Hacker News
,
r/mcp
Actions for naveenayalla1-CS50/mcp-server-toolkit: Build plug-and-play MCP servers for any dev workflow — code search, docs, databases, and more.
Worried about Recursive Self-Improvement (RSI)? The answer might be CDE
🔬
Code Analysis
safebots.ai
·
5d
5 days ago
·
Hacker News
Actions for Worried about Recursive Self-Improvement (RSI)? The answer might be CDE
Programming Languages Course Reboot, 2026
✓
Formal Methods
Content type:
Reference
docs.google.com
·
1d
1 day ago
·
Lobsters
,
Hacker News
Actions for Programming Languages Course Reboot, 2026
Getting agents to code less slop
📊
Code Metrics
Content type:
Blog
thempatel.com
·
4d
4 days ago
·
Hacker News
Actions for Getting agents to code less slop
Enter the WasmForge: Compiling Sliver into WebAssembly
🕸️
WASM
Content type:
Blog
praetorian.com
·
6d
6 days ago
·
r/netsec
Actions for Enter the WasmForge: Compiling Sliver into WebAssembly
The Road to Component Model 1.0
🧱
WASM Components
bytecodealliance.org
·
2d
2 days ago
·
Hacker News
Actions for The Road to Component Model 1.0
The Biomimetic Architecture of Software 4.0
⚖️
Inference Rules
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for The Biomimetic Architecture of Software 4.0
I wish Deno would keep doing what it does best
📦
Dependency Analysis
hackers.pub
·
2d
2 days ago
·
Lobsters
,
Hacker News
,
r/javascript
Actions for I wish Deno would keep doing what it does best
« 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