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
81137
posts in
466.5
ms
Book notes: The
Pragmatic
Programmer
, 20th Anniversary Edition
dev.to
·
2d
·
Discuss:
DEV
🎮
Language Ergonomics
ASP-Bench
: From Natural Language to Logic Programs
arxiv.org
·
6d
📊
Datalog Engines
First
Proof
arxiv.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
📜
Proof Languages
Beautiful
Perl
features -
introduction
to the series
dev.to
·
1d
·
Discuss:
DEV
🎮
Language Ergonomics
What
awesomeness
is this‽,
byJP
byjp.me
·
5d
🔗
Concatenative Theory
QT4
grammar
explorer
so.nwalsh.com
·
4d
🌳
Parser Visualization
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
=============================================================================================================================== **Abstract**
freederia.com
·
3d
🗺️
Region Polymorphism
YAML
Best
Practices
yamlscript.org
·
2d
⚙️
Configuration Parsing
Concurrency Flavours --
Lucian
Radu
Teodorescu
: Standard C++
isocpp.org
·
4d
🔗
Concurrency Primitives
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
4d
·
Discuss:
Hacker News
,
r/programming
🌊
Gradual Effects
Wolfram
Tackles P v
NP
i-programmer.info
·
6d
🧮
Combinator Calculus
Think Real Hard
benkuhn.net
·
4d
·
Discuss:
Hacker News
🚂
Error Propagation
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
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
How I Program with LLMs
blog.wesleyabbey.io
·
4d
·
Discuss:
Hacker News
🎮
Language Ergonomics
ggml
: backend-agnostic tensor parallelism by
JohannesGaessler
· Pull Request #19378
github.com
·
3d
·
Discuss:
r/LocalLLaMA
🗺️
Region Inference
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