|
You are here |
adventures.nodeland.dev | ||
| | | | |
macops.ca
|
|
| | | | | [AI summary] The post provides links and references to a presentation on Jenkins CI for MacDevOps at the YVR 2016 conference, including slides and a video link. | |
| | | | |
fslab.org
|
|
| | | | | A recap of the year 2023 for FsLab | |
| | | | |
processalgebra.blogspot.com
|
|
| | | | | As I hope many members of the theoretical computer science community know, LIPIcs, Leibniz International Proceedings in Informatics, is a s... | |
| | | | |
popl18.sigplan.org
|
|
| | | POPL 2018 TutorialFest will be on Monday, 8 January 2018. This year POPL TutorialFest will consist of 8 tutorials (4 in the morning and 4 in the afternoon) of 3 hours each. Morning Session Message-Passing Concurrency and Substructural Logics. Slides - Live-coded examples - as a zip file. Frank Pfenning, Carnegie Mellon University. Code Obfuscation - a Hacking view on program analysis and understanding. Slides. Roberto Giacobazzi, University of Verona and IMDEA SW Institute. Equational reasoning for probabilistic programming. Handout. Chung-chieh Shan, Indiana University. Programming and ... | ||