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 Systems
🔤 Type Systems
Static Typing, Type Inference, Polymorphism, Type Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
89
posts in
10.0
ms
The design principles of the Elixir
type
system
📬
Actor Model
Content type:
Academic
arxiv.org
·
6d
6 days ago
·
Hacker News
Actions for The design principles of the Elixir type system
WebAssembly Specification
🌐
WebAssembly
webassembly.github.io
·
21h
21 hours ago
·
Hacker News
Actions for WebAssembly Specification
Create Your Own Programming Language with Rust
💻
programming
createlang.rs
·
1d
1 day ago
·
Hacker News
Actions for Create Your Own Programming Language with Rust
Jetpack Compose Navigation(Interview Prep)
🌐
WebAssembly
Content type:
Blog
dev.to
·
16h
16 hours ago
·
DEV
Actions for Jetpack Compose Navigation(Interview Prep)
Lucas127128/better-event: A better event emitter! (inspired by emittery)
⚡
Zig
Content type:
Code
github.com
·
2d
2 days ago
·
Hacker News
Actions for Lucas127128/better-event: A better event emitter! (inspired by emittery)
How
TypeScript
infers
type variables
🔨
Compilers
norswap.com
·
6d
6 days ago
·
Lobsters
,
Hacker News
Actions for How TypeScript infers type variables
Introducing Soteria: A New Generation of
Static
Analysis for Rust
💻
programming
Content type:
Blog
soteria-tools.com
·
15h
15 hours ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
Ask HN: Pandas to Polars migration, from 200s timeouts to under 4s. Anyone else?
🐍
python
Content type:
Discussion
news.ycombinator.com
·
1d
1 day ago
·
Hacker News
Actions for Ask HN: Pandas to Polars migration, from 200s timeouts to under 4s. Anyone else?
Introducing Jo — Secure Programming for the AI
Era
💻
programming
Content type:
Blog
jo-lang.org
·
6d
6 days ago
·
Hacker News
Actions for Introducing Jo — Secure Programming for the AI Era
Show HN: The first agentic coding engine that hot-reloads the full stack
🏛️
Software Architecture
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
Swift
Type
Annotations
🦀
Rust language programming
Content type:
Blog
dev.to
·
5d
5 days ago
·
DEV
Actions for Swift Type Annotations
Show HN:
Typedframes
– Pandas/polars column name
checking
at lint time
🐍
python
Content type:
Code
github.com
·
4d
4 days ago
·
Hacker News
Actions for Show HN: Typedframes – Pandas/polars column name checking at lint time
Introducing RawTree
📁
File Systems
Content type:
Blog
rawtree.com
·
2d
2 days ago
·
Hacker News
Actions for Introducing RawTree
Junior Devs Who Use AI Are Not Cheating – They're Training Smarter
🛡️
AI Safety
Content type:
Blog
theaileverageweekly.com
·
1d
1 day ago
·
Hacker News
Actions for Junior Devs Who Use AI Are Not Cheating – They're Training Smarter
Zephir: PHP Extension Language
⚙️
Odin
zephir-lang.com
·
6d
6 days ago
·
Hacker News
Actions for Zephir: PHP Extension Language
I built the tool StackOne's CEO said every developer needs
🔨
Compilers
Content type:
Blog
dev.to
·
9h
9 hours ago
·
DEV
Actions for I built the tool StackOne's CEO said every developer needs
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.
🛡️
AI Safety
Content type:
Code
github.com
·
5h
5 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.
TanStack AI: Your MCP, your way
🏛️
Software Architecture
Content type:
Blog
tanstack.com
·
5d
5 days ago
·
Hacker News
Actions for TanStack AI: Your MCP, your way
How to Defend Against Prompt Injection in Production
🏛️
Software Architecture
Content type:
Reference
leanpub.com
·
2d
2 days ago
·
DEV
Actions for How to Defend Against Prompt Injection in Production
A line-by-line translation of the OCaml runtime from C to Rust
🦀
Rust language programming
Content type:
Discussion
discuss.ocaml.org
·
1d
1 day ago
·
Lobsters
,
Hacker News
Actions for A line-by-line translation of the OCaml runtime from C to Rust
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