Feeds to Scour
SubscribedAll
Scoured 81755 posts in 418.9 ms
The Condensate Theorem: Transformers are O(n), Not $O(n^2)$
arxiv.org·13h
🔍ML Language
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·3d
🔒Rust Borrowing
Full-circle Test-driven Firmware Development with OpenClaw
blog.adafruit.com·2d·
Discuss: Hacker News
🧪Testing Compilers
Automatic WS2812 Characterization
cpldcpu.com·1d
🔧WASI
Vector Databases Explained: Architecture and System Design for AI Apps
dev.to·13h·
Discuss: DEV
🔍Query Engines
I Built a Python CLI Tool for RAG Over Any Document Folder
dev.to·11h·
Discuss: DEV
⚙️TOML Parsers
Compound Engineering: The Definitive Guide
kill-the-newsletter.com·2h
🚂Cranelift IR
6 tiny programs I use to solve annoying problems
xda-developers.com·2h
📦Executable Size
Designing the Engine: How I Built a Laravel-Like PHP Starter Kit
fiverr.com·14h·
Discuss: DEV
🔄Bootstrapping
Recoll Semantic Searches
recoll.org·15h·
Discuss: Hacker News
💬Interactive REPLs
Heterogeneous Processing: A Strategy for Augmenting Moore's Law (2006)
linuxjournal.com·1d·
Discuss: Hacker News
🔀SIMD Programming
gharasathi (घरासाठी) — A Privacy-First Household AI Running on a $200 Mini PC
amazon.com.au·1d·
Discuss: DEV
💬Smalltalk VMs
Learnings from Creating a GUI Library
blog.s-schoener.com·18h·
Discuss: Lobsters, Hacker News
🎮Language Ergonomics
The Journey to a Safer Frontend: Why We Removed React.FC
engineering.gusto.com·1h
🔧API Design
Data Modeling for the Agentic Era: Semantics, Speed, and Stewardship
rilldata.com·2h·
Discuss: Hacker News
📏Linear Logic
Writing a ONNX Neural Network Inference Engine from Scratch in C to run image classification with MobileNetV2
flexw.github.io·1d·
Discuss: r/C_Programming
🗺️Region Inference
Needed 10K prompts for my ML dataset, so I made this tool instead of copy-pasting for hours
promptanvil.com·1d·
Discuss: r/SideProject
💬Interactive REPLs
Agentic Proof-Oriented Programming
risemsr.github.io·4d·
Discuss: Lobsters, Hacker News
πPi Calculus
The Future of Software Engineering
poberezkin.com·23h·
Discuss: Hacker News
🎭Program Synthesis
VSORA Board Chair Sandra Rivera on Solutions for AI Inference and LLM Processing
semiwiki.com·4h
🎭Program Synthesis

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help