LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·3d·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs
2025.ecoop.org·12h·
Discuss: Hacker News
🔤DSLs
Meta Beats Copyright Suit From Authors Over AI Training on Books
tech.slashdot.org·11h
🏷️Metadata Standards
How much code does that proc macro generate?
nnethercote.github.io·13h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Coming Soon: The Universal Declaration on Archives in Esperanto
ica.org·1h
🗃️Archive
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·2d
🎯Performance Proofs
Memory Safety in Web Rust System Zero Cost Secure（1750644757028200）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
ACID in Databases: What It Really Means (with Real-Life Bank Scenarios in the USA & Germany)
dev.to·18h·
Discuss: DEV
📝SQLite WAL
Libxml2's "no security embargoes" policy
lwn.net·17h·
Discuss: Hacker News
🔓Open Source Software
How to Prevent AI Agents from Accessing Unauthorized Data - DevConf.CZ 2025
youtube.com·4h
🔄Archival Workflows
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Self-referential structs that can actually move in Rust
reddit.com·3d·
Discuss: r/rust
🦀Rust Borrowing
Predicting Faulty Validations in Cluster Issue Detection: A ML Approach - DevConf.CZ 2025
youtube.com·4h
📏Code Metrics
MMSearch-R1: Incentivizing LMMs to Search
arxiv.org·9h
🔍BitFunnel
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
The Impact of the Russia-Ukraine Conflict on the Cloud Computing Risk Landscape
arxiv.org·9h
🖥️Self-hosted Infrastructure
What is an API? And Why Data Architecture Depends on Them
dev.to·2d·
Discuss: DEV
🔌Archive APIs
Critical Security Importance Digital Age Web Techniques（1750777701670000）
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
Semantic-Aware Parsing for Security Logs
arxiv.org·2d
📝Log Parsing