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
vcaa1729's Feed
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
121442
posts in
1.24
s
Loading...
Subscribe
Eve-positional
languages: putting order into B\"
uchi
automata
arxiv.org
·
1d
🔤
type system theory and implementation
Proof-oriented
Programming in F*
fstar-lang.org
·
5h
·
Discuss:
Lobsters
🔤
type system theory and implementation
Architecture
of
SQLite
sqlite.org
·
21h
·
Discuss:
Hacker News
🗄
databases and optimization
Building a Reliable AI Analytics Agent with
BigQuery
, a Semantic Layer, and Google
ADK
pub.towardsai.net
·
1d
🗄
databases and optimization
A Note on
Flat
Abstract
Syntax
Trees
gist.github.com
·
2d
·
Discuss:
Hacker News
🔤
type system theory and implementation
An in-process
SQL
OLAP
database management system
duckdb.org
·
1d
🗄
databases and optimization
parse
human-friendly filter
strings
into structured queries
filtron.dev
·
3d
·
Discuss:
Hacker News
🐘
PostgreSQL
What Are the Best SQL
IDEs
for
MySQL
Database Development? Choosing the Right
MySQL
IDE
devart.com
·
16h
·
Discuss:
DEV
🗄
databases and optimization
datavorous/spheni
: An in-memory vector search library in C++ with Python bindings
github.com
·
19h
·
Discuss:
Hacker News
🗄
databases and optimization
Learned Query
Optimizer
in Alibaba
MaxCompute
: Challenges, Analysis, and Solutions
arxiv.org
·
2d
🗄
databases and optimization
Bitsum
. Real-time
CPU
Optimization and Automation
bitsum.com
·
11h
🗄
databases and optimization
Architectural and Mathematical
Foundations
of Machine Learning: A
Rigorous
Synthesis of Theory, Geometry, and Implementation
chizkidd.github.io
·
19h
·
Discuss:
Hacker News
🗄
databases and optimization
Measure
Twice
, Prompt Once
ignasibosch.com
·
1d
·
Discuss:
DEV
🔤
type system theory and implementation
Introduction
to SQL using
SQLite
: Node
SQLite
dev.to
·
6h
·
Discuss:
DEV
🐘
PostgreSQL
EyesOff
: Why Some Models
Quantize
Better Than Others
ym2132.github.io
·
10h
·
Discuss:
Hacker News
🗄
databases and optimization
The
Univalence
Principle
golem.ph.utexas.edu
·
1d
🔤
type system theory and implementation
Lost
Proofs
, Found
Proofs
: How AI
Unearthed
Forgotten Solutions
hackernoon.com
·
8h
🗄
databases and optimization
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
Postgres
Weekly Issue 635: February 11, 2026
postgresweekly.com
·
1d
🐘
PostgreSQL
Announcing
TypeScript
6.0 Beta
devblogs.microsoft.com
·
14h
·
Discuss:
Hacker News
,
r/javascript
,
r/programming
,
r/typescript
🔤
type system theory and implementation
Quick
Stack
Tiedown
artlu.bearblog.dev
·
14h
🗄
databases and optimization
Loading...
Loading more...
« Page 1
•
Page 3 »
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