Understanding Brotli PDF Compression
pdfa.org·5h
🌪️Brotli
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·3d
💻Programming languages
Counting with Categories (Part 2)
golem.ph.utexas.edu·3d
🔀Category Theory
AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs
2025.ecoop.org·19h·
Discuss: Hacker News
🔤DSLs
Why Most SBOMs Fail and What to Do About It
ovalenzuela.com·5h·
Discuss: Hacker News
✅Format Validation
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·20h·
Discuss: Hacker News
📟Terminal Typography
Next Generation of Red Teaming for LLM Agents
promptfoo.dev·13m·
Discuss: Hacker News
⚡Proof Automation
Show HN: ToolQL – Create AI Tools with GraphQL
toolql.com·2d·
Discuss: Hacker News
📊Graph Databases
Semantic-Aware Parsing for Security Logs
arxiv.org·2d
📝Log Parsing
LR(1) parse-tables generator
github.com·2d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
The Unspoken Engineering Trade-offs in Large-Scale Vector Search
dev.to·16h·
Discuss: DEV
🗂️Vector Databases
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·16h
⚡Incremental Computation
Next Generation High Web Rust Based Solutions（1750916331932500）
dev.to·14h·
Discuss: DEV
🔌Interface Evolution
[$] Supporting kernel development with large language models
lwn.net·5h
💻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·1d·
Discuss: DEV
🌊Stream Processing
Unbelievable Future of Enterprise AI at Data + AI Summit 2025
dev.to·9h·
Discuss: DEV
⚡Z3 Optimization
Perfect phylogenies via the Minimum Uncovering Branching problem: efficiently solvable cases
arxiv.org·2d
🧮Kolmogorov Complexity
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Large Language Models for Spreadsheets: Benchmarking Progress and Evaluating Performance with FLARE
arxiv.org·2d
💧Liquid Types