LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
My Homelab, now in a 10" rack.
reddit.com·7h·
Discuss: r/homelab
🏠HomeLab
5 Cloud Storage Best Practices for AI Workloads
backblaze.com·1d
💾Persistence Strategies
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·3d·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
Privacy-Preserving LLM Interaction with Socratic Chain-of-Thought Reasoning and Homomorphically Encrypted Vector Databases
arxiv.org·1d
🔐Homomorphic Encryption
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·6h·
Discuss: Hacker News
⚡Proof Automation
The Guide to the Foundation Models Framework
azamsharp.com·10h·
Discuss: Hacker News
λLambda Formalization
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Schemars v1 is now released
reddit.com·6h·
Discuss: r/rust
🦀Rust Macros
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·9h·
Discuss: Hacker News
📋DFDL
Hypercubical manifolds in homotopy type theory
arxiv.org·19h
🔶Cubical Type Theory
in and out, quick appview adventure | futur | WhiteWind blog
whtwnd.com·15h
🔄Sync Engine
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·8h·
Discuss: Substack
🦀Rust Macros
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·17h·
Discuss: DEV
λLambda Formalization
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·20h·
Discuss: Hacker News
📲Digitization
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
Slashing CI Costs at Uber
uber.com·13h·
Discuss: Hacker News
🔄Reproducible Builds
Critical Security Importance Digital Age Web Techniques（1750818928214500）
dev.to·21h·
Discuss: DEV
🔒WASM Capabilities
Local Elasticsearch Playground: A Practical Introduction and hands-on test (and moving to a RAG solution)
dev.to·1d·
Discuss: DEV
🏺ZIP Archaeology