Faroe sensationally takes 3rd place at U21 Handball World Championship
local.fo·10h
🇸Sweden
Inflight Auctions
jefftk.com·20h
⚙️Cassette Mechanics
Does AI Sulk at Counting?
singaporemathplus.com·17h·
Discuss: www.singaporemathplus.com
📊HyperLogLog
Travels, 10
cameroncounts.wordpress.com·4d
🎯Performance Proofs
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·5d
📝Concrete Syntax
Data Structure Visualizations
cs.usfca.edu·21h·
Discuss: Hacker News
📐Mathematical Art
Show HN: AppifyText – AI text-to-app tool that builds internal tools
appifytext.ai·2d·
Discuss: Hacker News
🎙️Whisper
Programming as Theory Building – The Death and Revival of Understanding
b0a04gl.site·2d·
Discuss: Hacker News
💻Programming languages
Large Language Models
blog.jsbarretto.com·4d·
Discuss: Hacker News
📝Concrete Syntax
Adaptive Hybrid Sort: Dynamic Strategy Selection for Optimal Sorting Across Diverse Data Distributions
arxiv.org·3d
🌳Trie Structures
AI agents get office tasks wrong around 70% of the time, and a lot of them aren't AI at all
theregister.com·21h·
Discuss: Hacker News
⚡Proof Automation
StableCodec: Taming One-Step Diffusion for Extreme Image Compression
arxiv.org·5h
📊Rate-Distortion Theory
ARCH-COMP25 Category Report: Stochastic Models
arxiv.org·6d
🎯Performance Proofs
Making Ansible Snappy, Quiet, and Friendly: A Dev’s Guide to `ansible.cfg`
dev.to·1d·
Discuss: DEV
🤖Network Automation
AI's Data Revolution: How Developers Shape Tomorrow
dev.to·4h·
Discuss: DEV
🌊Stream Processing
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·5d·
Discuss: DEV
🔗Concatenative Programming
Progressive Size-Adaptive Federated Learning: A Comprehensive Framework for Heterogeneous Multi-Modal Data Systems
arxiv.org·3d
🧠Machine Learning
BlokLy AI: From space to site
dev.to·2h·
Discuss: DEV
🌀Brotli Internals
Machine Learning Fundamentals: active learning project
dev.to·4d·
Discuss: DEV
🧠Machine Learning
📓 Dev Notebook – Part 0: 🎯 The Core Concepts of Forecasting You Should Understand Before Building Anything
dev.to·1d·
Discuss: DEV
📈Time Series