Hackernews posts about Chalmers

Implementation of Dependent Types (www.cse.chalmers.se)

3 points by fanf2 17 days ago | 1 comments
Dependent types at work in Agda [pdf] (www.cse.chalmers.se)

1 points by fanf2 3 days ago | discuss
Electric cars and their warning signals difficult to locate at low speed (news.cision.com)

1 points by geox 6 days ago | discuss
Is it OK to leave device chargers plugged in all the time? An expert explains (theconversation.com)

7 points by Improvement 28 days ago | 1 comments
Rotterdam turned 15,000 EV chargers into a virtual power plant (www.lastmilesolutions.com)

5 points by mooreds 28 days ago | 9 comments
Notes on Cramer's Rule (eli.thegreenplace.net)

4 points by mfrw 10 days ago | discuss
Books and Chapters in Zotero (2024) (www.miskatonic.org)

3 points by Tomte 20 days ago | discuss
Australians are buying hybrid cars because they don't trust public chargers (techxplore.com)

2 points by PaulHoule 24 days ago | discuss
Show HN: ARM64 port of coroutines from Asynchronous Programming in Rust book (monoid.github.io)

5 points by comonoid 26 days ago | discuss
Companies doing QC on boards should be held accountable for not soldiering

4 points by sdrawkcabsti 15 days ago | discuss
Show HN: WarioWare AI Generated Microgames (www.vibeware.lol)

3 points by Areibman 6 days ago | discuss
Show HN: Maestro-Orchestrator – Containerized AI Council (github.com)

2 points by defqon1 19 days ago | discuss
Ask HN: Has anyone seen this before in any ChatGPT?

1 points by HereticGlaux 6 days ago | 1 comments
Ask HN: How will AI affect the manga creation process?

1 points by babuloseo 30 days ago | 1 comments
Show HN: AISheets: PDF-to-interactive worksheets (with LaTeX support) (www.aisheets.study)

1 points by pk97 16 days ago | discuss
Show HN: Tapflow – Built for devs/designers with way too many docs (www.tapflow.ai)

1 points by hewmax 26 days ago | discuss
You need to care about Product (taoem.com)

9 points by jampa 17 days ago | discuss
What Is Seen and What Is Not Seen (www.econlib.org)

3 points by mooreds 7 days ago | discuss
3KB cute animation made in Rive (director.design)

1 points by HugoDz 8 days ago | discuss
The Apocalypse of Herschel Schoen (2024) (archiveofourown.org)

1 points by gryfft 8 days ago | discuss
November 1861: Chalmers' under Channel railway (www.theengineer.co.uk)

23 points by timthorn 7 months ago | 9 comments
Free Summer School:Understanding LLM Understanding-Wolfram, Chalmers, Levin,etc. (skywritingspress.ca)

2 points by Jimmc414 about 1 year ago | discuss
Treasurer Jim Chalmers concedes Australia risks missing its climate targets (www.abc.net.au)

2 points by janandonly over 1 year ago | discuss
Chalmers: Could a Large Language Model Be Conscious? (arxiv.org)

2 points by Jimmc414 almost 2 years ago | discuss
Winning Autonomous Trackdrive at FSG 2023 – Chalmers Formula Student [video] (www.youtube.com)

1 points by jscob almost 2 years ago | 1 comments
Exclusive hardwood may be illegally harvested (www.chalmers.se)

285 points by geox over 1 year ago | 198 comments
What is it like to be a thermostat? (1996) (annakaharris.com)

72 points by optimalsolver 6 months ago | 80 comments
Programming in Martin-Lof's Type Theory: An Introduction (1990) (www.cse.chalmers.se)

59 points by todsacerdoti about 1 month ago | 6 comments
Why scientists haven’t cracked consciousness (www.vox.com)

5 points by Physkal almost 2 years ago | 1 comments
Papers Using Agda (wiki.portal.chalmers.se)

4 points by Tomte almost 2 years ago | discuss
Why scientists haven’t cracked consciousness (www.vox.com)

3 points by ibobev almost 2 years ago | 2 comments
Telescope quartet reveals surprising statistics of cosmic flashes (www.chalmers.se)

3 points by _Microft over 1 year ago | 1 comments
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
Programming in Martin-Lof's type theory: an introduction. (1990) (www.cse.chalmers.se)

2 points by fanf2 about 1 month ago | discuss
Study: E-scooter crashes mainly caused by reckless driving (news.cision.com)

2 points by giuliomagnifico 3 months ago | discuss
Telescope quartet reveals surprising statistics of cosmic flashes (www.chalmers.se)

2 points by layer8 over 1 year ago | discuss
Innovations enable unprecedented control over every finger of a bionic hand (www.chalmers.se)

2 points by geox almost 2 years ago | discuss
Hydrogen flight looks ready for take-off with new advances (www.chalmers.se)

1 points by geox 12 months ago | 1 comments
Event Horizon Telescope: Moving towards a close-up of a black hole (www.chalmers.se)

1 points by geox 6 months ago | discuss
Research at the Centre for Bionics and Pain Research Is Suspended (www.chalmers.se)

1 points by madspindel 7 months ago | discuss
Antibacterial material restores the efficacy of antibiotics (www.chalmers.se)

1 points by geox 7 months ago | discuss
The silk thread that can turn clothes into charging stations (www.chalmers.se)

1 points by geox 8 months ago | discuss
Shaping the Future with a Ship from the Past (www.chalmers.se)

1 points by geox 10 months ago | discuss
Production Ergonomics: Work Systems for Optimal Human Performance (research.chalmers.se)

1 points by osivertsson almost 2 years ago | discuss
‘Venice of Detroit’: climate costs imperil historic neighborhood (www.theguardian.com)

1 points by PaulHoule almost 2 years ago | discuss
Selling Software to Snake Charmers, and Other Mistakes I've Seen (2018) (www.gkogan.co)

4 points by gk1 8 months ago | discuss
What went wrong with the Alan Turing Institute? (www.chalmermagne.com)

86 points by alexicon 3 months ago | 90 comments
Png2embeddedjson – Convert PNG images to embedded JSON (github.com)

2 points by javatuts 4 months ago | discuss
Economic reality, not vibes, explains Europe's lack of big tech companies (www.chalmermagne.com)

1 points by amadeuspagel 3 months ago | discuss
Death by a Thousand Roundtables (chalmermagne.substack.com)

1 points by walterbell 8 months ago | discuss