Feeds to Scour
SubscribedAll
Scoured 19472 posts in 343.2 ms
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·19h
🤝Consensus Protocols
Alignment Verifiability in Large Language Models: Normative Indistinguishability under Behavioral Evaluation
arxiv.org·1d
🔍Z3 Parsing
zmem-org/ZMEM: Extremely fast binary message format with minimal memory overhead and zero copy access
github.com·15h·
Discuss: Hacker News
🔢Binary Formats
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·1d·
Discuss: r/golang
🔍RegEx Engines
Structured outputs on Amazon Bedrock: Schema-compliant AI responses
aws.amazon.com·15h
📋Document Grammar
News for January 2026
ptreview.sublinear.info·1d
📐Linear Algebra
Kubernetes Operator for automated Jupyter Notebook validation in MLOps pipelines
reddit.com·11h·
Discuss: r/kubernetes
✅Archive Validation
Private Data Space Model
privatedata.space·2d
✅Format Verification
Pydantic Performance: 4 Tips on How to Validate Large Amounts of Data Efficiently
towardsdatascience.com·20h
✅Format Verification
Style tips for less experienced developers coding with AI
honnibal.dev·1d·
Discuss: Hacker News
🎯Gradual Typing
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·1h
🔗Concatenative Programming
FreeBSD audio diagnostics and optimization
discoverbsd.com·1d
🔌Operating system internals
Build a Compiler in Five Projects
kmicinski.com·1h
🔨Compilers
CAP-SRP: Building a Cryptographic Flight Recorder for AI Content Refusals — A Complete Implementation Guide
dev.to·9h·
Discuss: DEV
🌳Archive Merkle Trees
stdlib v7.2
erlang.org·22h·
Discuss: Hacker News
🦀Rusty Databases
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d
🦀Rust Verification
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.com·13h
⚙️Parser Generators
Templated Assembly Theory: An Extension of the Canonical Assembly Index with Block-Compressed Template
arxiv.org·1d
📐Binary Grammars
Synthesizing scientific literature with retrieval-augmented language models
nature.com·1d
🔍Information Retrieval
Issue 742
iosdevweekly.com·1d
📡RSS Automation

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