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
121696
posts in
981.6
ms
[2602.09283]
Condensed
Sets and the
Solovay
Model
arxiv.org
·
21h
🧮
Algorithms
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
2d
🌲
Binary Search Trees
12
OOP
Concepts
EVERY Developer Should Know
blog.algomaster.io
·
7h
🏗
Datastructures
Functional
Programming
in an LLM World
notes.druchan.com
·
1d
💻
Programming Languages
Lost
Proofs
, Found
Proofs
: How AI
Unearthed
Forgotten Solutions
hackernoon.com
·
10h
🧩
Constraint Programming
Fast Museum Searches: Go
Concurrency
and
Caching
pkg.go.dev
·
19h
·
Discuss:
DEV
🗄
Databases
intersection
type in
nLab
ncatlab.org
·
1d
🗂️
Hash Tables
A History of Large Language Models
gregorygundersen.com
·
11h
🗣️
Natural Language Parsing
Individuelle
Softwareentwicklung
Beyonder
software.beyonder.eu
·
1d
📄
Document Versioning
How We Built the Fastest
Kimi
K2.5
on Artificial Analysis
baseten.co
·
20h
·
Discuss:
Hacker News
🧩
Constraint Programming
GLM
5 is already on
huggingface
!
huggingface.co
·
17h
·
Discuss:
r/LocalLLaMA
📄
Document Versioning
Introducing
Dedicated
Container Inference:
Delivering
2.6x faster inference for custom AI models
together.ai
·
11h
🧩
Constraint Programming
Part 2 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
20h
·
Discuss:
Hacker News
🧩
Constraint Programming
Information-Theoretic
Derivation
of Energy, Speed Bounds, and Quantum Theory
link.aps.org
·
22h
🧮
Algorithms
Property-based
testing is about to
rule
the (software) world
tybug.dev
·
17h
·
Discuss:
Hacker News
🗂️
Hash Tables
Large Language Models for
Mortals
book released
crimede-coder.com
·
1d
·
Discuss:
Hacker News
🗣️
Natural Language Parsing
Distinguish
between inference scaling and "
larger
tasks use more compute"
lesswrong.com
·
17h
🌲
Binary Search Trees
Formal
Verification Fundamentals Remain
Non-Negotiable
In The New Verification Revolution
semiengineering.com
·
3h
🧩
Constraint Programming
Revisiting
Regular
Types
abseil.io
·
4d
💻
Programming Languages
D
Programming
Language
dlang.org
·
6h
·
Discuss:
Hacker News
💻
Programming Languages
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