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
164
posts in
24.9
ms
Move Fast, Surveil Things
🔬
Code Analysis
eff.org
·
6d
6 days ago
·
Hacker News
Actions for Move Fast, Surveil Things
Malware ships with bugs that defenders could use against it
🛡️
Penetration Testing
helpnetsecurity.com
·
1d
1 day ago
Actions for Malware ships with bugs that defenders could use against it
Zephir: PHP Extension Language
🎨
Domain-Specific Languages
zephir-lang.com
·
6d
6 days ago
·
Hacker News
Actions for Zephir: PHP Extension Language
nixidy part 4:
Typed
resource options and CRD generation
⚙️
Configuration Languages
codedbearder.com
·
2d
2 days ago
Actions for nixidy part 4: Typed resource options and CRD generation
Less-relevant results
shadowresearch/auto-geo: The open-source GEO engine that gets your brand mentioned in ChatGPT, Claude, Gemini, Perplexity, and Grok. MIT, by Shadow.
💬
Prompt Engineering
Content type:
Code
github.com
·
3h
3 hours ago
·
Hacker News
Actions for shadowresearch/auto-geo: The open-source GEO engine that gets your brand mentioned in ChatGPT, Claude, Gemini, Perplexity, and Grok. MIT, by Shadow.
The Rust Features That Rewired How I Think About
Systems
Code (2026 Edition)
🚂
Cranelift IR
Content type:
Blog
medium.com
·
5d
5 days ago
Actions for The Rust Features That Rewired How I Think About Systems Code (2026 Edition)
Static
Code
Analysis
and the Rules of Zero, Three, and Five
📊
Code Metrics
Content type:
Blog
blog.jetbrains.com
·
1d
1 day ago
Actions for Static Code Analysis and the Rules of Zero, Three, and Five
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
🔗
Dependent Types
Content type:
Academic
arxiv.org
·
3d
3 days ago
Actions for Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
Pythagora-io/gpt-pilot Compromised on GitHub - Shai-Hulud Credential Stealer Blocked by Python Linter
🔬
Code Analysis
Content type:
Blog
stepsecurity.io
·
13h
13 hours ago
·
Hacker News
Actions for Pythagora-io/gpt-pilot Compromised on GitHub - Shai-Hulud Credential Stealer Blocked by Python Linter
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
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.
RV maker's self-driving tow sled packs battery power of 2 Cybertrucks
🔌
Microcontrollers
newatlas.com
·
5h
5 hours ago
Actions for RV maker's self-driving tow sled packs battery power of 2 Cybertrucks
Introduction - Rust for Python Programmers
🌉
Language Bridges
microsoft.github.io
·
6d
6 days ago
·
Hacker News
Actions for Introduction - Rust for Python Programmers
Inclusive Beauty Packaging: Melabody Visual
System
🔍
Lens Libraries
abduzeedo.com
·
2d
2 days ago
Actions for Inclusive Beauty Packaging: Melabody Visual System
Beyond Pass Rate: A Multilingual, Execution-Grounded Evaluation of Open Code LLMs
⚙️
Compiler Design
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Beyond Pass Rate: A Multilingual, Execution-Grounded Evaluation of Open Code LLMs
🦀 Custom Allocators in Rust
🧠
Memory Management
Content type:
Blog
medium.com
·
6d
6 days ago
Actions for 🦀 Custom Allocators in Rust
Insights Into Idiopathic Pulmonary Fibrosis
✨
Effect Inference
science.org
·
1d
1 day ago
Actions for Insights Into Idiopathic Pulmonary Fibrosis
Chinese APTs: Ghost NICs, GRIMBOLT, and Evolved BPFdoor Target Critical Infrastructure
🛡️
Penetration Testing
Content type:
News
deafnews.it
·
5d
5 days ago
·
r/pwnhub
Actions for Chinese APTs: Ghost NICs, GRIMBOLT, and Evolved BPFdoor Target Critical Infrastructure
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
tompassarelli/beagle: a
typed
authoring layer for agent-written code
🎭
Racket
Content type:
Code
github.com
·
6d
6 days ago
·
r/NixOS
Actions for tompassarelli/beagle: a typed authoring layer for agent-written code
Sign up or log in to see more results
Sign Up
Login
« 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