| 1. | | Agda Implementors' Meeting Xliii (chalmers.se) |
| 3 points by m_j_g 26 days ago | past |
|
| 2. | | Literate Programming with LLMs? – A Study on Rosetta Code and CodeNet (chalmers.se) |
| 2 points by gurjeet 53 days ago | past | 1 comment |
|
| 3. | | Designing and Using Combinators: The Essence of Functional Programming (chalmers.se) |
| 4 points by myth_drannon 8 months ago | past |
|
| 4. | | Strongest battery paves way for light, energy-efficient vehicles (chalmers.se) |
| 2 points by mullsork 9 months ago | past | 2 comments |
|
| 5. | | An Optimized Soft Shadow Volume Algorithm with Real-Time Performance [pdf] (chalmers.se) |
| 7 points by klaussilveira 9 months ago | past |
|
| 6. | | Stardust study resets how life's atoms spread through space (chalmers.se) |
| 5 points by geox 9 months ago | past |
|
| 7. | | Minimal pixels achieve the highest possible resolution visible to the human eye (chalmers.se) |
| 2 points by geox on Oct 23, 2025 | past |
|
| 8. | | Electricity can heal wounds three times as fast (2023) (chalmers.se) |
| 222 points by mgh2 on Oct 16, 2025 | past | 143 comments |
|
| 9. | | Parsing Mixfix Operators (chalmers.se) |
| 2 points by fanf2 on July 11, 2025 | past |
|
| 10. | | Dependent types at work in Agda [pdf] (chalmers.se) |
| 1 point by fanf2 on June 21, 2025 | past |
|
| 11. | | Implementation of Dependent Types (chalmers.se) |
| 3 points by fanf2 on June 6, 2025 | past | 1 comment |
|
| 12. | | Programming in Martin-Lof's type theory: an introduction. (1990) (chalmers.se) |
| 2 points by fanf2 on May 18, 2025 | past |
|
| 13. | | Programming in Martin-Lof's Type Theory: An Introduction (1990) (chalmers.se) |
| 59 points by todsacerdoti on May 17, 2025 | past | 6 comments |
|
| 14. | | Event Horizon Telescope: Moving towards a close-up of a black hole (chalmers.se) |
| 1 point by geox on Dec 17, 2024 | past |
|
| 15. | | Research at the Centre for Bionics and Pain Research Is Suspended (chalmers.se) |
| 1 point by madspindel on Nov 25, 2024 | past |
|
| 16. | | Antibacterial material restores the efficacy of antibiotics (chalmers.se) |
| 1 point by geox on Nov 18, 2024 | past |
|
| 17. | | The silk thread that can turn clothes into charging stations (chalmers.se) |
| 1 point by geox on Oct 31, 2024 | past |
|
| 18. | | Shaping the Future with a Ship from the Past (chalmers.se) |
| 1 point by geox on Sept 10, 2024 | past |
|
| 19. | | Hydrogen flight looks ready for take-off with new advances (chalmers.se) |
| 1 point by geox on July 11, 2024 | past | 1 comment |
|
| 20. | | 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 |
|
| 21. | | Telescope quartet reveals surprising statistics of cosmic flashes (chalmers.se) |
| 2 points by layer8 on Jan 5, 2024 | past |
|
| 22. | | Telescope quartet reveals surprising statistics of cosmic flashes (chalmers.se) |
| 3 points by _Microft on Jan 4, 2024 | past | 1 comment |
|
| 23. | | Exclusive hardwood may be illegally harvested (chalmers.se) |
| 285 points by geox on Oct 26, 2023 | past | 198 comments |
|
| 24. | | Papers Using Agda (chalmers.se) |
| 4 points by Tomte on Sept 1, 2023 | past |
|
| 25. | | Production Ergonomics: Work Systems for Optimal Human Performance (chalmers.se) |
| 1 point by osivertsson on Aug 23, 2023 | past |
|
| 26. | | Innovations enable unprecedented control over every finger of a bionic hand (chalmers.se) |
| 2 points by geox on July 14, 2023 | past |
|
| 27. | | Heavy electric trucks cheaper than diesel goods trucks (chalmers.se) |
| 82 points by geox on May 29, 2023 | past | 163 comments |
|
| 28. | | McCulloch and Pitts – Logical Calculus of the Ideas Immanent in Nervous Activity [pdf] (chalmers.se) |
| 3 points by mindcrime on May 12, 2023 | past |
|
| 29. | | Electricity can heal wounds three times as fast (chalmers.se) |
| 2 points by geox on April 18, 2023 | past | 1 comment |
|
| 30. | | Propeller advance paves way for quiet, efficient electric aviation (chalmers.se) |
| 1 point by geox on March 15, 2023 | past | 1 comment |
|
|
| More |
