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
81144
posts in
912.0
ms
Book notes: The
Pragmatic
Programmer
, 20th Anniversary Edition
dev.to
·
2d
·
Discuss:
DEV
🎮
Language Ergonomics
A vector logic for
intensional
formal
semantics
arxiv.org
·
5d
🔗
Lexical Scoping
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
·
2d
·
Discuss:
DEV
🪄
C Metaprogramming
Logic
Pro 12.0
tidbits.com
·
6d
💻
Terminal UIs
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
5d
·
Discuss:
Hacker News
🐪
OCaml
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
·
5d
·
Discuss:
r/MachineLearning
🌱
Minimal ML
Think Real Hard
benkuhn.net
·
4d
·
Discuss:
Hacker News
🚂
Error Propagation
Programming Language
Implementation
: In Theory, We Understand. In Practice, We
Wish
We Would.
stefan-marr.de
·
6d
🔬
programming language theory
What
Happens
When AI Can
Write
All Your Software?
jakequist.com
·
4d
·
Discuss:
Hacker News
🎭
Program Synthesis
Sorting
seths.blog
·
5d
🪢
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
Flavours
of
Reflection
semantics.bernardteo.me
·
6d
·
Discuss:
Lobsters
,
r/cpp
🪞
Metaprogramming
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 14
•
Page 16 »
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