Dimensional Lumber Tape Measure
xkcd.com·1d
⏱️SMPTE Timecode
Generate but verify: Reconciling the evidence utility of chatbots in many settings with chatbots’ evident lack of understanding
statmodeling.stat.columbia.edu·1d
⚡Proof Automation
Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·2d·
Discuss: Lobsters, Hacker News, r/programming
📐Interval Arithmetic
National Guard Troops Aren’t Happy They’re Just Trump’s Toy Soldiers
techdirt.com·1d
🛡Cybersecurity
Catch a break: surf adventures in the California sun – in pictures
theguardian.com·2d
🌈Color Archaeology
The Angels and Demons of Nondeterminism
buttondown.com·2d·
Discuss: Hacker News
💻Programming languages
Not Dead Yet! How Monty Python’s John Cleese is celebrating ‘The Holy Grail’ at 50
mercurynews.com·1d
🐧FOSS
Liquidsoap Release 2.4.0
liquidsoap.info·5d·
Discuss: Hacker News
🌊Streaming Systems
Why Everybody Is Losing Money On AI
wheresyoured.at·1d·
Discuss: Hacker News
🌀Brotli Internals
I Didn’t Have Money to Pay for Grammarly, So I Self-Hosted My Own Solution Using LanguageTool 📝
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Unlocking Hidden Order: Differentiable Entropy as a Code Optimizer
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Reservoir Predictive Path Integral Control for Unknown Nonlinear Dynamics
arxiv.org·1d
🧠Machine Learning
AI-Driven Inverse Design of High-Entropy Alloy Compositions via Bayesian Optimization and Graph Neural Networks
dev.to·15h·
Discuss: DEV
🕸️Algebraic Topology
MTQA:Matrix of Thought for Enhanced Reasoning in Complex Question Answering
arxiv.org·1d
🔍Information Retrieval
Semantic Analysis of SNOMED CT Concept Co-occurrences in Clinical Documentation using MIMIC-IV
arxiv.org·1d
🔢Denotational Semantics
Replacement for HP DL380p Gen8 LFF (HomeLab Server) – leaning towards ML110 Gen10
reddit.com·3h·
Discuss: r/homelab
🏠HomeLab
Binary Quantization For LLMs Through Dynamic Grouping
arxiv.org·2d
💻Local LLMs
How to Context Engineer to Optimize Question Answering Pipelines
towardsdatascience.com·1d
📄Text Chunking
Speech Command Recognition Using LogNNet Reservoir Computing for Embedded Systems
arxiv.org·3d
🎵Audio ML
Salesforce, Inc. (CRM) Q2 2026 Earnings Call Transcript
seekingalpha.com·2d
📡Feed Security