Basketball trivia, editing distances, and derangement
leancrew.com·3d
🌳Trie Structures
Cactus Language • Semantics 3
inquiryintoinquiry.com·1d
🔢Denotational Semantics
History rides again
robinsloan.com·14h
Effect Handlers
Show HN: We used LZMA to encode data into a URL
standardsapplied.com·6h·
Discuss: Hacker News
🌀Differential Geometry
Experimenting with ACL2 and Claude Code
mikedodds.org·1d·
Discuss: Hacker News
👑Isabelle
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·16h·
Discuss: Hacker News
🧮Kolmogorov Bounds
10 Command-Line Tools Every Data Scientist Should Know
kdnuggets.com·3d
🤖Archive Automation
Meet Amazon Quick Suite: The agentic AI application reshaping how work gets done
aboutamazon.com·2d·
Discuss: Hacker News
🌊Streaming Systems
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
The key to conversational speech recognition
datasciencecentral.com·2d
🎵Audio ML
Exposing Citation Vulnerabilities in Generative Engines
arxiv.org·2d
📜Digital Philology
Automated Graph Neural Network Calibration for Robust Decentralized Sensor Fusion
dev.to·16h·
Discuss: DEV
🤝Consensus Networks
A Systematic Evaluation of Self-Supervised Learning for Label-Efficient Sleep Staging with Wearable EEG
arxiv.org·1d
🧠Machine Learning
Active Confusion Expression in Large Language Models: Leveraging World Models toward Better Social Reasoning
arxiv.org·1d
🧮Prolog Parsing
Improving Temporal Understanding Logic Consistency in Video-Language Models via Attention Enhancement
arxiv.org·1d
📊Learned Metrics
ALHD: A Large-Scale and Multigenre Benchmark Dataset for Arabic LLM-Generated Text Detection
arxiv.org·4d
📝Text Parsing
A small number of samples can poison LLMs of any size
dev.to·1d·
Discuss: DEV
💻Local LLMs
What is a Large Language Model (LLM)
dev.to·1d·
Discuss: DEV
💻Local LLMs
🧠 The Simplest Neural Network That Actually Works
dev.to·1d·
Discuss: DEV
🧠Machine Learning