Skip to main content
Scour
Browse
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
🔤 Type Theory
Dependent Types, Type Systems, Lambda Calculus, Curry-Howard
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80669
posts in
1.79
s
An
Elementary
Theory of the
Category
of Sets
golem.ph.utexas.edu
·
1d
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Disentangling
unification and implicit coercion (
subtyping
interaction problem)
jonmsterling.com
·
1d
·
Discuss:
Hacker News
⚙
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
**Abstract:** This paper introduces a novel framework for automated
categorical
data integrity verification leveraging higher-order
categorical
logic (
HOLC
) ...
freederia.com
·
8h
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Latent Space of
Equational
Theories
arxiv.org
·
6h
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Monad
tutorials
timeline
wiki.haskell.org
·
2d
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Elixir:
Gradual
Set-Theoretic
Types
hexdocs.pm
·
4d
·
Discuss:
Hacker News
💧
Elixir
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Semantic Police: Stop or my
compiler
will prove a
theorem
kp9.in
·
3d
·
Discuss:
Hacker News
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A Program
Logic
for Abstract (
Hyper
)Properties
arxiv.org
·
6h
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
ML
Systems
Textbook
mlsysbook.ai
·
1d
🐫
OCaml
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Modal
Homotopy
Type Theory - The Book
golem.ph.utexas.edu
·
2d
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Higher-Form
Anomalies
on
Lattices
link.aps.org
·
1d
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Show HN:
PolyMCP
– Expose
Python/TS
functions as MCP tools easily
news.ycombinator.com
·
23h
·
Discuss:
Hacker News
🐫
OCaml
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Homomorphic
Signatures : A
Systematization
of Knowledge
eprint.iacr.org
·
1d
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The
JAX
sharding
type system
blog.ezyang.com
·
14h
·
Discuss:
Hacker News
🌐
WebAssembly
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
bbycroft/llm-viz
: 3D Visualization of an GPT-style LLM
github.com
·
23h
·
Discuss:
Hacker News
✓
Formal Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Mark Jason
Dominus
: Almost-trivial
theorems
blog.plover.com
·
19h
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A brief introduction to
Compilers
with
Kotlin
examples
rabbitvictor.com
·
1d
⚙️
Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Strings vs
Slices
: a Love
Triangle
with Characters 💔🧵
dev.to
·
54m
·
Discuss:
DEV
🤔
Programming, Programming Languages, Philosophy
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Competitive
Pure
Functional
Languages
blog.samibadawi.com
·
2d
·
Discuss:
Hacker News
⚙
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
OpenAI and Codex with
Thibault
Sottiaux
and Ed Bayes
softwareengineeringdaily.com
·
1h
💧
Elixir
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
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