Feeds to Scour
SubscribedAll
Scoured 19522 posts in 955.7 ms
Proxy Compression for Language Modeling
arxiv.org·2d
⚙️Compression Benchmarking
EUGens: Efficient, Unified, and General Dense Layers
arxiv.org·1d
🌀Riemannian Computing
Introducing gdpr-safe-rag: Build GDPR-Compliant RAG Systems in Minutes
dev.to·2d·
Discuss: DEV
⚖️Legal Compliance
Cloud Hosting
xenyth.net·6d
🖥️Self-hosted Infrastructure
Calling Lean Functions As Python Functions
philipzucker.com·5d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
A no-bullshit introduction to groups: Part 1.
iczelia.net·6d·
Discuss: Hacker News
⛪Church Encoding
Show HN: TypeSync – Generate TypeScript type guards from your database schema
typesync-db-to-ts-type-guard.vercel.app·5d·
Discuss: Hacker News
🎯Gradual Typing
Some Libraries
funcall.blogspot.com·5d·
Discuss: Blogger
🧠Lisp Dialects
My (very) fast zero-allocation webserver using OxCaml
anil.recoil.org·5d·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
Show HN: TensorSeal – Zero-disk-footprint secure model loader for Android
github.com·4d·
Discuss: Hacker News
🛡️Preservation Proofs
Modern Media Conversion
framegui.app·6d
🎬WebCodecs
Safeclaw the safe OpenClaw alternative with no language model and no APIs
github.com·4d·
Discuss: Hacker News, r/selfhosted
📝ABNF Parsing
DuckDB Performance: File Formats
duckdb.org·5d·
Discuss: Hacker News
💾Database Formats
AI powered content storage with smart tag suggestions
vekku-reactjs.vercel.app·5d·
Discuss: DEV
🔗Hypermedia APIs
Wikipedia Template: Committed Identity
en.wikipedia.org·5d·
Discuss: Hacker News
🔐PKI Archaeology
Securing today for the quantum future: WARP client now supports post-quantum cryptography (PQC)
blog.cloudflare.com·6d·
Discuss: Hacker News
🔐Quantum Security
**Abstract:** This paper proposes a novel compositional framework for the formal verification of quantum circuits based on the mathematical structure of Grot...
freederia.com·5d
⚛️Quantum Circuits
**Abstract:** This paper introduces a novel computational framework for rigorously verifying Goldbach’s Conjecture across extensive ranges of integers ...
freederia.com·6d
🔢Reed-Solomon Math
Integrating Coverity static analysis with Bazel
tweag.io·2d
✅Format Validation
Concentrated Differential Privacy
dev.to·23h·
Discuss: DEV
🛡️Differential Privacy

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