| | Minimal pixels achieve the highest possible resolution visible to the human eye (chalmers.se) |
| 2 points by geox 56 days ago | past |
|
| | Electricity can heal wounds three times as fast (2023) (chalmers.se) |
| 222 points by mgh2 63 days ago | past | 143 comments |
|
| | Parsing Mixfix Operators (chalmers.se) |
| 2 points by fanf2 5 months ago | past |
|
| | Dependent types at work in Agda [pdf] (chalmers.se) |
| 1 point by fanf2 6 months ago | past |
|
| | Implementation of Dependent Types (chalmers.se) |
| 3 points by fanf2 6 months ago | past | 1 comment |
|
| | Programming in Martin-Lof's type theory: an introduction. (1990) (chalmers.se) |
| 2 points by fanf2 7 months ago | past |
|
| | Programming in Martin-Lof's Type Theory: An Introduction (1990) (chalmers.se) |
| 59 points by todsacerdoti 7 months ago | past | 6 comments |
|
| | Event Horizon Telescope: Moving towards a close-up of a black hole (chalmers.se) |
| 1 point by geox on Dec 17, 2024 | past |
|
| | Research at the Centre for Bionics and Pain Research Is Suspended (chalmers.se) |
| 1 point by madspindel on Nov 25, 2024 | past |
|
| | Antibacterial material restores the efficacy of antibiotics (chalmers.se) |
| 1 point by geox on Nov 18, 2024 | past |
|
| | The silk thread that can turn clothes into charging stations (chalmers.se) |
| 1 point by geox on Oct 31, 2024 | past |
|
| | Shaping the Future with a Ship from the Past (chalmers.se) |
| 1 point by geox on Sept 10, 2024 | past |
|
| | Hydrogen flight looks ready for take-off with new advances (chalmers.se) |
| 1 point by geox on July 11, 2024 | past | 1 comment |
|
| | How to Specify It: A Guide to Writing Properties of Pure Functions (2020) [pdf] (chalmers.se) |
| 3 points by Jtsummers on April 3, 2024 | past |
|
| | Telescope quartet reveals surprising statistics of cosmic flashes (chalmers.se) |
| 2 points by layer8 on Jan 5, 2024 | past |
|
| | Telescope quartet reveals surprising statistics of cosmic flashes (chalmers.se) |
| 3 points by _Microft on Jan 4, 2024 | past | 1 comment |
|
| | Exclusive hardwood may be illegally harvested (chalmers.se) |
| 285 points by geox on Oct 26, 2023 | past | 198 comments |
|
| | Papers Using Agda (chalmers.se) |
| 4 points by Tomte on Sept 1, 2023 | past |
|
| | Production Ergonomics: Work Systems for Optimal Human Performance (chalmers.se) |
| 1 point by osivertsson on Aug 23, 2023 | past |
|
| | Innovations enable unprecedented control over every finger of a bionic hand (chalmers.se) |
| 2 points by geox on July 14, 2023 | past |
|
| | Heavy electric trucks cheaper than diesel goods trucks (chalmers.se) |
| 82 points by geox on May 29, 2023 | past | 163 comments |
|
| | McCulloch and Pitts – Logical Calculus of the Ideas Immanent in Nervous Activity [pdf] (chalmers.se) |
| 3 points by mindcrime on May 12, 2023 | past |
|
| | Electricity can heal wounds three times as fast (chalmers.se) |
| 2 points by geox on April 18, 2023 | past | 1 comment |
|
| | Propeller advance paves way for quiet, efficient electric aviation (chalmers.se) |
| 1 point by geox on March 15, 2023 | past | 1 comment |
|
| | Finite Automata and Their Decision Problems (1959) [pdf] (chalmers.se) |
| 2 points by aebtebeten on Jan 28, 2023 | past |
|
| | Low nutritional quality in vegetarian meat (chalmers.se) |
| 72 points by achenet on Jan 7, 2023 | past | 106 comments |
|
| | Mysteries of Dropbox: Property-Based Testing of a Synchronization Service [pdf] (chalmers.se) |
| 2 points by gmgn on Dec 13, 2022 | past |
|
| | The Fractalist (Mandelbrot) 2014 [pdf] (chalmers.se) |
| 1 point by hackandthink on Dec 4, 2022 | past |
|
| | A mini course on percolation theory [pdf] (chalmers.se) |
| 2 points by mindcrime on Sept 27, 2022 | past |
|
| | Converting solar energy to electricity on demand (chalmers.se) |
| 5 points by doener on June 4, 2022 | past |
|
|
| More |
