Feeds to Scour
SubscribedAll
Scoured 378 posts in 7.8 ms

No high-quality results found.

Less-relevant results
TLA+ as a Design Accelerator: Lessons from the Industry
muratbuffalo.blogspot.com·3h·
Discuss: Lobsters, Hacker News, Blogger
📐TLA+
Sketch-Oriented Databases
arxiv.org·20h
🗃️Database Storage
Siri is basically useless, so we built a real AI autopilot for iOS that is privacy first (TestFlight Beta just dropped)
testflight.apple.com·1h·
Discuss: r/coding
📐TLA+
MySQL vs PostgreSQL Internals (Part 2) — MVCC (Multi-version Concurrency Control)
kernelmaker.github.io·1d
🔐MVCC
The Axiom of Univalence
bartoszmilewski.com·1h
🧮SMT Solvers
SafarDB: FPGA-Accelerated Distributed Transactions via Replicated Data Types
arxiv.org·20h
⚡Hardware Transactional Memory
From raw interaction to reusable knowledge: Rethinking memory for AI agents
microsoft.com·8h
⚡Hardware Transactional Memory
nominal types in webassembly
wingolog.org·16h·
Discuss: Lobsters, Hacker News, r/programming
📦WASM
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·20h·
Discuss: r/coding, r/golang
🗳️Raft Consensus
Your Data is Made Powerful By Context (so stop destroying it already) (xpost)
charity.wtf·1d
⚙️Adaptive Execution
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
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
CodexA — open-source semantic code search and developer intelligence engine. Looking for feedback and contributors
codex-a.dev·1d·
Discuss: r/coding
🧠Query Planners
GNU and the AI Reimplementations
antirez.com·2d·
Discuss: Lobsters, Hacker News
📐E-graphs
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
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

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