agumonkey
- Karma
- 0
- Created
- ()
- Submissions
- 0
- 50 Years of Prolog: Becoming More Declarative [video] (youtube.com)
- The Prolog Day Symposium – November 10, 2022 – Slides and videos are now up (logicprogramming.org)
- MIT 16.399: Abstract Interpretation (2005) (web.mit.edu)
- Tails 5.0~beta1: Call for testing (tails.boum.org)
- Young's Lattice (en.wikipedia.org)
- Communication Complexity (en.wikipedia.org)
- Group effort to study the mathematical sciences for “saving the planet.” (azimuthproject.org)
- Hanoi Graphs and Sierpinski’s Triangle (thatsmaths.com)
- Vuejs v3 Release Candidate Docs (v3.vuejs.org)
- European Lisp Symposium 2020 Online [twitch] (twitch.tv)
- State of Clojure 2020 (clojure.org)
- Bushfires in Australia so big they generate pyrocumulonimbus starting more fires (businessinsider.sg)
- Mpemba effect – Hot water freezes faster (en.wikipedia.org)
- Linux Kernel Fastboot [pdf] (linuxplumbersconf.org)
- Houdini 17.5 Launch Talk (vimeo.com)
- Julia v1.1 Release Notes (github.com)
- It's Magit – John Weigley EmacsSF (youtu.be)