Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
174225
posts in
29.3
ms
Are
Dependent
Types in Set Theory
Feasible
?
arxiv.org
·
3d
📐
Category Theory
Seeing
types
where others don't
lobste.rs
·
9h
·
Discuss:
Lobsters
🫧
Filter Bubbles
The Secret Life of Go:
Generics
dev.to
·
2d
·
Discuss:
DEV
📐
Category Theory
Affine
Space
Types
videocortex.io
·
2d
·
Discuss:
Lobsters
📐
Category Theory
Formal
Verification: The Ultimate
Fitness
Function
lesswrong.com
·
6h
🔢
Kolmogorov Complexity
Dimensional Type Systems and
Deterministic
Memory Management: Design-Time Semantic Preservation in Native
Compilation
arxiv.org
·
1d
🏭
Code Generation
MCCL
:
Entailment
tree generation via multi-fact contrastive selection and consistent LLM-based inference
sciencedirect.com
·
1d
🧠
LLM Reasoning
The
Newtype
Pattern and
Orphan
Rules
medium.com
·
20h
🏭
Code Generation
Quiz
: Exploring
Basic
Data Types in Python
realpython.com
·
17h
🔢
NumPy
🧐 04. Surprised by Java’s
Honesty
:
Primitive
Types and Memory Logic
dev.to
·
1d
·
Discuss:
DEV
🗂️
Data Structures
nalinraut/inferential
: Multi-client inference orchestration on top of Ray Serve.
github.com
·
1d
·
Discuss:
Hacker News
🏗️
Build Systems
A comprehensive database of
categories
and their
properties
catdat.app
·
5h
·
Discuss:
Hacker News
📐
Category Theory
Category
Theory as a Language for Understanding Large Language Models (LLMs)
medium.com
·
4d
🧠
LLM Reasoning
The Genius of Lisp (
Berksoft
Publications
)
i-programmer.info
·
9h
🏭
Code Generation
Stranger Things in Java:
Enum
Types
dzone.com
·
2d
📐
Category Theory
Vector
, the Journal of the British
APL
Association
web.archive.org
·
9h
·
Discuss:
Hacker News
🗂️
Data Structures
Formal
Verification
Best Practices
semiwiki.com
·
1d
🏗️
System Design
Zelph
is a
logic
programming system, but not in the traditional sense
acrion.github.io
·
1d
·
Discuss:
Hacker News
🧠
LLM Reasoning
The
Elegant
and Fully Type-safe Module
Composable
Library.
arc.tsdk.dev
·
1d
·
Discuss:
Hacker News
,
r/node
🏭
Code Generation
Differential
Logic
• Discussion 17
inquiryintoinquiry.com
·
13h
📐
Category Theory
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