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
122642
posts in
892.0
ms
Loading...
Subscribe
Eve-positional
languages: putting order into B\"
uchi
automata
arxiv.org
·
1d
🔤
type system theory and implementation
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
3d
·
Discuss:
Hacker News
🔤
type system theory and implementation
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
Opus 4.6 Reasoning
Distill
3k
prompts
huggingface.co
·
2d
·
Discuss:
r/LocalLLaMA
🗄
databases and optimization
PANCAKE: A
SNARK
with
Plonkish
Constraints, Almost-Free Additions, No Permutation Check, and a Linear-Time Prover
eprint.iacr.org
·
2d
🔤
type system theory and implementation
Going
raw
dog on the
database
mkennedy.codes
·
2d
🗄
databases and optimization
Next.js Performance When You Have 200,000
Database
Rows
morley.media
·
2d
·
Discuss:
DEV
🗄
databases and optimization
D
Programming
Language
dlang.org
·
10h
·
Discuss:
Hacker News
🔤
type system theory and implementation
Rewrite
Manifest
Files in
Iceberg
: A Practical Guide
overcast.blog
·
5h
·
Discuss:
r/coding
🗄
databases and optimization
Using Generative AI
tooling
with
Clojure
dev.solita.fi
·
1d
🔤
type system theory and implementation
Separation
of Concerns: You're Cutting
Along
the Wrong Line
inferal.com
·
10h
·
Discuss:
Hacker News
🗄
databases and optimization
What
Functional
Programmers
Get Wrong About Systems
iankduncan.com
·
2d
🔤
type system theory and implementation
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
2d
🔤
type system theory and implementation
Show HN: A
header-only
C++ benchmark for predictive models on raw
binary
streams
github.com
·
7h
·
Discuss:
Hacker News
🔤
type system theory and implementation
Your
ML
Model Is Training on the Future
dev.to
·
22h
·
Discuss:
DEV
🗄
databases and optimization
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
23h
·
Discuss:
Lobsters
🔤
type system theory and implementation
The middle ground between
canonical
models and data
mesh
frederickvanbrabant.com
·
2d
·
Discuss:
r/programming
🗄
databases and optimization
A
pattern
for safe
database
access with AI coding agents
docs.getpochi.com
·
1d
·
Discuss:
Hacker News
,
r/programming
🐘
PostgreSQL
Constructing
Industrial-Scale Optimization Modeling
Benchmark
arxiv.org
·
10h
🗄
databases and optimization
Main
Content ||
Math
∩ Programming
jeremykun.com
·
3d
🗄
databases and optimization
Are AI
SQL
yet?
viblo.se
·
2d
🐘
PostgreSQL
Loading...
Loading more...
« Page 3
•
Page 5 »
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