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
74371
posts in
965.4
ms
The
Beacon
is
lit
blog.zarfhome.com
·
2d
⚡
LMAX Disruptor
llOOPy
lOOPs (Dave
Jarvis
)
dave.autonoma.ca
·
3d
🧠
Memory Models
GTK
hackfest
, 2026 edition
blogs.gnome.org
·
3d
🔧
Abseil
Running
Pydantic
’s Monty Rust
sandboxed
Python subset in WebAssembly
simonwillison.net
·
2d
·
Discuss:
Hacker News
🕸️
WebAssembly
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
5d
·
Discuss:
Hacker News
🔍
Type Inference
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
🎯
WASM Runtime
Implementing
Grassroots
Logic Programs with
Multiagent
Transition Systems and AI
arxiv.org
·
11h
🗳️
Raft Consensus
A
tale
of two
Claudes
steveklabnik.com
·
3d
📚
Stack Unwinding
Supac
- a declarative package manager written in Rust,
scriptable
in nushell
codeberg.org
·
2d
·
Discuss:
r/rust
📦
uv
Waterloo
Style
theprogrammersparadox.blogspot.com
·
2d
·
Discuss:
Hacker News
⚙️
Systems Programming
Intrinsic
Stability Limits of
Autoregressive
Reasoning: Structural Consequences for Long-Horizon Execution
arxiv.org
·
11h
🦙
Ollama
nedbat/scriv
: Changelog management tool
github.com
·
19h
🥑
Avro
hanig/engram
: Personal knowledge graph and automation system
github.com
·
1d
🗂️
Obsidian
Project Management Built for Engineering Teams
velocity.quest
·
2d
·
Discuss:
Hacker News
👥
Engineering Management
Dot
Chain Special
Operators
yamlscript.org
·
2d
3️⃣
Three-Address Code
Performance Tip of the Week #70:
Defining
and
measuring
optimization success
abseil.io
·
1d
🚀
Performance
The control
layer
for AI
blog.dottxt.ai
·
2d
·
Discuss:
Hacker News
🛡️
AI Security
Hello Edge: Keyword
Spotting
on
Microcontrollers
paperium.net
·
2d
·
Discuss:
DEV
📱
Edge AI
ML-LIB
: Machine Learning Library Proposed For The Linux Kernel
phoronix.com
·
2d
·
Discuss:
Hacker News
🚀
MLOps
*Efficient Symbolic–Numerical Computation of Poisson Cohomology for Complex Algebraic Surfaces with Nodal
Singularities
* — ### Abstract Poisson
cohomol
...
freederia.com
·
3d
📐
Computational Geometry
Loading...
Loading more...
« Page 15
•
Page 17 »
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