Logs on 2025-04-24 (liberachat/#haskell)
| 00:04:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 00:04:49 | × | comonad quits (~comonad@p54a035f0.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 00:08:50 | <mauke> | you gotta distinguish between exposing structure and mere text compression |
| 00:09:04 | → | comonad joins (~comonad@p200300d027303e00f556181ab74e36af.dip0.t-ipconnect.de) |
| 00:14:17 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 00:14:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:15:21 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 00:15:42 | × | mceresa quits (~mceresa@user/mceresa) (Ping timeout: 252 seconds) |
| 00:15:55 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 00:17:53 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 00:17:56 | → | j1n37 joins (~j1n37@user/j1n37) |
| 00:19:43 | × | acidjnk quits (~acidjnk@p200300d6e71c4f35189c4bef71fa2fe9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 00:19:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:26:24 | → | mceresa joins (~mceresa@user/mceresa) |
| 00:28:20 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 00:30:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:31:11 | × | mceresa quits (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
| 00:31:35 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 00:37:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:45:13 | × | otto_s quits (~user@p4ff2790f.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 00:46:51 | → | otto_s joins (~user@p4ff274cd.dip0.t-ipconnect.de) |
| 00:48:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:52:07 | × | euleritian quits (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 00:52:28 | → | euleritian joins (~euleritia@77.23.248.47) |
| 00:53:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:56:55 | → | prdak joins (~Thunderbi@user/prdak) |
| 01:00:39 | × | euleritian quits (~euleritia@77.23.248.47) (Remote host closed the connection) |
| 01:00:54 | → | euleritian joins (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 01:01:05 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 01:03:30 | × | xff0x quits (~xff0x@2405:6580:b080:900:3224:6849:dd00:457c) (Ping timeout: 272 seconds) |
| 01:04:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:08:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:10:08 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 01:10:49 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 01:15:23 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 01:16:58 | × | __jmcantrell__ quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 01:20:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:21:11 | → | prdak joins (~Thunderbi@user/prdak) |
| 01:25:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:25:22 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 01:34:05 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 01:35:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:40:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 01:51:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:56:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 01:57:43 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:07:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:10:26 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 02:10:27 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 02:14:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 02:23:04 | × | sp1ff quits (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 02:25:18 | × | td_ quits (~td@i5387092F.versanet.de) (Ping timeout: 276 seconds) |
| 02:25:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:26:20 | → | td_ joins (~td@83.135.9.7) |
| 02:29:18 | → | EvanR joins (~EvanR@user/evanr) |
| 02:30:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:31:38 | → | Katarushisu6 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 02:33:34 | × | Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 252 seconds) |
| 02:33:34 | Katarushisu6 | is now known as Katarushisu |
| 02:35:02 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 02:41:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:46:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:52:27 | → | j1n37- joins (~j1n37@user/j1n37) |
| 02:53:49 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 02:56:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:01:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:07:07 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 03:09:05 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 03:12:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:17:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 03:17:56 | → | mceresa joins (~mceresa@user/mceresa) |
| 03:28:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:29:41 | → | aforemny_ joins (~aforemny@2001:9e8:6cc4:a200:cdb7:b741:f6b2:ab55) |
| 03:29:53 | × | aforemny quits (~aforemny@2001:9e8:6ce5:1f00:ffd3:1d85:d158:aa27) (Ping timeout: 268 seconds) |
| 03:32:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:40:35 | → | michalz joins (~michalz@185.246.207.205) |
| 03:42:14 | → | sp1ff joins (~user@c-67-160-173-55.hsd1.wa.comcast.net) |
| 03:43:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:45:27 | × | dutchie quits (~dutchie@user/dutchie) (Remote host closed the connection) |
| 03:50:11 | → | dutchie joins (~dutchie@user/dutchie) |
| 03:51:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 04:01:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:06:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:14:58 | × | Googulator8 quits (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 04:15:26 | → | Googulator8 joins (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 04:17:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:18:06 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:22:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:32:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:38:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 04:45:15 | × | m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 244 seconds) |
| 04:48:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:48:51 | × | puke quits (~puke@user/puke) (Read error: Connection reset by peer) |
| 04:49:09 | → | puke joins (~puke@user/puke) |
| 04:53:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 05:04:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:05:30 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 05:09:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:18:28 | <haskellbridge> | <Liamzee> welp, sponsors page has been updated, and some errors exist |
| 05:18:49 | <haskellbridge> | <Liamzee> i guess this is the inevitable result of using accursedUnutterablePerformIO unsafely |
| 05:19:26 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 05:19:58 | → | rvalue joins (~rvalue@user/rvalue) |
| 05:20:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:22:36 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 05:23:10 | → | pabs3 joins (~pabs3@user/pabs3) |
| 05:27:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 05:31:07 | × | xstill_ quits (xstill@fimu/xstill) (Ping timeout: 276 seconds) |
| 05:32:02 | → | xstill_ joins (xstill@fimu/xstill) |
| 05:34:20 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 05:38:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:42:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 05:45:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:46:26 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 05:49:35 | → | j1n37 joins (~j1n37@user/j1n37) |
| 05:50:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 05:56:14 | → | prdak joins (~Thunderbi@user/prdak) |
| 05:56:35 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:00:33 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:01:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:02:59 | → | m5zs7k joins (aquares@web10.mydevil.net) |
| 06:03:01 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 06:06:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:08:29 | → | prdak joins (~Thunderbi@user/prdak) |
| 06:09:45 | × | echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 06:10:41 | → | echoreply joins (~echoreply@45.32.163.16) |
| 06:17:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:17:00 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:20:25 | → | fp joins (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) |
| 06:21:45 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:22:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:23:07 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:26:51 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:27:00 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:27:23 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:29:20 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:32:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:33:15 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 06:33:32 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 06:33:47 | → | acidjnk joins (~acidjnk@p200300d6e71c4f35ed65b51df1ecdd42.dip0.t-ipconnect.de) |
| 06:34:52 | × | acidjnk quits (~acidjnk@p200300d6e71c4f35ed65b51df1ecdd42.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 06:35:18 | → | acidjnk joins (~acidjnk@p200300d6e71c4f35ed65b51df1ecdd42.dip0.t-ipconnect.de) |
| 06:36:08 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:38:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 06:42:08 | → | acidjnk_new joins (~acidjnk@p200300d6e71c4f80ed65b51df1ecdd42.dip0.t-ipconnect.de) |
| 06:45:52 | × | acidjnk quits (~acidjnk@p200300d6e71c4f35ed65b51df1ecdd42.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 07:00:02 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:01:01 | → | caconym joins (~caconym@user/caconym) |
| 07:02:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:07:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 07:13:17 | → | prdak joins (~Thunderbi@user/prdak) |
| 07:14:59 | → | tromp joins (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 07:18:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:20:37 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:20:39 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 07:21:24 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 07:22:01 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:22:22 | → | alecs joins (~alecs@nat16.software.imdea.org) |
| 07:23:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 07:23:28 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:24:47 | × | fp quits (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 272 seconds) |
| 07:25:31 | → | fp joins (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) |
| 07:26:14 | → | prdak joins (~Thunderbi@user/prdak) |
| 07:27:08 | × | haritzondo quits (~hrtz@152.37.68.178) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 07:33:39 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 07:35:17 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 07:39:37 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 07:40:57 | × | nadja quits (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
| 07:41:09 | → | nadja joins (~dequbed@banana-new.kilobyte22.de) |
| 07:54:57 | × | tessier quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 248 seconds) |
| 07:58:56 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:01:15 | → | merijn joins (~merijn@77.242.116.146) |
| 08:03:45 | × | notdabs quits (~Owner@2600:1700:69cf:9000:c9c8:e2be:ff6d:9e09) (Quit: Leaving) |
| 08:17:04 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 08:18:10 | × | prdak quits (~Thunderbi@user/prdak) (Quit: prdak) |
| 08:21:09 | × | superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.5.2) |
| 08:32:10 | → | superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 08:34:39 | × | fp quits (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 244 seconds) |
| 08:37:21 | → | Square2 joins (~Square4@user/square) |
| 08:40:06 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:42:15 | → | swamp_ joins (~zmt00@user/zmt00) |
| 08:45:24 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 08:48:01 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 08:55:10 | <haskellbridge> | <Liamzee> what are the pros and cons of having a PGRef type? Wherein PG refers to Postgres? |
| 08:55:53 | <haskellbridge> | <Liamzee> that's to say, a Postgres table is described as an immutable reference to a mutable Postgres table in some database |
| 08:56:29 | <haskellbridge> | <Liamzee> I mean, afaik, the ecosystem around postgres is relatively mature, but is there a benefit to having a PGRef type? |
| 08:57:49 | <mari-estel> | are you not using a library Liamzee? |
| 08:59:11 | <haskellbridge> | <Liamzee> i am |
| 08:59:28 | <haskellbridge> | <Liamzee> i'm just wondering if PGRef would be a better way to do it than existing systems |
| 09:00:39 | <mari-estel> | main drawback i can think of, you lose abstraction over the database engine |
| 09:02:54 | × | alecs quits (~alecs@nat16.software.imdea.org) (Ping timeout: 240 seconds) |
| 09:03:06 | <tomsmeding> | Liamzee: core to the API of databases is queries spanning multiple tables and transactions spanning multiple queries |
| 09:03:20 | <tomsmeding> | I'm not sure how that would be more natural using something like a PGRef |
| 09:03:59 | → | dhil joins (~dhil@5.151.29.137) |
| 09:04:18 | → | chele joins (~chele@user/chele) |
| 09:08:44 | <haskellbridge> | <Liamzee> i'm actually wondering if PGRef would offer any advantages over existing systems |
| 09:09:18 | <haskellbridge> | <Liamzee> like, fooRef implies an immutable pointer to a mutable object |
| 09:09:49 | <haskellbridge> | <Liamzee> beyond, say, the base case of shared memory, does representing network, database, or even file resources as a reference have any advantages at all? |
| 09:10:25 | <tomsmeding> | it depends on whether the operations you want to perform on that resource are anything like those that are natural on a mutable reference |
| 09:11:03 | <haskellbridge> | <Liamzee> and that idea essentially points to ResourceT |
| 09:11:05 | <haskellbridge> | <Liamzee> https://hackage.haskell.org/package/resourcet |
| 09:27:10 | × | bcksl quits (~bcksl@user/bcksl) (Ping timeout: 260 seconds) |
| 09:27:34 | × | end quits (~end@user/end/x-0094621) (Ping timeout: 260 seconds) |
| 09:28:01 | × | sus0 quits (zero@user/zeromomentum) (Ping timeout: 252 seconds) |
| 09:33:33 | × | jcarpenter2 quits (~lol@96.78.87.197) (Ping timeout: 244 seconds) |
| 09:35:06 | → | jcarpenter2 joins (~lol@96.78.87.197) |
| 09:37:44 | → | jacopovalanzano joins (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 09:41:24 | → | j1n37- joins (~j1n37@user/j1n37) |
| 09:42:45 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 09:54:40 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 09:58:27 | → | bcksl joins (~bcksl@user/bcksl) |
| 10:08:32 | → | fp joins (~Thunderbi@2001:708:150:10::1d80) |
| 10:09:45 | → | end joins (~end@user/end/x-0094621) |
| 10:11:10 | → | sus0 joins (zero@user/zeromomentum) |
| 10:15:49 | × | acidjnk_new quits (~acidjnk@p200300d6e71c4f80ed65b51df1ecdd42.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 10:20:41 | × | sand-witch quits (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
| 10:21:30 | → | sand-witch joins (~m-mzmz6l@vmi833741.contaboserver.net) |
| 10:30:20 | → | mari82815 joins (~mari-este@user/mari-estel) |
| 10:32:29 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 245 seconds) |
| 10:53:34 | → | __monty__ joins (~toonn@user/toonn) |
| 10:59:01 | → | xff0x joins (~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) |
| 11:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 11:01:06 | → | acidjnk_new joins (~acidjnk@p200300d6e71c4f80ed65b51df1ecdd42.dip0.t-ipconnect.de) |
| 11:02:01 | → | jespada joins (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) |
| 11:02:11 | → | caconym joins (~caconym@user/caconym) |
| 11:03:41 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 11:05:46 | → | kmein joins (~weechat@user/kmein) |
| 11:15:11 | × | tromp quits (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:30:59 | → | shaeto joins (~Shaeto@94.25.234.42) |
| 11:33:10 | × | jespada quits (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 11:36:02 | → | paotsaq joins (~paotsaq@2001:818:ea0e:8300:6733:50c0:6d2:30c2) |
| 11:36:59 | → | tromp joins (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 11:37:40 | → | jespada joins (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) |
| 11:38:35 | × | qaotsap quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (Ping timeout: 244 seconds) |
| 11:38:47 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 11:45:08 | → | euphores joins (~SASL_euph@user/euphores) |
| 11:46:14 | × | mari82815 quits (~mari-este@user/mari-estel) (Ping timeout: 245 seconds) |
| 11:56:04 | → | comerijn joins (~merijn@77.242.116.146) |
| 11:56:59 | → | j1n37 joins (~j1n37@user/j1n37) |
| 11:57:08 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 11:58:22 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 12:18:02 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 12:19:38 | → | j1n37 joins (~j1n37@user/j1n37) |
| 12:21:21 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 12:21:46 | → | gentauro joins (~gentauro@user/gentauro) |
| 12:26:27 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 252 seconds) |
| 12:28:14 | × | fp quits (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 268 seconds) |
| 12:29:13 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 244 seconds) |
| 12:29:39 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 12:30:06 | × | tromp quits (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:30:14 | → | tomku joins (~tomku@user/tomku) |
| 12:36:18 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 12:37:22 | → | tromp joins (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 12:47:25 | → | weary-traveler joins (~user@user/user363627) |
| 12:49:54 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 12:49:54 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 12:49:54 | → | haritz joins (~hrtz@user/haritz) |
| 13:00:44 | → | qaotsap joins (~paotsaq@2001:818:ea0e:8300:6733:50c0:6d2:30c2) |
| 13:03:24 | × | paotsaq quits (~paotsaq@2001:818:ea0e:8300:6733:50c0:6d2:30c2) (Ping timeout: 260 seconds) |
| 13:05:25 | × | Googulator8 quits (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 13:06:27 | → | Googulator joins (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 13:11:27 | → | AlexNoo_ joins (~AlexNoo@178.34.151.238) |
| 13:13:57 | × | AlexZenon quits (~alzenon@94.233.240.73) (Ping timeout: 248 seconds) |
| 13:15:20 | × | AlexNoo quits (~AlexNoo@94.233.240.73) (Ping timeout: 265 seconds) |
| 13:18:02 | → | AlexZenon joins (~alzenon@178.34.151.238) |
| 13:24:53 | × | Buliarous quits (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 13:25:22 | → | Buliarous joins (~gypsydang@46.232.210.139) |
| 13:31:19 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 14:13:53 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 14:17:44 | → | BolzmannPain joins (~BolzmannP@user/BolzmannPain) |
| 14:17:53 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 14:19:11 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 14:24:36 | × | euleritian quits (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 14:25:53 | → | euleritian joins (~euleritia@77.23.248.47) |
| 14:30:22 | × | euleritian quits (~euleritia@77.23.248.47) (Ping timeout: 272 seconds) |
| 14:30:29 | AlexNoo_ | is now known as AlexNoo |
| 14:31:02 | → | euleritian joins (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) |
| 14:35:53 | × | euleritian quits (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 14:36:11 | → | euleritian joins (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 14:41:53 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 14:42:36 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 14:47:50 | × | BolzmannPain quits (~BolzmannP@user/BolzmannPain) (Quit: Client closed) |
| 14:48:08 | → | BolzmannPain joins (~BolzmannP@user/BolzmannPain) |
| 14:50:11 | → | alecs joins (~alecs@nat16.software.imdea.org) |
| 14:55:19 | × | euleritian quits (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 14:56:22 | → | euleritian joins (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) |
| 14:56:53 | × | acidjnk_new quits (~acidjnk@p200300d6e71c4f80ed65b51df1ecdd42.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 14:57:44 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 14:59:04 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 14:59:39 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 15:01:24 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 15:06:32 | × | tromp quits (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:06:54 | × | jacopovalanzano quits (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 15:09:14 | → | acidjnk_new joins (~acidjnk@p200300d6e71c4f805da7edc33ed0f570.dip0.t-ipconnect.de) |
| 15:14:31 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:18:41 | × | euleritian quits (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 15:22:01 | → | tromp joins (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 15:26:52 | × | shaeto quits (~Shaeto@94.25.234.42) (Ping timeout: 252 seconds) |
| 15:28:47 | → | shaeto joins (~Shaeto@94.25.234.131) |
| 15:32:45 | × | Googulator quits (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 15:33:01 | → | Googulator joins (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 15:33:06 | × | shaeto quits (~Shaeto@94.25.234.131) (Ping timeout: 252 seconds) |
| 15:34:50 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 15:35:04 | → | shaeto joins (~Shaeto@94.25.234.185) |
| 15:38:52 | × | dhil quits (~dhil@5.151.29.137) (Ping timeout: 276 seconds) |
| 15:39:10 | → | fp1 joins (~Thunderbi@2001:708:150:10::1d80) |
| 15:41:15 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds) |
| 15:41:15 | fp1 | is now known as fp |
| 15:46:21 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 15:48:00 | × | BolzmannPain quits (~BolzmannP@user/BolzmannPain) (Quit: Client closed) |
| 15:50:01 | × | mceresa quits (~mceresa@user/mceresa) (Remote host closed the connection) |
| 15:51:35 | → | mceresa joins (~mceresa@user/mceresa) |
| 15:53:55 | × | acidjnk_new quits (~acidjnk@p200300d6e71c4f805da7edc33ed0f570.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 15:59:49 | × | alecs quits (~alecs@nat16.software.imdea.org) (Quit: Client closed) |
| 16:00:52 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:09:11 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 16:13:45 | → | gentauro joins (~gentauro@user/gentauro) |
| 16:17:51 | → | euleritian joins (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) |
| 16:19:46 | × | jespada quits (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 16:24:48 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 16:39:06 | × | euleritian quits (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:39:23 | → | euleritian joins (~euleritia@77.23.248.47) |
| 16:47:49 | × | euleritian quits (~euleritia@77.23.248.47) (Ping timeout: 248 seconds) |
| 16:48:45 | → | euleritian joins (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) |
| 16:55:10 | × | euleritian quits (~euleritia@dynamic-176-006-134-229.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:55:30 | → | euleritian joins (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 17:01:59 | × | Square2 quits (~Square4@user/square) (Ping timeout: 260 seconds) |
| 17:03:32 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 17:03:36 | → | jespada joins (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) |
| 17:03:38 | × | infinity0 quits (~infinity0@pwned.gg) (Quit: WeeChat 4.4.3) |
| 17:04:21 | → | infinity0 joins (~infinity0@pwned.gg) |
| 17:06:35 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 17:11:43 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 17:13:46 | × | fp quits (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 276 seconds) |
| 17:15:57 | × | tromp quits (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:36:24 | → | tromp joins (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 17:36:34 | → | haritzondo joins (~hrtz@152.37.68.178) |
| 17:36:35 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 260 seconds) |
| 17:36:46 | → | tessier joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 17:46:07 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:48:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:53:10 | → | notdabs joins (~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) |
| 17:53:23 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 17:53:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:04:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:09:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 18:16:52 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |
| 18:17:24 | × | jespada quits (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 18:18:13 | → | jespada joins (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) |
| 18:20:53 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) |
| 18:20:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:24:20 | × | Rembane quits (~Rembane@user/Rembane) (Quit: WeeChat 4.1.1) |
| 18:25:03 | → | irssi joins (~Rembane@user/Rembane) |
| 18:25:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:29:39 | × | tromp quits (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:35:33 | → | sprotte24 joins (~sprotte24@p200300d16f39dc0021da69fc15788ac5.dip0.t-ipconnect.de) |
| 18:36:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:37:56 | → | dhil joins (~dhil@5.151.29.139) |
| 18:40:16 | × | shaeto quits (~Shaeto@94.25.234.185) (Quit: WeeChat 4.1.1) |
| 18:42:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 18:42:53 | → | acidjnk_new joins (~acidjnk@p200300d6e71c4f805da7edc33ed0f570.dip0.t-ipconnect.de) |
| 18:46:05 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 18:52:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:53:26 | × | haritzondo quits (~hrtz@152.37.68.178) (Changing host) |
| 18:53:26 | → | haritzondo joins (~hrtz@user/haritz) |
| 18:53:50 | → | rvalue- joins (~rvalue@user/rvalue) |
| 18:54:34 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 18:57:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 19:00:03 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:03 | irssi | is now known as Rembane |
| 19:00:31 | rvalue- | is now known as rvalue |
| 19:00:44 | → | caconym joins (~caconym@user/caconym) |
| 19:08:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:12:45 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:16:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 19:19:52 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:21:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:27:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 19:37:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:42:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 19:43:52 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 19:47:03 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:47:34 | → | j1n37- joins (~j1n37@user/j1n37) |
| 19:47:50 | × | myme quits (~myme@2a01:799:d5e:5f00:7e8f:5ef0:4e85:b364) (Ping timeout: 260 seconds) |
| 19:48:27 | → | myme joins (~myme@2a01:799:d5e:5f00:de67:3465:9a6a:d0b8) |
| 19:48:37 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 19:52:01 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:53:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:58:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:59:35 | × | notdabs quits (~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) (Quit: Leaving) |
| 20:00:53 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 20:06:59 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 20:08:10 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 20:09:07 | → | Digit joins (~user@user/digit) |
| 20:09:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:11:01 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 20:13:53 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 20:14:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:19:10 | → | Digit joins (~user@user/digit) |
| 20:22:49 | → | tromp joins (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) |
| 20:22:55 | × | Googulator quits (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 20:22:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:23:10 | → | Googulator joins (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 20:24:24 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 20:25:43 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 20:26:57 | × | euleritian quits (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 20:27:46 | → | euleritian joins (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
| 20:28:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 20:31:10 | × | Googulator quits (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 20:31:24 | → | Googulator joins (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 20:36:34 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 20:37:30 | → | Digit joins (~user@user/digit) |
| 20:37:41 | <EvanR> | in an installment on how APL does something better than haskell, apparently they side step the whole LexicalNegation or NegativeLiterals or this one special unary operator thing by having - means subtraction and ¯ denotes a negative value like ¯5 |
| 20:38:05 | → | Digitteknohippie joins (~user@user/digit) |
| 20:38:39 | <EvanR> | - is also the unary negate function |
| 20:38:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:39:22 | <L29Ah> | not being restricted by ASCII helps |
| 20:39:49 | <L29Ah> | (with much of APL in fact) |
| 20:43:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:47:06 | × | Digitteknohippie quits (~user@user/digit) (Quit: woops double connection) |
| 20:47:27 | → | notdabs joins (~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) |
| 20:48:17 | Digit | is now known as Digitteknohippie |
| 20:48:31 | Digitteknohippie | is now known as Digit |
| 20:53:23 | <EvanR> | they should have invented more programming languages before ASCII! |
| 20:53:43 | <EvanR> | the original "worse is better" character set |
| 20:54:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:54:50 | → | Square2 joins (~Square4@user/square) |
| 20:54:57 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 20:58:03 | <monochrom> | SML also uses ~3 for negative 3. |
| 20:58:29 | <monochrom> | But I forgot whether ~x is acccepted. |
| 20:59:26 | <monochrom> | EBCDIC was before ASCII and didn't really help. They should have invented more programming languages before even EBCDIC! |
| 21:00:40 | <monochrom> | Slippery slope taken to the limit: They should have invented more programming languages before any hardware! So that more languages were liberated from the von Neumann model on day 1. |
| 21:01:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 21:05:51 | <L29Ah> | http://boundvariable.org/task.shtml |
| 21:06:29 | × | nacation quits (~m-3l4s76@user/nacation) (Ping timeout: 248 seconds) |
| 21:08:02 | <monochrom> | heh |
| 21:10:55 | × | mceresa quits (~mceresa@user/mceresa) (Ping timeout: 252 seconds) |
| 21:10:57 | → | nacation joins (~m-3l4s76@user/nacation) |
| 21:12:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:16:59 | <EvanR> | I mean that slippery slope makes sense |
| 21:17:01 | → | mceresa joins (~mceresa@user/mceresa) |
| 21:17:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 21:22:04 | × | mceresa quits (~mceresa@user/mceresa) (Ping timeout: 276 seconds) |
| 21:28:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:29:38 | <EvanR> | cult of the bound variable, now I will be distracted for the rest of the week |
| 21:30:07 | <L29Ah> | EvanR: i think i can send you my UM implementation if you need it |
| 21:31:44 | <EvanR> | haha |
| 21:31:49 | <L29Ah> | hmm or not, it is gone |
| 21:31:54 | <EvanR> | oh no! |
| 21:33:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 21:37:16 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 21:42:08 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:42:41 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 21:44:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:49:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 21:51:02 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:59:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:00:14 | × | dhil quits (~dhil@5.151.29.139) (Ping timeout: 265 seconds) |
| 22:02:39 | × | Leary quits (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 22:04:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:06:34 | × | tromp quits (~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:10:28 | → | Leary joins (~Leary@user/Leary/x-0910699) |
| 22:12:12 | <ski> | `~x' is allowed |
| 22:16:15 | × | sprotte24 quits (~sprotte24@p200300d16f39dc0021da69fc15788ac5.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 22:24:37 | <EvanR> | negative 3 is really spelled ~3 in ML? |
| 22:26:01 | <mauke> | Plankalkül, anyone? |
| 22:31:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:31:39 | × | haritzondo quits (~hrtz@user/haritz) (Ping timeout: 245 seconds) |
| 22:34:15 | → | haritz joins (~hrtz@152.37.68.178) |
| 22:36:00 | × | haritz quits (~hrtz@152.37.68.178) (Changing host) |
| 22:36:00 | → | haritz joins (~hrtz@user/haritz) |
| 22:38:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:43:08 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 22:46:52 | × | Googulator quits (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 22:47:08 | → | Googulator joins (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 22:48:32 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:48:52 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:49:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:52:44 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:52:44 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 22:54:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:55:59 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:56:00 | × | notdabs quits (~Owner@2600:1700:69cf:9000:2536:b9c0:17b2:7e40) (Quit: Leaving) |
| 22:56:10 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 22:56:53 | × | xff0x quits (~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) (Ping timeout: 248 seconds) |
| 22:58:57 | → | xff0x joins (~xff0x@2405:6580:b080:900:9b42:d2bd:373e:abf7) |
| 23:03:04 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 23:04:40 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:05:00 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 23:05:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:07:59 | → | califax_ joins (~califax@user/califx) |
| 23:08:00 | × | califax quits (~califax@user/califx) (Ping timeout: 264 seconds) |
| 23:08:26 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 23:09:14 | califax_ | is now known as califax |
| 23:10:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:21:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:26:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 23:35:37 | × | __jmcantrell__ quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1) |
| 23:36:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:40:22 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:42:02 | → | jespada_ joins (~jespada@r167-61-222-92.dialup.adsl.anteldata.net.uy) |
| 23:42:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:44:24 | × | Googulator quits (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 23:44:40 | → | Googulator joins (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 23:45:09 | × | jespada quits (~jespada@r190-133-28-49.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
| 23:45:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:49:30 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 23:49:56 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:50:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:58:43 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 23:58:52 | → | j1n37- joins (~j1n37@user/j1n37) |
All times are in UTC on 2025-04-24.