LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
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·20h
🧮Prolog Parsing
Show HN: ToolQL – Create AI Tools with GraphQL
toolql.com·1d·
Discuss: Hacker News
📊Graph Databases
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·9h·
Discuss: Hacker News, r/programming
🔗Lisp
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
TableVault: Managing Dynamic Data Collections for LLM-Augmented Workflows
arxiv.org·1d
🔄Schema Evolution
Sheaf Hypergraph Networks
arxiv.org·2d
🌀Hyperbolic Geometry
Unveiling Insights: 18 Essential Resources for Exploratory Data Analysis (EDA)
dev.to·13h·
Discuss: DEV
⛏️Archive Mining
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·4h·
Discuss: DEV
🌊Stream Processing
Using an LLM for query planning in RAG –> 40% better answer relevance
techcommunity.microsoft.com·1d·
Discuss: Hacker News
🔍Information Retrieval
Machine Learning Fundamentals: active learning
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·1d
📏Linear Logic
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·1d
💾Persistence Strategies
Deep Dive into Databend UDF, implementing your data solutions with python, WASM and beyond
dev.to·1h·
Discuss: DEV
📋DFDL
Text2Struct: A Machine Learning Pipeline for Mining Structured Data from Text
arxiv.org·1d
🔤Character Classification
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Learning Lineage Constraints for Data Science Operations
arxiv.org·1d
🏺Database Archaeology
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·1h·
Discuss: DEV
🌊Stream Processing
SUTRA: Decoupling Concept & Language for Multilingual LLM Excellence
hackernoon.com·4h
💻Local LLMs