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
🧮 Combinator Calculus
SKI Combinators, Church Encoding, Point-Free Style, Reduction
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
128839
posts in
1.47
s
Exact Chiral
Symmetries
of $3+1\mathrm{D}$ Hamiltonian Lattice
Fermions
link.aps.org
·
10h
∫
Mathematical DSLs
Large
Tabular
Models
trendhunter.com
·
10h
📇
Symbol Tables
Things
Organized
Neatly
kk.org
·
6h
🤐
Zipper Structures
Building an Endless
Procedural
Snake with Three.js and
WebGL
tympanus.net
·
10h
🔄
Loop Optimization
Colab
marketplace.visualstudio.com
·
8h
🔍
Comby
Machine Learning Based
SPAM
Detection Using
ONNX
in Java
foojay.io
·
15h
🔤
Language Tokenizers
the
mathematics
of
compression
in database systems
bitsxpages.com
·
1d
·
Discuss:
Hacker News
📦
Compression Algorithms
Langfuse
- Open Source LLM Engineering Platform
langfuse.com
·
11h
🎮
Language Ergonomics
Multiplex
Thinking: Reasoning via Token-wise
Branch-and-Merge
gmlr-penn.github.io
·
2d
🗺️
Region Inference
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
22h
·
Discuss:
Hacker News
🗺️
Region Inference
Kevin
Scott
: Building a
Sandbox
for Claude Code
thekevinscott.com
·
7h
🦀
MIR Optimization
Fine
Grained
Everything, and what comes after React Server
Components
blog.logrocket.com
·
3h
📦
Monorepos
Understanding Providers and
Dependency
Injection in
NestJS
en.wikipedia.org
·
5h
·
Discuss:
DEV
🔀
Control Structures
Gemini
thinking
| Gemini API | Google AI for
Developers
ai.google.dev
·
1d
✨
Gleam
tzcnt/TooManyCooks
: C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.
github.com
·
1d
🔬
Nanopasses
Sound and Practical Points-To Analysis for
Incomplete
C
Programs
[pdf]
sjalander.com
·
1d
·
Discuss:
Hacker News
⚡
Partial Evaluation
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
4d
·
Discuss:
Hacker News
🧩
Constraint Solvers
Active learning enables generation of
molecules
that advance the known
Pareto
front
nature.com
·
5h
✨
Effect Inference
#2 - Going to second
base
: know your
boundaries
dev.to
·
5h
·
Discuss:
DEV
🚂
Error Propagation
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
5d
·
Discuss:
Lobsters
,
Hacker News
π
Pi Calculus
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