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
🎨 GADTs
Generalized ADTs, Type Equality, Phantom Types, OCaml
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8067
posts in
84.5
ms
Generalized
Decidability
via
Brouwer
Trees
arxiv.org
·
1d
🔢
Computability Theory
Computational
Explorations
on
Semifields
arxiv.org
·
2d
🔀
Brzozowski Derivatives
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
2d
🧩
Parser Combinators
SAE
Feature
Matchmaking
(Layer-to-Layer)
lesswrong.com
·
3d
🔢
Algebraic Data Types
Databases should
contain
their own
Metadata
floedb.ai
·
2d
·
Discuss:
Hacker News
🎯
GADT
Allocators
from C to
Zig
antonz.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/C_Programming
,
r/programming
🏃
Escape Analysis
Rust
Standard
Library Challenges
rustfinity.com
·
2d
·
Discuss:
r/rust
🏗️
Dune
Amiga
GadTools
Library
wiki.amigaos.net
·
3d
·
Discuss:
Hacker News
🎯
GADT
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
21h
·
Discuss:
Hacker News
🔁
Fixed-Point Theory
C-- Home
cs.tufts.edu
·
3d
·
Discuss:
Lobsters
⚙️
Compiler Design
The
Fourth
Wave
of Computing
lucibrowser.com
·
8h
·
Discuss:
Hacker News
🐫
Embedded OCaml
BalatroBench
Benchmarks
Large Language Models Playing Balatro
balatrobench.com
·
7h
·
Discuss:
Hacker News
🐫
OCaml
The
Redundancy
Paradox
mihirdeshpande.com
·
1d
·
Discuss:
Hacker News
👁️
System Observability
Ask HN: How do you
audit
LLM code in programming
languages
you don't know?
news.ycombinator.com
·
23h
·
Discuss:
Hacker News
🔬
Static Analysis
Announcing
TypeScript
6.0 Beta
devblogs.microsoft.com
·
1d
·
Discuss:
Hacker News
,
r/javascript
,
r/programming
,
r/typescript
🔠
Type-Level Programming
How We Built the Fastest
Kimi
K2.5
on Artificial Analysis
baseten.co
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
Show HN: Latent-k –
Persistent
dependency
map to reduce AI coding token usage
latentk.org
·
2d
·
Discuss:
Hacker News
📦
OPAM
Chuck
Moore's Wonderful
colorForth
Programming Language and Operating System
colorforth.github.io
·
6h
·
Discuss:
Hacker News
⚙️
Compiler Design
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
3d
·
Discuss:
Hacker News
🤖
Program Synthesis
Loading...
Loading more...
« Page 1
•
Page 3 »
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