IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·1d·
Discuss: Hacker News
📡Network Serialization
<p>🔗 <a href="https://stephango.com/file-over-app">Steph Ango: File over app</a></p>
lmika.org·12h
📁File Systems
Security Through Intentional Redundancy
commaok.xyz·9h·
Discuss: Lobsters, Hacker News
🔐Capability Calculus
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·7h
🧪Testing Compilers
No Peeking Ahead: Time-Aware Graph Fraud Detection
towardsdatascience.com·1d
🌸Bloom Filters
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
First Public Working Draft: Semantic Sensor Network Ontology - 2023 Edition
w3.org·3h
🧱WASM Components
Death of a lens(man)
dev.to·2d·
Discuss: DEV
🔗Lexical Scoping
You'll regret using natural keys (2024)
blog.ploeh.dk·20h·
Discuss: Hacker News
📋Row Typing
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·16h
📋Tablegen
StringWa.rs on GPUs: Databases & Bioinformatics 🦠
ashvardanian.com·16h·
Discuss: Hacker News, r/programming
🚀Tokenizer Performance
Fighting human trafficking with self-contained applications
lwn.net·11h·
Discuss: Hacker News
🎯99-Line Tools
Using AI Agents for Reranking in RavenDB
ayende.com·23h
🔍Query Engines
How to ensure high-quality synthetic wireless data when real-world data runs dry
techxplore.com·15h
✨Effect Inference
Automated Data Lineage Reconstruction via Multi-Modal Graph Analysis & HyperScore Validation
dev.to·15h·
Discuss: DEV
🏷️Attribute Grammars
Functional Patterns Don't Fit JavaScript, Embracing Model View Controller
bonaroo.nl·21h·
Discuss: Hacker News
🏛️Elm Architecture
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
How I Built a Seamless Web3 Onboarding Engine with YAML & Workflow Builder
discord-bot·2h·
Discuss: DEV
🔄Bootstrapping
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·12h·
Discuss: Lobsters, Hacker News
🌲Tree-sitter
More hardware won’t fix bad engineering
infoworld.com·1d
🔮Branch Predictors