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
80603
posts in
877.3
ms
PBLean
:
Pseudo-Boolean
Proof Certificates for Lean 4
arxiv.org
·
12h
🧩
SAT Solvers
Practical
Refinement
Session Type Inference (
Extended
Version)
arxiv.org
·
1d
📞
Session Types
Domain
Specific
Languages
martinfowler.com
·
3h
🎨
Domain-Specific Languages
Import AI 444: LLM
societies
; Huawei makes kernels with AI;
ChipBench
importai.substack.com
·
1d
·
Discuss:
Substack
🪜
Recursive Descent
Tip of the Week #158:
Abseil
Associative
containers and contains()
abseil.io
·
2d
🗂️
Type Indexing
Generate type-safe API
clients
from
OpenAPI
orval.dev
·
5h
·
Discuss:
DEV
🔧
API Design
Modern
JavaScript
Features You're Still Not Using (But Should) 🐍
dev.to
·
14h
·
Discuss:
DEV
🌈
Gradual Languages
Python
Typing
vs.
TypeScript
dev.to
·
7h
·
Discuss:
DEV
🌊
Gradual Typing
Don't pass on small block
ciphers
00f.net
·
18h
🔗
Hash Functions
Cooperatives
and AI: Building a Solidarity Stack |
Trebor
Scholz posted on the topic
linkedin.com
·
1d
🌲
Deforestation
Faster
AI Training
Unlocked
With New System For Massive Language Models
quantumzeitgeist.com
·
1d
⚡
Tokenizer Optimization
Read The Code (
Sometimes
)
build.ms
·
1d
📚
Self-Documenting Code
Your
VCL
App: 4x to 11x Faster Math Performance with
Elements
blogs.remobjects.com
·
1d
·
Discuss:
Hacker News
💬
REPL Design
lean-phys-community/PhysLean
: A project to
digitalise
results from physics into Lean.
github.com
·
9h
·
Discuss:
Hacker News
🔄
Nanopass
Vibe
Coding for Scientists
vibe-coding-101-iota.vercel.app
·
13h
🎭
Program Synthesis
Building a Scalable
URL
Shortener
github.com
·
6h
·
Discuss:
DEV
⚡
Incremental Parsing
Wrapping trait
implems
in an enum kept appearing in code base so I
blogged
about it. Are there other such useful patterns that are not much advertised?
asfaload.com
·
1d
·
Discuss:
r/rust
🔧
API Design
My Claude Code
workflow
invertedpassion.com
·
1d
🚀
Code Motion
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
23h
·
Discuss:
Hacker News
🎭
Program Synthesis
Python's Dynamic
Typing
Problem
whileforloop.com
·
5h
·
Discuss:
r/programming
🌊
Gradual Typing
Loading...
Loading more...
« Page 5
•
Page 7 »
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