Feeds to Scour
SubscribedAll
Scoured 19435 posts in 229.3 ms
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·3h
🔗Concatenative Programming
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·22h
🤝Consensus Protocols
CAP-SRP: Building a Cryptographic Flight Recorder for AI Content Refusals — A Complete Implementation Guide
dev.to·12h·
Discuss: DEV
🌳Archive Merkle Trees
Exasol Virtual Schemas: The Key to Flexible Deployments
exasol.com·1d·
Discuss: Hacker News
🔄Schema Evolution
Differential Logic • 1
inquiryintoinquiry.com·1d
📏Linear Logic
Structured Context Engineering for File-Native Agentic Systems: Evaluating Schema Accuracy, Format Effectiveness, and Multi-File Navigation at Scale
arxiv.org·1d
📋Document Grammar
Semantic Definition Format
onedm.org·5d
📋DFDL
Building "zero-gap" secrets for a UGC platform
news.ycombinator.com·13h·
Discuss: Hacker News
🧪Binary Fuzzing
Structured outputs on Amazon Bedrock: Schema-compliant AI responses
aws.amazon.com·17h
📋Document Grammar
Pydantic Performance: 4 Tips on How to Validate Large Amounts of Data Efficiently
towardsdatascience.com·23h
✅Format Verification
Private Data Space Model
privatedata.space·2d
✅Format Verification
Waterloo Style
theprogrammersparadox.blogspot.com·20h·
Discuss: Hacker News
🕹Emulation Theory
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🧠Separation Logic
Next Generation DB Ingestion at Pinterest
medium.com·1d
🗄️Database Sharding
Kubernetes Operator for automated Jupyter Notebook validation in MLOps pipelines
reddit.com·14h·
Discuss: r/kubernetes
✅Archive Validation
Boost LLM Security: automated Red Teaming at Scale with Promptfoo
blog.nviso.eu·2d
⚡Proof Automation
Plugging into MariaDB
tidesdb.com·22h·
Discuss: Hacker News
🗄️Database Internals
A Deeper Look at S3 Compatible Lifecycle Rules in Backblaze B2
backblaze.com·1d
🦋Format Metamorphosis
Implementing gRPC.
github.com·1d·
Discuss: DEV
⚡gRPC
Build a Compiler in Five Projects
kmicinski.com·3h
🔨Compilers

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