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
🧮 Lambda Calculus
Combinatory Logic, Church Encoding, Beta Reduction, Type Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8470
posts in
166.8
ms
Unravelling
Abstract
Cyclic
Proofs into Proofs by Induction
arxiv.org
·
1d
🔗
Curry-Howard
A Unified Treatment of Substitution for
Presheaves
,
Nominal
Sets, Renaming Sets, and so on
arxiv.org
·
1d
🔁
Fixed-Point Theory
Proof-oriented
Programming in F*
fstar-lang.org
·
2d
·
Discuss:
Lobsters
🔗
Curry-Howard
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
1d
·
Discuss:
Hacker News
🔁
Fixed-Point Theory
Table of
Contents
- Data Engineering for Large Models: Architecture,
Algorithms
& Projects
datascale-ai.github.io
·
10h
·
Discuss:
Lobsters
🔤
Language Design
Reconciling
Human and Digital
Ontologies
echosphere.io
·
56m
·
Discuss:
Hacker News
📐
Denotational Semantics
(Re)
Discovering
Natural
Laws
lesswrong.com
·
1d
🎯
Hindley-Milner
Breaking the
Tractability
Barrier: A Generic Low-Level Solver for
NP-Hard
Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org
·
1d
·
Discuss:
r/programming
🧮
SMT Solvers
Chained
Assignment in Python
Bytecode
loriculus.org
·
6h
·
Discuss:
Hacker News
⚙️
PL Implementation
Vector
Database
Migration
news.ycombinator.com
·
4h
·
Discuss:
Hacker News
🎯
GADT
We Die Because it's a
Computational
Necessity
lesswrong.com
·
1d
🔲
Cellular Automata
Building an Embedding API with Rust, Arm, and
EmbeddingGemma
on AWS
Lambda
sobolev.substack.com
·
1d
·
Discuss:
Substack
🏗️
Dune
C-- Home
cs.tufts.edu
·
4d
·
Discuss:
Lobsters
⚙️
Compiler Design
Dyad
2.0: What Agentic AI means for the Future of Computer
Languages
- Blog
juliahub.com
·
1d
·
Discuss:
Hacker News
🤖
Program Synthesis
"Am I the only one still
wondering
what is the deal with linear
types
?"
jonmsterling.com
·
1d
·
Discuss:
Hacker News
,
r/compsci
🎨
GADTs
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
4d
·
Discuss:
Hacker News
λ
Functional Programming
keplertech/kepler-formal
:
LEC
- Logic Equivalence Checking - Formal Verification
github.com
·
1d
·
Discuss:
Hacker News
🔍
Formal Verification
SnowBall
:
Iterative
Context Processing When It Won't Fit in the LLM Window
enji.ai
·
9h
·
Discuss:
Hacker News
🔀
OCaml Multicore
APL386
Unicode
Font
abrudz.github.io
·
23m
·
Discuss:
Hacker News
🔤
Typography
The
strongest
encryption
is just noise
hypertextgarden.com
·
1d
·
Discuss:
Hacker News
🔒
Protocol Verification
Loading...
Loading more...
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