Feeds to Scour
SubscribedAll
Scoured 19577 posts in 451.0 ms
[2309.11300] Partial monoid actions on objects in categories with pullbacks and their globalizations
arxiv.org·1d
🔀Category Theory
The Pathway to Public Access
dpconline.org·1d
🏛️OAIS Implementation
ArXiv future proofs access to research with third-party digital preservation
blog.arxiv.org·1d·
Discuss: Hacker News
🏛️OAIS Implementation
Issue 742
iosdevweekly.com·1d
📡RSS Automation
Pieter Belmans—Postdoc position in algebraic geometry
pbelmans.ncag.info·2d
🕸️Algebraic Topology
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Ethology of Latent Spaces
arxiv.org·21h
🌐Archive Topology
Next Generation DB Ingestion at Pinterest
medium.com·1d
🗄️Database Sharding
OPTical ARchiver
ronja.twibright.com·13h·
Discuss: Hacker News
💿Optical Media
Show HN: The Librarian creates artifacts while a model finishes its work
librarian.fieldtheory.dev·6h·
Discuss: Hacker News
📄Document Digitization
Continual learning and the post monolith AI era
baseten.co·3h·
Discuss: Hacker News
📼Tape Combinators
Matrices and Magic Squares
pballew.blogspot.com·1d·
Discuss: Blogger
📐Linear Algebra
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
💻Programming languages
Railway Oriented Programming
fsharpforfunandprofit.com·11h·
Discuss: Hacker News
🐚Shell Monads
You'll never lose a file again.
dev.to·18h·
Discuss: DEV
✅Archive Fixity
IPFS & Decentralized Storage: Why “I’ll Just Put It On IPFS” Isn’t Enough
future.forem.com·15h·
Discuss: DEV
🌐IPFS
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·10h
🤝Consensus Protocols
Exasol Virtual Schemas: The Key to Flexible Deployments
exasol.com·16h·
Discuss: Hacker News
🔄Schema Evolution
codx-dev/msgpacker: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com·12h·
Discuss: Hacker News
🦀Rust Borrowing
mstrYoda/goraphdb: A graph database implemented in Golang
github.com·7h·
Discuss: r/programming
🕸️Neo4j

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