Double Maths First Thing: Issue 38
aperiodical.com·14h
🔍Type Inference
Okta: Digital identity for AI agents
heise.de·10h
🏛️Agda
Holosplit
atdotde.blogspot.com·11h·
Discuss: www.blogger.com
🔧KAITAI
Autumnotes: September 2025
neilojwilliams.net·7h
🌱Personal Wikis
“Veridical (truthful) Data Science”: Another way of looking at statistical workflow
statmodeling.stat.columbia.edu·3d
🧪Data science
What Is Data Privacy? A Simple Guide for Modern Businesses
polygraf.ai·1h·
Discuss: Hacker News
🔗Data Provenance
Detect, Track, and Identify Basketball Players with Computer Vision
blog.roboflow.com·1d·
Discuss: Hacker News
🧠Machine Learning
Wearable elastography via mechano-acoustic sensing to monitor tissue stiffness
science.org·4h·
Discuss: Hacker News
✋Tactile Computing
The Future of Serverless • Nick Coult • GOTO 2025
youtube.com·10h
🤝Consensus Protocols
Code Review Benchmark
blog.macroscope.com·2d·
Discuss: Hacker News
📏Code Metrics
loqom: a nom 8 (parser combinators) fork with a smaller API surface.
reddit.com·23h·
Discuss: r/rust
🦀Rust Borrowing
Designing agentic loops
simonwillison.net·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
OpenSSL patches 3 vulnerabilities, urging immediate updates
securityaffairs.com·2h
💣ZIP Vulnerabilities
🧩 Can you spot the hidden bias? A chatbot is designed to pro
dev.to·6h·
Discuss: DEV
🎙️Whisper
Output-Sensitive Evaluation of Acyclic Conjunctive Regular Path Queries
arxiv.org·6d
🕸️Graph Algorithms
Exploring the Latest AI Models and Tools for Developers
dev.to·7h·
Discuss: DEV
🎙️Whisper
Building GitusAI: An AI-Powered Commit Message Generator
dev.to·1h·
Discuss: DEV
🔄Reproducible Builds
The Neural Network Odyssey: From Biological Inspiration to AI Revolution
dev.to·3d·
Discuss: DEV
📊Quantization
Beyond Classification Accuracy: Neural-MedBench and the Need for Deeper Reasoning Benchmarks
arxiv.org·2d
🧠Machine Learning
Negative Pre-activations Differentiate Syntax
arxiv.org·1d
🤖Grammar Induction