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, Polymorphism, ML-family
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8585
posts in
102.3
ms
InjectRBP
:
Steering
Large Language Model Reasoning Behavior via Pattern Injection
arxiv.org
·
1d
📚
Automata Learning
SpiralFormer
:
Looped
Transformers Can Learn Hierarchical Dependencies via Multi-Resolution Recursion
arxiv.org
·
1d
🧩
Parser Combinators
Proving
What's Possible
buttondown.com
·
2d
🔍
Formal Verification
My Business as Code
blog.42futures.com
·
18h
·
Discuss:
r/programming
🌐
ActivityPub
An
Ontology
of Representations: Limits of
Universality
lesswrong.com
·
1d
📐
Denotational Semantics
Go -
Unit
&
Integration
Testing
linkedin.com
·
2d
·
Discuss:
r/programming
🧪
Property-Based Testing
Paper: Prompt Optimization Makes
Misalignment
Legible
lesswrong.com
·
1d
✓
Automated Theorem Proving
Dyad
2.0: What Agentic AI means for the Future of Computer
Languages
- Blog
juliahub.com
·
1d
·
Discuss:
Hacker News
🤖
Program Synthesis
The
Redundancy
Paradox
mihirdeshpande.com
·
1d
·
Discuss:
Hacker News
👁️
System Observability
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
2d
·
Discuss:
Hacker News
🎮
Verification Games
Part 2 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Chuck
Moore's Wonderful
colorForth
Programming Language and Operating System
colorforth.github.io
·
18h
·
Discuss:
Hacker News
⚙️
Compiler Design
Ontologies
are all you need
lexifina.com
·
7h
·
Discuss:
Hacker News
🏔️
Domain Theory
Visual
Introduction
to
PyTorch
0byte.io
·
16h
·
Discuss:
Hacker News
📐
Linear Algebra
Hare
0.26.0 released
harelang.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
🏗️
Dune
A Survey on
Federated
Fine-Tuning
of Large Language Models
openreview.net
·
7h
·
Discuss:
Hacker News
📚
Automata Learning
Inspecting
the Source of Go
Modules
words.filippo.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
📦
Opam
Verified
developer
portfolios
using Code Complexity and AI
dev-proof-portfolio.vercel.app
·
2d
·
Discuss:
Hacker News
🔬
Static Analysis
Russ
Cox on: What should we do with
CLs
generated by AI?
groups.google.com
·
18h
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
🤖
Program Synthesis
D
Programming
Language
dlang.org
·
2d
·
Discuss:
Hacker News
⚙️
Compiler Design
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