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
🎯 Pattern Matching
Exhaustiveness, Guards, Destructuring, Language Design
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
82970
posts in
868.6
ms
Symbolic Model Checking using
Intervals
of
Vectors
arxiv.org
·
3d
🧩
SAT Solvers
[2309.11300] Partial
monoid
actions on objects in categories with pullbacks and their
globalizations
arxiv.org
·
2d
🔗
Category Theory
When a Model Finds a Bug in Cryptography, and a
Cryptographer
Learns New
Mathematics
from It
dev.to
·
1d
·
Discuss:
DEV
🔍
ML Language
Efficiency
and Performance
dev.to
·
46m
·
Discuss:
DEV
⚡
Performance
Clankers
with
claws
world.hey.com
·
1d
·
Discuss:
Hacker News
🏗️
Cranelift
YS
— YAML Done
Wisely
yamlscript.org
·
9h
🧼
Lisp Hygiene
Dot
Chain Special
Operators
yamlscript.org
·
9h
🔬
Nanopasses
Does "AI-Ready Data"
simply
mean "Good Data
Modeling
"?
motherduck.com
·
1d
🌳
Pattern Match Compilation
High‑Performance Cryptographic Hash Function Based on
Mersenne
Prime Field Arithmetic and Efficient Modular Reduction **Abstract**
Mersenne
primes
\(p=2^q-1\...
freederia.com
·
1d
🔗
Hash Functions
Lessons from
BF-Tree
: Building a
Concurrent
Larger-Than-Memory Index in Rust
zhihanz.github.io
·
2d
·
Discuss:
Hacker News
🧠
Memory Consistency
Software Architecture and
Philosophical
Anthropology
michaelmangialardi.substack.com
·
1d
·
Discuss:
Substack
📡
Protocol Buffers
How
Lisp
Became
God
's Own Programming Language
twobithistory.org
·
3d
🖥️
Lisp Machines
AI Role-Playing Characters Gain
Consistency
With
Automatically
Built ‘state Of Mind’ Models
quantumzeitgeist.com
·
21h
🎭
Erlang OTP
Speeding
Up
HTML
Generation by 2000%
bobrubbens.nl
·
1d
⚡
Incremental Parsing
New MIT Framework Uses Search to
Handle
LLM
Errors
in AI Agents
hpcwire.com
·
1d
🔄
Subinterpreters
Examining
Turbopuffer
ANN v3
terencezl.github.io
·
1d
·
Discuss:
Hacker News
⚡
Tokenizer Optimization
Multi-layer defense for LLM agents inspired by
immune
systems (seeking
critique
)
gist.github.com
·
3d
·
Discuss:
Hacker News
🛡️
Security Type Systems
The ‘Super Bowl’ standard:
Architecting
distributed systems for massive
concurrency
infoworld.com
·
2d
⏲️
Embedded GC
Java
Annotated
Monthly
– February 2026
blog.jetbrains.com
·
2d
⚡
Interpreter Optimization
michaelhelvey/lilfuture
: Educational async runtime for Rust
github.com
·
1d
⚙️
Async State Machines
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