Feeds to Scour
SubscribedAll
Scoured 2100 posts in 38.2 ms
A real-world case of property-based verification 聽馃搵Lightweight Formal Methods
ochagavia.nl路4d路Lobsters, Hacker News, r/rust
Communication Requirements for Linearizable Registers 聽馃攧CRDT
arxiv.org路20h
Efficient Merkle-Tree Consistent Accumulator 聽#锔忊儯BLAKE3
eprint.iacr.org路2d
Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis 聽馃敡Constraint Solvers
arxiv.org路20h
Batch Verification of Modified ECDSA Signatures 聽鉁嶏笍Threshold Signatures
eprint.iacr.org路3d
Economic Security of VDF-Based Randomness Beacons: Models, Thresholds, and Design Guidelines 聽馃攼Post-Quantum Crypto
arxiv.org路1d
ML Defender (aRGus NDR): An Open-Source Embedded ML NIDS for Botnet and Anomalous Traffic Detection in Resource-Constrained Organizations 聽馃攲LSP
arxiv.org路20h
D\'ej\`aVu: A Minimalistic Mechanism for Distributed Plurality Consensus 聽馃寪Distributed Consensus
arxiv.org路1d
PQC-Enhanced QKD Networks: A Layered Approach 聽馃攼Post-Quantum Crypto
arxiv.org路20h
Compositionality of Lyapunov functions via assume-guarantee reasoning 聽馃敡Constraint Solvers
arxiv.org路1d
Reformulating the SNOVA Signature Scheme 聽鉁嶏笍Threshold Signatures
eprint.iacr.org路4d
An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor 聽馃攲LSP
arxiv.org路20h
Trace-Guided Synthesis of Effectful Test Generators 聽馃搵Lightweight Formal Methods
arxiv.org路1d
JTON: A Token-Efficient JSON Superset with Zen Grid Tabular Encoding for Large Language Models 聽馃攲LSP
arxiv.org路20h
DarwinNet: An Evolutionary Network Architecture for Agent-Driven Protocol Synthesis 聽馃Consensus Algorithms
arxiv.org路5d
PROMISE: Proof Automation as Structural Imitation of Human Reasoning 聽馃敚Type Systems
arxiv.org路20h
On ANN-enhanced positive invariance for nonlinear flat systems 聽馃敡Constraint Solvers
arxiv.org路1d
Generative Path-Law Jump-Diffusion: Sequential MMD-Gradient Flows and Generalisation Bounds in Marcus-Signature RKHS 聽鈴憋笍Timely Dataflow
arxiv.org路20h
Compositional Program Verification with Polynomial Functors in Dependent Type Theory 聽位Type Theory
arxiv.org路5d
Interpretable Deep Reinforcement Learning for Element-level Bridge Life-cycle Optimization 聽馃敡Constraint Solvers
arxiv.org路2d

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
Save / unsave
s
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