Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·17h·
Discuss: Hacker News
🛡️Proof-Carrying Archives
Benchmarking compression programs
maskray.me·3h
📦Deflate
Turning Your Documentation into Smart Responses
dev.to·3h·
Discuss: DEV
🤖Archive Automation
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Tradeoffs of Highly-Expressive Types
jnkr.tech·15h·
Discuss: Hacker News
🎯Gradual Typing
Web Archiving Conference 2025 Travel Report
netpreserveblog.wordpress.com·1d
🕸️WARC Archives
Orchestrating Multi-Agent Systems: Google ADK, A2A, and Temporal
medium.com·1d·
Discuss: Hacker News
⚙️TLA+
The use of Claude Code in SciML repos
discourse.julialang.org·1d·
Discuss: Lobsters
📏Code Metrics
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·8h·
Discuss: Hacker News
📊Count-Min Sketch
ISCSI on Ugreen NAS
reddit.com·1h·
Discuss: r/homelab
🏠Homelab Preservation
HardenedBSD August 2025 Status Report
hardenedbsd.org·12h
🐡OpenBSD
Codeminer42 Dev Weekly #76
blog.codeminer42.com·1d
🔄Language Evolution
Merritt Digital Preservation Repository – August 2025
cdlib.org·2d
📦METS Containers
A note about eventual consistency - Part 2
ufried.com·2d
🗄️Database Sharding
A type system for RCL (2024)
ruudvanasseldonk.com·16h·
Discuss: Lobsters, Hacker News
💧Liquid Types
FedReFT: Federated Representation Fine-Tuning with All-But-Me Aggregation
arxiv.org·2d
🌀Brotli Dictionary
LLMs running locally
markjgsmith.com·13h
🌀Brotli Internals
Why AI Alone Fails at Large-Scale Code Modernization
thenewstack.io·18h
🔄Language Evolution
Adobe's pipeline for high‑throughput data ingestion with Apache Iceberg
medium.com·1d·
Discuss: Hacker News
⚙️Batch Processing