| --- Log opened Sat Oct 12 00:00:48 2019 |
| 00:33 | | celticminstrel [celticminst@Nightstar-ocfc15.dsl.bell.ca] has joined #code |
| 00:33 | | mode/#code [+o celticminstrel] by ChanServ |
| 00:46 | | Kindamoody is now known as Kindamoody[zZz] |
| 02:29 | | * McMartin pokes at Exercism once again. |
| 02:29 | <&McMartin> | I think in the intervening year I've actually gotten a handle on how "zipper" types are built, as opposed to merely how to use them. |
| 03:34 | | Degi [Degi@Nightstar-23lgo4.dyn.telefonica.de] has quit [Ping timeout: 121 seconds] |
| 03:35 | | Degi [Degi@Nightstar-j3t4ev.dyn.telefonica.de] has joined #code |
| 03:50 | | celticminstrel [celticminst@Nightstar-ocfc15.dsl.bell.ca] has quit [[NS] Quit: And lo! The computer falls into a deep sleep, to awake again some other day!] |
| 04:33 | | Pinkhair [user1@Nightstar-g7hdo5.dyn.optonline.net] has joined #code |
| 04:34 | | Pink [user1@Nightstar-g7hdo5.dyn.optonline.net] has quit [Ping timeout: 121 seconds] |
| 04:47 | | Vorntastic [uid293981@Nightstar-6br85t.irccloud.com] has joined #code |
| 04:48 | | mode/#code [+qo Vorntastic Vorntastic] by ChanServ |
| 04:49 | | * McMartin also pokes at the x86_64-asm track on Exercism, eyebrows at the degree to which it is sink-or-swim. |
| 04:50 | <&McMartin> | Also, ABIs passing all their shit in registers, what madness is this |
| 04:51 | | Pink [user1@Nightstar-g7hdo5.dyn.optonline.net] has joined #code |
| 04:53 | | Pinkhair [user1@Nightstar-g7hdo5.dyn.optonline.net] has quit [Ping timeout: 121 seconds] |
| 05:35 | | Derakon is now known as Derakon[AFK] |
| 07:47 | <&jeroud> | [R]: Many of the numbers you see in gmail's UI are estimates and/or stale. |
| 07:53 | | Kindamoody[zZz] is now known as Kindamoody |
| 09:17 | | Kindamoody is now known as Kindamoody|afk |
| 10:59 | | Emmy [Emmy@Nightstar-9p7hb1.direct-adsl.nl] has joined #code |
| 14:47 | | gnolam_ is now known as gnolam |
| 14:47 | | mode/#code [+o gnolam] by ChanServ |
| 15:10 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 15:10 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 15:48 | | celticminstrel [celticminst@Nightstar-ocfc15.dsl.bell.ca] has joined #code |
| 15:48 | | mode/#code [+o celticminstrel] by ChanServ |
| 15:57 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has quit [Ping timeout: 121 seconds] |
| 16:20 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 16:20 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 16:42 | <&ToxicFrog> | "zipper types"? |
| 17:11 | | VirusJTG [VirusJTG@Nightstar-42s.jso.104.208.IP] has quit [Connection reset by peer] |
| 17:15 | | VirusJTG [VirusJTG@Nightstar-42s.jso.104.208.IP] has joined #code |
| 17:15 | | mode/#code [+ao VirusJTG VirusJTG] by ChanServ |
| 17:20 | | VirusJTG [VirusJTG@Nightstar-42s.jso.104.208.IP] has quit [Connection reset by peer] |
| 17:41 | | gnolam [lenin@Nightstar-e3tf4i.priv.bahnhof.se] has quit [[NS] Quit: Fan trouble] |
| 17:46 | | gnolam [lenin@Nightstar-e3tf4i.priv.bahnhof.se] has joined #code |
| 17:46 | | mode/#code [+o gnolam] by ChanServ |
| 18:24 | | VirusJTG [VirusJTG@Nightstar-42s.jso.104.208.IP] has joined #code |
| 18:25 | | mode/#code [+ao VirusJTG VirusJTG] by ChanServ |
| 18:57 | | Vorntastic [uid293981@Nightstar-6br85t.irccloud.com] has quit [[NS] Quit: Connection closed for inactivity] |
| 19:23 | | Pinkhair [user1@Nightstar-g7hdo5.dyn.optonline.net] has joined #code |
| 19:25 | | Pink [user1@Nightstar-g7hdo5.dyn.optonline.net] has quit [Ping timeout: 121 seconds] |
| 20:02 | | Reiver is now known as Joe |
| 20:02 | | Vornicus is now known as Misty |
| 20:03 | | Kizor is now known as Shirley |
| 21:06 | | Derakon[AFK] is now known as Derakon |
| 21:07 | | Vash [Vash@Nightstar-sjaki9.res.rr.com] has joined #code |
| 21:28 | | Kindamoody|afk is now known as Kindamoody |
| 21:50 | <&McMartin> | ToxicFrog: https://clojuredocs.org/clojure.zip/zipper for the system I learned to use long ago |
| 21:50 | <&McMartin> | https://en.wikipedia.org/wiki/Zipper_(data_structure) for a more general case study |
| 21:52 | <&ToxicFrog> | Aah |
| 21:59 | <&McMartin> | And yesterday after throwing out all my previous attempts, I put together a working implementation of a binary-tree zipper in Erlang. |
| 22:04 | < Degi> | Hm microcontroller keeps crashing from EMI or so... |
| 22:04 | | Misty is now known as Vornicus |
| 22:04 | | Shirley is now known as Kizor |
| 22:11 | | Vash [Vash@Nightstar-sjaki9.res.rr.com] has quit [[NS] Quit: Leaving] |
| --- Log closed Sun Oct 13 00:00:50 2019 |