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
๐ Distributed Systems
Microservices, CAP Theorem, Consensus, Fault Tolerance
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80265
posts in
1.06
s
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
ยท
9h
๐๏ธ
Data Engineering
The Great
Realtime
Collaboration
Misdirection
joodaloop.com
ยท
4h
๐๏ธ
Data Engineering
Building a
Solidarity
Ecosystem for AI (
SSIR
)
ssir.org
ยท
1d
๐ง
Feature Engineering
The Only Strategy That
Matters
victorleungtw.com
ยท
2h
๐ฎ
Reinforcement Learning
EFS-CSI-Driver
and the curse of the missing (deleted)
PVC
in #Kubernetes
jon.sprig.gs
ยท
5h
๐
Distributed Systems & Big Data Techniques
The Hidden Cost of โEvent-Driven Everythingโ: Why Most Systems Donโt Need
Kafka
(Yet)
dev.to
ยท
1d
ยท
Discuss:
DEV
๐๏ธ
Data Engineering
Taming
Scylla
: Understanding the multi-headed agentic
daemon
of the coding seas
arxiv.org
ยท
9h
๐ค
AI
Context-Driven
Development Meets Team Agents: What
Changed
and What Didn't
themobileagent.substack.com
ยท
14m
ยท
Discuss:
Substack
๐๏ธ
Data Engineering
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
ยท
20h
ยท
Discuss:
Hacker News
๐ง
Feature Engineering
Faster
than
Dijkstra
?
systemsapproach.org
ยท
1d
ยท
Discuss:
Hacker News
โก
Query Optimization
Main
Content ||
Math
โฉ Programming
jeremykun.com
ยท
1d
๐งญ
Vector Databases
Formal
Methods
Practice and Theory
adacore.com
ยท
19m
ยท
Discuss:
Hacker News
๐
Query Languages & APIs
Sponsored
: The evolving AI data center: Options
multiply
, constraints grow, and infrastructure planning is even more critical
datacenterdynamics.com
ยท
6h
๐
Distributed Systems & Big Data Techniques
FreeBSD
14.4
Beta1
discoverbsd.com
ยท
1d
๐
Distributed Systems & Big Data Techniques
Heterogeneous
Processing: A Strategy for
Augmenting
Moore's Law (2006)
linuxjournal.com
ยท
2d
ยท
Discuss:
Hacker News
๐ง
Feature Engineering
Leverage
AI for
root-cause
analysis with MCP servers in VS Code and Cursor
developers.redhat.com
ยท
11h
๐
Distributed Systems & Big Data Techniques
Who
stays
connected
when the first systems fail? - opinion
jpost.com
ยท
1d
๐
Distributed Systems & Big Data Techniques
Why โContext Lakeโ
Matters
For
Agentic
AI
forrester.com
ยท
1d
๐๏ธ
Data Engineering
Kapsule
: it
shipped
and nobody died
blog.lasath.org
ยท
15h
๐๏ธ
Data Engineering
Building a Lightweight, Secure Infra Cluster Monitor with
InfluxDB
and
Grafana
pixelstech.net
ยท
1d
๐๏ธ
Data Engineering
Loading...
Loading more...
« Page 2
โข
Page 4 »
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