41554 blogs · [ { "id": "01a087cf-554a-7305-b0a0-9b8ab0bc98e8", "title": "Ryan Kavanagh's /dev/brain", "url": "https://rak.ac/publication/2024-message-observing-sessions/", "published_at": "2024-10-24T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab0cf52d6", "title": "Contact", "url": "https://rak.ac/contact/", "published_at": "2024-03-14T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab1aa7b85", "title": "Imprimer sous Linux avec les imprimantes Kyocera de l'UQAM", "url": "https://rak.ac/blog/2024-01-17-imprimer-sous-linux-uqam-informatique/", "published_at": "2024-01-18T19:50:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab1bc0a8d", "title": "Battery charge start and stop threshold on OpenBSD", "url": "https://rak.ac/blog/2023-12-20-battery-charge-start-stop-threshold-on-openbsd/", "published_at": "2023-12-20T16:11:59+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab22a9495", "title": "Routable network addresses with OpenIKED and systemd-networkd", "url": "https://rak.ac/blog/2022-06-25-routable-network-addresses-openiked-systemd-networkd/", "published_at": "2022-06-25T11:41:37+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab29177f9", "title": "Ryan Kavanagh's /dev/brain", "url": "https://rak.ac/publication/2022-channel-dependent-sessions-njpls/", "published_at": "2022-05-20T15:28:25+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab2e5523e", "title": "Ryan Kavanagh's /dev/brain", "url": "https://rak.ac/publication/2022-fairness-communication-based-semantics-session-typed-languages/", "published_at": "2022-04-19T00:36:38+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab3aa7cbd", "title": "Ryan Kavanagh's /dev/brain", "url": "https://rak.ac/publication/2021-communication-based-semantics-for-recursive-session-typed-processes/", "published_at": "2021-09-30T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab43d926f", "title": "Writing BASIC-8 on the TSS/8", "url": "https://rak.ac/blog/2021-04-07-writing-basic-8-on-the-tss-8/", "published_at": "2021-04-08T00:08:52+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab47713e2", "title": "Static Comments in Hugo", "url": "https://rak.ac/blog/2021-03-12-static-comments-in-hugo/", "published_at": "2021-03-12T18:32:34+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac5ef5751", "title": "Ryan Kavanagh's /dev/brain", "url": "https://rak.ac/publication/2015-explorations-on-the-wallace-bolyai-gerwien-theorem/", "published_at": "2021-02-23T03:13:43+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac8940f10", "title": "Ryan Kavanagh's /dev/brain", "url": "https://rak.ac/publication/2012-a-primer-on-provability-logic/", "published_at": "2021-02-23T03:09:19+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac9b50e5a", "title": "Ryan Kavanagh's /dev/brain", "url": "https://rak.ac/publication/2011-explorations-on-the-dimension-of-a-graph/", "published_at": "2021-02-23T02:56:41+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab495a5f1", "title": "Ryan Kavanagh's free software projects", "url": "https://rak.ac/projects/", "published_at": "2021-02-22T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac6e3be50", "title": "Ryan Kavanagh's /dev/brain", "url": "https://rak.ac/publication/2014-on-irreducible-rational-quintics/", "published_at": "2021-02-21T14:56:15+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab6f37049", "title": "Ryan Kavanagh's /dev/brain", "url": "https://rak.ac/publication/2020-domain-semantics-higher-order-recursive-processes/", "published_at": "2021-02-21T02:17:51+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8abd3bd5bd", "title": "Ryan Kavanagh's /dev/brain", "url": "https://rak.ac/publication/2018-denotational-account-c11-memory/", "published_at": "2021-02-21T01:47:20+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab4f64c27", "title": "Ryan Kavanagh's /dev/brain", "url": "https://rak.ac/publication/2020-parametrized-fixed-points-and-their-applications-to-session-types/", "published_at": "2021-02-13T17:18:17+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8abb62a7da", "title": "Ryan Kavanagh's /dev/brain", "url": "https://rak.ac/publication/2019-denotational-semantics-sparc-tso/", "published_at": "2021-02-12T17:29:21+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8abcfad947", "title": "Ryan Kavanagh's /dev/brain", "url": "https://rak.ac/publication/2018-denotational-semantics-sparc-tso/", "published_at": "2021-02-12T17:29:21+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab61ff1aa", "title": "Ryan Kavanagh's /dev/brain", "url": "https://rak.ac/publication/2020-substructural-observed-communication-semantics/", "published_at": "2021-02-12T15:48:02+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab50c4f6f", "title": "Charter Rights — If You Can Afford Them", "url": "https://rak.ac/blog/2021-02-02-charter-rights-if-you-can-afford-them/", "published_at": "2021-02-02T17:51:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab5aef7da", "title": "Configuring OpenIKED VPNs for StrongSwan Clients", "url": "https://rak.ac/blog/2020-09-12-configuring-openiked-vpns-for-strongswan-clients/", "published_at": "2020-09-12T21:42:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab73d84be", "title": "Creating LVM-backed schroots", "url": "https://rak.ac/blog/2020-01-23-creating-lvm-backed-schroots/", "published_at": "2020-01-23T21:09:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab80eba02", "title": "Usenet in 2020", "url": "https://rak.ac/blog/2020-01-12-usenet-in-2020/", "published_at": "2020-01-12T15:27:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab8bfbb83", "title": "On using multiple Kerberos realms and AFS", "url": "https://rak.ac/blog/2020-01-11-on-using-multiple-kerberos-realms-and-afs/", "published_at": "2020-01-12T02:38:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ab96dca83", "title": "On email tracking", "url": "https://rak.ac/blog/2019-11-16-on-email-tracking/", "published_at": "2019-11-16T18:09:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8aba6670f1", "title": "On mathematical folklore", "url": "https://rak.ac/blog/2019-08-01-on-mathematical-folklore/", "published_at": "2019-08-01T20:57:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8abad5d4f4", "title": "Why I study (natural) languages", "url": "https://rak.ac/blog/2019-07-18-why-i-study-natural-languages/", "published_at": "2019-07-18T17:38:46+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8abc2db742", "title": "On input validation and accessibility", "url": "https://rak.ac/blog/2018-09-02-on-accessibility-and-validating-user-input/", "published_at": "2018-09-02T18:48:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8abe39e31c", "title": "How not to check email address validity", "url": "https://rak.ac/blog/2018-03-30-how-not-to-check-email-validity/", "published_at": "2018-03-30T13:51:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8abee29038", "title": "Configuring the CMU SCS-Public printer on Linux", "url": "https://rak.ac/blog/2017-09-21-configuring-the-cmu-scs-public-printer-on-linux/", "published_at": "2017-09-21T13:56:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8abfacda67", "title": "Implementing popen and pclose in SML", "url": "https://rak.ac/blog/2017-09-15-implementing-popen-and-pclose-in-sml/", "published_at": "2017-09-15T19:55:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac094c027", "title": "Presheaf categories are Cartesian closed", "url": "https://rak.ac/blog/2016-08-24-presheaf-categories-are-cartesian-closed/", "published_at": "2016-08-24T21:40:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac14ffbb8", "title": "Configuring CMU SCS printers on Linux", "url": "https://rak.ac/blog/2016-08-15-configuring-cmu-scs-printers-on-linux/", "published_at": "2016-08-15T13:32:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac1d751f8", "title": "Specifying a custom MTA path in caff", "url": "https://rak.ac/blog/2016-04-16-specifying-a-custom-mta-path-in-caff/", "published_at": "2016-04-16T12:19:53+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac263dc07", "title": "The Yoneda Lemma", "url": "https://rak.ac/blog/2016-04-06-the-yoneda-lemma/", "published_at": "2016-04-06T14:18:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac35bc6d9", "title": "On terminal objects and colimits", "url": "https://rak.ac/blog/2016-03-28-on-terminal-objects-and-colimits/", "published_at": "2016-03-28T11:40:22+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac4303bef", "title": "Brouwer: Unreliability of the Logical Principles", "url": "https://rak.ac/blog/2016-03-04-brouwer-unreliability-of-the-logical-principles/", "published_at": "2016-03-05T04:55:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac49d11dc", "title": "Kushner: Markov's Constructive Mathematical Analysis", "url": "https://rak.ac/blog/2016-02-29-kushner-markovs-constructive-mathematical-analysis/", "published_at": "2016-02-29T12:00:53+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac4ddb86e", "title": "Blog Cleanup and Kubuntu Gutsy Gibbon Markups", "url": "https://rak.ac/blog/2016-02-28-kubuntu-gutsy-gibbon-markups/", "published_at": "2016-02-28T11:35:52+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac5a038e4", "title": "Ryan Kavanagh's /dev/brain", "url": "https://rak.ac/publication/2015-empirical-study-integration-activities/", "published_at": "2015-03-01T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac7a02198", "title": "Setting up full-disk encryption in OpenBSD 5.3", "url": "https://rak.ac/blog/2013-03-26-setting-up-full-disk-encryption-in-openbsd-5.3/", "published_at": "2013-03-26T13:40:54+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac7d20cab", "title": "Search RCS and CVS \",v\" files with rcsgrep", "url": "https://rak.ac/blog/2013-02-20-grep-rcs-cvs-files-with-rcsgrep/", "published_at": "2013-02-20T08:52:09+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac8322cbc", "title": "Viewing man pages by path on OpenBSD", "url": "https://rak.ac/blog/2013-02-19-viewing-man-pages-by-path-on-openbsd/", "published_at": "2013-02-19T09:12:15+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac86a7f02", "title": "Fixing mutt header cache", "url": "https://rak.ac/blog/2012-07-03-fixing-mutt-header-cache/", "published_at": "2012-07-03T10:47:37+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ac947b830", "title": "mutt-fetchbug: fetch BTS bug reports from mutt", "url": "https://rak.ac/blog/2012-01-05-mutt-fetchbug/", "published_at": "2012-01-05T15:58:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8aca04180b", "title": "New Kubuntu Wiki Theme", "url": "https://rak.ac/blog/2011-10-13-new-kubuntu-wiki-theme/", "published_at": "2011-10-13T08:20:18+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8acadb29bc", "title": "Holiday MOTD", "url": "https://rak.ac/blog/2010-12-06-holiday-motd/", "published_at": "2010-12-06T20:23:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8acb2c9eae", "title": "Numbering paragraphs in LaTeX", "url": "https://rak.ac/blog/2010-12-05-numbering-paragraphs-in-latex/", "published_at": "2010-12-05T13:45:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8acb785d4e", "title": "Turnin-NG 1.1 released!", "url": "https://rak.ac/blog/2010-09-01-turnin-ng-1.1-released/", "published_at": "2010-09-02T02:13:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8acb8fdddf", "title": "Venetian Veal Liver", "url": "https://rak.ac/blog/2010-08-19-venetian-veal-liver/", "published_at": "2010-08-19T22:59:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8acc825644", "title": "Easily download CTAN packages", "url": "https://rak.ac/blog/2010-05-16-easily-download-ctan-packages/", "published_at": "2010-05-16T12:13:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8acc8a5a71", "title": "Kobby 1.0 beta 5 now available in Kubuntu Lucid", "url": "https://rak.ac/blog/2010-04-14-kobby_1.0-beta5-now-available-in-kubuntu-lucid/", "published_at": "2010-04-14T14:26:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8accb9f682", "title": "Migrated blog to HTML5", "url": "https://rak.ac/blog/2010-04-06-migrated-blog-to-html5/", "published_at": "2010-04-06T20:52:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8acd14f376", "title": "ASCIImations from 1968 and present day", "url": "https://rak.ac/blog/2010-03-22-23-asciimations-from-1968-and-present-day/", "published_at": "2010-03-22T15:59:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8acd2f2510", "title": "Gavotte accepted at Petrucci Music Library", "url": "https://rak.ac/blog/2010-03-21-54-gavotte-accepted-at-petrucci-music-library/", "published_at": "2010-03-21T18:01:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8acd54c28d", "title": "Prokofiev's Gavotte typeset with LilyPond", "url": "https://rak.ac/blog/2010-03-20-prokofievs-gavotte-typeset-with-lilypond/", "published_at": "2010-03-20T20:43:22+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8acd6c0fac", "title": "Moving to Jekyll", "url": "https://rak.ac/blog/2010-03-19-moving-to-jekyll/", "published_at": "2010-03-19T11:35:52+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ace3684eb", "title": "New Kubuntu Website Look", "url": "https://rak.ac/blog/2010-02-19-new-kubuntu-website-look/", "published_at": "2010-02-19T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ace4c56ff", "title": "cd -", "url": "https://rak.ac/blog/2010-01-29-cd--/", "published_at": "2010-01-29T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8acec10f1b", "title": "New GPG key", "url": "https://rak.ac/blog/2009-09-27-new-gpg-key/", "published_at": "2009-09-27T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8acfa20908", "title": "Fixing \"mount.nfs: mount system call failed\" on a Debian NFS server", "url": "https://rak.ac/blog/2009-09-21-fixing-nfs-on-debian/", "published_at": "2009-09-21T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8acffb647d", "title": "Quassel like monitor window for irssi", "url": "https://rak.ac/blog/2009-08-29-quassel-monitor-window-in-irssi/", "published_at": "2009-08-29T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad0641630", "title": "Quota prettyfier and getting quota information from Windows", "url": "https://rak.ac/blog/2009-08-19-quotta-prettyfier/", "published_at": "2009-08-19T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad0fe0528", "title": "Looking for a project name", "url": "https://rak.ac/blog/2009-06-26-looking-for-a-project-name/", "published_at": "2009-06-26T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad1f772ae", "title": "New Kubuntu Wiki theme!", "url": "https://rak.ac/blog/2009-06-19-new-kubuntu-wiki-theme/", "published_at": "2009-06-19T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad2df7fba", "title": "Book meme", "url": "https://rak.ac/blog/2008-11-11-book-meme/", "published_at": "2008-11-11T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad31926a8", "title": "Installing a vanilla Firefox in Kubuntu Intrepid", "url": "https://rak.ac/blog/2008-11-11-vanilla-firefox-intrepid/", "published_at": "2008-11-11T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad3a7eb45", "title": "Calling for Intrepid Screenshots", "url": "https://rak.ac/blog/2008-10-28-calling-intrepid-screenshots/", "published_at": "2008-10-28T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad46b117a", "title": "New Kubuntu Website", "url": "https://rak.ac/blog/2008-07-14-new-kubuntu-website/", "published_at": "2008-07-14T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad529f2b9", "title": "All day trivia special", "url": "https://rak.ac/blog/2007-12-31-all-day-trivia-special/", "published_at": "2007-12-31T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad5e27abe", "title": "New speakers!", "url": "https://rak.ac/blog/2007-09-02-new-speakers/", "published_at": "2007-09-02T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad68a6573", "title": "Vacation", "url": "https://rak.ac/blog/2007-08-04-vacation/", "published_at": "2007-08-04T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad6c152d4", "title": "Happy Sysadmin Appreciation Day!", "url": "https://rak.ac/blog/2007-07-26-happy-sysadmin-appreciation-day/", "published_at": "2007-07-26T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad75ba363", "title": "C++, Here I come...", "url": "https://rak.ac/blog/2007-07-10-c-here-i-come/", "published_at": "2007-07-10T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad777224c", "title": "Chainmail Rosary", "url": "https://rak.ac/blog/2007-07-09-chainmail-rosary/", "published_at": "2007-07-09T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad798acd4", "title": "How to switch caps lock with the right Ctrl key", "url": "https://rak.ac/blog/2007-05-29-how-to-switch-caps-lock-with-the-right-ctrl-key/", "published_at": "2007-05-29T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad887e3c3", "title": "Dvorak after 3 weeks", "url": "https://rak.ac/blog/2007-05-26-dvorak-after-2-weeks/", "published_at": "2007-05-26T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad9440790", "title": "Riddles anybody?", "url": "https://rak.ac/blog/2007-05-16-riddles-anybody/", "published_at": "2007-05-16T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad99bde1c", "title": "Ubuntu and Kubuntu CDs", "url": "https://rak.ac/blog/2007-05-15-ubuntu-and-kubuntu-cds/", "published_at": "2007-05-15T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad9a1f09a", "title": "Light and dark blue anklet", "url": "https://rak.ac/blog/2007-05-11-light-and-dark-blue-anklet/", "published_at": "2007-05-11T00:00:00+00:00" }, { "id": "01a087cf-554a-7305-b0a0-9b8ad9f3b49e", "title": "Dvorak anybody?", "url": "https://rak.ac/blog/2007-05-06-dvorak-anybody/", "published_at": "2007-05-06T00:00:00+00:00" }, { "id": "01a087cf-554b-7344-82c8-7673cbf82797", "title": "Fancy desktop notification for irssi!", "url": "https://rak.ac/blog/2007-04-29-fancy-desktop-notification-for-irssi/", "published_at": "2007-04-29T00:00:00+00:00" }, { "id": "01a087cf-554b-7344-82c8-7673cc60e361", "title": "Questions needed for Quizbuntu", "url": "https://rak.ac/blog/2007-04-21-questions-needed-for-quizbuntu/", "published_at": "2007-04-21T00:00:00+00:00" }, { "id": "01a087cf-554b-7344-82c8-7673cc856c0f", "title": "CBC recommends Ubuntu to average user", "url": "https://rak.ac/blog/2007-03-25-cbc-recommends-ubuntu-to-average-user/", "published_at": "2007-03-25T00:00:00+00:00" }, { "id": "01a087cf-554b-7344-82c8-7673cd77511b", "title": "Ubuntu Trivia, 24/7", "url": "https://rak.ac/blog/2007-03-07-ubuntu-trivia-247/", "published_at": "2007-03-07T00:00:00+00:00" }, { "id": "01a087cf-554b-7344-82c8-7673ce4f5ae3", "title": "Teaching", "url": "https://rak.ac/teaching/", "published_at": null } ] posts Claim your blog
Back to rak.ac
Blog · corpus.blog/blogs/rak.ac/posts

rak.ac

rak.ac

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2013

2012

2011

2010

29 Jan 2010

2009

2008

2007

Undated