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
🎯 GADT
Generalized Algebraic Data Types, Type Safety, Phantom Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8058
posts in
81.3
ms
"Am I the only one still
wondering
what is the deal with linear
types
?"
jonmsterling.com
·
14h
·
Discuss:
Hacker News
,
r/compsci
🎨
GADTs
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
2d
🧮
Z3
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
2d
·
Discuss:
Lobsters
🐫
Embedded OCaml
A
stack-buffer-overflow
exercise with
AddressSanitizer
and PostgreSQL
enterprisedb.com
·
16h
·
Discuss:
Lobsters
,
Hacker News
🏃
Escape Analysis
We Die Because it's a
Computational
Necessity
lesswrong.com
·
5h
🔲
Cellular Automata
Breaking the
Tractability
Barrier: A Generic Low-Level Solver for
NP-Hard
Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org
·
12h
·
Discuss:
r/programming
🧮
SMT Solvers
D
Programming
Language
dlang.org
·
1d
·
Discuss:
Hacker News
⚙️
Compiler Design
RustCompCert
: A Verified and Verifying Compiler for a Sequential
Subset
of Rust
arxiv.org
·
3d
🛡️
seL4
The hidden reason
database
debt is ten times
harder
to fix than code
thenewstack.io
·
1d
🔢
Algebraic Data Types
Proving
What's Possible
buttondown.com
·
2d
🔍
Formal Verification
Hazardous
States and
Accidents
lesswrong.com
·
5h
🔤
Kleene Algebra
Proof-oriented
Programming in F*
fstar-lang.org
·
1d
·
Discuss:
Lobsters
🔗
Curry-Howard
Pattyboi101/LogicGate
: AI-native Business Logic Vulnerability Scanner for JS/TS
github.com
·
36m
·
Discuss:
Hacker News
📊
Runtime Verification
We Built a Better
Cassandra
+
ScyllaDB
Driver for Node.js – with Rust
scylladb.com
·
2d
·
Discuss:
r/programming
,
r/rust
🏗️
Dune
Databases should
contain
their own
Metadata
floedb.ai
·
2d
·
Discuss:
Hacker News
📦
Namespaces
No, dynamic
type
systems are not
inherently
more open
lexi-lambda.github.io
·
3d
·
Discuss:
Hacker News
❓
Existential Types
Technical "
whitepaper
" for
afl-fuzz
lcamtuf.coredump.cx
·
1d
·
Discuss:
Lobsters
🔧
Unikernel Development
What Agentic AI "Vibe Coding" In The Hands Of
Actual
Programmers
/ Engineers
stochasticlifestyle.com
·
1d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Allocators
from C to
Zig
antonz.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/C_Programming
,
r/programming
🏃
Escape Analysis
Hare
0.26.0 released
harelang.org
·
18h
·
Discuss:
Lobsters
,
Hacker News
🏗️
Dune
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