[PROPL'25] What we talk about when we talk about scientific programming
Автор: ACM SIGPLAN
Загружено: 2025-12-05
Просмотров: 6
Описание:
What we talk about when we talk about scientific programming (Video, PROPL 2025)
Patrick Ferris
(University of Cambridge, UK)
Abstract: Programming for the planet undoubtedly involves programming scientifically, but what kind of programming are we talking about and what makes it scientific? In what ways does it differ from other forms of programming, if at all? Is scientific programming, data science or machine learning fundamentally different to constructing a compiler or building a high-throughput web server?
By considering how the scientific method (with its falsifiable hypotheses and repeatable and reproducible experiments) relates to scientific programming, I hope to explore how computer science and traditional programming techniques are coming up short in meeting the requirements of scientific programmers.
Presentation at the PROPL 2025 workshop, Oct 13, 2025, https://conf.researchr.org/home/icfp-...
Sponsored by ACM SIGPLAN.
Повторяем попытку...
![[PROPL'25] What we talk about when we talk about scientific programming](https://imager.clipsaver.ru/WpmXobcGdfY/max.jpg)
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![[CPP'26] A Rose Tree is Blooming (Proof Pearl)](https://image.4k-video.ru/id-video/wxAgi1xBQsI)
![[CPP'26] How can Machine Learning Help Formal Proving ?](https://image.4k-video.ru/id-video/CRQSx4rBNeA)
![[PROPL'25] Scaling the Urban Forest: An Integrated Framework for Managing Cities by Fusing Raster(…)](https://image.4k-video.ru/id-video/9shRrH4vNx4)
![[CPP'26] Verified VCG and Verified Compiler for Dafny](https://image.4k-video.ru/id-video/v_hL8RB4tnE)
