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
➕ Sum Types
Tagged Unions, Enums, Algebraic Data Types, Pattern Matching
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
19465
posts in
528.6
ms
Computing an approximation of the partial
Weyl
closure of a
holonomic
module
arxiv.org
·
1d
📏
Linear Types
Weisfeiler
and
Lehman
Go Categorical
arxiv.org
·
1d
🧮
SMT Solvers
(50)
Set-Roster
vs Set-Builder
notation
youtube.com
·
3d
🔢
Algebraic Data Types
stdlib
v7.2
erlang.org
·
4d
·
Discuss:
Hacker News
🗄️
libSQL
abdimoallim/alloc
: A header-only C allocator library
github.com
·
1d
·
Discuss:
Hacker News
,
r/C_Programming
🧠
Memory Allocators
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
2d
·
Discuss:
Hacker News
🏹
Apache Arrow
Zinc
Language Design
ziggit.dev
·
3d
🔒
Borrow Checker
A Black Box Made Less
Opaque
(part 2)
lesswrong.com
·
6d
🔤
Tokenization
Modern
Trends
In
Floating-Point
semiengineering.com
·
5d
⚡
Hardware Acceleration
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
4d
·
Discuss:
Hacker News
💻
Programming languages
wareya/pred
_
recdec
: Predicated LL (recursive descent) parser in pure rust
github.com
·
1d
·
Discuss:
Hacker News
🔥
BurntSushi
TypeScript
: JavaScript With
Syntax
For Types.
typescriptlang.org
·
4d
📘
Typescript
Data-Oriented
Programming for
Java
: Beyond Records
openjdk.org
·
5d
🏗️
FoundationDB
Procmail
Quick
Reference
Guide
web.archive.org
·
3d
🔒
Borrow Checker
Private Data Space Model
privatedata.space
·
5d
📏
Linear Types
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
4d
·
Discuss:
Hacker News
🧮
SMT Solvers
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
4d
·
Discuss:
Hacker News
🌳
B+ Trees
Easy 6502 by
skilldrick
skilldrick.github.io
·
4d
🪄
Prompt Engineering
LaTeX2MathML
lib.rs
·
5d
📝
Typst
Ysgrifennu
Côd
yn Gymraeg (Writing Code in Welsh)
hackaday.com
·
6d
🔤
Tokenization
Loading...
Loading more...
« Page 2
•
Page 4 »
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