Open problems in topos theory
ncatlab.org·2d
🕸️Algebraic Topology
From Data Swamps to Reliable Data Systems: How Iceberg Brought 40 Years of Database Wisdom to Data Lakes
blog.min.io·18h
🏺Database Archaeology
Cactus Language • Pragmatics 1
inquiryintoinquiry.com·3d
💻Programming languages
Fedora 43 Looks To Offer Support For The Hare Programming Language
phoronix.com·1d
🗣️Domain-Specific Languages
TextIndex: Simple syntax for creating indexes in Markdown and text documents
mattgemmell.scot·14h·
Discuss: Hacker News
📇Indexing Strategies
How to Discover a CSS Trick
css-tricks.com·21h
📐Mathematical Art
TPC-H Query 1: Column Storage and Local Aggregation
database-doctor.com·21h·
Discuss: Hacker News
🗄️Database Internals
CPUs, GPUs, NPUs, and TPUs: Choosing the Right Processing Unit for AI Workloads
guptadeepak.com·11h·
Discuss: DEV, Hacker News
🖥️Hardware Architecture
MuseAir hashing algorithm v0.4 released (currently Rust only)
github.com·1d·
Discuss: Hacker News
🔍MinHash Variants
Explainable Collaborative Problem Solving Diagnosis with BERT using SHAP and its Implications for Teacher Adoption
arxiv.org·4d
🔍Type Inference
Tiny language models
arxiv.org·4d
🎙️Whisper
StakeRunner - Automating the Future of Crypto Gambling
dev.to·15h·
Discuss: DEV
🌊Apache Kafka
Machine Learning Fundamentals: federated learning with python
dev.to·3d·
Discuss: DEV
💻Local LLMs
Understanding Prompt Programming Tasks and Questions
arxiv.org·2d
🔗Concatenative Programming
Build a Fullstack Stock Portfolio Agent with LangGraph and AG-UI
dev.to·1d·
Discuss: DEV
📐Proof Assistants
When Noisy Labels Meet Class Imbalance on Graphs: A Graph Augmentation Method with LLM and Pseudo Label
arxiv.org·1d
🔤Character Classification
Glaze: Fast, in memory, JSON and reflection library for modern C++
github.com·2d·
Discuss: Hacker News
💧Liquid Types
Tabular Diffusion based Actionable Counterfactual Explanations for Network Intrusion Detection
arxiv.org·2d
🧠Machine Learning
The Genie's Curse: My Month with AI-Augmented Coding
dev.to·18h·
Discuss: DEV
🌀Brotli Internals
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
arxiv.org·2d
📏Linear Logic