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