Understanding Brotli PDF Compression
pdfa.org·10h
🌪️Brotli
Counting with Categories (Part 2)
golem.ph.utexas.edu·3d
🔀Category Theory
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·2d
🧮Prolog Parsing
Why Most SBOMs Fail and What to Do About It
ovalenzuela.com·9h·
Discuss: Hacker News
✅Format Validation
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·1d·
Discuss: Hacker News
📟Terminal Typography
A Briefing on Logistic Regression
blog.engora.com·1d·
Discuss: Hacker News
🧠Machine Learning
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·3d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Show HN: ToolQL – Create AI Tools with GraphQL
toolql.com·3d·
Discuss: Hacker News
📊Graph Databases
Using an LLM for query planning in RAG –> 40% better answer relevance
techcommunity.microsoft.com·2d·
Discuss: Hacker News
🔍Information Retrieval
Unbelievable Future of Enterprise AI at Data + AI Summit 2025
dev.to·14h·
Discuss: DEV
⚡Z3 Optimization
Large Language Models for Spreadsheets: Benchmarking Progress and Evaluating Performance with FLARE
arxiv.org·2d
💧Liquid Types
Uncertainty Quantification on Graph Learning: A Survey
arxiv.org·1d
🕸️Graph Embeddings
MMSearch-R1: Incentivizing LMMs to Search
arxiv.org·20h
🔍BitFunnel
DiaLLMs: EHR Enhanced Clinical Conversational System for Clinical Test Recommendation and Diagnosis Prediction
arxiv.org·20h
🎵Audio ML
Persona-Assigned Large Language Models Exhibit Human-Like Motivated Reasoning
arxiv.org·20h
🎯Dependent Parsing
Memory Safety in Web Rust System Zero Cost Secure（1750931826373700）
dev.to·14h·
Discuss: DEV
🦀Rust Borrowing
Machine Learning Fundamentals: accuracy with python
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
Introduction to Algorithms: What They Are and Why They Matter
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
Structured Logging in NextJS with OpenTelemetry
dev.to·15h·
Discuss: DEV
📝Log Parsing
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·2d
⚖️Hoare Logic