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
🧩 Prolog
Logic Programming, Unification, Backtracking, Constraint Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81093
posts in
987.6
ms
Book notes: The
Pragmatic
Programmer
, 20th Anniversary Edition
dev.to
·
2d
·
Discuss:
DEV
🎮
Language Ergonomics
First
Proof
arxiv.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
📜
Proof Languages
Multi-Task
GRPO
:
Reliable
LLM Reasoning Across Tasks
arxiv.org
·
3d
📐
Standard ML
C
Programming
: A Complete
Beginner
's Guide to Starting Your Coding Journey
dev.to
·
1d
·
Discuss:
DEV
🪄
C Metaprogramming
Logic
Pro 12.0
tidbits.com
·
6d
💻
Terminal UIs
Updates and Plans V: From
Boise
to Tel Aviv, Ceasefire, My 70th Birthday, Nostalgia, Problems, Outrageous
Conjectures
, Quantum, and AI
gilkalai.wordpress.com
·
5d
🎯
Bit Vectors
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
4d
·
Discuss:
Hacker News
,
r/Compilers
🚀
MLton
Programming Language
Implementation
: In Theory, We Understand. In Practice, We
Wish
We Would.
stefan-marr.de
·
6d
🔬
programming language theory
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
6d
·
Discuss:
Hacker News
🧮
Combinator Calculus
I built a free
ML
practice
platform - would love your feedback [P]
reddit.com
·
4d
·
Discuss:
r/MachineLearning
🌱
Minimal ML
Think Real Hard
benkuhn.net
·
4d
·
Discuss:
Hacker News
🚂
Error Propagation
What
Happens
When AI Can
Write
All Your Software?
jakequist.com
·
4d
·
Discuss:
Hacker News
🎭
Program Synthesis
Sorting
seths.blog
·
4d
🪢
Rope Algorithms
How I Program with LLMs
blog.wesleyabbey.io
·
4d
·
Discuss:
Hacker News
🎮
Language Ergonomics
Implementing
Automated Rules-Based
Evaluations
for LLM Applications
github.com
·
3d
·
Discuss:
DEV
💬
Interactive REPLs
ggml
: backend-agnostic tensor parallelism by
JohannesGaessler
· Pull Request #19378
github.com
·
3d
·
Discuss:
r/LocalLLaMA
🗺️
Region Inference
Language Modeling, Part 5:
Reverse
Engineering
LSTM
Cells
connorjdavis.substack.com
·
4d
·
Discuss:
Substack
🎯
Finite Automata
🎲
Thoughts
on LLMs and AI
joshghent.com
·
4d
🎭
Program Synthesis
**Abstract:** This paper presents a novel system for automated analysis and predictive modeling of
Polycystic
Ovary
Syndrome (PCOS) progression, leveraging a...
freederia.com
·
4d
✨
Effect Inference
**Abstract:** Understanding the origins of language remains a fundamentally unsolved problem in
linguistics
,
anthropology
, and cognitive science. This paper ...
freederia.com
·
4d
🪜
Recursive Descent
Loading...
Loading more...
« Page 13
•
Page 15 »
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