Is Math Discovered or Invented?
curtispoe.org·1d
🔲Proof Irrelevance
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·1d
🎯Gradual Typing
‘Ten Martini’ Proof Uses Number Theory to Explain Quantum Fractals
quantamagazine.org·2d·
Discuss: Hacker News
📐Mathematical Art
Q&A: Douglas Hofstadter on why AI is far from intelligent (2017)
qz.com·13h·
Discuss: Hacker News
🔲Cellular Automata
"Wow " Signal Was Likely from Extraterrestrial Source, and More Powerful
iflscience.com·20h·
Discuss: Hacker News
📻Homebrew Protocols
Notes on Autograd
aschrein.github.io·1d·
Discuss: Hacker News
⚡Incremental Computation
Wan-S2V: Audio-Driven Cinematic Video Generation
humanaigc.github.io·1d·
Discuss: Hacker News
⏱️SMPTE Timecode
Boss-Ship vs. Management and Math
medium.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Regulatory compliance: Act now
techradar.com·7h
🎯Threat Hunting
Neural networks of the mouse visceromotor cortex
nature.com·18h
🧠Neural Codecs
Toward Robust Medical Fairness: Debiased Dual-Modal Alignment via Text-Guided Attribute-Disentangled Prompt Learning for Vision-Language Models
arxiv.org·14h
🤖Advanced OCR
A Wearable Strain-Sensor-Based Shoulder Patch for Fatigue Detection in Bicep Curls
arxiv.org·1d
✋Tactile Computing
Probabilistic Forecasting Cryptocurrencies Volatility: From Point to Quantile Forecasts
arxiv.org·2d
🧮Kolmogorov Bounds
SOC-CERT: Automated Threat Intelligence System with n8n & AI
dev.to·5h·
Discuss: DEV
🏠Homelab Pentesting
Rao Differential Privacy
arxiv.org·1d
🛡️Differential Privacy
MTalk-Bench: Evaluating Speech-to-Speech Models in Multi-Turn Dialogues via Arena-style and Rubrics Protocols
arxiv.org·1d
🎙️Whisper
Development of the Measure of Assessment Self-Efficacy (MASE) for Quizzes and Exams
arxiv.org·14h
🧠Intelligence Compression
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
Reading minds on the road: decoding perceived risk in automated vehicles through 140K+ ratings
arxiv.org·14h
📊Learned Metrics
L-XAIDS: A LIME-based eXplainable AI framework for Intrusion Detection Systems
arxiv.org·1d
🔍Vector Forensics