Chat Room - 19 users - 46 minutes ago - current topic: WE ♥ Paul Richard I by the Grace of God of the United Kingdom of Debian and Ubuntu and of his other realms King Head of the Hy Programming Language Defender of the Faith Grand Officer of the OSI | Today 15:00 UTC autograph session with paultag | Tomorrow: GR to rename Debian to Paultagian | HAIRY CANDY for HIS MAJTAGSTY | Home of ð Category: Debian Pau Chat Rooms
Chat Room - 117 users - 46 minutes ago - current topic: Agda: is it a dependently-typed programming language? Is it a proof-assistant based on intuitionistic type theory? ¯\(°_0)/¯ Dunno, lol. | Wiki: http://bit.ly/7pSJE | Logs: http://agda.orangesquash.org.uk/ | http://news.gmane.org/gmane.comp.lang.agda | Please comment your Agda | Lib: http://bit.ly/RivPPG Category: Agda Chat Rooms
Chat Room - 5 users - 46 minutes ago - current topic: Parenthesis | > 4 lines - http://gist.github.com | General programming channel | Be warned: instant bans are given out to people who are nasty to others. | Keep your religious/political views to yourself | This channel is quite dead, don't be surprised if no one talks back. But do ping dom96 if you have something important to say.
Chat Room - 6 users - 46 minutes ago - current topic: Update! http://goo.gl/lVE1D - Welcome to Tango - the platform library for the D programming language - http://www.dsource.org/projects/tango - Tango 0.99.9 Kai released - Download: http://www.dsource.org/projects/tango/wiki/Download - Paste: http://tango.pastebin.com - API docs: http://www.dsource.org/projects/tango/docs/stable Category: Tango Chat Rooms
Chat Room - 85 users - 46 minutes ago - current topic: IOCCC winners are announced; source code release planned 2019-07 | Welcome to the international center for esoteric programming language design, development, and deployment! | https://esolangs.org | logs: https://esolangs.org/logs/ http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D
Chat Room - 67 users - 46 minutes ago - current topic: Queensland Functional Programming Lab http://qfpl.io/ | Source repositories http://git.qfpl.io/ | Notifications about future courses http://notify.qfpl.io/ | Location http://location.qfpl.io/ | QFPL lives in UTC+10 and speaks Zulu time. | UBT ~ Unethical Brisbane Time. There is a possibility that it is UTC+10