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, Query Languages, Graph Algorithms, Analysis
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
73126
posts in
708.6
ms
GISA
: A
Benchmark
for General Information-Seeking Assistant
arxiv.org
Β·
10h
πΊοΈ
Query Planning
Continuous
Program Search
arxiv.org
Β·
10h
π
eBPF Tail Calls
Chromosome-level genome assembly and annotation of the critically endangered
Siberian
crane (
Leucogeranus
leucogeranus
)
nature.com
Β·
2d
π§¬
Computational Biology
The
Human-Centric
Stack: Why Logs Are the Great
Equalizer
in the Age of AI
loggly.com
Β·
4d
π
Tracing Subscriber
What Is a Time Series and How Is It Used?
enterprisedb.com
Β·
3d
π
Time Series
(50)
Set-Roster
vs Set-Builder
notation
youtube.com
Β·
3d
π’
algo
From
Interfaces
to Intelligence: Where Agentic AI Really
Shines
dvitsios.org
Β·
3d
Β·
Discuss:
Hacker News
π
Program Synthesis
Why Large Language Models Make Terrible
Compilers
β And Why the Industry Keeps Trying
Anyway
webpronews.com
Β·
3d
π
Profile-Guided Optimization
Why Files Are Not
Enough
as Memory for AI Agents
medium.com
Β·
2d
Β·
Discuss:
Hacker News
π§
Memory Models
Let
Lambda
Come Over
yamlscript.org
Β·
3d
Ξ»
Functional Programming
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
Β·
3d
π
TLA+
**Abstract:** This paper proposes a novel approach to anomaly detection in financial transaction networks leveraging
Hypergraph
Neural Networks (
HGNNs
) and F...
freederia.com
Β·
4d
π°
TigerBeetle
darold/pgbadger
: A fast PostgreSQL Log Analyzer
github.com
Β·
5d
π
PostgreSQL Internals
StatLLM
: A Dataset for Evaluating the Performance of Large Language Models in
Statistical
Analysis
nature.com
Β·
4d
π³
Tree-sitter
AI +
Clojure
Functions in
YAML
yamlscript.org
Β·
3d
π΅
Clojure
Whether they are building agents or
folding
proteins
, LLMs need a friend
theregister.com
Β·
3d
Β·
Discuss:
Hacker News
π¬
Prompt Engineering
Technical
Details of My
LLM-Generated
Book
mattbruenig.com
Β·
3h
π
Technical Writing
Accelerating
mathematics
xenaproject.wordpress.com
Β·
1d
π’
algo
mindsdb/mindsdb
: Federated
Query
Engine for AI - The only MCP Server you'll ever need
github.com
Β·
1d
ποΈ
FoundationDB
Integrating
human
logic
to enhance AI models
technology.org
Β·
2d
π¬
Prompt Engineering
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