#359
weeknotes.barrucadu.co.uk·1d
λLambda Formalization
“Something Has Come to Light,” by Miriam Toews
newyorker.com·22h
🕯️Wax Cylinders
‘Shut it down and start again’: staff disquiet as Alan Turing Institute faces identity crisis
theguardian.com·3h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Here be dragons: Preventing static damage, latchup, and metastability in the 386
righto.com·18h·
Discuss: www.blogger.com, Lobsters, Hacker News
⚡Circuit Archaeology
Docker @ Black Hat 2025: CVEs have everyone’s attention, here’s the path forward
docker.com·2d
📦Container Security
RegimeNAS: Regime-Aware Differentiable Architecture Search With Theoretical Guarantees for Financial Trading
arxiv.org·4h
📊Quantization
Stories and Systems: Educational Interactive Storytelling to Teach Media Literacy and Systemic Thinking
arxiv.org·4h
🌍Cultural Computing
UWB-PostureGuard: A Privacy-Preserving RF Sensing System for Continuous Ergonomic Sitting Posture Monitoring
arxiv.org·4h
✋Tactile Computing
Automated Formulation Optimization via Multi-Modal Data Fusion & Recursive Validation
dev.to·20h·
Discuss: DEV
☕Precision Brewing
Can Multi-modal (reasoning) LLMs detect document manipulation?
arxiv.org·4h
🤖Advanced OCR
Automated Granular Pest Detection & Remediation via Multi-Modal Sensor Fusion in Vertical Farms
dev.to·2d·
Discuss: DEV
📐Information Geometry
Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks
arxiv.org·4h
📊Quantization
The User-first Approach to AI Ethics: Preferences for Ethical Principles in AI Systems across Cultures and Contexts
arxiv.org·4h
⚖️Emulation Ethics
I’m not sure what’s going on anymore…
reddit.com·2d·
Discuss: r/homelab
🏠Homelab Preservation
Beyond the Golden Ratio: Exploring the Full Energy Spectrum
dev.to·1d·
Discuss: DEV
⏰Time Crystals
UAV-VL-R1: Generalizing Vision-Language Models via Supervised Fine-Tuning and Multi-Stage GRPO for UAV Visual Reasoning
arxiv.org·4h
📊Quantization
Token Trading Agent with Recall
dev.to·4h·
Discuss: DEV
📐Proof Assistants
Fluid Dynamics and Domain Reconstruction from Noisy Flow Images Using Physics-Informed Neural Networks and Quasi-Conformal Mapping
arxiv.org·4h
🌀Riemannian Computing
Benchmarking Prosody Encoding in Discrete Speech Tokens
arxiv.org·4h
🎧Learned Audio
Closed-Loop Reverse Logistics Optimization via Agent-Based AI & Digital Twin Simulation
dev.to·10h·
Discuss: DEV
📼Cassette Combinators