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
🔍 ML Language
Pattern Matching, Type Inference, Functional Programming, OCaml
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81693
posts in
464.4
ms
Learn
Weird
Programming
Languages
okienko.day
·
12h
·
Discuss:
Hacker News
🏗️
Minimal Compilers
LogicSkills
: A Structured Benchmark for
Formal
Reasoning in Large Language Models
arxiv.org
·
21h
📋
Souffle Datalog
Show HN:
AetherLang
– A
DSL
for building AI workflows with visual debugging
github.com
·
26m
·
Discuss:
Hacker News
✨
Gleam
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
2h
·
Discuss:
Blogger
📊
Query Optimizers
Presentation: Are You Missing a Data Frame? The Power of Data
Frames
in
Java
infoq.com
·
11h
📊
DataFrame Types
25W06
. Learning a language with the machine
z1nz0l1n.com
·
1d
🌱
Minimal ML
Fragments
: February 9
martinfowler.com
·
6h
🎨
Domain-Specific Languages
Differential
Logic
• 4
inquiryintoinquiry.com
·
1d
∫
Mathematical DSLs
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
3h
·
Discuss:
Lobsters
,
Hacker News
🛡️
Error Handling
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
15h
·
Discuss:
Hacker News
🎮
Language Ergonomics
The
Prospero
Challenge
mattkeeter.com
·
10h
🔬
Nanopasses
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
1d
·
Discuss:
Hacker News
λ
Lambda Calculus
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
1d
·
Discuss:
Hacker News
💬
Interactive REPLs
🥇Top AI
Papers
of the Week
nlp.elvissaravia.com
·
1d
🌱
Minimal ML
Revisiting
Regular
Types
abseil.io
·
2d
🚀
Hindley-Milner+
Let
Lambda
Come Over
yamlscript.org
·
2d
λ
Lambda Calculus
DAWN
:
Dependency-Aware
Fast Inference for Diffusion LLMs
arxiv.org
·
21h
🪜
Recursive Descent
StatLLM
: A Dataset for Evaluating the Performance of Large Language Models in
Statistical
Analysis
nature.com
·
3d
📊
LR Parsing
I Built a
Programming
Language Where think Is a
Keyword
dev.to
·
2d
·
Discuss:
DEV
✨
Gleam
Varparser
Reveals How LLM Log
Parsing
Benefits From Variable Data
quantumzeitgeist.com
·
13h
📊
Log Parsers
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