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