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
🔍 Type Inference
Hindley-Milner, Algorithm W, Constraint Generation, Unification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80475
posts in
618.3
ms
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
11h
🧮
Theorem Provers
Rethinking Scientific Modeling: Toward Physically Consistent and
Simulation-Executable
Programmatic
Generation
arxiv.org
·
11h
🎭
Program Synthesis
Frequency-domain approach to automated and efficient
multivariate
kernel density estimation for
probabilistic
modeling
sciencedirect.com
·
44m
⚖️
Weighted Automata
Quick
Comparison
of
JVM
Languages
jvmhost.com
·
3h
·
Discuss:
Hacker News
📦
Portable Bytecode
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
16h
·
Discuss:
Blogger
📊
Query Optimizers
Expectation
and
Copysets
buttondown.com
·
21h
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
Building a
Slack
Bot
siivikko.fi
·
7h
·
Discuss:
Hacker News
💬
Interactive REPLs
Document
Clustering
with LLM Embeddings in
Scikit-learn
machinelearningmastery.com
·
5h
📝
Text Algorithms
**Abstract:** This paper introduces a novel framework, Automated Protocol Verification and Optimization via Multi-Modal Data Fusion and
Recursive
HyperScore
...
freederia.com
·
4d
💓
Live Variable Analysis
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
4d
·
Discuss:
Hacker News
🚂
Error Monads
Using AI to
write
a
transpiler
dev.to
·
17h
·
Discuss:
DEV
🎭
Program Synthesis
Togelius
:
Math
and me
togelius.blogspot.com
·
21h
·
Discuss:
Hacker News
📐
Mathematical Computing
We
chose
a pipeline over speech-to-speech for
evaluative
voice AI
productfit.substack.com
·
11h
·
Discuss:
Substack
🔍
Tokenizers
Claw
Cognition
: Design how your AI thinks
producthunt.com
·
14h
🎭
Program Synthesis
Learning by
hand
is better than learning by AI
blog.engora.com
·
21h
·
Discuss:
Hacker News
🎓
Teaching Compilers
Tip of the Week #49:
Argument-Dependent
Lookup
abseil.io
·
2d
🔗
Lexical Scoping
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
1d
·
Discuss:
Hacker News
💬
Interactive REPLs
AutoCleanML
– Intelligent ML Data
preprocessing
automation (pip install
autocleanml
)
dev.to
·
3h
·
Discuss:
DEV
🌱
Minimal ML
Vibe
Coding for Scientists
vibe-coding-101-iota.vercel.app
·
12h
🎭
Program Synthesis
The Potential of
RLMs
dbreunig.com
·
22h
·
Discuss:
Hacker News
✨
Gleam
Loading...
Loading more...
« Page 5
•
Page 7 »
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