Schemars v1 is now released
reddit.com·17h·
Discuss: r/rust
🦀Rust Macros
HariSekhon/DevOps-Bash-tools
github.com·1d
🐚Shell Automation
BNFGen: A random text generator based on context-free grammars
baturin.org·17h·
Discuss: Hacker News
🌳Context free grammars
Treasure Case Sharing of HarmonyOS 5 Development — Practical Tips for Application Architecture
dev.to·13h·
Discuss: DEV
🔌Interface Evolution
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·17h·
Discuss: Hacker News
⚡Proof Automation
From Views to Tables: How I Optimized dbt Models with Delta on Databricks
dev.to·1d·
Discuss: DEV
🗄️Database Sharding
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·2d
🎯Performance Proofs
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·14h·
Discuss: DEV
🦀Rust Borrowing
Technical Architecture Guide: Authorization Strategies for Multi-Merchant E-commerce Platforms
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
The Impact of the Russia-Ukraine Conflict on the Cloud Computing Risk Landscape
arxiv.org·7h
🖥️Self-hosted Infrastructure
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·7h
🔗Parser Combinators
Show HN: MCP Server for Tally – Create and Manage Forms with Claude
github.com·14h·
Discuss: Hacker News
🔐CBOR
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·2d
⚖️Hoare Logic
Client Clustering Meets Knowledge Sharing: Enhancing Privacy and Robustness in Personalized Peer-to-Peer Learning
arxiv.org·7h
🔒Privacy Preserving
Bitmasking for Granular Backend RBAC: A Beginner's Guide
dev.to·22h·
Discuss: DEV
🔐Homomorphic Encryption
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·19h·
Discuss: DEV
🌊Stream Processing
ARCH-COMP25 Category Report: Stochastic Models
arxiv.org·2d
🎯Performance Proofs
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·2d
👑Coq Tactics
Design, Implementation, and Analysis of Fair Faucets for Blockchain Ecosystems
arxiv.org·2d
🤝Distributed Consensus
The Role of Smart Contract Development in Decentralized Finance (DeFi)
dev.to·1d·
Discuss: DEV
🔗Blockchain Archives