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
📏 Linear Types
Resource Management, Type Theory, Memory Safety, Rust Ownership
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2655
posts in
108.7
ms
denysvitali/claude-code-patches
: Make Claude Code fast again.
github.com
·
2d
·
Discuss:
Hacker News
🛡️
Odin
iree-org/wave
: Wave: Python
Domain-Specific
Language for High Performance Machine Learning
github.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
sandboxed
OpenClaw
microVM
in a single binary
fireclaw.ai
·
3d
·
Discuss:
Hacker News
💹
Rust Finance
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
4d
·
Discuss:
Hacker News
📐
Formal Methods
The Better Lesson?
Geometry
and
Topology
in the Era of Deep Learning
bastian.rieck.me
·
3d
·
Discuss:
Hacker News
📈
Time Series ML
Calling
Lean
Functions
As Python
Functions
philipzucker.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
💻
Programming languages
Build with Claude Code,
Protect
Your Edge
ldstn.substack.com
·
4d
·
Discuss:
Substack
🛡️
Odin
How to Build Safe
Natural
Language-Driven
APIs
techcommunity.microsoft.com
·
3d
·
Discuss:
Hacker News
🏗️
Domain-Driven Design
Durable
Execution: Build reliable software in an
unreliable
world
thenewstack.io
·
4d
·
Discuss:
Hacker News
📊
Systems Monitoring
Training a Small Language Model
elijahpotter.dev
·
4d
·
Discuss:
Hacker News
📈
Time Series ML
Simple Made Easy (2011)
infoq.com
·
4d
·
Discuss:
Hacker News
💻
Programming languages
Coding Agents Need More Than
Examples
. They Need
Guardrails
.
medium.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
The Architecture of Open Source Applications (Volume 1)
Berkeley
DB
aosabook.org
·
4d
·
Discuss:
Hacker News
🗃️
Database Internals
I
outperformed
Enterprise
Engines
by 225,000x on a $50 CPU. Here is the data
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
📊
Performance Profiling
Launch HN:
Modelence
(
YC
S25) – App Builder with TypeScript
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Atlas
v1.1: Database Security as Code,
Declarative
Data Management, and More
atlasgo.io
·
4d
·
Discuss:
Hacker News
🔥
DataFusion
Using
Nsight
Compute with large
codebases
- Part 2 : Profiling large code bases
blog.ncompass.tech
·
3d
·
Discuss:
Hacker News
📊
Performance Profiling
Writing an optimizing
tensor
compiler
from scratch
michaelmoroz.github.io
·
6d
·
Discuss:
Hacker News
⚡
SIMD Optimization
In Depth – Memory Governance: The
Achilles
'
Heel
of Enterprise AI
yeasy.blogspot.com
·
3d
·
Discuss:
Hacker News
🛡️
Odin
Understanding and
Exploiting
Weight Update
Sparsity
for Communication-Efficient Distributed RL
arxiv.org
·
3d
·
Discuss:
Hacker News
🌐
Distributed systems
Loading...
Loading more...
« Page 8
•
Page 10 »
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