Hackernews posts about Marta
- Programming in Martin-Lof's Type Theory: An Introduction (1990) (www.cse.chalmers.se)
- MariaDB Acquires Galera Cluster (mariadb.com)
- The Mortality Impacts of Usaid Cuts (asteriskmag.substack.com)
- Scientists Have Clear Evidence of Martian Atmosphere 'Sputtering' (www.sciencealert.com)
- MariaDB 11.8 LTS Released (mariadb.org)
- SpaceX Update on Martian Colonization (twitter.com)
- Unsafe sax: study of impact of too much sax on the mortality of jazz musicians (1999) (pmc.ncbi.nlm.nih.gov)
- Martin Crusius' Armchair Voyage (www.historytoday.com)
- FBI–Martin Luther King Letter (en.wikipedia.org)
- Apple's new CarPlay Ultra is ready, but only in Aston Martins for now (arstechnica.com)
- Scientists Have Clear Evidence of Martian Atmosphere 'Sputtering' (www.sciencealert.com)
- Some answers on those Martian streaks (arstechnica.com)
- Understanding AI Large Language Model Transformers: An Analogy for Mere Mortals (jamesmccaffrey.wordpress.com)
- Marianne North (en.wikipedia.org)
- A Mathematical Approach to Life: Visualizing Mortality to Optimize Time (lifeecalendar.com)
- Mortality in Male Bodybuilding Athletes (pubmed.ncbi.nlm.nih.gov)
- Apple's CarPlay Ultra is finally here, if you have a new Aston Martin (www.theverge.com)
- Streaks on Martian slopes are dry (www.nature.com)
- Musings of a mortally ill physicist – Jan Zaanen (2023-24) [pdf] (www.lorentz.leidenuniv.nl)
- Interview with Margaret H. Hamilton (2021) (catskull.net)
- The Man Behind 'The Martian' (2015) (www.thedailybeast.com)
- Programming in Martin-Lof's type theory: an introduction. (1990) (www.cse.chalmers.se)