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
112676
posts in
417.6
ms
Show HN: A small
embeddable
Datalog
engine in Zig
news.ycombinator.com
·
7h
·
Discuss:
Hacker News
📋
Souffle Datalog
Proof-oriented
Programming in F*
fstar-lang.org
·
2d
·
Discuss:
Lobsters
⚡
functional programming
CogitatorTech/zodd
: A small embeddable Datalog engine in Zig ⚡
github.com
·
11h
·
Discuss:
r/Zig
📋
Souffle Datalog
Unraveling
the Power of Database Joins: A Deep Dive into Data
Relationships
dev.to
·
10h
·
Discuss:
DEV
📈
Query Optimization
Introduction
faiface.github.io
·
4h
📋
Backus-Naur Form
Show HN:
Logbooks
,
notebook
computing for coding agents
github.com
·
44m
·
Discuss:
Hacker News
💬
Interactive REPLs
Programming
languages
mothcodes.bearblog.dev
·
1d
🔬
programming language theory
From Chaos to
Clarity
: My Journey Building
JSON
Query Pro
dev.to
·
2h
·
Discuss:
DEV
📋
JSON Parsing
Towards a theory of Fa\c{c}ade-X data access:
satisfiability
of
SPARQL
basic graph patterns
arxiv.org
·
1d
🔗
Unification
Monads,
Applicatives
&
Functors
slicker.me
·
2h
🧩
Monadic Parsing
Leaning Into the Coding Interview:
Lean
4 vs
Dafny
cage-match
ntaylor.ca
·
1h
·
Discuss:
Lobsters
,
Hacker News
🎭
Racket Modules
Readable and
concise
concatenative
programming
cognate-lang.github.io
·
6h
·
Discuss:
Hacker News
🔗
Concatenative Languages
Understanding the Go
Compiler
: The
Linker
news.ycombinator.com
·
11h
·
Discuss:
Hacker News
🤖
Embedded Go
The
Waterfall
Pattern: A
Tiered
Strategy for Reliable Data Extraction
scrapeops.io
·
34m
·
Discuss:
DEV
📈
Earley Parsing
Is anyone
smarter
than me
able
to help with this?
forum.godotengine.org
·
4h
·
Discuss:
r/godot
🔗
Lexical Scoping
January in
TigerLand
kill-the-newsletter.com
·
1d
🔄
Bootstrapping
Tiny
Recursive
Reasoning with
Mamba-2
Attention Hybrid
arxiv.org
·
1d
🪜
Recursive Descent
SnowBall
:
Iterative
Context Processing When It Won't Fit in the LLM Window
enji.ai
·
15h
·
Discuss:
Hacker News
🔗
Lexical Scoping
D
Programming
Language
dlang.org
·
2d
·
Discuss:
Hacker News
∫
Mathematical DSLs
Table of
Contents
- Data Engineering for Large Models: Architecture,
Algorithms
& Projects
datascale-ai.github.io
·
16h
·
Discuss:
Lobsters
🪢
Rope Data Structures
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