Hackernews posts about Chalmers
- Show HN: GPT-5 Document Retrieval – AI Assistant with Inline Citations (www.smartresearch-ai.com)
- Show HN: Principles of Building AI Agents book [pdf] (github.com)
- Show HN: A Programmer's Guide to Life (www.programmersguideto.life)
- Show HN: AI tool that generates YouTube timestamps automatically (autotimestamps.com)
- Show HN: I created an AI that turns YouTube videos into custom books (www.generate-book.com)
- Show HN: BookTranslator – one-click full-book translation (www.booktranslator.app)
- Show HN: Learn Blockchain History – Simple and Fun (theblockchainhistory.com)
- Show HN: ReadLab – A tiny app to help with reading more (apps.apple.com)
- Underused Techniques for Effective Emails · Refactoring English (refactoringenglish.com)
- Underused Techniques for Effective Emails (refactoringenglish.com)
- Gaussian Processes for Machine Learning [pdf] (gaussianprocess.org)
- Fintech Dystopia: Finance and Applied Statistics (fintechdystopia.com)
- Understand Cloudflare's Container beta env (chamberspy.anthonywu.workers.dev)
- November 1861: Chalmers' under Channel railway (www.theengineer.co.uk)
- Free Summer School:Understanding LLM Understanding-Wolfram, Chalmers, Levin,etc. (skywritingspress.ca)
- Exclusive hardwood may be illegally harvested (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)
- Papers Using Agda (wiki.portal.chalmers.se)
- Why scientists haven’t cracked consciousness (www.vox.com)
- 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)
- Production Ergonomics: Work Systems for Optimal Human Performance (research.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)