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
26359
posts in
1.25
s
The Weekly Challenge 359:
Roots
and
Digits
blog.firedrake.org
·
3d
🌳
Trie Structures
Sum
Day
doc.searls.com
·
2d
➕
Sum Types
Grouped
Blockscaled
Gemm
veitner.bearblog.dev
·
3d
⚡
Glommio
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
5d
·
Discuss:
r/golang
🔍
RegEx Engines
Can
Macros
Tame
Crud
?
alexalejandre.com
·
4d
🔄
Serde
Modern
Trends
In
Floating-Point
semiengineering.com
·
6d
⚡
Hardware Acceleration
Empress
Eugénie
’s crown, shown intact before the October 2025 Louvre heist (top) and damaged
afterward
(bottom).
i.redd.it
·
2d
·
Discuss:
r/Damnthatsinteresting
🔐
Cryptography
Craig
Interpolation
in Program Verification
arxiv.org
·
1d
📐
TLA+
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
1d
🧮
SMT Solvers
SBOM
Essentials
dzone.com
·
2d
🔍
Binary Analysis
(50)
Set-Roster
vs Set-Builder
notation
youtube.com
·
4d
📑
Inverted Indexes
About
shapeplatform.eu
·
3d
⛰
Alpine.js
Why are Neural Networks
architected
that way in the first place?
threads.championswimmer.in
·
3d
🔢
BitNet
Human-like Search for Modern
Applications
anvitra.ai
·
3d
·
Discuss:
Hacker News
🎯
Vector Search
Home
multi-module.org
·
3d
🦙
Ollama
Heterogeneous
Processing: A Strategy for
Augmenting
Moore's Law (2006)
linuxjournal.com
·
3d
·
Discuss:
Hacker News
🖥️
Hardware Architecture
Private Data Space Model
privatedata.space
·
6d
📏
Linear Types
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
3d
🔤
Tokenization
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
23h
·
Discuss:
Hacker News
📐
TLA+
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
·
2d
·
Discuss:
Hacker News
💻
Programming languages
Loading...
Loading more...
« Page 6
•
Page 8 »
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
