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, Type Constructors
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8203
posts in
90.5
ms
Proving
What's Possible
buttondown.com
·
1d
🔍
Formal Verification
Why
summation
by
parts
is not enough
arxiv.org
·
1d
📐
Linear Algebra
We Built a Better
Cassandra
+
ScyllaDB
Driver for Node.js – with Rust
scylladb.com
·
1d
·
Discuss:
r/programming
,
r/rust
🏗️
Dune
Finite model theory for
pseudovarieties
and universal algebra: preservation,
definability
and complexity
arxiv.org
·
1d
🔀
Galois Connections
punctilio
: the best text
prettifier
lesswrong.com
·
2d
🔤
Typography
C-- Home
cs.tufts.edu
·
3d
·
Discuss:
Lobsters
⚙️
Compiler Design
models have some pretty
funny
attractor
states
lesswrong.com
·
11h
🔲
Cellular Automata
Show HN: Vibe
Coded
Math
Games
eruci.com
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
Building a Zero-Allocation,
SIMD-Accelerated
CSV
Parser
in Zig
peymanmo.com
·
3d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Show HN: A
segmentation
model client-side via
WASM
qtoolkit.dev
·
19h
·
Discuss:
Hacker News
🧩
Separation Logic
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
2d
·
Discuss:
Hacker News
➡️
Category Theory
six
thoughts
on
generating
c
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
An
async
HTTP server in ~80 lines of modern C++ (
coroutines
)
vixcpp.com
·
1d
·
Discuss:
Hacker News
🌐
Network Protocols
Cross Compiling
CGO
with
Dagger
and Zig
johncodes.com
·
20h
·
Discuss:
Hacker News
🏗️
Dune
Architectural and Mathematical
Foundations
of Machine Learning: A
Rigorous
Synthesis of Theory, Geometry, and Implementation
chizkidd.github.io
·
1d
·
Discuss:
Hacker News
📐
Linear Algebra
Show HN: I built simple browser tools
bcoz
I'm
tired
of everything becoming SaaS
bitlist.io
·
1d
·
Discuss:
Hacker News
🌐
ActivityPub
The Solution to Prompt Injection: Mapping
SSL/TLS
Trust Architecture onto LLMs [pdf]
solvingpromptinjection.com
·
1d
·
Discuss:
Hacker News
🌐
NetworkProtocols
Show HN: Bitcoin,
GEB
, and Bach's
fugues
share the same structural move
falsework.dev
·
1d
·
Discuss:
Hacker News
🧠
Automated Reasoning
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
3d
·
Discuss:
Hacker News
🔀
OCaml Multicore
Show HN: Detecting
coordinated
financial narratives with embeddings and
AVX2
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🧩
Parser Combinators
Sign up or log in to see more results
Sign Up
Login
« 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