Explore >> Select a destination


You are here

adventures.nodeland.dev
| | macops.ca
5.0 parsecs away

Travel
| | [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
8.9 parsecs away

Travel
| | A recap of the year 2023 for FsLab
| | processalgebra.blogspot.com
9.6 parsecs away

Travel
| | As I hope many members of the theoretical computer science community know, LIPIcs, Leibniz International Proceedings in Informatics, is a s...
| | popl18.sigplan.org
28.1 parsecs away

Travel
| 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 ...