Feeds to Scour
SubscribedAll
Scoured 378 posts in 8.4 ms

No high-quality results found.

Less-relevant results
CEMR: An Effective Subgraph Matching Algorithm with Redundant Extension Elimination
arxiv.org·19h
📐E-graphs
AutoDataset: A Lightweight System for Continuous Dataset Discovery and Search
arxiv.org·19h
🎯Vector Search
The Axiom of Univalence
bartoszmilewski.com·29m
🧮SMT Solvers
TLA+ as a Design Accelerator: Lessons from the Industry
muratbuffalo.blogspot.com·1h·
Discuss: Lobsters, Hacker News, Blogger
📐TLA+
From raw interaction to reusable knowledge: Rethinking memory for AI agents
microsoft.com·7h
⚡Hardware Transactional Memory
pardnchiu/Agenvoy: A Go-based Agentic AI platform core with skill routing, multi-provider intelligent dispatch, cross-turn memory, and REST API tool mounting.
github.com·18h·
Discuss: r/coding, r/golang
🗳️Raft Consensus
nominal types in webassembly
wingolog.org·14h·
Discuss: Lobsters, Hacker News, r/programming
📦WASM
MySQL vs PostgreSQL Internals (Part 2) — MVCC (Multi-version Concurrency Control)
kernelmaker.github.io·23h
🔐MVCC
Simulating Queueing 2
NULL BITMAP by Justin Jaffray via buttondown.com·1d·
Discuss: Hacker News
🎯Runtime Dispatch
Cryptanalysis of Two Alternating Moduli Weak PRFs
eprint.iacr.org·2d
🗳️Paxos Variants
Huston: Revisiting time
lwn.net·3d
🤝Paxos Consensus
Your Data is Made Powerful By Context (so stop destroying it already) (xpost)
charity.wtf·1d
⚙️Adaptive Execution
CodexA — open-source semantic code search and developer intelligence engine. Looking for feedback and contributors
codex-a.dev·1d·
Discuss: r/coding
🧠Query Planners
Debt-Aware Bonding Curves: Non-Decreasing Floor Prices and Non-Liquidatable Borrowing
eprint.iacr.org·2d
🔄Differential Dataflow
Prefix sums at tens of gigabytes per second with ARM NEON
lemire.me·2d·
Discuss: Hacker News
⚙️Mechanical Sympathy
us/mocker: Docker-compatible container CLI built on Apple's Containerization framework. Same commands, same flags — mocker run, ps, stop, build, compose, stats — all working on macOS 26.
github.com·2d·
Discuss: Hacker News, r/LLM, r/SideProject, r/coding, r/javascript, r/programming, r/selfhosted
🔄Cache Replacement
GNU and the AI Reimplementations
antirez.com·2d·
Discuss: Lobsters, Hacker News
📐E-graphs
Colorado SB26-051 Age Attestation
aphyr.com·4d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Scott L. Burson: FSet v2.3.0: Transients!
scottlburson2.blogspot.com·3d
🔐MVCC
Why I Hope I Get to Write a Lot of F# in 2026
cekrem.github.io·1d·
Discuss: r/coding, r/functionalprogramming, r/programming, r/webdev
📐TLA+

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