Hackernews posts about Chalmers

1. Programming in Martin-Lof's Type Theory: An Introduction (1990) (www.cse.chalmers.se)
   59 points by todsacerdoti 29 days ago | 6 comments
2. Implementation of Dependent Types (www.cse.chalmers.se)
   3 points by fanf2 9 days ago | 1 comments
3. Programming in Martin-Lof's type theory: an introduction. (1990) (www.cse.chalmers.se)
   2 points by fanf2 28 days ago | discuss
4. Notes on Cramer's Rule (eli.thegreenplace.net)
   3 points by mfrw about 23 hours ago | discuss
5. November 1861: Chalmers' under Channel railway (www.theengineer.co.uk)
   23 points by timthorn 7 months ago | 9 comments
6. Free Summer School:Understanding LLM Understanding-Wolfram, Chalmers, Levin,etc. (skywritingspress.ca)
   2 points by Jimmc414 about 1 year ago | discuss
7. Treasurer Jim Chalmers concedes Australia risks missing its climate targets (www.abc.net.au)
   2 points by janandonly over 1 year ago | discuss
8. Chalmers: Could a Large Language Model Be Conscious? (arxiv.org)
   2 points by Jimmc414 almost 2 years ago | discuss
9. Winning Autonomous Trackdrive at FSG 2023 – Chalmers Formula Student [video] (www.youtube.com)
   1 points by jscob almost 2 years ago | 1 comments
10. Exclusive hardwood may be illegally harvested (www.chalmers.se)
    285 points by geox over 1 year ago | 198 comments
11. What is it like to be a thermostat? (1996) (annakaharris.com)
    72 points by optimalsolver 6 months ago | 80 comments
12. Why scientists haven’t cracked consciousness (www.vox.com)
    5 points by Physkal almost 2 years ago | 1 comments
13. Papers Using Agda (wiki.portal.chalmers.se)
    4 points by Tomte almost 2 years ago | discuss
14. Why scientists haven’t cracked consciousness (www.vox.com)
    3 points by ibobev almost 2 years ago | 2 comments
15. Telescope quartet reveals surprising statistics of cosmic flashes (www.chalmers.se)
    3 points by _Microft over 1 year ago | 1 comments
16. How to Specify It: A Guide to Writing Properties of Pure Functions (2020) [pdf] (research.chalmers.se)
    3 points by Jtsummers about 1 year ago | discuss
17. Study: E-scooter crashes mainly caused by reckless driving (news.cision.com)
    2 points by giuliomagnifico 3 months ago | discuss
18. Telescope quartet reveals surprising statistics of cosmic flashes (www.chalmers.se)
    2 points by layer8 over 1 year ago | discuss
19. Innovations enable unprecedented control over every finger of a bionic hand (www.chalmers.se)
    2 points by geox almost 2 years ago | discuss
20. Hydrogen flight looks ready for take-off with new advances (www.chalmers.se)
    1 points by geox 11 months ago | 1 comments
21. Event Horizon Telescope: Moving towards a close-up of a black hole (www.chalmers.se)
    1 points by geox 6 months ago | discuss
22. Research at the Centre for Bionics and Pain Research Is Suspended (www.chalmers.se)
    1 points by madspindel 7 months ago | discuss
23. Antibacterial material restores the efficacy of antibiotics (www.chalmers.se)
    1 points by geox 7 months ago | discuss
24. The silk thread that can turn clothes into charging stations (www.chalmers.se)
    1 points by geox 8 months ago | discuss
25. Shaping the Future with a Ship from the Past (www.chalmers.se)
    1 points by geox 9 months ago | discuss
26. Production Ergonomics: Work Systems for Optimal Human Performance (research.chalmers.se)
    1 points by osivertsson almost 2 years ago | discuss
27. ‘Venice of Detroit’: climate costs imperil historic neighborhood (www.theguardian.com)
    1 points by PaulHoule almost 2 years ago | discuss
28. Selling Software to Snake Charmers, and Other Mistakes I've Seen (2018) (www.gkogan.co)
    4 points by gk1 8 months ago | discuss
29. What went wrong with the Alan Turing Institute? (www.chalmermagne.com)
    86 points by alexicon 3 months ago | 90 comments
30. Png2embeddedjson – Convert PNG images to embedded JSON (github.com)
    2 points by javatuts 4 months ago | discuss
31. Economic reality, not vibes, explains Europe's lack of big tech companies (www.chalmermagne.com)
    1 points by amadeuspagel 3 months ago | discuss
32. Death by a Thousand Roundtables (chalmermagne.substack.com)
    1 points by walterbell 8 months ago | discuss
33. Ask HN: Why has everything become so annoying?
    15 points by tropicalfruit over 1 year ago | 13 comments
34. Rescue Party (1946) (www.baen.com)
    62 points by bookofjoe 8 months ago | 24 comments