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
🔢 Algebraic Data Types
Sum Types, Product Types, Pattern Matching, Enums
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
19993
posts in
180.7
ms
Lambda
cube
en.wikipedia.org
·
2d
·
Discuss:
Lobsters
🧩
Types
How I Structure My Data
Pipelines
: The Silver
Layer
loglevelinfo.substack.com
·
13h
·
Discuss:
Substack
🌳
B-Trees
MathlibLemma
: Folklore
Lemma
Generation and Benchmark for Formal Mathematics
arxiv.org
·
11h
🧮
SMT Solvers
A Black Box Made Less
Opaque
(part 2)
lesswrong.com
·
11h
🔤
Tokenization
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
2d
·
Discuss:
Hacker News
💻
Programming languages
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
2h
💻
Programming languages
The Missing
Programming
Language - Why There's No
S-Tier
Language (Yet)
hamy.xyz
·
16h
💻
Programming languages
WebGPU
Cameras
webgpufundamentals.org
·
7h
🚀
Astral
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
2h
·
Discuss:
r/programming
🪄
Prompt Engineering
Phoenix: A Modular and
Versatile
Framework for C/C++
Pointer
Analysis
arxiv.org
·
1d
📏
Linear Types
computer graphics, maths, shaders,
fractals
,
demoscene
iquilezles.org
·
1d
🔤
Font Rendering
Find the
Parity
of the
Sum
of floor(n/k) from k=1 to n
raw.org
·
1d
➕
Sum Types
What is Data Engineering?
databricks.com
·
21h
🗄️
Database Engines
Col-E/Recaf
: The modern Java
bytecode
editor
github.com
·
4h
✏️
Code Editors
Converting data to
hexadecimal
outputs
quickly
lemire.me
·
2d
·
Discuss:
Hacker News
🗜️
Vector Compression
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
4h
·
Discuss:
Hacker News
💻
Programming languages
Algebraic
Effects
for the Rest of Us
overreacted.io
·
20h
📌
Pin/Unpin
Pascal-J/type-system-j
: adds an
optional
type system to J language
github.com
·
19h
·
Discuss:
Lobsters
🔄
Serde
Logic for
Programmers
[
Leanpub
PDF/iPad/Kindle]
leanpub.com
·
18h
💻
Programming languages
html
tables
revisted
toolofthought.com
·
16h
·
Discuss:
Lobsters
🧩
Web Components
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