LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·3d
💻Programming languages
ML in the Home
blog.raymond.burkholder.net·3d
📈Time Series
AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs
2025.ecoop.org·1d·
Discuss: Hacker News
🔤DSLs
Slightly better named character reference tokenization than Chrome, Safari, and Firefox
ryanliptak.com·1d·
Discuss: Lobsters, Hacker News
🌳Trie Structures
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·1d·
Discuss: Hacker News
📟Terminal Typography
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·2d
📝Concrete Syntax
Next Generation of Red Teaming for LLM Agents
promptfoo.dev·10h·
Discuss: Hacker News
⚡Proof Automation
[$] Supporting kernel development with large language models
lwn.net·16h
💻Local LLMs
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Unbelievable Future of Enterprise AI at Data + AI Summit 2025
dev.to·20h·
Discuss: DEV
⚡Z3 Optimization
Tackling Data Heterogeneity in Federated Learning through Knowledge Distillation with Inequitable Aggregation
arxiv.org·1d
🧠Machine Learning
Large Language Models for Spreadsheets: Benchmarking Progress and Evaluating Performance with FLARE
arxiv.org·3d
💧Liquid Types
Uncertainty Quantification on Graph Learning: A Survey
arxiv.org·2d
🕸️Graph Embeddings
Persona-Assigned Large Language Models Exhibit Human-Like Motivated Reasoning
arxiv.org·1d
🎯Dependent Parsing
DiaLLMs: EHR Enhanced Clinical Conversational System for Clinical Test Recommendation and Diagnosis Prediction
arxiv.org·1d
🎵Audio ML
On Context-Content Uncertainty Principle
arxiv.org·2h
🧠Machine Learning
Memory Safety in Web Rust System Zero Cost Secure（1750931826373700）
dev.to·20h·
Discuss: DEV
🦀Rust Borrowing
Machine Learning Fundamentals: accuracy with python
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
MMSearch-R1: Incentivizing LMMs to Search
arxiv.org·1d
🔍BitFunnel