Beyond Theory – Interview with Jill Delaney by Juan Alonso
ica.orgΒ·14h
πŸ›οΈPREMIS
iPRES Digital Preservation Bake Off 2025 - Amuse Bouche Challenge: Tiny Tools, Tasty Wins
ipres2025.nzΒ·3d
πŸ”„Archival Workflows
5 huge stumbling blocks to legacy mainframe EOL
techradar.comΒ·22h
πŸ›οΈMainframe Archaeology
Experimenting with Apple’s AI models inside Shortcuts
sixcolors.comΒ·14h
⚑Proof Automation
abhisheksr01/spring-boot-microservice-best-practices
github.comΒ·3h
🌊Streaming Systems
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.comΒ·8hΒ·
Discuss: Hacker News
πŸ“ŠGraph Databases
Meta Beats Copyright Suit From Authors Over AI Training on Books
tech.slashdot.orgΒ·4h
🏷️Metadata Standards
TLSNotary ― Flow Overview
dev.toΒ·2dΒ·
Discuss: DEV
🌐NetworkProtocols
Hypercubical manifolds in homotopy type theory
arxiv.orgΒ·1d
πŸ”ΆCubical Type Theory
Using PhantomData and Zero-Sized Types
dev.toΒ·14hΒ·
Discuss: DEV
πŸ”’Type Safety
Automattic/harper: Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
github.comΒ·1d
πŸ“Concrete Syntax
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200οΌ‰
dev.toΒ·1dΒ·
Discuss: DEV
πŸ¦€Rust Borrowing
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.appΒ·11hΒ·
Discuss: Hacker News
⚑Proof Automation
new2
dev.toΒ·2hΒ·
Discuss: DEV
🧠Query Planners
RepuNet: A Reputation System for Mitigating Malicious Clients in DFL
arxiv.orgΒ·1h
πŸ”BitFunnel
How I Merged and Validated Two JSON Files in Go
hackernoon.comΒ·1d
βœ…Format Verification
Floating-Point Data Transformation for Lossless Compression
arxiv.orgΒ·2d
🌊Streaming Compression
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.orgΒ·1d
πŸ”Type Inference
From Zero to One: A Complete Guide to Implementing WeChat Sharing in HarmonyOS
dev.toΒ·21hΒ·
Discuss: DEV
⚑Modern Compression
πŸ‘Ή Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.toΒ·5hΒ·
Discuss: DEV
Ξ»Lambda Encodings