Home liberachat/#haskell: Logs Calendar

Logs on 2024-02-22 (liberachat/#haskell)

00:00:55 × cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds)
00:01:03 cheater_ is now known as cheater
00:01:56 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
00:03:45 → ACuriousMoose joins (~ACuriousM@142.166.18.53)
00:05:33 → systemhalted joins (~systemhal@81.sub-174-246-136.myvzw.com)
00:09:24 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 260 seconds)
00:10:05 → systemhalted_ joins (~systemhal@81.sub-174-246-136.myvzw.com)
00:11:10 × TonyStone quits (~TonyStone@074-076-057-186.res.spectrum.com) (Remote host closed the connection)
00:13:17 × systemhalted quits (~systemhal@81.sub-174-246-136.myvzw.com) (Remote host closed the connection)
00:13:17 × systemhalted_ quits (~systemhal@81.sub-174-246-136.myvzw.com) (Remote host closed the connection)
00:15:13 → rvalue joins (~rvalue@user/rvalue)
00:18:34 → systemhalted joins (~systemhal@81.sub-174-246-136.myvzw.com)
00:20:44 → TonyStone joins (~TonyStone@074-076-057-186.res.spectrum.com)
00:22:56 × systemhalted quits (~systemhal@81.sub-174-246-136.myvzw.com) (Remote host closed the connection)
00:25:21 → cheater_ joins (~Username@user/cheater)
00:27:23 × cheater quits (~Username@user/cheater) (Ping timeout: 260 seconds)
00:27:26 cheater_ is now known as cheater
00:28:50 × ph88^ quits (~ph88@2a02:8109:9e26:c800:ebb2:8a16:2d0a:f29) (Quit: Leaving)
00:32:24 → shapr joins (~user@c-24-218-186-89.hsd1.ma.comcast.net)
00:52:50 <sm> ph88: I see you got it resolved (corrupted stack.yaml.lock and old Cabal bug 😅)
01:02:05 × califax quits (~califax@user/califx) (Remote host closed the connection)
01:02:12 → azimut joins (~azimut@gateway/tor-sasl/azimut)
01:04:13 → califax joins (~califax@user/califx)
01:08:44 → cheater_ joins (~Username@user/cheater)
01:09:29 × cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds)
01:09:29 cheater_ is now known as cheater
01:10:35 → d34df00d joins (~d34df00d@2600:1702:4f1b:7c10::43)
01:10:39 × jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds)
01:11:40 → jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
01:20:06 → machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
01:23:29 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
01:33:25 × zer0bitz quits (~zer0bitz@user/zer0bitz) (Ping timeout: 268 seconds)
01:34:18 × mud quits (~mud@user/kadoban) (Quit: quit)
01:41:40 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
01:48:55 × shapr quits (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Remote host closed the connection)
01:52:30 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds)
01:54:28 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
02:02:59 × thegeekinside quits (~thegeekin@189.217.83.221) (Remote host closed the connection)
02:05:36 × otto_s quits (~user@p5b04434a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
02:06:02 × xff0x quits (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 252 seconds)
02:07:01 → otto_s joins (~user@p5de2f068.dip0.t-ipconnect.de)
02:12:49 × myxos quits (~myxos@065-028-251-121.inf.spectrum.com) (Quit: myxos)
02:13:10 → myxos joins (~myxos@065-028-251-121.inf.spectrum.com)
02:26:35 → thegeekinside joins (~thegeekin@189.217.83.221)
02:41:33 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
02:44:08 → jmdaemon joins (~jmdaemon@user/jmdaemon)
02:47:34 → jargon joins (~jargon@157.sub-174-205-162.myvzw.com)
02:49:04 → natechan joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
02:50:46 → xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
02:54:36 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds)
03:02:23 × otto_s quits (~user@p5de2f068.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
03:04:04 → otto_s joins (~user@p4ff27c21.dip0.t-ipconnect.de)
03:12:48 × jmorris quits (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
03:20:59 × td_ quits (~td@i53870902.versanet.de) (Ping timeout: 264 seconds)
03:22:23 → td_ joins (~td@i53870910.versanet.de)
03:29:39 × cyphase quits (~cyphase@user/cyphase) (Ping timeout: 268 seconds)
03:31:55 → cyphase joins (~cyphase@user/cyphase)
03:54:55 → cheater_ joins (~Username@user/cheater)
03:59:13 × cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds)
03:59:21 cheater_ is now known as cheater
04:00:16 → whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com)
04:03:42 → benkard joins (~mulk@p5b112ec2.dip0.t-ipconnect.de)
04:03:54 × mulk quits (~mulk@pd9514f6d.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
04:03:54 benkard is now known as mulk
04:15:47 → bilegeek joins (~bilegeek@2600:1008:b062:19c6:f4ef:eef:900:da54)
04:17:12 → jmorris joins (uid604645@id-604645.hampstead.irccloud.com)
04:22:34 → qqq joins (~qqq@92.43.167.61)
04:34:05 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
04:36:17 → aforemny_ joins (~aforemny@2001:9e8:6cf6:db00:17a0:bdf8:4474:7893)
04:36:35 × aforemny quits (~aforemny@2001:9e8:6cd1:9700:269c:3e5b:c88d:39e2) (Ping timeout: 272 seconds)
04:36:54 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
04:38:48 → cheater_ joins (~Username@user/cheater)
04:40:14 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
04:43:21 × cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds)
04:43:24 cheater_ is now known as cheater
04:45:17 × cheater quits (~Username@user/cheater) (Read error: Connection reset by peer)
04:45:46 → cheater joins (~Username@user/cheater)
04:46:46 × bilegeek quits (~bilegeek@2600:1008:b062:19c6:f4ef:eef:900:da54) (Quit: Leaving)
04:50:31 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 272 seconds)
04:57:53 → cheater_ joins (~Username@user/cheater)
05:00:35 × cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds)
05:00:39 cheater_ is now known as cheater
05:03:27 → igemnace joins (~ian@user/igemnace)
05:04:28 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
05:06:34 → cheater_ joins (~Username@user/cheater)
05:08:05 × cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds)
05:08:09 cheater_ is now known as cheater
05:11:17 × cyphase quits (~cyphase@user/cyphase) (Ping timeout: 240 seconds)
05:13:31 × cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds)
05:13:52 → cheater joins (~Username@user/cheater)
05:13:57 → cyphase joins (~cyphase@user/cyphase)
05:23:43 × notzmv quits (~daniel@user/notzmv) (Ping timeout: 260 seconds)
05:33:45 → notzmv joins (~daniel@user/notzmv)
05:34:27 × oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 260 seconds)
05:39:38 → michalz joins (~michalz@185.246.207.215)
05:40:01 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
06:03:24 × michalz quits (~michalz@185.246.207.215) (Quit: ZNC 1.8.2 - https://znc.in)
06:04:37 × mulk quits (~mulk@p5b112ec2.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
06:06:18 → michalz joins (~michalz@185.246.207.193)
06:08:01 × echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8)
06:08:57 → echoreply joins (~echoreply@45.32.163.16)
06:08:58 → Square joins (~Square@user/square)
06:11:58 × Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 246 seconds)
06:16:04 × tcard__ quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
06:17:56 → tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
06:18:48 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:22:48 → mulk joins (~mulk@p5b112bc5.dip0.t-ipconnect.de)
06:24:48 → Guest27 joins (~Guest27@host-126-229.txriutd4.richardson.tx.us.clients.pavlovmedia.net)
06:25:51 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
06:26:20 × Guest27 quits (~Guest27@host-126-229.txriutd4.richardson.tx.us.clients.pavlovmedia.net) (Client Quit)
06:26:58 × jmorris quits (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
06:28:20 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
06:29:38 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
06:34:20 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
06:51:29 × cyphase quits (~cyphase@user/cyphase) (Ping timeout: 272 seconds)
06:53:18 → down200 joins (~down200@shell.lug.mtu.edu)
06:57:01 → cyphase joins (~cyphase@user/cyphase)
07:24:50 → Square3 joins (~Square4@user/square)
07:28:13 × Square quits (~Square@user/square) (Ping timeout: 272 seconds)
07:37:57 → rosco joins (~rosco@175.136.156.77)
07:37:57 × rosco quits (~rosco@175.136.156.77) (Client Quit)
07:38:59 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 264 seconds)
07:40:19 → cheater_ joins (~Username@user/cheater)
07:40:33 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
07:42:17 × Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving)
07:42:22 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
07:43:26 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
07:44:25 × cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds)
07:44:25 cheater_ is now known as cheater
07:47:18 → cheater_ joins (~Username@user/cheater)
07:51:47 × cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds)
07:52:59 → rosco joins (~rosco@175.136.156.77)
07:54:01 cheater_ is now known as cheater
07:54:31 → cheater_ joins (~Username@user/cheater)
07:58:22 × cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds)
07:58:28 cheater_ is now known as cheater
08:00:21 → CiaoSen joins (~Jura@2a05:5800:2a3:e200:e6b9:7aff:fe80:3d03)
08:03:05 × sroso quits (~sroso@user/SrOso) (Read error: Connection reset by peer)
08:06:34 → sroso joins (~sroso@user/SrOso)
08:15:32 → cheater_ joins (~Username@user/cheater)
08:20:09 × cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds)
08:20:09 cheater_ is now known as cheater
08:22:37 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
08:23:31 → euleritian joins (~euleritia@dynamic-046-114-094-144.46.114.pool.telefonica.de)
08:27:37 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
08:28:23 × jargon quits (~jargon@157.sub-174-205-162.myvzw.com) (Ping timeout: 272 seconds)
08:29:00 → jargon joins (~jargon@53.sub-174-205-227.myvzw.com)
08:36:49 × Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (Remote host closed the connection)
08:45:37 × son0p quits (~ff@167.0.172.211) (Ping timeout: 246 seconds)
08:50:35 → cheater_ joins (~Username@user/cheater)
08:51:52 × cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds)
08:52:01 cheater_ is now known as cheater
08:55:50 → machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
08:56:29 × cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds)
08:56:57 → misterfish joins (~misterfis@87.215.131.102)
08:57:14 → cheater joins (~Username@user/cheater)
09:02:00 → jtza8 joins (~user@165.255.89.4)
09:02:00 × jtza8 quits (~user@165.255.89.4) (Changing host)
09:02:00 → jtza8 joins (~user@user/jtza8)
09:08:17 → julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752)
09:08:33 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds)
09:12:01 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
09:15:53 × ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 272 seconds)
09:15:55 <julie_pilgrim> hi im new to haskell and im wondering what the best way of debugging it would be? im looking for something like GDB but for haskell
09:16:10 × euleritian quits (~euleritia@dynamic-046-114-094-144.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
09:16:28 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
09:18:32 → ski joins (~ski@ext-1-033.eduroam.chalmers.se)
09:22:08 → Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no)
09:23:19 × ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds)
09:23:42 × ft quits (~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving)
09:23:52 → ski joins (~ski@ext-1-033.eduroam.chalmers.se)
09:25:16 → cfricke joins (~cfricke@user/cfricke)
09:29:11 × misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 260 seconds)
09:32:48 → gehmehgeh joins (~user@user/gehmehgeh)
09:33:10 → kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be)
09:37:45 → danse-nr3 joins (~danse@151.43.246.136)
09:39:10 × julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
09:39:38 → akegalj joins (~akegalj@78-1-162-30.adsl.net.t-com.hr)
09:41:21 <dminuoso> Well, you *can* use gdb/lldb with GHC Haskell.
09:41:32 <dminuoso> GHCi can also be used, the wiki has some information on that.
09:43:10 × danse-nr3 quits (~danse@151.43.246.136) (Remote host closed the connection)
09:43:33 → danse-nr3 joins (~danse@151.43.246.136)
09:45:25 × ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 264 seconds)
09:47:18 → mmhat joins (~mmh@p200300f1c70b449aee086bfffe095315.dip0.t-ipconnect.de)
09:49:08 → zer0bitz joins (~zer0bitz@user/zer0bitz)
09:49:26 → julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752)
09:49:45 × whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
09:53:48 × julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Ping timeout: 250 seconds)
09:59:00 → Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi)
09:59:41 × tzh quits (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz)
10:08:05 × synchromesh quits (~synchrome@2407:7000:aa2d:4e00:9cf7:efcb:5efd:a99) (Read error: Connection reset by peer)
10:08:50 → synchromesh joins (~synchrome@2407:7000:aa2d:4e00:9cf7:efcb:5efd:a99)
10:10:21 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 272 seconds)
10:10:40 → chele joins (~chele@user/chele)
10:15:34 → pagnol joins (~user@2a02:a210:a41:dc00:73ad:7e09:679c:4c9e)
10:17:44 → ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:83df:e010:4bc3:d737)
10:26:25 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
10:31:18 × sroso quits (~sroso@user/SrOso) (Quit: Leaving :))
10:33:49 × danse-nr3 quits (~danse@151.43.246.136) (Read error: Connection reset by peer)
10:34:14 → danse-nr3 joins (~danse@151.43.246.136)
10:40:45 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds)
10:43:37 → oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
10:49:55 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
10:53:11 × akegalj quits (~akegalj@78-1-162-30.adsl.net.t-com.hr) (Quit: leaving)
10:53:35 × igemnace quits (~ian@user/igemnace) (Read error: Connection reset by peer)
10:55:11 × Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 264 seconds)
10:55:30 → son0p joins (~ff@181.237.199.182)
10:55:43 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
11:01:40 → azimut joins (~azimut@gateway/tor-sasl/azimut)
11:02:28 × pagnol quits (~user@2a02:a210:a41:dc00:73ad:7e09:679c:4c9e) (Ping timeout: 246 seconds)
11:04:56 × danse-nr3 quits (~danse@151.43.246.136) (Read error: Connection reset by peer)
11:05:25 → danse-nr3 joins (~danse@151.37.253.178)
11:05:41 × acidjnk quits (~acidjnk@p200300d6e737e731796c591da436d74b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
11:05:42 → xff0x joins (~xff0x@ai082039.d.east.v6connect.net)
11:08:43 × Ellenor quits (ellenor@callbox.trd.is) (Ping timeout: 255 seconds)
11:10:15 → igemnace joins (~ian@user/igemnace)
11:10:58 × destituion quits (~destituio@2a02:2121:6b0:945a:2d6a:154b:f3d4:a642) (Ping timeout: 255 seconds)
11:11:27 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
11:11:28 → destituion joins (~destituio@85.221.111.174)
11:11:47 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds)
11:20:54 → acidjnk joins (~acidjnk@p200300d6e737e782ac9b60c7ae9635c4.dip0.t-ipconnect.de)
11:22:56 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
11:25:21 → pavonia joins (~user@user/siracusa)
11:29:10 → pagnol joins (~user@2a02:a210:a41:dc00:c70a:15d2:400b:5f02)
11:36:21 × thegeekinside quits (~thegeekin@189.217.83.221) (Read error: Connection reset by peer)
11:47:53 × CiaoSen quits (~Jura@2a05:5800:2a3:e200:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds)
11:50:58 → Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no)
11:51:33 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
11:53:10 → __monty__ joins (~toonn@user/toonn)
11:59:52 → glguy_ joins (g@libera/staff/glguy)
12:00:21 × g quits (g@libera/staff/glguy) (Read error: Connection reset by peer)
12:01:36 × glguy quits (g@libera/staff/glguy) (Read error: Connection reset by peer)
12:02:53 → Ellenor joins (~Ellenor@callbox.trd.is)
12:06:38 × jtza8 quits (~user@user/jtza8) (Ping timeout: 252 seconds)
12:08:11 → g joins (g@libera/staff/glguy)
12:11:16 × xff0x quits (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 255 seconds)
12:12:37 × danse-nr3 quits (~danse@151.37.253.178) (Ping timeout: 255 seconds)
12:12:57 → xff0x joins (~xff0x@2405:6580:b080:900:f531:ff93:152c:b2f4)
12:13:11 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
12:14:07 → euleritian joins (~euleritia@dynamic-046-114-090-000.46.114.pool.telefonica.de)
12:15:26 → phma_ joins (phma@2001:5b0:212a:9c58:a175:50c1:b8ee:eb0e)
12:15:44 × euleritian quits (~euleritia@dynamic-046-114-090-000.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
12:16:07 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
12:16:22 × phma quits (phma@2001:5b0:211c:c1d8:e754:54f0:2658:655) (Read error: Connection reset by peer)
12:23:28 × pagnol quits (~user@2a02:a210:a41:dc00:c70a:15d2:400b:5f02) (Ping timeout: 260 seconds)
12:29:43 × micro quits (~micro@user/micro) (Ping timeout: 255 seconds)
12:30:13 → micro joins (~micro@user/micro)
12:35:10 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
12:35:47 → azimut joins (~azimut@gateway/tor-sasl/azimut)
12:50:27 → danse-nr3 joins (~danse@151.43.242.34)
12:53:49 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
12:58:02 <ph88> sm, yes thank you for thinking along <3
13:00:46 → ph88^ joins (~ph88@2a02:8109:9e26:c800:3498:46a3:355f:5fe2)
13:01:00 × cyphase quits (~cyphase@user/cyphase) (Ping timeout: 268 seconds)
13:08:26 → cyphase joins (~cyphase@user/cyphase)
13:22:37 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
13:23:11 → euleritian joins (~euleritia@dynamic-046-114-090-000.46.114.pool.telefonica.de)
13:23:25 × xff0x quits (~xff0x@2405:6580:b080:900:f531:ff93:152c:b2f4) (Ping timeout: 256 seconds)
13:25:14 → xff0x joins (~xff0x@ai082039.d.east.v6connect.net)
13:30:13 → CiaoSen joins (~Jura@2a05:5800:2a3:e200:e6b9:7aff:fe80:3d03)
13:34:02 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
13:47:07 × destituion quits (~destituio@85.221.111.174) (Ping timeout: 255 seconds)
13:50:57 × ph88^ quits (~ph88@2a02:8109:9e26:c800:3498:46a3:355f:5fe2) (Ping timeout: 268 seconds)
13:53:41 × euleritian quits (~euleritia@dynamic-046-114-090-000.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
13:54:03 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
13:56:43 × rosco quits (~rosco@175.136.156.77) (Quit: Lost terminal)
14:01:17 → destituion joins (~destituio@2a02:2121:6b0:945a:2c8d:377a:a50b:130d)
14:08:44 → pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
14:09:53 → Achylles joins (~Achylles_@45.182.57.63)
14:10:08 × Achylles quits (~Achylles_@45.182.57.63) (Max SendQ exceeded)
14:10:18 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
14:10:56 × xigua quits (~xigua@user/xigua) (Ping timeout: 256 seconds)
14:11:13 × Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds)
14:11:44 gehmehgeh is now known as gmg
14:12:38 × mmhat quits (~mmh@p200300f1c70b449aee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
14:12:54 → Maxdamantus joins (~Maxdamant@user/maxdamantus)
14:13:00 → mmhat joins (~mmh@p200300f1c70b4410ee086bfffe095315.dip0.t-ipconnect.de)
14:13:08 → xigua joins (~xigua@user/xigua)
14:16:23 × gmg quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds)
14:16:43 → gmg joins (~user@user/gehmehgeh)
14:17:11 × synchromesh quits (~synchrome@2407:7000:aa2d:4e00:9cf7:efcb:5efd:a99) (Read error: Connection reset by peer)
14:17:59 → Achylles joins (~Achylles_@45.182.57.63)
14:18:31 → synchromesh joins (~synchrome@2407:7000:aa2d:4e00:9cf7:efcb:5efd:a99)
14:19:14 × Achylles quits (~Achylles_@45.182.57.63) (Remote host closed the connection)
14:21:34 → thegeekinside joins (~thegeekin@189.217.83.221)
14:23:18 → Achylles__ joins (~Achylles_@45.182.57.63)
14:24:13 × Achylles__ quits (~Achylles_@45.182.57.63) (Client Quit)
14:24:44 → Achylles joins (~Achylles_@45.182.57.63)
14:24:46 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
14:25:29 → gmg joins (~user@user/gehmehgeh)
14:29:07 × gorignak quits (~gorignak@user/gorignak) (Remote host closed the connection)
14:29:09 × koz quits (~koz@121.99.240.58) (Ping timeout: 256 seconds)
14:29:42 × danse-nr3 quits (~danse@151.43.242.34) (Remote host closed the connection)
14:29:59 × Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds)
14:30:05 → danse-nr3 joins (~danse@151.43.242.34)
14:33:46 → gorignak joins (~gorignak@user/gorignak)
14:34:30 → koz joins (~koz@121.99.240.58)
14:35:58 → jbalint_ joins (~jbalint@2600-6c44-117f-e98a-816a-9488-0fb1-07b7.inf6.spectrum.com)
14:36:18 <cheater> so what happened to hott
14:36:21 <cheater> did it fizzle out
14:36:28 × jbalint quits (~jbalint@2600-6c44-117f-e98a-816a-9488-0fb1-07b7.inf6.spectrum.com) (Ping timeout: 260 seconds)
14:37:09 → raoul^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net)
14:37:31 × koz quits (~koz@121.99.240.58) (Client Quit)
14:38:47 × gorignak quits (~gorignak@user/gorignak) (Remote host closed the connection)
14:39:12 → gorignak joins (~gorignak@user/gorignak)
14:40:12 × Eoco quits (~ian@128.101.131.218) (Ping timeout: 255 seconds)
14:40:39 → billchenchina joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
14:40:58 × cptaffe quits (~cptaffe@2600:1700:f08:111f::18e7) (Ping timeout: 256 seconds)
14:41:22 → cptaffe joins (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
14:41:41 → Maxdamantus joins (~Maxdamant@user/maxdamantus)
14:41:52 → ski joins (~ski@ext-1-033.eduroam.chalmers.se)
14:42:11 → Eoco joins (~ian@128.101.131.218)
14:43:06 <int-e> Voevodsky died in 2017, which was a huge setback, because (afaik) he was the main visionary in that area. It's certainly not dead though.
14:45:08 → oneeyedalien joins (~oneeyedal@user/oneeyedalien)
14:45:34 → koz joins (~koz@121.99.240.58)
14:54:43 <ncf> hott is doing well
14:55:26 → bontaq joins (~user@ool-45779c03.dyn.optonline.net)
14:56:20 sprout remembers something vaguely about proving some small algebraic structures equal
15:10:29 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:11:14 → rosco joins (~rosco@175.136.156.77)
15:14:10 × rosco quits (~rosco@175.136.156.77) (Client Quit)
15:14:51 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
15:18:12 × raoul^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
15:31:04 → ystael joins (~ystael@user/ystael)
15:43:03 × michalz quits (~michalz@185.246.207.193) (Quit: ZNC 1.8.2 - https://znc.in)
15:47:34 → raoul^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net)
15:48:19 → [[PSYCHIATRIST joins (~PSYCHIAT@46.197.13.252)
15:50:58 phma_ is now known as phma
15:57:39 × jargon quits (~jargon@53.sub-174-205-227.myvzw.com) (Read error: Connection reset by peer)
16:06:57 × gorignak quits (~gorignak@user/gorignak) (Quit: quit)
16:09:18 → codaraxis joins (~codaraxis@user/codaraxis)
16:21:12 × danse-nr3 quits (~danse@151.43.242.34) (Read error: Connection reset by peer)
16:22:21 × dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds)
16:22:25 → danse-nr3 joins (~danse@151.57.174.252)
16:24:23 × qqq quits (~qqq@92.43.167.61) (Remote host closed the connection)
16:24:49 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
16:25:41 × raoul^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 240 seconds)
16:29:59 × __monty__ quits (~toonn@user/toonn) (Ping timeout: 264 seconds)
16:34:14 × chele quits (~chele@user/chele) (Remote host closed the connection)
16:46:43 <chymera> hi guys, I gave haskell a try on account of hating object salad. I thought that being “functional” it would avoid that. But I see a lot of usage of `class` and `instance`, am I understanding the difference between functional and object-oriented programming incorrectly?
16:47:31 <dolio> Those aren't really like the OO class and instance.
16:49:34 ← L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
16:50:49 <dolio> A class identifies a collection of types that support an overloaded API. And an instance is such a type, with its implementation of the API.
16:56:36 <geekosaur> an example of this is the class Functor, which is defined by `fmap :: (a -> b) -> f a -> f b` with specific laws. every Functor has its own specific implementation, but they all follow the same laws
16:57:29 <geekosaur> I still consider the use of OO-like terms to describe this unfortunate, especially when it's stretched even further ("superclasses", which aren't), but here we are
16:58:47 × danse-nr3 quits (~danse@151.57.174.252) (Ping timeout: 264 seconds)
17:00:11 <EvanR> and they called return return when it doesn't!
17:00:13 <EvanR> smh
17:00:49 <EvanR> they should've doubled down and called function application dependency injection
17:01:42 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2)
17:04:32 → komikat joins (~user@218.185.248.66)
17:04:32 → rscastilho2024 joins (rscastilho@189.61.140.215)
17:04:53 × rscastilho2024 quits (rscastilho@189.61.140.215) (Remote host closed the connection)
17:09:59 × kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
17:10:08 × igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.2.1)
17:10:16 <dolio> What else should they be called?
17:11:24 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
17:11:28 × komikat quits (~user@218.185.248.66) (Remote host closed the connection)
17:11:33 <dolio> Like, what people would normally refer to a 'superclass' in Haskell must contain all the types in the, 'subclass,' just like you'd expect from sub/super in math.
17:11:56 → komikat joins (~user@218.185.248.66)
17:12:09 × CiaoSen quits (~Jura@2a05:5800:2a3:e200:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds)
17:12:43 <dolio> That could be accidentally true for classes that aren't declared to be related, but because of open world assumptions you can never be sure.
17:14:22 <EvanR> if someone gives you two objects and says they're in the same class or instances of the same class, OOP person probably concludes they're not instances of any other class
17:14:27 <EvanR> while math person wouldn't
17:14:39 <EvanR> I blame oop for using confusing terminology way back when it was invented
17:15:26 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
17:17:00 <dolio> I don't think that's even true in OOP.
17:19:24 <dolio> But I also don't care about designing my use of terminology around some other group of people making mistakes about their use of the same terminology.
17:22:23 × son0p quits (~ff@181.237.199.182) (Ping timeout: 259 seconds)
17:22:30 → euphores joins (~SASL_euph@user/euphores)
17:25:37 × Square3 quits (~Square4@user/square) (Ping timeout: 264 seconds)
17:35:02 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
17:37:34 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 268 seconds)
17:40:25 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
17:41:47 × ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:83df:e010:4bc3:d737) (Remote host closed the connection)
17:43:01 → rvalue joins (~rvalue@user/rvalue)
17:45:05 × oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving)
17:45:23 <int-e> "class" is not primarily a mathematical term
17:46:48 <int-e> (I'm kind of serious; with this attitude, mathematicians should be the first to be accused of misusing terminology. Set is a stretch; there's nothing natural about natural numbers or real about real numebrs; and don't get me started on rings and fields. And the list goes on forever.)
17:53:52 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds)
17:54:33 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:54:42 → CrunchyFlakes_ joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
17:54:46 → tzh joins (~tzh@c-73-164-206-160.hsd1.or.comcast.net)
17:55:22 × billchenchina quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving)
17:55:31 × CrunchyFlakes quits (~CrunchyFl@146.52.130.128) (Ping timeout: 260 seconds)
18:00:26 → danse-nr3 joins (~danse@151.57.174.252)
18:05:04 × [[PSYCHIATRIST quits (~PSYCHIAT@46.197.13.252) (Quit: Connection closed)
18:07:32 × Achylles quits (~Achylles_@45.182.57.63) (Remote host closed the connection)
18:10:06 → FunctionallySane joins (~Functiona@175.176.18.44)
18:10:44 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:17:24 → raoul^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net)
18:26:56 × synchromesh quits (~synchrome@2407:7000:aa2d:4e00:9cf7:efcb:5efd:a99) (Read error: Connection reset by peer)
18:28:16 → synchromesh joins (~synchrome@2407:7000:aa2d:4e00:9cf7:efcb:5efd:a99)
18:36:00 × drdo quits (~drdo@bl14-14-49.dsl.telepac.pt) (Ping timeout: 255 seconds)
18:36:34 × FunctionallySane quits (~Functiona@175.176.18.44) (Quit: Connection closed)
18:37:14 → Joao[3] joins (~Joao003@190.108.99.207)
18:39:15 → Sgeo joins (~Sgeo@user/sgeo)
18:40:48 → drdo joins (~drdo@bl14-14-49.dsl.telepac.pt)
18:47:55 × EvanR quits (~EvanR@user/evanr) (Quit: Leaving)
18:50:34 → EvanR joins (~EvanR@user/evanr)
18:55:01 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:55:43 → ph88^ joins (~ph88@2a02:8109:9e26:c800:b9c0:73bb:4bb1:2ddb)
18:59:08 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:59:40 → danza joins (~francesco@151.57.174.252)
19:05:02 × danse-nr3 quits (~danse@151.57.174.252) (Ping timeout: 256 seconds)
19:21:14 → target_i joins (~target_i@217.175.14.39)
19:25:25 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
19:25:38 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
19:30:54 × ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 255 seconds)
19:31:03 → dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
19:32:32 → son0p joins (~ff@181.237.199.182)
19:32:36 → ski joins (~ski@ext-1-033.eduroam.chalmers.se)
19:34:42 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
19:36:19 × tzh quits (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Ping timeout: 255 seconds)
19:36:57 → tzh joins (~tzh@c-73-164-206-160.hsd1.or.comcast.net)
19:37:17 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
19:37:30 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
19:40:24 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:42:42 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:44:24 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
19:45:43 × trev quits (~trev@user/trev) (Ping timeout: 246 seconds)
19:46:58 × ph88^ quits (~ph88@2a02:8109:9e26:c800:b9c0:73bb:4bb1:2ddb) (Ping timeout: 256 seconds)
19:49:39 → FunctionallySane joins (~Functiona@175.176.18.44)
19:51:49 × FunctionallySane quits (~Functiona@175.176.18.44) (Client Quit)
19:54:08 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
20:00:48 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
20:02:38 × danza quits (~francesco@151.57.174.252) (Quit: Leaving)
20:03:39 × a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1)
20:04:00 → a51 joins (a51@gateway/vpn/protonvpn/a51)
20:06:10 → Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
20:09:50 × a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1)
20:10:07 → trev joins (~trev@user/trev)
20:10:45 → a51 joins (a51@gateway/vpn/protonvpn/a51)
20:14:35 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
20:15:49 × synchromesh quits (~synchrome@2407:7000:aa2d:4e00:9cf7:efcb:5efd:a99) (Ping timeout: 256 seconds)
20:27:58 → ft joins (~ft@p508db2e6.dip0.t-ipconnect.de)
20:32:36 × hays quits (rootvegeta@fsf/member/hays) (Remote host closed the connection)
20:35:58 → wootehfoot joins (~wootehfoo@user/wootehfoot)
20:36:11 × a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1)
20:40:05 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
20:44:07 × komikat quits (~user@218.185.248.66) (Ping timeout: 268 seconds)
20:53:49 × notzmv quits (~daniel@user/notzmv) (Ping timeout: 264 seconds)
20:56:15 → machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
20:57:06 → euphores joins (~SASL_euph@user/euphores)
21:07:07 → a51 joins (a51@gateway/vpn/protonvpn/a51)
21:08:30 → notzmv joins (~daniel@user/notzmv)
21:09:25 → hays joins (rootvegeta@fsf/member/hays)
21:10:17 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
21:13:01 × hays quits (rootvegeta@fsf/member/hays) (Client Quit)
21:13:18 → hays joins (rootvegeta@fsf/member/hays)
21:16:47 → testusr joins (~testusr@user/testusr)
21:21:41 × target_i quits (~target_i@217.175.14.39) (Quit: leaving)
21:25:59 → jargon joins (~jargon@53.sub-174-205-227.myvzw.com)
21:31:43 × duncan quits (c6181279e3@user/duncan) (Remote host closed the connection)
21:31:52 → duncan joins (c6181279e3@user/duncan)
21:33:19 × duncan quits (c6181279e3@user/duncan) (Remote host closed the connection)
21:33:28 → duncan joins (c6181279e3@user/duncan)
21:59:14 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
21:59:41 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
22:02:49 × pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 264 seconds)
22:05:48 → jmorris joins (uid604645@id-604645.hampstead.irccloud.com)
22:09:54 → sinbad joins (~sinbad@user/sinbad)
22:11:23 × hamishmack quits (sid389057@hampstead.irccloud.com) (Ping timeout: 264 seconds)
22:11:54 → hamishmack joins (sid389057@id-389057.hampstead.irccloud.com)
22:13:51 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
22:16:31 → pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
22:22:16 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
22:24:11 × mxs quits (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat)
22:27:20 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:31:21 × mulk quits (~mulk@p5b112bc5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
22:34:53 → mulk joins (~mulk@p5b2dc801.dip0.t-ipconnect.de)
22:35:13 × pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 264 seconds)
22:35:22 → mud joins (~mud@user/kadoban)
22:37:56 × down200 quits (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in)
22:38:51 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
22:38:58 × testusr quits (~testusr@user/testusr) (Remote host closed the connection)
22:39:55 → down200 joins (~down200@shell.lug.mtu.edu)
22:41:49 → benkard joins (~mulk@p5b2dc819.dip0.t-ipconnect.de)
22:41:58 × mulk quits (~mulk@p5b2dc801.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
22:41:59 benkard is now known as mulk
22:43:24 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
22:44:48 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
22:44:49 × cyphase quits (~cyphase@user/cyphase) (Ping timeout: 264 seconds)
22:47:11 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 272 seconds)
22:50:06 → cyphase joins (~cyphase@user/cyphase)
22:59:13 × mulk quits (~mulk@p5b2dc819.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
22:59:51 → mulk joins (~mulk@p5b2dc887.dip0.t-ipconnect.de)
23:02:32 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
23:03:07 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds)
23:11:52 × acidjnk quits (~acidjnk@p200300d6e737e782ac9b60c7ae9635c4.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
23:15:54 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
23:18:02 ← sinbad parts (~sinbad@user/sinbad) ()
23:18:44 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in)
23:21:12 → azimut joins (~azimut@gateway/tor-sasl/azimut)
23:40:16 <haskellbridge> <i​rregularsphere> chymera: first off, don't hate on object salad; second, think of "class"es as interfaces and "instance"s as implementing the interface
23:47:07 <haskellbridge> <i​rregularsphere> int-e: shouldn't it be the same for OOP? what's abstract about an abstractfactory
23:47:44 <haskellbridge> <i​rregularsphere> I suspect that these terminologies developed separately on their own and they're coincidentally the same
23:50:24 <int-e> "shouldn't it be the same" - yes. Many fields just borrow english words (many of which were borrowed from somewhere else) and give them their own specific meaning.
23:59:30 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
23:59:40 → emmanuelux joins (~emmanuelu@user/emmanuelux)

All times are in UTC on 2024-02-22.