Hackernews posts about Chalmers
- Using street lamps as EV chargers (www.techbriefs.com)
- Apple Podcasts Is Adding AI-Generated Chapters for Podcasts Without Chapters (podcasters.apple.com)
- Show HN: Fleet Fund – Invest fractionally in EV chargers that earn income (fleet-fund.vercel.app)
- Show HN: A visual guide to learning Jujutsu (JJ) (excalidraw.com)
- An Efficient Implementation of SELF (1989) [pdf] (courses.cs.washington.edu)
- Chamber of Commerce sues over Trump's $100K H-1B paywall (www.theregister.com)
- Brimstone: ES2025 JavaScript engine written in Rust (github.com)
- November 1861: Chalmers' under Channel railway (www.theengineer.co.uk)
- Free Summer School:Understanding LLM Understanding-Wolfram, Chalmers, Levin,etc. (skywritingspress.ca)
- Electricity can heal wounds three times as fast (2023) (www.chalmers.se)
- What is it like to be a thermostat? (1996) (annakaharris.com)
- Programming in Martin-Lof's Type Theory: An Introduction (1990) (www.cse.chalmers.se)
- Implementation of Dependent Types (www.cse.chalmers.se)
- Telescope quartet reveals surprising statistics of cosmic flashes (www.chalmers.se)
- How to Specify It: A Guide to Writing Properties of Pure Functions (2020) [pdf] (research.chalmers.se)
- Parsing Mixfix Operators (www.cse.chalmers.se)
- Programming in Martin-Lof's type theory: an introduction. (1990) (www.cse.chalmers.se)
- Study: E-scooter crashes mainly caused by reckless driving (news.cision.com)
- Telescope quartet reveals surprising statistics of cosmic flashes (www.chalmers.se)
- Hydrogen flight looks ready for take-off with new advances (www.chalmers.se)
- Dependent types at work in Agda [pdf] (www.cse.chalmers.se)
- Electric cars and their warning signals difficult to locate at low speed (news.cision.com)
- Event Horizon Telescope: Moving towards a close-up of a black hole (www.chalmers.se)
- Research at the Centre for Bionics and Pain Research Is Suspended (www.chalmers.se)
- Antibacterial material restores the efficacy of antibiotics (www.chalmers.se)
- The silk thread that can turn clothes into charging stations (www.chalmers.se)
- Shaping the Future with a Ship from the Past (www.chalmers.se)
- What went wrong with the Alan Turing Institute? (www.chalmermagne.com)
- Economic reality, not vibes, explains Europe's lack of big tech companies (www.chalmermagne.com)
- Death by a Thousand Roundtables (chalmermagne.substack.com)