#359
weeknotes.barrucadu.co.ukยท4d
ฮปLambda Formalization
The continuation monad: a mathematical introduction
wildonblog.wordpress.comยท3d
๐Ÿ”—Functional Compilers
AAMG is looking to acquire Lilium's assets and expertise
electrive.comยท14hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธTerminal Renaissance
Revisionist Glaciology: Better Iceberg Illustrations Show Undersea Surprises
99percentinvisible.orgยท8hยท
Discuss: Hacker News
๐ŸงŠArctic Storage
Classrooms to be fitted with AI face-recognition to track student attendance in India
the-independent.comยท16h
๐Ÿ“„OCR
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.devยท28mยท
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
๐Ÿ’งLiquid Types
Trust Calibration for AI Software Builders
fly.ioยท3d
๐ŸŽฏThreat Hunting
Phison Pascari D205V 122.88TB NVMe SSD at FMS 2025
servethehome.comยท4d
๐Ÿ’พPersistent Memory
Microsoft Post-quantum resilience: building secure foundations
blogs.microsoft.comยท8hยท
Discuss: Hacker News
๐Ÿ”Quantum Security
Unresolved debates about the future of AI
helentoner.substack.comยท3dยท
Discuss: Substack
๐Ÿค–AI Curation
Before making a career move, try an experiment
nature.comยท8h
โš™๏ธDIY Electronics
Investigating Sensors and Methods in Grasp State Classification in Agricultural Manipulation
arxiv.orgยท2d
โœ‹Tactile Computing
RegimeNAS: Regime-Aware Differentiable Architecture Search With Theoretical Guarantees for Financial Trading
arxiv.orgยท2d
๐Ÿ“ŠQuantization
New 'in and out' mechanism reveals how carbon dioxide reacts at water's surface
phys.orgยท8h
๐Ÿ”ฒCellular Automata
Help turning off IPMI/BMC (?) constant-on beeper
reddit.comยท18hยท
Discuss: r/homelab
๐Ÿ”ŒSingle Board PC
Boosting Mixed-Initiative Co-Creativity in Game Design: A Tutorial
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Insect conservation stalled by absence of risk assessments
phys.orgยท14h
๐Ÿ›๏ธNordic Archives
Can AI help enterprises transition to a 4-day week?
techradar.comยท20h
๐Ÿ’พPersistence Strategies
Say It, See It: A Systematic Evaluation on Speech-Based 3D Content Generation Methods in Augmented Reality
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
Latent Plan Transformer for Trajectory Abstraction: Planning as Latent Space Inference
arxiv.orgยท1d
๐Ÿ“ŠQuantization