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
🧮 Hindley-Milner
Type Inference, Unification, Principal Types, Let-Polymorphism
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
121822
posts in
2.90
s
[2602.09283]
Condensed
Sets and the
Solovay
Model
arxiv.org
·
23h
🧮
Algorithms
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
2d
🌲
Binary Search Trees
Announcing
TypeScript
6.0 Beta
devblogs.microsoft.com
·
18h
·
Discuss:
Hacker News
,
r/javascript
,
r/programming
,
r/typescript
💻
Programming Languages
Rule Variant Restrictions for the
Tamarin
Prover
eprint.iacr.org
·
23h
🧩
Constraint Programming
12
OOP
Concepts
EVERY Developer Should Know
blog.algomaster.io
·
9h
🏗
Datastructures
Functional
Programming
in an LLM World
notes.druchan.com
·
1d
💻
Programming Languages
Comparing
941cf65707
..
.0224df2b9a
github.com
·
1h
📄
Document Versioning
intersection
type in
nLab
ncatlab.org
·
2d
🗂️
Hash Tables
Fast Museum Searches: Go
Concurrency
and
Caching
pkg.go.dev
·
21h
·
Discuss:
DEV
🗄
Databases
A History of Large Language Models
gregorygundersen.com
·
13h
🗣️
Natural Language Parsing
Individuelle
Softwareentwicklung
Beyonder
software.beyonder.eu
·
1d
📄
Document Versioning
Lost
Proofs
, Found
Proofs
: How AI
Unearthed
Forgotten Solutions
hackernoon.com
·
12h
🧩
Constraint Programming
How We Built the Fastest
Kimi
K2.5
on Artificial Analysis
baseten.co
·
22h
·
Discuss:
Hacker News
🧩
Constraint Programming
D
Programming
Language
dlang.org
·
8h
·
Discuss:
Hacker News
💻
Programming Languages
Part 2 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
21h
·
Discuss:
Hacker News
🧩
Constraint Programming
Introducing
Dedicated
Container Inference:
Delivering
2.6x faster inference for custom AI models
together.ai
·
13h
🧩
Constraint Programming
Information-Theoretic
Derivation
of Energy, Speed Bounds, and Quantum Theory
link.aps.org
·
1d
🧮
Algorithms
Distinguish
between inference scaling and "
larger
tasks use more compute"
lesswrong.com
·
19h
🌲
Binary Search Trees
Formal
Verification Fundamentals Remain
Non-Negotiable
In The New Verification Revolution
semiengineering.com
·
5h
🧩
Constraint Programming
ECHO: Efficient
Covertly-Secure
Three-party
Computation
with Applications to Private Machine Learning
eprint.iacr.org
·
2d
🗂️
Hash Tables
Loading...
Loading more...
« Page 1
•
Page 3 »
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