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
⚡ Fusion Laws
Stream Fusion, Deforestation, Foldr/Build, GHC Rewrite Rules
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
122202
posts in
1.38
s
Noether
's
Theorem
grokipedia.com
·
2h
·
Discuss:
Hacker News
🔗
Concatenative Theory
The
Observer
Lemma
zenodo.org
·
21h
·
Discuss:
Hacker News
⚡
Effect Handlers
LISP
Prolog
and Evolution
blog.samibadawi.com
·
1d
🐪
OCaml
Introducing
reusable
Connections in the
Debezium
Platform
debezium.io
·
1d
📡
Network Serialization
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
3d
·
Discuss:
Hacker News
⚖️
Inference Rules
The Machine Learning
Practitioner
’s Guide to
Speculative
Decoding
machinelearningmastery.com
·
1d
🚀
Tokenizer Performance
True,
Relevant
, and Wrong: The
Applicability
Problem in RAG
pinecone.io
·
21h
⚖️
Inference Rules
D
Programming
Language
dlang.org
·
15h
·
Discuss:
Hacker News
∫
Mathematical DSLs
Cantor
Normal
Form
infinitelymore.xyz
·
8h
λ
Lambda Calculus
Your
schema
already has the logic. Your inference provider just
ignores
it.
blog.dottxt.ai
·
1d
✅
Configuration Validation
No, dynamic
type
systems are not
inherently
more open
lexi-lambda.github.io
·
2d
·
Discuss:
Hacker News
🌈
Gradual Languages
Zvec
: SQLite-like
simplicity
in an embedded vector database (By Alibaba)
zvec.org
·
8h
·
Discuss:
Hacker News
💾
Minimal Databases
Rust Memory Management: The
Playroom
Analogy
adacore.com
·
2d
·
Discuss:
Hacker News
🔒
Rust Borrowing
Multiverse
sampling
assumption
lesswrong.com
·
1h
♾️
Codata Types
Coding Agents Meet
Distributed
Reality
jhellerstein.github.io
·
4h
·
Discuss:
Hacker News
🚂
Error Propagation
Fully Countering
Trusting
Trust through Diverse Double-Compiling (
DDC
) - Countering Trojan Horse attacks on Compilers
dwheeler.com
·
1d
🔬
Nanopasses
Show HN: A
deterministic
adversarial
puzzle system
hashclue.com
·
3h
·
Discuss:
Hacker News
🪢
Rope Data Structures
Proving
What's Possible
buttondown.com
·
1d
📜
Proof Languages
v8.15
ledoux.itch.io
·
16h
🚀
V8 Internals
Issue 638
datascienceweekly.substack.com
·
1h
·
Discuss:
Substack
🌱
Minimal ML
Loading...
Loading more...
« Page 3
•
Page 5 »
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