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
🔗 Curry-Howard
Proofs as Programs, Type Theory, Isomorphism, Constructive Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8594
posts in
108.7
ms
Compositionality
of Systems and
Partially
Ordered Runs
arxiv.org
·
1d
⚡
Process Calculi
How I Built My Project in
Haskell
dev.to
·
6d
·
Discuss:
DEV
λ
Functional Programming
Don't Eliminate Cut:
Exponential
Separations
in LLM-Based Theorem Proving
arxiv.org
·
2d
✓
Automated Theorem Proving
Rust
Standard
Library Challenges
rustfinity.com
·
2d
·
Discuss:
r/rust
🏗️
Dune
Good AI
Epistemics
as an
Offramp
from the Intelligence Explosion
lesswrong.com
·
1d
🩹
Self-Healing Systems
miniKanren.org
minikanren.org
·
5d
·
Discuss:
Lobsters
📦
Module Systems
Deferred
member
initialization
in C++
sandordargo.com
·
3d
·
Discuss:
Lobsters
📝
Nix Language
OK, what's the difference between
coherence
and representation
theorems
?
lesswrong.com
·
4d
🔢
Philosophy of Mathematics
AI
Pair
Programming in Your
Terminal
cecli.dev
·
3d
·
Discuss:
Hacker News
💻
CLI Tools
What the
philosophy
of
biology
was [pdf]
gbragafibra.github.io
·
3d
·
Discuss:
Hacker News
📐
Linear Algebra
six
thoughts
on
generating
c
wingolog.org
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
Self-Referential
Quantum Barriers for AGI
Containment
redact-app.com
·
2d
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
4d
·
Discuss:
Hacker News
⚙️
PL Implementation
Show HN: 0x – A language that
compiles
to React, Vue, and
Svelte
(80% less code)
0xlang.com
·
3d
·
Discuss:
Hacker News
🔧
ppx
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
4d
·
Discuss:
Lobsters
,
Hacker News
🎯
GADT
Redefining
Go
Functions
pboyd.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
🏢
Jane Street Core
Well-Typed.Com
:
hs-bindgen
0.1-alpha release
well-typed.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
📦
Opam
What
Functional
Programmers
Get Wrong About Systems
iankduncan.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💎
Refinement Types
Sound and Practical Points-To Analysis for
Incomplete
C
Programs
[pdf]
sjalander.com
·
4d
·
Discuss:
Hacker News
🐫
OCaml
Custom
ESLint
rules as AI guardrails: turning repeated mistakes into structural
impossibilities
jw.hn
·
3d
·
Discuss:
Hacker News
,
r/SoftwareEngineering
,
r/coding
,
r/node
,
r/typescript
🔍
Formal Verification
Sign up or log in to see more results
Sign Up
Login
« 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