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
📋 Datalog
Logic Programming, Recursive Queries, Static Analysis, Souffle
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
121341
posts in
775.7
ms
Proof-oriented
Programming in F*
fstar-lang.org
·
5h
·
Discuss:
Lobsters
⚡
functional programming
QuinnWilton/argus
- BEAM program analysis via Souffle
Datalog
.
github.com
·
2h
📋
Souffle Datalog
D
Programming
Language
dlang.org
·
4h
·
Discuss:
Hacker News
∫
Mathematical DSLs
The Marie
Kondo
Method for MySQL: A Data
Lifecycle
Story
dev.to
·
4h
·
Discuss:
DEV
🗄️
Database Engines
Bounded
Modal
Logic
arxiv.org
·
1d
📏
Linear Logic
pythological/kanren
: An extensible, lightweight relational/logic programming DSL written in pure Python
github.com
·
2d
🧩
Constraint Logic
LISP
Prolog
and Evolution
blog.samibadawi.com
·
16h
🐪
OCaml
Databases
joodaloop.com
·
1d
🎓
Educational Databases
Fast Museum Searches: Go
Concurrency
and
Caching
pkg.go.dev
·
17h
·
Discuss:
DEV
🗑️
Stack Scanning GC
Predictive Query Language: A Domain-Specific Language for Predictive Modeling on
Relational
Databases
arxiv.org
·
1d
📈
Query Optimization
Using
Databases
Without Putting Domain
Logic
in Them (2023)
alexkondov.com
·
14h
·
Discuss:
Lobsters
🗄️
Database Engines
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
2d
·
Discuss:
Hacker News
⚡
functional programming
vindarel
: 🖌️
Lisp
screenshots: today's Common
Lisp
applications in action
lisp-journey.gitlab.io
·
10h
🐍
lisp
An in-process
SQL
OLAP
database management system
duckdb.org
·
1d
📈
Query Optimization
Quick
Stack
Tiedown
artlu.bearblog.dev
·
14h
🚂
Cranelift IR
Python to Clojure: A
Gentle
Guide for
Pythonistas
dev.to
·
35m
·
Discuss:
DEV
🔮
Clojure
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
2d
·
Discuss:
Blogger
📊
Query Optimizers
Part 1 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
17h
·
Discuss:
Hacker News
🤖
Abstract Machines
Building a Reliable AI Analytics Agent with
BigQuery
, a Semantic Layer, and Google
ADK
pub.towardsai.net
·
1d
🔍
Query Engines
A Note on
Flat
Abstract
Syntax
Trees
gist.github.com
·
2d
·
Discuss:
Hacker News
🌳
Tree Walking
Loading...
Loading more...
Page 2 »
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