Collaborations Workshop 2025 Report
software.ac.ukΒ·9h
πŸ“‡Dublin Core
How to Prove That An Email Was Received
metaspike.comΒ·1d
πŸ“„Document Digitization
1Password
corrode.devΒ·1d
πŸ¦€Rust Borrowing
RAG Blueprint
docs.vespa.aiΒ·1dΒ·
Discuss: Hacker News
πŸ€–Archive Automation
Why Agentic Flows Need Distributed-Systems Discipline
temporal.ioΒ·3dΒ·
Discuss: Hacker News
βš™οΈTLA+
Design Decisions Behind app.build, a Prompt-to-App Generator
neon.comΒ·1dΒ·
Discuss: Hacker News
🌊Streaming Systems
Understanding the System 3: Databases
dev.toΒ·15hΒ·
Discuss: DEV
πŸ—„οΈDatabase Internals
Lipschitz Bounds for Persistent Laplacian Eigenvalues under One-Simplex Insertions
arxiv.orgΒ·14h
πŸ•³οΈPersistent Homology
How Good Are Synthetic Requirements ? Evaluating LLM-Generated Datasets for AI4RE
arxiv.orgΒ·14h
πŸŒ€Brotli Internals
Probabilistic and reinforced mining of association rules
arxiv.orgΒ·3d
🧠Learned Indexes
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.orgΒ·3d
🎯Performance Proofs
Uncovering Hidden Violent Tendencies in LLMs: A Demographic Analysis via Behavioral Vignettes
arxiv.orgΒ·14h
🧠Intelligence Compression
Most ints are not floats
johndcook.comΒ·4hΒ·
Discuss: Hacker News
πŸ“Interval Arithmetic
Machine Learning Fundamentals: adam optimizer tutorial
dev.toΒ·2hΒ·
Discuss: DEV
πŸ“ŠFeed Optimization
Exploring High Efficiency Web Analysis Results（1750904353002600οΌ‰
dev.toΒ·1dΒ·
Discuss: DEV
🌊Stream Processing
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.toΒ·2dΒ·
Discuss: DEV
πŸ“Code Metrics
Preparing for the Quantum Leap: The Urgency of Post-Quantum Cryptography
dev.toΒ·5dΒ·
Discuss: DEV
πŸ”Quantum Security
How I Built a Smarter ZIP Engine with AI: My Day 9 & 10 Journey (Pagonic Project)
dev.toΒ·21hΒ·
Discuss: DEV
πŸ‘οΈObservatory Systems
RepuNet: A Reputation System for Mitigating Malicious Clients in DFL
arxiv.orgΒ·1d
πŸ”BitFunnel
πŸ’Ž Bespoke Opportunity Forge: AI-Powered Job Concierge πŸ“¬
dev.toΒ·1dΒ·
Discuss: DEV
πŸŒ€Brotli Internals