LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
CVE-2025-32977 - Quest KACE Unauthenticated Backup Upload
seclists.org·2d
🛡Cybersecurity
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·4h·
Discuss: Hacker News
🔤DSLs
Ask HN: What if the universe itself runs on O(1) memory?
news.ycombinator.com·2h·
Discuss: Hacker News
🎞️Tape Combinatorics
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·14h·
Discuss: Hacker News
📋DFDL
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Hypercubical manifolds in homotopy type theory
arxiv.org·1d
🔶Cubical Type Theory
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·35m
📏Linear Logic
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
From Zero to One: A Complete Guide to Implementing WeChat Sharing in HarmonyOS
dev.to·20h·
Discuss: DEV
⚡Modern Compression
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·13h·
Discuss: Substack
🦀Rust Macros
Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
arxiv.org·2d
🎯Gradual Typing
Machine Learning Fundamentals: active learning
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
Data Compression with Relative Entropy Coding
arxiv.org·3d
📐Compression Mathematics
Memory Safety in Web Rust System Zero Cost Secure（1750632264828500）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·35m
✅Format Verification
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·4h·
Discuss: DEV
λLambda Encodings
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·19h·
Discuss: DEV
🧮Kolmogorov Complexity