Feeds to Scour
SubscribedAll
Scoured 17943 posts in 252.2 ms
Weekly Bookmarks
inkdroid.org·1d
📚MARC Archaeology
A simple text file beats complex skill systems for AI coding agents
the-decoder.com
·2d
⚡Proof Automation
Text classification with Python 3.14's zstd module • Max Halford
maxhalford.github.io·3d·
Discuss: Lobsters, Hacker News
📝Text Compression
Yet Another Set of Claude Code Plugins (But Maybe Useful?)
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Pascal-J/type-system-j: adds an optional type system to J language
github.com·5d·
Discuss: Lobsters
🎯Gradual Typing
Font Rendering from First Principles
mccloskeybr.com·1d·
Discuss: Hacker News
🔤Font Archaeology
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·4d
🦀Rust Verification
ahead-of-time wasm gc in wastrel
wingolog.org·3d·
Discuss: Lobsters, Hacker News
⚙️WASM Runtime
Bob – Open-source AI personal agent with 170 tools, built in 3 days
github.com·8h·
Discuss: Hacker News
🔄Sync Engine
Recursive Deductive Verification: A framework for reducing AI hallucinations
news.ycombinator.com·1d·
Discuss: Hacker News
⚖️Hoare Logic
Layered Modal ML: Syntax and Full Abstraction
arxiv.org·5d
🌳Context free grammars
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org·3d
✨Effect Handlers
Executive Function as Code: using (Doom) Emacs to script my brain
milly.kittycloud.eu·4d·
Discuss: Hacker News, r/selfhosted
🌳Incremental Parsing
Vector Databases Explained: Architecture and System Design for AI Apps
dev.to·11h·
Discuss: DEV
🗂️Vector Databases
The control layer for AI
blog.dottxt.ai·2d·
Discuss: Hacker News
🔒WASM Capabilities
I Built a 6 BIPS JIT in Five Months
unlikelyemphasis.substack.com·3d·
Discuss: Substack
⚙️RISC-V Microcode
Continual learning and the post monolith AI era
baseten.co·2d·
Discuss: Hacker News
📼Tape Combinators
The Rise of Spec Driven Development
dbreunig.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Writing the Code That Powers Your Code
thelinell.com·5d·
Discuss: Hacker News
📜Proof Carrying Code
Type Variance
en.wikipedia.org·3d·
Discuss: Hacker News
🧮Algebraic Datatypes

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