Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🎯 GADT
Generalized Algebraic Data Types, Type Safety, Phantom Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9720
posts in
70.3
ms
Type
Variance
en.wikipedia.org
·
1d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
How I Built My Project in
Haskell
dev.to
·
3h
·
Discuss:
DEV
λ
Functional Programming
A future for
bitflags
kodraus.github.io
·
1d
·
Discuss:
r/rust
🔧
Microcontrollers
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
11h
⚙️
Compiler Design
Pydantic
Performance: 4 Tips on How to Validate Large
Amounts
of Data Efficiently
towardsdatascience.com
·
1d
📊
Runtime Verification
A Complete
Finitary
Refinement
Type System for Scott-Open Properties
arxiv.org
·
5d
💎
Refinement Types
codx-dev/msgpacker
: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com
·
1d
·
Discuss:
Hacker News
🏗️
Dune
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
1d
·
Discuss:
Hacker News
📦
Module Systems
stdlib
v7.2
erlang.org
·
1d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Agentic
Coding and the Problem of
Oracles
epkconsulting.substack.com
·
9h
·
Discuss:
r/programming
📐
Hoare Logic
Episodic
memory in AI agents
poses
new safety risks
lesswrong.com
·
2d
🔀
Brzozowski Derivatives
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
1d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
React
Compiler
and why class objects can work against
memoization
anita-app.com
·
1d
·
Discuss:
Hacker News
📦
OPAM
When Clever Hardware Hacks Bite Back: A Password
Keeper
Device
Autopsy
hackaday.com
·
3h
💻
QEMU
Pascal-J/type-system-j
: adds an
optional
type system to J language
github.com
·
4d
·
Discuss:
Lobsters
❓
Existential Types
"Five-Point
Haskell
": Total
Depravity
(and Defensive Typing)
blog.jle.im
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
❓
Existential Types
Code only says what it does
brooker.co.za
·
1h
·
Discuss:
Hacker News
🤖
Program Synthesis
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
12h
·
Discuss:
Hacker News
,
r/Compilers
🔧
ppx
Chasing a Zig
AVR
Segfault
Down to LLVM
sourcery.zone
·
8h
·
Discuss:
r/Zig
🐫
Embedded OCaml
Portable
C
Compiler
en.wikipedia.org
·
3h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Loading...
Loading more...
Page 2 »
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
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