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 Inference
Hindley-Milner, Unification, Constraint Solving, OCaml Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80398
posts in
346.8
ms
Disentangling
unification and implicit coercion (
subtyping
interaction problem)
jonmsterling.com
·
1d
·
Discuss:
Hacker News
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
From Pratt parsing to the
Dijkstra
shunting
yard
matklad.github.io
·
5h
·
Discuss:
Hacker News
🦀
Rust Macros
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A
Bisimulation-Invariance-Based
Approach to the Separation of Polynomial Complexity Classes
arxiv.org
·
1d
🧩
Constraint Programming
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
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
If it
compiles
, it is correct (almost): an introduction to Lean 4 for
ZK
systems and Engineering
blog.lambdaclass.com
·
32m
🔬
Static Analysis
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, automated framework for assessing the spectral
decomposability
of
Banach
algebras, specifically focusing on Von ...
freederia.com
·
13h
📐
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Decompose-and-Formalise
: Recursively Verifiable Natural Language Inference
arxiv.org
·
1d
🌳
Tree-sitter
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
🔨
Compiler Design
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Golang
vs Rust vs Python
dev.to
·
2h
·
Discuss:
DEV
🔬
Static Analysis
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Learn You a
Haskell
for Great Good!
learnyouahaskell.github.io
·
28m
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Theory of
self-reproducing
automata : Von
Neumann
, John, 1903-1957 : Free Download, Borrow, and Streaming
archive.org
·
5h
⚙️
Concurrency Models
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
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
Reasoning
About Things Without
Choosing
Them
cognitivelayer.substack.com
·
23h
·
Discuss:
Substack
📐
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
📊
Algorithms
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Show HN: Our
command
line tool to
transpile
AI Inference from Python to C++
github.com
·
1h
·
Discuss:
Hacker News
🌳
Tree-sitter
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
·
1d
·
Discuss:
Hacker News
🗃️
SQLx
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Future model in go
reddit.com
·
5h
·
Discuss:
r/golang
⚙️
Concurrency Models
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Ultra-low-bit LLM Inference Allows AI-PC
CPUs
And
Discrete
Client GPUs To Approach High-end GPU-Level (Intel)
semiengineering.com
·
1d
🔧
LLVM
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Programming
as
Theory
Building
gist.github.com
·
3h
🔬
Static Analysis
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Term Ordering
Etudes
: Ground
Lexicographic
Path Ordering
philipzucker.com
·
3d
📐
Category Theory
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