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
🔍 KLEE
Symbolic Execution, Program Analysis, Bug Finding, LLVM-Based
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
72898
posts in
520.9
ms
Prologis
(
PLD
): Strengthening Competitive Edge in High-Growth Industrial Markets
finance.yahoo.com
·
39m
🌀
Naiad
ELA-1640-1
python2.7
security update
freexian.com
·
2h
🦅
Falco
CE.SDK
v1.68
Release Notes
img.ly
·
16h
🔧
Abseil
Passing the
Torch
: Reflections on ARC’s Journey and the Future of
Specialized
Processing
eetimes.com
·
1h
⚡
Hardware Acceleration
Building Smarter AI: 16 RAG
Approaches
for
Accuracy
, Memory, and Reasoning
mvineetsharma.medium.com
·
14h
🔍
RAG
Agentic
AI Engineering
Workflows
for iOS in 2026
blog.jacobstechtavern.com
·
17h
⚓
Anchors
A open-source
database
studio
querystudio.dev
·
14h
·
Discuss:
Hacker News
🗄️
Databases
Xcode
Enters the Agent Era --
Fatbobman
's Swift Weekly #122
fatbobman.com
·
21h
⌨️
CLI Development
MCP
server for up-to-date
dependencies
augmentedmind.de
·
2d
📦
Package Managers
Using Claude Code as a general agent
raahelbaig.com
·
21h
·
Discuss:
Hacker News
🎭
Program Synthesis
Building a Production-Ready Claude Streaming API with
Next.js
Edge
Runtime
bydaewon.gumroad.com
·
1d
·
Discuss:
DEV
📝
Poem
Towards
Understanding What State Space Models Learn About Code
arxiv.org
·
1d
·
Discuss:
Hacker News
🔄
Memory Ordering
pilifs/Terminal-Value
: A sandbox
showcasing
rendering personalized user views with an LLM-enabled pipeline, along with engineering principles that make it possible.
github.com
·
15h
·
Discuss:
Hacker News
🏗️
Pavex
Scaling AI Inference: Why Your Next .NET
Microservice
Needs Kubernetes and
ONNX
dev.to
·
1d
·
Discuss:
DEV
📱
Edge AI
I Built a Python CLI Tool for RAG Over Any
Document
Folder
dev.to
·
1d
·
Discuss:
DEV
📦
uv
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
15h
·
Discuss:
Hacker News
💬
Prompt Engineering
C and C++
dependencies
, don't
dream
it, be it!
nibblestew.blogspot.com
·
2d
·
Discuss:
Hacker News
,
nibblestew.blogspot.com
,
r/cpp
🏗️
Build Systems
The Bull Case for Software, ASML,
Credo
, Copper vs
Optics
techinvestments.io
·
9h
🎭
Program Synthesis
Optimal
Abstractions
for Verifying Properties of Kolmogorov-Arnold Networks (
KANs
)
arxiv.org
·
1d
🧮
SMT Solvers
lean-phys-community/PhysLean
: A project to
digitalise
results from physics into Lean.
github.com
·
1h
·
Discuss:
Hacker News
🕐
Vector Clocks
Loading...
Loading more...
« Page 6
•
Page 8 »
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