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
82247
posts in
266.3
ms
ASP-Bench
: From Natural Language to Logic Programs
arxiv.org
·
5d
📊
Datalog Engines
First
Proof
arxiv.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
📜
Proof Languages
C
Programming
: A Complete
Beginner
's Guide to Starting Your Coding Journey
dev.to
·
1d
·
Discuss:
DEV
🪄
C Metaprogramming
Beautiful
Perl
features -
introduction
to the series
dev.to
·
1d
·
Discuss:
DEV
🎮
Language Ergonomics
What
awesomeness
is this‽,
byJP
byjp.me
·
5d
🔗
Concatenative Theory
YS
— YAML Done
Wisely
yamlscript.org
·
1d
🧼
Lisp Hygiene
**Abstract:** This paper proposes a novel methodology for automated
theorem
discovery within advanced set theory utilizing hyperdimensional geometric
algebra
...
freederia.com
·
4d
🔢
Algebraic Datatypes
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
Concurrency Flavours --
Lucian
Radu
Teodorescu
: Standard C++
isocpp.org
·
3d
🔗
Concurrency Primitives
Rewriting
pycparser
with the help of an LLM
eli.thegreenplace.net
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/Compilers
🌲
Tree-sitter
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
3d
·
Discuss:
Hacker News
,
r/Compilers
🚀
MLton
=============================================================================================================================== **Abstract**
freederia.com
·
2d
🗺️
Region Polymorphism
YAML
Best
Practices
yamlscript.org
·
1d
⚙️
Configuration Parsing
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
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
·
3d
·
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
·
3d
·
Discuss:
Hacker News
🎭
Program Synthesis
Loading...
Loading more...
« Page 12
•
Page 14 »
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