Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·1d
🧮Prolog Parsing
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·14h·
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·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Show HN: ToolQL – Create AI Tools with GraphQL
toolql.com·2d·
Discuss: Hacker News
📊Graph Databases
Using an LLM for query planning in RAG –> 40% better answer relevance
techcommunity.microsoft.com·1d·
Discuss: Hacker News
🔍Information Retrieval
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·1d
🔍Type Inference
What are knowledge graphs and why is everyone talking about them?
dev.to·2d·
Discuss: DEV
🕸️Graph Embeddings
SUTRA: Decoupling Concept & Language for Multilingual LLM Excellence
hackernoon.com·22h
💻Local LLMs
Taming the Wild West of ML: Practical Model Signing with Sigstore on Kaggle - DevConf.CZ 2025
youtube.com·5h
💧Liquid Types
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
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·1d
💾Persistence Strategies
The Unspoken Engineering Trade-offs in Large-Scale Vector Search
dev.to·10h·
Discuss: DEV
🗂️Vector Databases
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·10h
⚡Incremental Computation
Next Generation High Web Rust Based Solutions（1750916331932500）
dev.to·8h·
Discuss: DEV
🔌Interface Evolution
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
Perfect phylogenies via the Minimum Uncovering Branching problem: efficiently solvable cases
arxiv.org·2d
🧮Kolmogorov Complexity