Hackernews posts about Chalmers
- 01
- 02Agda Implementors' Meeting Xliiiwiki.portal.chalmers.se
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12Show HN: I wrote a book to help developers to improve their writingrefactoringenglish.com
- 13
- 14
- 15
- 16Superioritywww.baen.com
- 17
- 18Patent That Turned 2km Steel Pipes into Sonic Hammersdeachoratiu.substack.com
- 19November 1861: Chalmers' under Channel railwaywww.theengineer.co.uk
- 20David Chalmers Says AI Systems Are Emailing Himwww.abc.net.au
- 21
- 22
- 23
- 24
- 25Electricity can heal wounds three times as fast (2023)www.chalmers.se
- 26What is it like to be a thermostat? (1996)annakaharris.com
- 27Programming in Martin-Lof's Type Theory: An Introduction (1990)www.cse.chalmers.se
- 28
- 29Stardust study resets how life's atoms spread through spacewww.chalmers.se
- 30Designing and Using Combinators: The Essence of Functional Programmingwww.cse.chalmers.se
- 31Implementation of Dependent Typeswww.cse.chalmers.se
- 32
- 33Literate Programming with LLMs? β A Study on Rosetta Code and CodeNetresearch.chalmers.se
- 34
- 35Parsing Mixfix Operatorswww.cse.chalmers.se
- 36Programming in Martin-Lof's type theory: an introduction. (1990)www.cse.chalmers.se
- 37
- 38Dependent types at work in Agda [pdf]www.cse.chalmers.se
- 39
- 40
- 41
- 42Antibacterial material restores the efficacy of antibioticswww.chalmers.se
- 43The silk thread that can turn clothes into charging stationswww.chalmers.se
- 44
- 45What went wrong with the Alan Turing Institute?www.chalmermagne.com
- 46
- 47Economic reality, not vibes, explains Europe's lack of big tech companieswww.chalmermagne.com
- 48Death by a Thousand Roundtableschalmermagne.substack.com
Β· edit