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
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
122171
posts in
541.8
ms
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
3d
·
Discuss:
Hacker News
📚
Forth Compilers
FPC
and
Lazarus
coding style
forum.lazarus.freepascal.org
·
3d
⛪
Church Encoding
Tip of the Week #158:
Abseil
Associative
containers and contains()
abseil.io
·
4d
🗂️
Type Indexing
I got
bored
and had Claude design and
implement
a programming language
github.com
·
2d
·
Discuss:
Hacker News
✅
Type Checking
Why Agentic Theorem
Prover
Works: A Statistical
Provability
Theory of Mathematical Reasoning Models
arxiv.org
·
10h
📈
Monotonic Logic
Sympathy
for the Model, or,
Welfare
Concerns as Takeover Risk
lesswrong.com
·
3d
🔐
Capability Calculus
Sound and Practical Points-To Analysis for
Incomplete
C
Programs
[pdf]
sjalander.com
·
3d
·
Discuss:
Hacker News
⚡
Partial Evaluation
YS
Multi
Functions
yamlscript.org
·
5d
🔀
SSA Form
I used to be
fervent
embedded
DSL
fan many years ago (particularly in college wi...
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🪆
Embedded DSLs
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
3d
·
Discuss:
r/LocalLLaMA
🎭
Erlang OTP
Calculation
rafael-araujo.com
·
3d
📐
Mathematical Computing
Monoidal
2-categories from
foam
evaluation
arxiv.org
·
10h
🔗
Category Theory
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
6d
·
Discuss:
Hacker News
🧩
Constraint Solvers
When Optimization Works: The Role of
Convexity
in Business
Decisions
pub.towardsai.net
·
3d
🔢
Algebraic Datatypes
Tracking Issue for
Generic
Constant
Arguments MVP · Issue #132980
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust Macros
Python and Memory Management, Part 3: Call
Stack
docs.python.org
·
3d
·
Discuss:
DEV
📚
Stack Data Structures
zkAgent
:
Verifiable
Agent Execution via One-Shot Complete LLM Inference Proof
eprint.iacr.org
·
4d
🧩
SAT Solvers
To Be
Determined
anekstein.com
·
4d
·
Discuss:
Hacker News
📋
Copy GC
The Adventures of a
Pythonista
in
Schemeland/30
artima.com
·
4d
🔧
Scheme Macros
🚀 Building My First
Web3
App on
Monad
Using AI + Simple Prompts
dev.to
·
1d
·
Discuss:
DEV
💬
Interactive REPLs
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