Home liberachat/#haskell: Logs Calendar

Logs on 2025-10-03 (liberachat/#haskell)

00:03:39 cheater joins (~fuck@84-115-208-145.cable.dynamic.surfer.at)
00:07:45 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:07:51 × Googulator52 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
00:08:21 Googulator52 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
00:12:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
00:18:39 × ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj)
00:20:19 × Googulator52 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
00:20:34 Googulator52 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
00:21:30 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
00:21:50 marinelli joins (~weechat@gateway/tor-sasl/marinelli)
00:23:12 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:25:35 × Googulator52 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
00:25:43 Googulator52 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
00:27:43 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
00:27:48 peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net)
00:29:59 thelissimus joins (~thelissim@94.158.59.77)
00:31:35 × xff0x quits (~xff0x@2405:6580:b080:900:424:8597:7d94:6153) (Ping timeout: 250 seconds)
00:31:42 × haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
00:35:03 × acidjnk quits (~acidjnk@p200300d6e7171942fced4e6a2864912e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
00:40:00 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:43:23 × thelissimus quits (~thelissim@94.158.59.77) (Quit: Client closed)
00:44:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
00:46:56 trickard___ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
00:47:11 × peterbecich quits (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 250 seconds)
00:48:03 × trickard quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
00:50:39 Googulator20 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
00:50:45 × Googulator52 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
00:55:24 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:56:02 Square joins (~Square@user/square)
01:02:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
01:10:39 × Googulator20 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
01:10:40 Googulator79 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
01:13:25 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:14:04 karenw joins (~karenw@user/karenw)
01:15:49 Googulator70 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
01:16:13 × Googulator79 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
01:17:50 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
01:18:07 karenw_ joins (~karenw@user/karenw)
01:22:02 × karenw quits (~karenw@user/karenw) (Ping timeout: 248 seconds)
01:28:48 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:32:00 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds)
01:33:33 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
01:33:54 vanishingideal joins (~vanishing@user/vanishingideal)
01:34:25 × trickard___ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
01:34:58 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
01:40:16 × olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 255 seconds)
01:40:45 olivial joins (~benjaminl@user/benjaminl)
01:40:52 xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
01:43:40 × williu5 quits (~williu5@user/williu5) (Quit: WeeChat 4.1.1)
01:44:24 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:45:03 williu5 joins (~williu5@user/williu5)
01:48:12 karenw_ is now known as karenw
01:48:31 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
01:52:42 × haskellbridge quits (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection)
01:53:49 haskellbridge joins (~hackager@syn-096-028-224-214.res.spectrum.com)
01:53:49 ChanServ sets mode +v haskellbridge
01:55:00 × karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...)
01:59:48 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:02:33 peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net)
02:04:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
02:15:17 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:16:53 trickard_ is now known as trickard
02:17:05 × jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
02:17:19 × remmie quits (ianremsen@tilde.team) (Ping timeout: 250 seconds)
02:19:43 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
02:20:15 × synchromesh quits (~john@2406:5a00:2412:2c00:417e:fad9:96d5:67d5) (Read error: Connection reset by peer)
02:20:43 Googulator41 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
02:20:48 × Googulator70 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
02:21:16 synchromesh joins (~john@2406:5a00:2412:2c00:417e:fad9:96d5:67d5)
02:24:44 × Pozyomka quits (~pyon@user/pyon) (Quit: bbl)
02:27:37 × Square quits (~Square@user/square) (Ping timeout: 264 seconds)
02:30:45 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:31:54 × machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds)
02:37:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
02:38:41 remmie joins (ianremsen@tilde.team)
02:41:17 × Googulator41 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
02:41:35 Googulator41 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
02:44:25 × td_ quits (~td@i53870901.versanet.de) (Ping timeout: 264 seconds)
02:44:25 jmcantrell joins (~weechat@user/jmcantrell)
02:46:01 td_ joins (~td@i5387093E.versanet.de)
02:48:05 × peterbecich quits (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 250 seconds)
02:48:48 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:53:17 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
02:56:21 <jreicher> I've never quite understood why Erlang has the "single assignment" concept (restriction?) and yet allows side effects in functions. That's almost a contradiction for me.
03:04:11 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:12:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
03:13:39 × aforemny quits (~aforemny@i59F4C602.versanet.de) (Ping timeout: 250 seconds)
03:13:59 aforemny joins (~aforemny@i577B1257.versanet.de)
03:16:03 × Googulator41 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
03:16:09 Googulator22 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
03:22:36 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:27:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
03:38:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:40:40 Googulator76 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
03:40:44 × Googulator22 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
03:42:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
03:53:29 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:59:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
04:00:41 × Googulator76 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
04:00:54 Googulator76 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
04:10:27 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:15:07 michalz joins (~michalz@185.246.207.197)
04:16:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
04:20:47 × Googulator76 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
04:21:00 Googulator76 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
04:25:45 Googulator2 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
04:26:34 × Googulator76 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
04:28:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:32:57 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
04:43:52 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:46:35 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds)
04:47:40 chromoblob joins (~chromoblo@user/chromob1ot1c)
04:48:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
04:49:25 <ski> Erlang basically gets "single assignment" ("instantiation") from Prolog (which is also why defining a variable in each branch makes it in scope after, like e.g. `if 2 > 3 -> X = 2 ; true -> X = 3 end,X * X', is a thing). the immutability of data structure values (including function values referencing non-local variables) helps with transparently sharing (same node) or cloning (different node) values when
04:49:31 <ski> sending messages between processes
04:53:11 <jreicher> I understand the positives of it, but I don't understand why they would do that while retaining the negatives of side-effects in functions.
04:54:24 <ski> main focus was concurreny and distribution, with fault-tolerance (and fail-fast)
04:56:35 <jreicher> So the assumption is the concurrency-safety of side effects would be provided in other ways? I think I'm starting to understand...
04:57:04 Pozyomka joins (~pyon@user/pyon)
04:59:15 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:59:46 <ski> it's message-passing concurrency, as opposed to shared-memory concurrency (which would be hard to do, with transparent distribution)
05:00:08 × trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
05:00:22 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
05:03:44 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
05:06:58 × Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Quit: Done for the day!)
05:08:27 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:11:00 peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net)
05:12:56 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
05:21:50 takuan joins (~takuan@d8D86B9E9.access.telenet.be)
05:35:20 trickard_ is now known as trickard
05:39:11 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:43:34 aditya_an1l joins (~aditya_an@user/aditya-an1l:63825)
05:43:35 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
05:51:01 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
05:51:50 × aditya_an1l quits (~aditya_an@user/aditya-an1l:63825) (Quit: WeeChat 4.7.1)
05:54:34 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:56:08 × peterbecich quits (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 240 seconds)
05:56:10 × tccq quits (~user@user/tccq) (Remote host closed the connection)
06:00:41 xdminsy joins (~xdminsy@117.147.71.54)
06:01:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
06:09:26 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:10:38 tromp joins (~textual@2001:1c00:3487:1b00:48e3:4bde:a27a:5817)
06:13:46 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
06:23:50 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
06:24:15 chromoblob joins (~chromoblo@user/chromob1ot1c)
06:24:49 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:27:05 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
06:28:44 × synchromesh quits (~john@2406:5a00:2412:2c00:417e:fad9:96d5:67d5) (Read error: Connection reset by peer)
06:29:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
06:29:59 synchromesh joins (~john@2406:5a00:2412:2c00:417e:fad9:96d5:67d5)
06:31:19 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
06:31:33 chromoblob joins (~chromoblo@user/chromob1ot1c)
06:40:12 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:40:41 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
06:44:07 × trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
06:44:21 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
06:45:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
06:48:33 × Googulator2 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed)
06:48:50 Googulator2 joins (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu)
06:49:30 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
06:51:48 jmcantrell joins (~weechat@user/jmcantrell)
06:53:37 sord937 joins (~sord937@gateway/tor-sasl/sord937)
06:55:35 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:00:00 × caconym74787 quits (~caconym@user/caconym) (Quit: bye)
07:00:30 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
07:00:39 caconym74787 joins (~caconym@user/caconym)
07:00:44 peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net)
07:03:31 × monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build2 - https://znc.in)
07:03:56 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
07:04:15 × Googulator2 quits (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Ping timeout: 250 seconds)
07:04:19 chromoblob joins (~chromoblo@user/chromob1ot1c)
07:08:59 monochrom joins (trebla@216.138.220.146)
07:10:25 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:14:55 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
07:15:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
07:18:31 × peterbecich quits (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 240 seconds)
07:22:56 × annamalai quits (~annamalai@157.32.124.122) (Ping timeout: 240 seconds)
07:25:48 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:32:42 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
07:34:42 × tromp quits (~textual@2001:1c00:3487:1b00:48e3:4bde:a27a:5817) (Quit: My iMac has gone to sleep. ZZZzzz…)
07:37:25 × xdminsy quits (~xdminsy@117.147.71.54) (Read error: Connection reset by peer)
07:38:33 xdminsy joins (~xdminsy@117.147.71.54)
07:43:52 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:48:27 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
07:59:21 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
08:03:53 annamalai joins (~annamalai@157.32.116.36)
08:06:37 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds)
08:08:05 xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
08:11:26 Googulator2 joins (~Googulato@team.broadbit.hu)
08:14:06 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
08:19:36 acidjnk joins (~acidjnk@p200300d6e7171926fced4e6a2864912e.dip0.t-ipconnect.de)
08:19:43 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
08:20:25 lxsameer joins (~lxsameer@Serene/lxsameer)
08:20:38 chromoblob joins (~chromoblo@user/chromob1ot1c)
08:26:38 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds)
08:33:29 __monty__ joins (~toonn@user/toonn)
08:47:24 vetkat joins (~vetkat@user/vetkat)
08:50:25 trickard_ is now known as trickard
08:51:48 rvalue- joins (~rvalue@about/hackers/rvalue)
08:52:49 × rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 264 seconds)
08:57:18 rvalue- is now known as rvalue
09:01:15 × kimiamania99 quits (~92460e22@user/kimiamania) (Quit: PegeLinux)
09:02:40 kimiamania99 joins (~92460e22@user/kimiamania)
09:09:42 × trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
09:09:56 trickard joins (~trickard@cpe-52-98-47-163.wireline.com.au)
09:13:28 × trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
09:17:49 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
09:18:57 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
09:20:25 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
09:27:14 haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
09:27:14 × haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
09:27:14 haritz joins (~hrtz@user/haritz)
09:29:21 × trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
09:30:35 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
09:30:40 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
09:36:22 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
09:42:14 ljdarj joins (~Thunderbi@user/ljdarj)
09:43:56 tromp joins (~textual@2001:1c00:3487:1b00:48e3:4bde:a27a:5817)
09:44:28 × trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
09:44:53 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
09:45:13 Square joins (~Square@user/square)
09:48:32 fp joins (~Thunderbi@2001:708:20:1406::1370)
09:50:58 × krei-se quits (~krei-se@p200300f1cf178601915f43887404f7ca.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in)
09:53:51 trickard_ is now known as trickard
09:54:55 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 250 seconds)
09:56:50 krei-se joins (~krei-se@p3ee0f905.dip0.t-ipconnect.de)
10:05:21 mhatta_ joins (~mhatta@www21123ui.sakura.ne.jp)
10:05:34 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
10:06:01 × mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Ping timeout: 264 seconds)
10:09:11 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
10:10:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
10:15:17 × Googulator2 quits (~Googulato@team.broadbit.hu) (Quit: Client closed)
10:15:45 Googulator2 joins (~Googulato@team.broadbit.hu)
10:19:00 Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213)
10:22:23 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
10:27:12 × trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
10:27:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
10:27:29 × Googulator2 quits (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
10:30:06 × annamalai quits (~annamalai@157.32.116.36) (Remote host closed the connection)
10:33:11 jackneill__ joins (~Jackneill@188-143-82-121.pool.digikabel.hu)
10:33:26 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
10:33:47 chromoblob joins (~chromoblo@user/chromob1ot1c)
10:34:46 annamalai joins (~annamalai@157.32.116.36)
10:35:52 Googulator2 joins (~Googulato@team.broadbit.hu)
10:36:01 × Jackneill_ quits (~Jackneill@94-21-95-86.pool.digikabel.hu) (Ping timeout: 264 seconds)
10:38:48 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
10:43:57 qqe joins (~qqq@185.54.22.40)
10:45:20 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
10:48:41 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
10:49:43 × xdminsy quits (~xdminsy@117.147.71.54) (Ping timeout: 240 seconds)
10:53:10 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:14:21 trickard_ is now known as trickard
11:18:19 × tromp quits (~textual@2001:1c00:3487:1b00:48e3:4bde:a27a:5817) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:26:48 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
11:29:35 tromp joins (~textual@2001:1c00:3487:1b00:48e3:4bde:a27a:5817)
11:30:56 Googulator14 joins (~Googulato@team.broadbit.hu)
11:31:44 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
11:33:14 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
11:33:47 × Googulator2 quits (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
11:35:14 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
11:42:55 × Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
11:46:58 × vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer)
11:47:17 vetkat joins (~vetkat@user/vetkat)
11:50:32 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
11:51:16 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds)
11:51:40 chexum joins (~quassel@gateway/tor-sasl/chexum)
11:51:54 × dcpagan quits (~dcpagan@gateway/tor-sasl/dcpagan) (Ping timeout: 272 seconds)
11:53:30 dcpagan joins (~dcpagan@gateway/tor-sasl/dcpagan)
11:54:28 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
11:55:00 × divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer)
11:55:12 divlamir joins (~divlamir@user/divlamir)
11:58:19 ljdarj joins (~Thunderbi@user/ljdarj)
12:10:13 × bgg quits (~bgg@2a01:e0a:819:1510:fce6:d4f8:80b9:b877) (Remote host closed the connection)
12:10:52 <xdej> 2
12:14:53 xff0x joins (~xff0x@2405:6580:b080:900:6719:ade:f85a:7f1a)
12:27:46 × qqe quits (~qqq@185.54.22.40) (Quit: Lost terminal)
12:29:24 smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com)
12:34:06 sprotte24 joins (~sprotte24@p200300d16f128900a1bcd52eeb6ae479.dip0.t-ipconnect.de)
12:40:31 × trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
12:40:45 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
12:51:40 <cheater> ski: so basically, they ensure lack of interference due to side effects, by keeping actors very tiny, and separated by message passing borders?
12:51:43 Lycurgus joins (~juan@user/Lycurgus)
12:52:44 trickard_ is now known as trickard
13:02:34 <cheater> jreicher: i think one reason might be that, if you think about where erlang comes from, it was made to run on embedded hardware, not on general purpose computers. and if you look at the microcontrollers of that time (late 80s), 16 bit micros were state of the art. that means a very tiny amount of memory and stack, and very few registers. so maybe that's one reason to have global variables
13:02:34 <cheater> rather than do argument passing.
13:03:22 × tromp quits (~textual@2001:1c00:3487:1b00:48e3:4bde:a27a:5817) (Quit: My iMac has gone to sleep. ZZZzzz…)
13:06:11 tromp joins (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71)
13:09:31 Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213)
13:15:05 lol_ joins (~lol@2603:3016:1e01:b9c0:fd6c:9618:c1f5:3891)
13:15:49 monochrm joins (trebla@216.138.220.146)
13:16:08 × monochrom quits (trebla@216.138.220.146) (Write error: Connection reset by peer)
13:16:12 monochrm is now known as monochrom
13:16:13 pavonia_ joins (~user@user/siracusa)
13:16:19 nek02 joins (~nek0@user/nek0)
13:17:31 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
13:17:38 krei-se- joins (~krei-se@p200300f1cfff1817000000000000c8c6.dip0.t-ipconnect.de)
13:17:48 chexum joins (~quassel@gateway/tor-sasl/chexum)
13:18:18 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
13:18:18 × noctux quits (~noctux@user/noctux) (Ping timeout: 264 seconds)
13:18:18 × pavonia quits (~user@user/siracusa) (Ping timeout: 264 seconds)
13:18:18 × ft quits (~ft@p4fc2a225.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
13:18:18 × antti__ quits (~antti@82-181-183-83.bb.dnainternet.fi) (Ping timeout: 264 seconds)
13:18:18 × srk quits (~sorki@user/srk) (Ping timeout: 264 seconds)
13:18:18 × byorgey quits (~byorgey@user/byorgey) (Ping timeout: 264 seconds)
13:18:21 dfg joins (~dfg@dfg.codes)
13:18:21 × dfg quits (~dfg@dfg.codes) (Changing host)
13:18:21 dfg joins (~dfg@user/dfg)
13:18:21 akegalj joins (~akegalj@141-136-217-53.dsl.iskon.hr)
13:18:24 srk joins (~sorki@user/srk)
13:18:25 pavonia_ is now known as pavonia
13:18:30 ft joins (~ft@p4fc2a225.dip0.t-ipconnect.de)
13:18:31 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
13:18:33 byorgey joins (~byorgey@155.138.238.211)
13:18:33 × byorgey quits (~byorgey@155.138.238.211) (Changing host)
13:18:33 byorgey joins (~byorgey@user/byorgey)
13:18:37 × krei-se quits (~krei-se@p3ee0f905.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
13:18:37 × rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 264 seconds)
13:18:37 × dysfigured quits (~dfg@dfg.codes) (Ping timeout: 264 seconds)
13:18:38 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds)
13:18:38 × jcarpenter2 quits (~lol@96.78.87.197) (Ping timeout: 264 seconds)
13:18:38 × remexre quits (~remexre@user/remexre) (Ping timeout: 264 seconds)
13:18:38 × pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 264 seconds)
13:18:41 pie__ joins (~pie_bnc@user/pie/x-2818909)
13:18:42 antti_ joins (~antti@82-181-183-83.bb.dnainternet.fi)
13:18:48 ftzm0 joins (~ftzm@085080238191.dynamic.telenor.dk)
13:19:13 × pie_ quits (~pie_bnc@user/pie/x-2818909) (Ping timeout: 264 seconds)
13:19:13 × nek0 quits (~nek0@user/nek0) (Ping timeout: 264 seconds)
13:19:13 nek02 is now known as nek0
13:19:15 pabs3 joins (~pabs3@user/pabs3)
13:19:36 simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
13:19:37 rvalue joins (~rvalue@about/hackers/rvalue)
13:20:45 noctux joins (~noctux@user/noctux)
13:21:01 × ftzm quits (~ftzm@085080238191.dynamic.telenor.dk) (Ping timeout: 264 seconds)
13:21:01 ftzm0 is now known as ftzm
13:21:25 remexre joins (~remexre@user/remexre)
13:27:24 trickard__ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
13:27:34 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
13:29:08 × trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
13:29:08 × petrichor quits (~jez@user/petrichor) (Ping timeout: 264 seconds)
13:29:08 × olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 264 seconds)
13:29:25 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds)
13:29:25 × Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds)
13:29:41 Maxdamantus joins (~Maxdamant@user/maxdamantus)
13:29:49 lxsameer joins (~lxsameer@Serene/lxsameer)
13:30:01 × opencircuit quits (~quassel@user/opencircuit) (Ping timeout: 264 seconds)
13:30:28 opencircuit joins (~quassel@86.38.236.88)
13:31:45 olivial joins (~benjaminl@user/benjaminl)
13:34:36 petrichor joins (~jez@user/petrichor)
13:38:52 × Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
13:42:09 cipherrot joins (~jez@user/petrichor)
13:42:58 × petrichor quits (~jez@user/petrichor) (Ping timeout: 255 seconds)
13:43:50 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
13:45:19 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
13:46:52 poscat joins (~poscat@user/poscat)
13:47:16 × sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (Quit: WeeChat 4.6.3)
13:54:50 ljdarj joins (~Thunderbi@user/ljdarj)
14:05:18 Sgeo joins (~Sgeo@user/sgeo)
14:07:28 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
14:11:52 trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au)
14:12:19 × trickard__ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
14:12:23 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
14:12:31 gabiruh joins (~gabiruh@vps19177.publiccloud.com.br)
14:13:04 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection)
14:13:32 chromoblob joins (~chromoblo@user/chromob1ot1c)
14:17:17 gcvvcxvhf joins (~gcvvcxvhf@152.58.44.117)
14:17:58 Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
14:18:01 <gcvvcxvhf> is this correct official channel?
14:18:42 <gcvvcxvhf> I followed irc.libera.chat:6697(TLS) #haskell
14:18:52 <gcvvcxvhf> on community page
14:19:35 <merijn> As official as it gets :p
14:21:10 <gcvvcxvhf> wow
14:21:34 Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213)
14:25:36 × trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
14:25:50 trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au)
14:29:06 <EvanR> I think I know this guy
14:29:25 <EvanR> more of us survived freenode
14:33:52 <gcvvcxvhf> me? where?
14:35:04 × gcvvcxvhf quits (~gcvvcxvhf@152.58.44.117) (Remote host closed the connection)
14:36:17 machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
14:37:11 gcvvcxvhf joins (~gcvvcxvhf@152.58.44.117)
14:38:23 × Googulator14 quits (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
14:42:40 × fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 265 seconds)
14:45:55 × synchromesh quits (~john@2406:5a00:2412:2c00:417e:fad9:96d5:67d5) (Read error: Connection reset by peer)
14:46:15 kuribas joins (~user@2a02-1810-2825-6000-3fc0-afdf-a4de-6f3a.ip6.access.telenet.be)
14:46:25 synchromesh joins (~john@2406:5a00:2412:2c00:1928:6cd4:ff0d:d5bb)
14:51:04 × trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
14:51:17 trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au)
15:11:22 × gcvvcxvhf quits (~gcvvcxvhf@152.58.44.117) (Remote host closed the connection)
15:15:11 gcvvcxvhf joins (~gcvvcxvhf@152.58.44.117)
15:25:38 thelissimus joins (~thelissim@94.158.59.77)
15:36:05 × tromp quits (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:41:02 emfrom joins (~emfrom@2a0d:e487:134f:2296:297f:db1:2291:6992)
15:43:44 emfrom_ joins (~emfrom@2a0d:e487:134f:2296:297f:db1:2291:6992)
15:43:56 Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com)
15:45:34 × emfrom quits (~emfrom@2a0d:e487:134f:2296:297f:db1:2291:6992) (Client Quit)
15:45:50 emfrom_ is now known as emfrom
15:46:08 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
15:48:12 vanishingideal joins (~vanishing@user/vanishingideal)
15:55:06 sam113101 joins (~sam@modemcable200.189-202-24.mc.videotron.ca)
15:56:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
15:56:27 × emfrom quits (~emfrom@2a0d:e487:134f:2296:297f:db1:2291:6992) (Quit: /o)
15:59:11 ljdarj joins (~Thunderbi@user/ljdarj)
16:02:00 jmcantrell joins (~weechat@user/jmcantrell)
16:03:45 × gcvvcxvhf quits (~gcvvcxvhf@152.58.44.117) (Remote host closed the connection)
16:04:25 tromp joins (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71)
16:06:05 × Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
16:07:32 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:08:59 × akegalj quits (~akegalj@141-136-217-53.dsl.iskon.hr) (Quit: leaving)
16:11:36 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
16:12:07 gcvvcxvhf joins (~gcvvcxvhf@152.58.44.117)
16:14:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
16:14:25 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds)
16:15:53 vanishingideal joins (~vanishing@user/vanishingideal)
16:19:08 finsternis joins (~X@23.226.237.192)
16:19:57 wootehfoot joins (~wootehfoo@user/wootehfoot)
16:22:01 ss4 joins (~wootehfoo@user/wootehfoot)
16:22:43 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 265 seconds)
16:22:59 × gcvvcxvhf quits (~gcvvcxvhf@152.58.44.117) (Read error: Connection reset by peer)
16:23:16 gcvvcxvhf joins (~gcvvcxvhf@103.183.205.165)
16:25:20 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds)
16:25:34 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:30:13 jmcantrell joins (~weechat@user/jmcantrell)
16:30:30 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
16:33:54 × kuribas quits (~user@2a02-1810-2825-6000-3fc0-afdf-a4de-6f3a.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3))
16:35:38 peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net)
16:38:31 × Chai-T-Rex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
16:38:50 × thelissimus quits (~thelissim@94.158.59.77) (Quit: Client closed)
16:38:55 ChaiTRex joins (~ChaiTRex@user/chaitrex)
16:39:04 thelissimus joins (~thelissim@94.158.59.77)
16:40:14 × thelissimus quits (~thelissim@94.158.59.77) (Client Quit)
16:40:57 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:41:56 bgg joins (~bgg@2a01:e0a:819:1510:c36b:7b37:3575:e5aa)
16:43:13 trickard_ is now known as trickard
16:44:25 fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi)
16:45:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
16:51:06 × fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 248 seconds)
16:53:55 × vanishingideal quits (~vanishing@user/vanishingideal) (Read error: Connection reset by peer)
16:54:05 fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi)
16:56:19 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:57:22 LainIwakura joins (~LainIwaku@user/LainIwakura)
17:00:17 LainIwakura38 joins (~LainIwaku@user/LainIwakura)
17:01:13 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
17:04:51 × LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds)
17:06:09 × LainIwakura38 quits (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds)
17:09:16 × Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
17:11:18 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
17:11:49 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:16:12 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
17:16:51 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
17:18:12 Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213)
17:23:34 fp1 joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi)
17:24:38 xdminsy joins (~xdminsy@117.147.71.54)
17:24:42 × fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 248 seconds)
17:24:42 fp1 is now known as fp
17:25:49 × ss4 quits (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds)
17:27:18 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:27:44 × peterbecich quits (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 256 seconds)
17:29:03 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 250 seconds)
17:31:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
17:32:50 × tromp quits (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:35:22 × fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 248 seconds)
17:35:25 Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net)
17:41:57 Katarushisu joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
17:42:41 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:45:09 × Anarchos quits (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!)
17:49:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
17:51:51 × Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat)
17:52:08 Katarushisu joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
17:53:02 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:57:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
18:02:08 peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net)
18:02:38 × Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
18:04:18 fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi)
18:06:51 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
18:08:22 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:11:34 fp1 joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi)
18:13:13 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
18:14:55 × fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 245 seconds)
18:14:55 fp1 is now known as fp
18:17:24 × xdminsy quits (~xdminsy@117.147.71.54) (Read error: Connection reset by peer)
18:18:37 xdminsy joins (~xdminsy@117.147.71.54)
18:23:47 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:24:51 fp1 joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi)
18:25:32 Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net)
18:27:00 × fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 245 seconds)
18:27:00 fp1 is now known as fp
18:28:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
18:29:38 tromp joins (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71)
18:32:07 × peterbecich quits (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 240 seconds)
18:39:00 × fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds)
18:39:27 morj joins (~morj@user/morj)
18:41:01 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:45:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
18:45:46 × williu5 quits (~williu5@user/williu5) (Quit: WeeChat 4.1.1)
18:50:08 × machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds)
18:50:28 williu5 joins (~williu5@user/williu5)
18:54:00 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:58:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
19:00:02 × caconym74787 quits (~caconym@user/caconym) (Quit: bye)
19:00:43 caconym74787 joins (~caconym@user/caconym)
19:05:36 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds)
19:06:57 thelissimus joins (~thelissim@94.158.59.77)
19:09:24 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:11:13 × tromp quits (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:12:41 × thelissimus quits (~thelissim@94.158.59.77) (Quit: Client closed)
19:13:43 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
19:13:59 gmg joins (~user@user/gehmehgeh)
19:14:39 × Anarchos quits (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!)
19:16:25 thelissimus joins (~kei@user/thelissimus)
19:16:54 <ski> cheater : more or less, yea
19:21:59 vanishingideal joins (~vanishing@user/vanishingideal)
19:24:46 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:27:20 jespada joins (~jespada@r179-25-71-106.dialup.adsl.anteldata.net.uy)
19:31:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
19:33:50 pavonia joins (~user@user/siracusa)
19:38:09 × thelissimus quits (~kei@user/thelissimus) (Quit: WeeChat 4.7.1)
19:38:45 peterbecich joins (~Thunderbi@47.149.198.150)
19:41:43 tromp joins (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71)
19:42:49 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:44:53 qqe joins (~qqq@185.54.22.40)
19:47:42 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
19:48:56 <gcvvcxvhf> who's a cheater
19:51:50 jmcantrell joins (~weechat@user/jmcantrell)
19:51:51 <tomsmeding> the person with that nick ;)
19:53:36 × morj quits (~morj@user/morj) (Quit: Konversation terminated!)
19:55:10 LainIwakura joins (~LainIwaku@user/LainIwakura)
19:58:18 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:59:37 × fgidim quits (~nu@user/fgarcia) (Quit: Remote host closed the connection)
20:00:57 × _testytest quits (19541d7ff8@irc.cheogram.com) (Ping timeout: 252 seconds)
20:02:38 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
20:02:44 × jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
20:06:33 jmcantrell joins (~weechat@user/jmcantrell)
20:06:58 weary-traveler joins (~user@user/user363627)
20:11:15 × michalz quits (~michalz@185.246.207.197) (Remote host closed the connection)
20:11:25 × LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed)
20:12:04 × gcvvcxvhf quits (~gcvvcxvhf@103.183.205.165) (Remote host closed the connection)
20:13:41 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:14:57 Zemy_ joins (~Zemy@2600:100c:b0ac:e09f:98b2:95ff:fe3f:eed0)
20:16:13 × jespada quits (~jespada@r179-25-71-106.dialup.adsl.anteldata.net.uy) (Ping timeout: 264 seconds)
20:17:25 × Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Ping timeout: 264 seconds)
20:18:29 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
20:20:05 jespada joins (~jespada@r179-25-71-106.dialup.adsl.anteldata.net.uy)
20:20:59 × tromp quits (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:22:10 × bgg quits (~bgg@2a01:e0a:819:1510:c36b:7b37:3575:e5aa) (Quit: Leaving)
20:29:18 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:29:38 tromp joins (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71)
20:30:15 × tromp quits (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Client Quit)
20:32:26 tromp joins (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71)
20:33:34 fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi)
20:33:43 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
20:41:52 Inline joins (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de)
20:44:09 Zemy joins (~Zemy@mobile-107-80-206-39.mycingular.net)
20:44:41 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:46:34 Inline_ joins (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de)
20:47:09 Inline is now known as Guest2811
20:47:09 Inline_ is now known as Inline
20:48:33 × Zemy_ quits (~Zemy@2600:100c:b0ac:e09f:98b2:95ff:fe3f:eed0) (Ping timeout: 265 seconds)
20:48:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
20:50:19 Zemy_ joins (~Zemy@2600:100c:b0ac:e09f:94c9:8fff:fede:9759)
20:50:25 × Guest2811 quits (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
20:53:12 × Zemy quits (~Zemy@mobile-107-80-206-39.mycingular.net) (Ping timeout: 252 seconds)
21:00:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:00:13 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
21:00:30 × Inline quits (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer)
21:01:56 × jespada quits (~jespada@r179-25-71-106.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
21:02:07 Inline joins (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de)
21:04:45 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
21:04:51 Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213)
21:09:27 Zemy joins (~Zemy@mobile-107-80-206-79.mycingular.net)
21:10:23 × Zemy_ quits (~Zemy@2600:100c:b0ac:e09f:94c9:8fff:fede:9759) (Read error: Connection reset by peer)
21:10:36 Zemy_ joins (~Zemy@2600:100c:b0ac:e09f:4d5:49ff:fed0:7dad)
21:13:05 × takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
21:13:49 × Zemy quits (~Zemy@mobile-107-80-206-79.mycingular.net) (Ping timeout: 264 seconds)
21:15:33 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:16:01 Unhammer parts (~Unhammer@user/unhammer) (WeeChat 2.3)
21:21:01 × Zemy_ quits (~Zemy@2600:100c:b0ac:e09f:4d5:49ff:fed0:7dad) (Remote host closed the connection)
21:22:22 jespada joins (~jespada@2800:a4:22e1:8500:a98a:32bc:55b5:6e41)
21:22:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
21:27:00 × jespada quits (~jespada@2800:a4:22e1:8500:a98a:32bc:55b5:6e41) (Ping timeout: 245 seconds)
21:29:41 machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
21:30:13 takuan joins (~takuan@d8D86B9E9.access.telenet.be)
21:33:30 notzmv joins (~umar@user/notzmv)
21:33:36 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:33:47 bgg joins (~bgg@2a01:e0a:819:1510:f5f:25a0:c9dd:62d3)
21:34:48 × fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 256 seconds)
21:38:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
21:39:14 × tromp quits (~textual@2001:1c00:3487:1b00:79b7:f1d9:214a:8b71) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:40:28 × peterbecich quits (~Thunderbi@47.149.198.150) (Ping timeout: 256 seconds)
21:45:59 × takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
21:47:26 × xdminsy quits (~xdminsy@117.147.71.54) (Read error: Connection reset by peer)
21:48:25 xdminsy joins (~xdminsy@117.147.71.54)
21:49:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:49:48 Lycurgus joins (~juan@user/Lycurgus)
21:53:30 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
21:55:42 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:59:07 × bgamari quits (~bgamari@64.223.225.237) (Quit: ZNC 1.8.2 - https://znc.in)
22:00:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
22:01:28 bgamari joins (~bgamari@64.223.225.237)
22:02:17 × olivial quits (~benjaminl@user/benjaminl) (Remote host closed the connection)
22:02:54 olivial joins (~benjaminl@user/benjaminl)
22:11:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:13:01 × Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
22:13:43 × notzmv quits (~umar@user/notzmv) (Ping timeout: 240 seconds)
22:15:20 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
22:17:13 × Square quits (~Square@user/square) (Ping timeout: 250 seconds)
22:23:33 Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi)
22:26:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:27:37 × machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds)
22:30:54 Pixi__ is now known as Pixi
22:31:13 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
22:36:08 Inline_ joins (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de)
22:36:31 weary-traveler joins (~user@user/user363627)
22:38:15 × Inline quits (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
22:41:35 fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi)
22:41:58 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:43:42 × Inline_ quits (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
22:44:07 Inline_ joins (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de)
22:44:54 × ZLima12 quits (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds)
22:45:04 ZLima12 joins (~zlima12@user/meow/ZLima12)
22:46:15 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
22:52:31 × fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds)
22:53:01 × Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
22:53:08 Inline_ is now known as Inline
22:57:21 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:04:13 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
23:04:27 Inline_ joins (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de)
23:07:49 × Inline quits (~Inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
23:15:23 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:20:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
23:20:33 × craunts79 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
23:21:38 craunts79 joins (~craunts@136.158.7.194)
23:29:52 <dcpagan> With regard to [Control.Monad.Trans.Cont.ContT](https://hackage-content.haskell.org/package/transformers-0.6.2.0/docs/Control-Monad-Trans-Cont.html), is there a difference between using callCC and using delimited continuations via reset and shift?
23:30:19 <dcpagan> Codensity does not have callCC.
23:30:47 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:32:10 × Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.)
23:34:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
23:46:08 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:46:27 × sprotte24 quits (~sprotte24@p200300d16f128900a1bcd52eeb6ae479.dip0.t-ipconnect.de) (Quit: Leaving)
23:50:20 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)

All times are in UTC on 2025-10-03.