Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Type Theory
λ Type Theory
Dependent Types, Type Systems, Lambda Calculus, Curry-Howard
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
44
posts in
6.5
ms
Samuel Mimram — CSC_51051_EP -- Computational
logic
: from Artificial intelligence to Zero bugs
⚙
Programming Language Design
lix.polytechnique.fr
·
16h
16 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Proof
System
Timelines
🔢
Mathematics
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
tensor product of stable (infinity,1)-
categories
in nLab
🔢
Mathematics
ncatlab.org
·
3d
3 days ago
Actions for tensor product of stable (infinity,1)-categories in nLab
Lean
Programming Language
💻
Programming
lean-lang.org
·
16h
16 hours ago
Actions for Lean Programming Language
When
Types
Intersect and Effects Get Handled
⚙
Programming Language Design
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for When Types Intersect and Effects Get Handled
Issue 527
⚙
Programming Language Design
haskellweekly.news
·
6d
6 days ago
Actions for Issue 527
The
Proof
in the Code
⚙
Programming Language Design
quantabooks.org
·
18h
18 hours ago
Actions for The Proof in the Code
QTCat: Queer and Trans People in
Category
Theory
⚙
Programming Language Design
Content type:
Blog
semantic-domain.blogspot.com
·
2d
2 days ago
·
semantic-domain.blogspot.com
Actions for QTCat: Queer and Trans People in Category Theory
Programming Languages Software Award
⚙
Programming Language Design
sigplan.org
·
18h
18 hours ago
Actions for Programming Languages Software Award
Quanta Books Releases The
Proof
in the Code
⚙
Programming Language Design
simonsfoundation.org
·
1d
1 day ago
Actions for Quanta Books Releases The Proof in the Code
a topos-oriented language with a content-addressed lattice heap
⚙
Programming Language Design
yon-lang.org
·
6d
6 days ago
·
Hacker News
Actions for a topos-oriented language with a content-addressed lattice heap
Co-Creator of Haskell: Functional Programming, Thinking in
Types
, Useless Languages | Simon Jones
⚙
Programming Language Design
Content type:
News
developing.dev
·
2d
2 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Introducing Jo — Secure Programming for the AI Era
⚙
Programming Language Design
Content type:
Blog
jo-lang.org
·
6d
6 days ago
·
Hacker News
Actions for Introducing Jo — Secure Programming for the AI Era
One Language To Rule Them All
⚙
Programming Language Design
Content type:
Blog
programmingsimplicity.substack.com
·
6d
6 days ago
·
Substack
Actions for One Language To Rule Them All
AWS can now mathematically prove your VMs are isolated
🌐
Distributed Systems
thenewstack.io
·
9h
9 hours ago
Actions for AWS can now mathematically prove your VMs are isolated
"Self-Control" Is A (Neurological)
Type
Error
⬜
Minimalism
lesswrong.com
·
1d
1 day ago
Actions for "Self-Control" Is A (Neurological) Type Error
🥇Top AI Papers of the Week
🤖
AI
Content type:
News
nlp.elvissaravia.com
·
3d
3 days ago
Actions for 🥇Top AI Papers of the Week
A
Proof
in
Coq
that Core
Logic
is not Paraconsistent
🌐
Distributed Systems
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for A Proof in Coq that Core Logic is not Paraconsistent
Kan Extensions in Haskell
⚙
Programming Language Design
bartoszmilewski.com
·
2d
2 days ago
·
Hacker News
Actions for Kan Extensions in Haskell
Interspecies quorum sensing signals modulate multicellular organization and enhance
contact-dependent
antagonism in Vibrio cholerae
🛰
Remote sensing
Content type:
Academic
nature.com
·
3d
3 days ago
Actions for Interspecies quorum sensing signals modulate multicellular organization and enhance contact-dependent antagonism in Vibrio cholerae
Page 2 »
Log in to enable infinite scrolling
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
Save / unsave
s
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