| 2023-04-20 00:04:40 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-04-20 00:14:16 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-04-20 00:22:46 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 252 seconds) |
| 2023-04-20 00:24:23 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection) |
| 2023-04-20 00:25:20 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 260 seconds) |
| 2023-04-20 00:27:12 +0200 | acidjnk | (~acidjnk@p200300d6e715c4600172666463a133ec.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-04-20 00:29:28 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-20 00:30:28 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 2023-04-20 00:33:16 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-04-20 00:38:42 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-04-20 00:39:28 +0200 | cheater | (~Username@user/cheater) |
| 2023-04-20 00:47:25 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 2023-04-20 00:47:56 +0200 | NiceBird | (~NiceBird@185.133.111.196) (Quit: bbl) |
| 2023-04-20 00:49:59 +0200 | NiceBird | (~NiceBird@185.133.111.196) |
| 2023-04-20 00:55:44 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-04-20 01:02:58 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2023-04-20 01:05:31 +0200 | barthandelous01 | (~calebbrze@209.140.228.250) (Ping timeout: 240 seconds) |
| 2023-04-20 01:06:03 +0200 | NiceBird | (~NiceBird@185.133.111.196) (Ping timeout: 255 seconds) |
| 2023-04-20 01:13:34 +0200 | mei | (~mei@user/mei) (Killed (copper.libera.chat (Nickname regained by services))) |
| 2023-04-20 01:13:39 +0200 | mei | (~mei@user/mei) |
| 2023-04-20 01:17:24 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-04-20 01:17:48 +0200 | mei | Guest8491 |
| 2023-04-20 01:17:48 +0200 | Guest8491 | (~mei@user/mei) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 2023-04-20 01:17:53 +0200 | mei | (~mei@user/mei) |
| 2023-04-20 01:18:36 +0200 | barthandelous01 | (~calebbrze@209.140.228.250) |
| 2023-04-20 01:19:00 +0200 | Unode | (~Unode@fg-ext-220.embl.de) (Quit: Not that cable) |
| 2023-04-20 01:19:12 +0200 | Unode | (~Unode@fg-ext-220.embl.de) |
| 2023-04-20 01:21:12 +0200 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 252 seconds) |
| 2023-04-20 01:22:32 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-04-20 01:23:26 +0200 | Flow | (~none@gentoo/developer/flow) |
| 2023-04-20 01:27:25 +0200 | gurkenglas | (~gurkengla@dynamic-089-204-155-235.89.204.155.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-04-20 01:31:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-04-20 01:35:25 +0200 | slack1256 | (~slack1256@186.11.20.9) (Ping timeout: 240 seconds) |
| 2023-04-20 01:36:11 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-04-20 01:36:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-04-20 01:39:42 +0200 | oac | (~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac) |
| 2023-04-20 01:39:58 +0200 | oac | (~oac@50-93-248-155.fttp.usinternet.com) |
| 2023-04-20 01:42:45 +0200 | barthandelous01 | (~calebbrze@209.140.228.250) (Ping timeout: 240 seconds) |
| 2023-04-20 01:43:08 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-04-20 01:44:29 +0200 | slaydr | (~slaydr@97-120-64-157.ptld.qwest.net) |
| 2023-04-20 01:47:15 +0200 | barthandelous01 | (~calebbrze@209.140.228.250) |
| 2023-04-20 01:47:36 +0200 | <slaydr> | i'm using opensuse Tumbleweed. I installed ghc using ghcup. I installed devel_basis. I was compiling and linking successfully earlier. Now I compile but do not link so no executable generated. I get no error message. I can load the .hs file in ghci and it compiles fine |
| 2023-04-20 01:49:20 +0200 | <slaydr> | Is there a log file for ghc? |
| 2023-04-20 01:50:53 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-04-20 01:51:31 +0200 | hunk[m] | (~hunkmatri@2001:470:69fc:105::3:481b) |
| 2023-04-20 01:52:35 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 246 seconds) |
| 2023-04-20 01:52:35 +0200 | mauke_ | mauke |
| 2023-04-20 01:53:59 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-20 01:54:07 +0200 | <monochrom> | Or a log file for the whole file system, for that matter. |
| 2023-04-20 01:54:12 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-04-20 01:56:07 +0200 | <mauke> | slaydr: how are you running ghc? |
| 2023-04-20 01:57:51 +0200 | <hpc> | monochrom: perhaps a journal? |
| 2023-04-20 01:58:26 +0200 | <hpc> | slaydr: ghc has verbosity flags |
| 2023-04-20 01:59:52 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:152b:c011:bb3d:abd2) (Remote host closed the connection) |
| 2023-04-20 02:00:12 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-04-20 02:02:11 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 2023-04-20 02:02:54 +0200 | <slaydr> | I run from the command line. I've tried ghc-9.2.7 and ghc-9.4.2. I'll try the verbosity. I take it no one else is seeing this problem? |
| 2023-04-20 02:03:21 +0200 | <geekosaur> | I showed you in a pastebin what I got for compiling a small program in multiple ghc versions |
| 2023-04-20 02:03:27 +0200 | <geekosaur> | yesterday |
| 2023-04-20 02:03:53 +0200 | <geekosaur> | https://paste.tomsmeding.com/Sa1tj7i3 |
| 2023-04-20 02:05:05 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-04-20 02:05:05 +0200 | <slaydr> | I did see that, geekosaur. I disto-hopped from arcolinux to opensuse and was able to get an executable on a simple hello world earlier. Now, linking silently? fails |
| 2023-04-20 02:05:22 +0200 | <mauke> | what is the exact command? |
| 2023-04-20 02:05:57 +0200 | <monochrom> | And the verbatim input file, like I allured to. |
| 2023-04-20 02:06:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-04-20 02:07:02 +0200 | <slaydr> | I have Main.hs. I use $ ghc Main and with -v only see temp file activity. I get Main.hi and Main.o but no Main |
| 2023-04-20 02:08:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-04-20 02:09:15 +0200 | <slaydr> | Installing the devel_basis pattern using zypper did seem to solve the problem earlier today. I did link ok. Now it won't link when I try. I did delete Main.o and Main.hi before trying each time |
| 2023-04-20 02:09:43 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-04-20 02:10:43 +0200 | <mauke> | this insistence on paraphrasing is frustrating |
| 2023-04-20 02:12:20 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-20 02:14:03 +0200 | <monochrom> | "Have you tried turning it off and on again at the same time?" |
| 2023-04-20 02:16:38 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 2023-04-20 02:23:33 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-20 02:23:54 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 2023-04-20 02:25:09 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Client Quit) |
| 2023-04-20 02:26:21 +0200 | <slaydr> | I will try reinstalling the opensuse distro. Thanks for your help |
| 2023-04-20 02:26:43 +0200 | <yushyin> | Oo |
| 2023-04-20 02:27:06 +0200 | slaydr | (~slaydr@97-120-64-157.ptld.qwest.net) (Remote host closed the connection) |
| 2023-04-20 02:27:22 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2023-04-20 02:31:58 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
| 2023-04-20 02:35:44 +0200 | kee | (~~kee@user/wizzwizz4) (Ping timeout: 248 seconds) |
| 2023-04-20 02:36:33 +0200 | Me-me | (~Me-me@146.102.215.218.dyn.iprimus.net.au) |
| 2023-04-20 02:37:10 +0200 | opticblast | (~Thunderbi@172.58.83.143) |
| 2023-04-20 02:37:46 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-20 02:37:46 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-20 02:37:46 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-20 02:49:10 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-04-20 02:49:55 +0200 | cheater | (~Username@user/cheater) |
| 2023-04-20 03:04:03 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-04-20 03:04:40 +0200 | pyook | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2023-04-20 03:05:02 +0200 | pyook | (~puke@user/puke) |
| 2023-04-20 03:10:44 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-04-20 03:16:34 +0200 | pyook | (~puke@user/puke) (Remote host closed the connection) |
| 2023-04-20 03:16:48 +0200 | barthandelous01 | (~calebbrze@209.140.228.250) (Ping timeout: 248 seconds) |
| 2023-04-20 03:16:50 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-04-20 03:16:51 +0200 | pyook | (~puke@user/puke) |
| 2023-04-20 03:17:01 +0200 | pyook | (~puke@user/puke) (Remote host closed the connection) |
| 2023-04-20 03:18:29 +0200 | <Axman6> | geekosaur: Where can I :thumbsup: the ghc proposal to add -Odons? :) |
| 2023-04-20 03:18:47 +0200 | <geekosaur> | heh |
| 2023-04-20 03:19:04 +0200 | <geekosaur> | actually I think he packaged it; it's just bitrotted |
| 2023-04-20 03:19:44 +0200 | <Axman6> | -Odph? Can't remeber if he was involved in that wor a UNSW or not |
| 2023-04-20 03:19:49 +0200 | <Axman6> | k* |
| 2023-04-20 03:22:06 +0200 | JScript | (~JScript@103.137.12.28) (Ping timeout: 265 seconds) |
| 2023-04-20 03:22:28 +0200 | smallville7123_ | (~JScript@cpe-172-193-72-46.qld.foxtel.net.au) |
| 2023-04-20 03:23:10 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-04-20 03:26:26 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-04-20 03:27:53 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-04-20 03:28:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6486:e69a:524e:7c3f) |
| 2023-04-20 03:30:25 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-04-20 03:30:52 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 252 seconds) |
| 2023-04-20 03:32:06 +0200 | barthandelous01 | (~calebbrze@209.140.228.250) |
| 2023-04-20 03:32:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-04-20 03:33:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6486:e69a:524e:7c3f) (Ping timeout: 252 seconds) |
| 2023-04-20 03:33:39 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-04-20 03:34:51 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-20 03:35:12 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-20 03:36:22 +0200 | barthandelous01 | (~calebbrze@209.140.228.250) (Ping timeout: 252 seconds) |
| 2023-04-20 03:36:41 +0200 | falafel | (~falafel@2603-8000-d700-115c-ce22-2a4a-f057-7e39.res6.spectrum.com) |
| 2023-04-20 03:40:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6b0a:95d2:a0f4:74) (Ping timeout: 248 seconds) |
| 2023-04-20 03:43:21 +0200 | chanceyan | (~chanceyan@user/chanceyan) |
| 2023-04-20 03:57:13 +0200 | barthandelous01 | (~calebbrze@209.140.228.250) |
| 2023-04-20 03:57:20 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-20 03:57:35 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-56-65-92-162-12.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-04-20 03:57:54 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-56-65-92-162-12.dsl.bell.ca) |
| 2023-04-20 04:04:15 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2023-04-20 04:06:37 +0200 | td_ | (~td@i5387091D.versanet.de) (Ping timeout: 252 seconds) |
| 2023-04-20 04:07:14 +0200 | tinwood | (~tinwood@canonical/tinwood) (Remote host closed the connection) |
| 2023-04-20 04:08:15 +0200 | td_ | (~td@i53870923.versanet.de) |
| 2023-04-20 04:10:14 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2023-04-20 04:10:15 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2023-04-20 04:10:15 +0200 | tinwood | (~tinwood@canonical/tinwood) |
| 2023-04-20 04:16:34 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-20 04:19:59 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
| 2023-04-20 04:22:08 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-04-20 04:28:20 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-20 04:30:03 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6486:e69a:524e:7c3f) |
| 2023-04-20 04:32:00 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 2023-04-20 04:32:53 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 250 seconds) |
| 2023-04-20 04:35:03 +0200 | oac | (~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac) |
| 2023-04-20 04:35:19 +0200 | oac | (~oac@50-93-248-155.fttp.usinternet.com) |
| 2023-04-20 04:51:32 +0200 | krei-se | (~krei-se@p57af2733.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-04-20 04:51:51 +0200 | krei-se | (~krei-se@p57af2733.dip0.t-ipconnect.de) |
| 2023-04-20 04:55:29 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::4) (Remote host closed the connection) |
| 2023-04-20 04:57:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-04-20 04:57:43 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-04-20 04:57:43 +0200 | finn_elija | FinnElija |
| 2023-04-20 04:59:15 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2023-04-20 04:59:51 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-04-20 05:02:01 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-20 05:02:01 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-20 05:02:01 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-20 05:03:07 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-04-20 05:06:15 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-04-20 05:09:13 +0200 | smallville7123_ | (~JScript@cpe-172-193-72-46.qld.foxtel.net.au) (Read error: Connection reset by peer) |
| 2023-04-20 05:09:40 +0200 | JScript | (~JScript@103.137.12.206) |
| 2023-04-20 05:10:56 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-04-20 05:16:27 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-20 05:18:47 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2023-04-20 05:23:02 +0200 | ub | (~Thunderbi@p200300ecdf114f283cbe998f06d4577f.dip0.t-ipconnect.de) |
| 2023-04-20 05:23:45 +0200 | ubert | (~Thunderbi@p548c84d6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-04-20 05:23:45 +0200 | ub | ubert |
| 2023-04-20 05:32:41 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 250 seconds) |
| 2023-04-20 05:45:10 +0200 | ub | (~Thunderbi@p548c84d6.dip0.t-ipconnect.de) |
| 2023-04-20 05:45:19 +0200 | ubert | (~Thunderbi@p200300ecdf114f283cbe998f06d4577f.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2023-04-20 05:45:19 +0200 | ub | ubert |
| 2023-04-20 05:47:05 +0200 | <hammond> | so I have a function that goes from String->IO String and inside that function I'm calling another function that goes from String->Maybe String and I want to use that result to return it to the IO String. |
| 2023-04-20 05:47:10 +0200 | <hammond> | how can I do it? |
| 2023-04-20 05:56:11 +0200 | <jackdk> | hammond: stand by |
| 2023-04-20 06:02:00 +0200 | <jackdk> | hammond: Am I solving the problem you are describing? https://www.irccloud.com/pastebin/snDGzEnC/Strings.hs |
| 2023-04-20 06:04:45 +0200 | opticblast | (~Thunderbi@172.58.83.143) (Ping timeout: 240 seconds) |
| 2023-04-20 06:06:00 +0200 | <hammond> | yes thanks jackdk |
| 2023-04-20 06:06:13 +0200 | <jackdk> | hammond: you're welcome |
| 2023-04-20 06:07:36 +0200 | <jackdk> | It is often easiest to start with explicit do-blocks and manual pattern-matches, and use only the shortcuts you are comfortable with to simplify the code to the limit of what you can read |
| 2023-04-20 06:09:02 +0200 | falafel | (~falafel@2603-8000-d700-115c-ce22-2a4a-f057-7e39.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2023-04-20 06:16:26 +0200 | mmhat | (~mmh@p200300f1c7132cbfee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-04-20 06:17:58 +0200 | opticblast | (~Thunderbi@172.58.83.143) |
| 2023-04-20 06:22:50 +0200 | phma | (~phma@host-67-44-208-250.hnremote.net) (Read error: Connection reset by peer) |
| 2023-04-20 06:23:55 +0200 | phma | (phma@2001:5b0:2172:f758:53fb:89c:a0c:ce9e) |
| 2023-04-20 06:24:09 +0200 | jargon | (~jargon@174-22-213-236.phnx.qwest.net) |
| 2023-04-20 06:31:56 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 2023-04-20 06:37:41 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-04-20 06:39:55 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-04-20 06:41:20 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Max SendQ exceeded) |
| 2023-04-20 06:42:11 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-04-20 06:42:14 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Quit: Leaving...) |
| 2023-04-20 06:43:06 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
| 2023-04-20 06:53:52 +0200 | mmhat | (~mmh@p200300f1c7132cbfee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 2023-04-20 06:54:48 +0200 | thegeekinside | (~thegeekin@189.180.119.50) (Ping timeout: 255 seconds) |
| 2023-04-20 06:55:41 +0200 | slack1256 | (~slack1256@186.11.20.9) |
| 2023-04-20 06:58:05 +0200 | msavoritias | (cb716af6b3@irc.cheogram.com) (K-Lined) |
| 2023-04-20 07:01:27 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2023-04-20 07:01:46 +0200 | pyook | (~puke@user/puke) |
| 2023-04-20 07:11:46 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2023-04-20 07:16:44 +0200 | hayden_ | (~hayden@72.92.246.5) (Quit: Leaving) |
| 2023-04-20 07:17:39 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-04-20 07:21:09 +0200 | oac | (~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac) |
| 2023-04-20 07:22:21 +0200 | Everything | (~Everythin@46.185.124.65) |
| 2023-04-20 07:34:01 +0200 | michalz | (~michalz@185.246.207.221) |
| 2023-04-20 07:35:39 +0200 | kenran | (~user@user/kenran) |
| 2023-04-20 07:39:30 +0200 | rburkholder | (~blurb@96.45.2.121) (Ping timeout: 246 seconds) |
| 2023-04-20 07:53:25 +0200 | rburkholder | (~blurb@96.45.2.121) |
| 2023-04-20 07:59:29 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 2023-04-20 08:03:42 +0200 | trev | (~trev@user/trev) |
| 2023-04-20 08:08:33 +0200 | Square | (~Square4@user/square) |
| 2023-04-20 08:09:03 +0200 | vglfr | (~vglfr@88.155.36.189) (Ping timeout: 255 seconds) |
| 2023-04-20 08:10:59 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-04-20 08:12:41 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-20 08:15:12 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Ping timeout: 264 seconds) |
| 2023-04-20 08:24:15 +0200 | chanceyan | (~chanceyan@user/chanceyan) (Quit: chanceyan) |
| 2023-04-20 08:29:19 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-20 08:33:31 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-04-20 08:34:27 +0200 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-04-20 08:34:48 +0200 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-04-20 08:42:03 +0200 | gemmaro | (~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) |
| 2023-04-20 08:45:56 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-04-20 08:50:58 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 276 seconds) |
| 2023-04-20 08:53:17 +0200 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2023-04-20 08:53:27 +0200 | puque | (~puke@user/puke) |
| 2023-04-20 08:53:28 +0200 | pyook | Guest6457 |
| 2023-04-20 08:53:28 +0200 | Guest6457 | (~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services))) |
| 2023-04-20 08:53:28 +0200 | puque | pyook |
| 2023-04-20 08:53:41 +0200 | falafel | (~falafel@2603-8000-d700-115c-1542-f0cc-82b7-ae7b.res6.spectrum.com) |
| 2023-04-20 08:54:11 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2023-04-20 08:56:58 +0200 | chanceyan | (~chanceyan@user/chanceyan) |
| 2023-04-20 08:58:40 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) (Ping timeout: 248 seconds) |
| 2023-04-20 08:59:28 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) |
| 2023-04-20 09:00:00 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6ba:fd9d:7c36:47a1) |
| 2023-04-20 09:00:30 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2023-04-20 09:01:45 +0200 | CiaoSen | (~Jura@p200300c9573131002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-04-20 09:01:52 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-04-20 09:05:50 +0200 | pavonia | (~user@user/siracusa) |
| 2023-04-20 09:09:35 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-04-20 09:16:10 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-20 09:21:04 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2023-04-20 09:23:04 +0200 | acidjnk | (~acidjnk@p200300d6e715c4600172666463a133ec.dip0.t-ipconnect.de) |
| 2023-04-20 09:28:10 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-04-20 09:28:53 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-04-20 09:29:43 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-04-20 09:35:18 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-04-20 09:35:25 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-04-20 09:35:37 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-04-20 09:35:41 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-04-20 09:37:55 +0200 | chele | (~chele@user/chele) |
| 2023-04-20 09:38:44 +0200 | zeenk | (~zeenk@2a02:2f04:a10a:aa00::7fe) |
| 2023-04-20 09:39:30 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2023-04-20 09:41:12 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-20 09:43:35 +0200 | falafel | (~falafel@2603-8000-d700-115c-1542-f0cc-82b7-ae7b.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2023-04-20 09:44:17 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-20 09:48:58 +0200 | coot | (~coot@213.134.170.228) |
| 2023-04-20 09:50:08 +0200 | sus0 | (zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net) |
| 2023-04-20 09:52:31 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 240 seconds) |
| 2023-04-20 09:53:36 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-20 09:53:50 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-20 09:54:40 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-04-20 09:57:53 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 250 seconds) |
| 2023-04-20 09:58:40 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-04-20 10:00:43 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 248 seconds) |
| 2023-04-20 10:12:14 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 2023-04-20 10:12:52 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 2023-04-20 10:17:27 +0200 | gemmaro | (~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) (Remote host closed the connection) |
| 2023-04-20 10:19:28 +0200 | phma | (phma@2001:5b0:2172:f758:53fb:89c:a0c:ce9e) (Read error: Connection reset by peer) |
| 2023-04-20 10:19:32 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-04-20 10:21:05 +0200 | phma | (~phma@host-67-44-208-174.hnremote.net) |
| 2023-04-20 10:25:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6486:e69a:524e:7c3f) (Remote host closed the connection) |
| 2023-04-20 10:26:45 +0200 | puke | (~puke@user/puke) (Ping timeout: 255 seconds) |
| 2023-04-20 10:30:50 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-04-20 10:38:13 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds) |
| 2023-04-20 10:38:54 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2023-04-20 10:42:17 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-04-20 10:42:59 +0200 | Teacup | (~teacup@user/teacup) () |
| 2023-04-20 10:43:00 +0200 | phma_ | (~phma@2001:5b0:211b:e118:3b73:26da:772c:39df) |
| 2023-04-20 10:43:17 +0200 | Teacup | (~teacup@user/teacup) |
| 2023-04-20 10:43:45 +0200 | phma | (~phma@host-67-44-208-174.hnremote.net) (Read error: Connection reset by peer) |
| 2023-04-20 10:43:47 +0200 | zeenk | (~zeenk@2a02:2f04:a10a:aa00::7fe) (Remote host closed the connection) |
| 2023-04-20 10:44:09 +0200 | zeenk | (~zeenk@2a02:2f04:a10a:aa00::fba) |
| 2023-04-20 10:44:10 +0200 | jargon | (~jargon@174-22-213-236.phnx.qwest.net) (Remote host closed the connection) |
| 2023-04-20 10:49:25 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-20 10:51:39 +0200 | phma_ | (~phma@2001:5b0:211b:e118:3b73:26da:772c:39df) (Read error: Connection reset by peer) |
| 2023-04-20 10:52:51 +0200 | phma_ | (~phma@host-67-44-208-65.hnremote.net) |
| 2023-04-20 10:56:49 +0200 | CiaoSen | (~Jura@p200300c9573131002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2023-04-20 10:57:30 +0200 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:d1bb:556e:e2c9:154a) |
| 2023-04-20 10:58:43 +0200 | msavoritias | (cb716af6b3@irc.cheogram.com) |
| 2023-04-20 11:02:00 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-04-20 11:02:47 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-04-20 11:04:51 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 2023-04-20 11:08:29 +0200 | Guest60 | (~Guest60@2a09:bac5:30ce:16a0::241:9) |
| 2023-04-20 11:09:31 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-04-20 11:15:53 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 2023-04-20 11:17:57 +0200 | zer0bitz | (~zer0bitz@dsl-hkibng32-54f843-214.dhcp.inet.fi) |
| 2023-04-20 11:18:09 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-20 11:19:14 +0200 | zer0bitz__ | (~zer0bitz@196.244.192.62) |
| 2023-04-20 11:19:15 +0200 | zer0bitz_ | (~zer0bitz@196.244.192.61) (Ping timeout: 260 seconds) |
| 2023-04-20 11:22:23 +0200 | zer0bitz | (~zer0bitz@dsl-hkibng32-54f843-214.dhcp.inet.fi) (Ping timeout: 246 seconds) |
| 2023-04-20 11:22:25 +0200 | NiceBird | (~NiceBird@185.133.111.196) |
| 2023-04-20 11:26:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) |
| 2023-04-20 11:28:28 +0200 | gurkenglas | (~gurkengla@dynamic-089-204-155-235.89.204.155.pool.telefonica.de) |
| 2023-04-20 11:30:44 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 3.8) |
| 2023-04-20 11:30:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) (Ping timeout: 260 seconds) |
| 2023-04-20 11:32:44 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
| 2023-04-20 11:36:31 +0200 | acidjnk | (~acidjnk@p200300d6e715c4600172666463a133ec.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-04-20 11:38:57 +0200 | chanceyan | (~chanceyan@user/chanceyan) (Quit: chanceyan) |
| 2023-04-20 11:39:19 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-20 11:39:53 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-04-20 11:43:02 +0200 | zer0bitz__ | (~zer0bitz@196.244.192.62) (Read error: Connection reset by peer) |
| 2023-04-20 11:45:59 +0200 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:c4a2:61a9:2888:7ad) |
| 2023-04-20 11:57:43 +0200 | phma | (~phma@host-67-44-208-155.hnremote.net) |
| 2023-04-20 11:58:05 +0200 | acidjnk | (~acidjnk@p200300d6e715c4600172666463a133ec.dip0.t-ipconnect.de) |
| 2023-04-20 11:59:45 +0200 | phma_ | (~phma@host-67-44-208-65.hnremote.net) (Ping timeout: 240 seconds) |
| 2023-04-20 12:02:50 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-04-20 12:03:31 +0200 | phma_ | (phma@2001:5b0:2172:e218:16da:bce9:8d66:2351) |
| 2023-04-20 12:05:17 +0200 | phma | (~phma@host-67-44-208-155.hnremote.net) (Ping timeout: 250 seconds) |
| 2023-04-20 12:08:18 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2023-04-20 12:18:45 +0200 | pyook | (~puke@user/puke) (Ping timeout: 240 seconds) |
| 2023-04-20 12:25:14 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-20 12:26:10 +0200 | phma_ | (phma@2001:5b0:2172:e218:16da:bce9:8d66:2351) (Read error: Connection reset by peer) |
| 2023-04-20 12:26:45 +0200 | Guest60 | (~Guest60@2a09:bac5:30ce:16a0::241:9) (Quit: Client closed) |
| 2023-04-20 12:28:11 +0200 | phma_ | (~phma@host-67-44-208-186.hnremote.net) |
| 2023-04-20 12:41:21 +0200 | pyook | (~puke@user/puke) |
| 2023-04-20 12:43:36 +0200 | anime-psycho | (~srijan-pa@203.192.247.242) |
| 2023-04-20 12:45:07 +0200 | <anime-psycho> | hey, everyone. |
| 2023-04-20 12:49:10 +0200 | <ski> | ehlo |
| 2023-04-20 12:50:06 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-20 12:53:31 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-04-20 12:55:36 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-20 12:56:18 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-04-20 13:01:51 +0200 | CiaoSen | (~Jura@p200300c9573131002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-04-20 13:03:23 +0200 | anime-psycho | (~srijan-pa@203.192.247.242) (Ping timeout: 268 seconds) |
| 2023-04-20 13:03:26 +0200 | puke | (~puke@user/puke) |
| 2023-04-20 13:03:43 +0200 | anime-psycho | (~srijan-pa@203.192.247.242) |
| 2023-04-20 13:07:11 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2023-04-20 13:09:56 +0200 | tubogram44 | (~tubogram@user/tubogram) (Quit: Ping timeout (120 seconds)) |
| 2023-04-20 13:10:16 +0200 | tubogram44 | (~tubogram@user/tubogram) |
| 2023-04-20 13:11:59 +0200 | xff0x | (~xff0x@2405:6580:b080:900:261b:e18:59ba:ad22) |
| 2023-04-20 13:16:20 +0200 | anime-psycho | (~srijan-pa@203.192.247.242) (Ping timeout: 268 seconds) |
| 2023-04-20 13:17:29 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-20 13:18:19 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-20 13:22:25 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-04-20 13:22:54 +0200 | merijn | (~merijn@185.143.104.11) |
| 2023-04-20 13:27:11 +0200 | merijn | (~merijn@185.143.104.11) (Ping timeout: 250 seconds) |
| 2023-04-20 13:30:49 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-04-20 13:30:52 +0200 | foul_owl | (~kerry@157.97.134.62) (Read error: Connection reset by peer) |
| 2023-04-20 13:31:07 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-04-20 13:33:41 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 2023-04-20 13:50:29 +0200 | foul_owl | (~kerry@185.219.141.63) |
| 2023-04-20 14:04:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-04-20 14:05:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-04-20 14:05:47 +0200 | vglfr | (~vglfr@37.73.14.50) |
| 2023-04-20 14:15:09 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-04-20 14:26:15 +0200 | phma_ | phma |
| 2023-04-20 14:26:39 +0200 | Nosrep | (~Nosrep@user/nosrep) (Remote host closed the connection) |
| 2023-04-20 14:27:11 +0200 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-04-20 14:31:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-04-20 14:38:16 +0200 | Everything | (~Everythin@46.185.124.65) (Quit: leaving) |
| 2023-04-20 14:42:16 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-04-20 14:46:23 +0200 | anime-psycho | (~srijan-pa@122.171.16.195) |
| 2023-04-20 14:48:31 +0200 | acidjnk | (~acidjnk@p200300d6e715c4600172666463a133ec.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-04-20 14:52:22 +0200 | <jean-paul[m]> | Am I the only one who finds Hedgehog.Range.exponential confusingly named? |
| 2023-04-20 14:54:32 +0200 | oac | (~oac@50-93-248-155.fttp.usinternet.com) |
| 2023-04-20 14:54:54 +0200 | <merijn> | I mean, probabilistically speaking probably not? :p |
| 2023-04-20 14:55:35 +0200 | vglfr | (~vglfr@37.73.14.50) (Ping timeout: 250 seconds) |
| 2023-04-20 14:57:13 +0200 | <jean-paul[m]> | heh |
| 2023-04-20 14:57:16 +0200 | acidjnk | (~acidjnk@p200300d6e715c4600172666463a133ec.dip0.t-ipconnect.de) |
| 2023-04-20 14:57:32 +0200 | <jean-paul[m]> | maybe I just need to brush up on my stats |
| 2023-04-20 14:58:37 +0200 | <jean-paul[m]> | I always want it to be named something like "logorithmic" ... but probably just my misunderstanding of these distributions (but exponential stuff goes up fast! why doesn't the upper bound on the exponential distribution go up fast :/) |
| 2023-04-20 15:01:47 +0200 | <merijn> | jean-paul[m]: exponential functions go up fast, exponential distributions are long tailed, maybe that's the confusion? |
| 2023-04-20 15:02:15 +0200 | <merijn> | See the example plots at https://en.wikipedia.org/wiki/Exponential_distribution for example |
| 2023-04-20 15:04:55 +0200 | <jean-paul[m]> | yea, that seems to be my issue |
| 2023-04-20 15:07:20 +0200 | anime-psycho | (~srijan-pa@122.171.16.195) (Ping timeout: 268 seconds) |
| 2023-04-20 15:07:31 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 240 seconds) |
| 2023-04-20 15:11:39 +0200 | acidjnk | (~acidjnk@p200300d6e715c4600172666463a133ec.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-04-20 15:12:04 +0200 | Me-me | (~Me-me@146.102.215.218.dyn.iprimus.net.au) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2023-04-20 15:14:32 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-20 15:21:30 +0200 | barthandelous01 | (~calebbrze@209.140.228.250) (Ping timeout: 255 seconds) |
| 2023-04-20 15:23:31 +0200 | CiaoSen | (~Jura@p200300c9573131002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-04-20 15:24:43 +0200 | gurkenglas | (~gurkengla@dynamic-089-204-155-235.89.204.155.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2023-04-20 15:28:14 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-20 15:28:38 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 2023-04-20 15:29:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) |
| 2023-04-20 15:30:17 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-04-20 15:32:59 +0200 | zeenk | (~zeenk@2a02:2f04:a10a:aa00::fba) (Ping timeout: 260 seconds) |
| 2023-04-20 15:34:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) (Ping timeout: 250 seconds) |
| 2023-04-20 15:35:00 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-20 15:35:09 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Client Quit) |
| 2023-04-20 15:36:28 +0200 | mmhat | (~mmh@p200300f1c7132cbfee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-04-20 15:36:32 +0200 | mmhat | (~mmh@p200300f1c7132cbfee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-04-20 15:42:24 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-0597-05d0-b9af-db10.rev.sfr.net) |
| 2023-04-20 15:45:44 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 2023-04-20 15:46:12 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-04-20 15:47:35 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-04-20 15:47:44 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) (Client Quit) |
| 2023-04-20 15:48:38 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-20 15:48:38 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-20 15:48:38 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-20 15:48:44 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 246 seconds) |
| 2023-04-20 15:51:14 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-20 15:53:33 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2023-04-20 15:54:35 +0200 | oac | (~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac) |
| 2023-04-20 15:54:52 +0200 | oac | (~oac@50-93-248-155.fttp.usinternet.com) |
| 2023-04-20 15:55:15 +0200 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 255 seconds) |
| 2023-04-20 15:55:20 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 2023-04-20 16:00:34 +0200 | anime-psycho | (~srijan-pa@122.171.16.195) |
| 2023-04-20 16:03:05 +0200 | xff0x | (~xff0x@2405:6580:b080:900:261b:e18:59ba:ad22) (Quit: xff0x) |
| 2023-04-20 16:03:47 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-20 16:06:59 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ccb0:7555:1a99:76be) |
| 2023-04-20 16:09:03 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-04-20 16:09:07 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:8eab:83db:dcec:f562) (Quit: Ping timeout (120 seconds)) |
| 2023-04-20 16:09:26 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
| 2023-04-20 16:10:45 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-04-20 16:15:37 +0200 | thegeekinside | (~thegeekin@189.180.119.50) |
| 2023-04-20 16:23:18 +0200 | jero98772 | (~jero98772@2800:484:1d84:9000::6) |
| 2023-04-20 16:28:12 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-04-20 16:31:05 +0200 | <bionade24> | Hello, I can someone pls help me with this error? "No instance for (ByteArray String) arising from a use of ‘hash’" for input "Crypto.KDF.Argon2.hash hashConfig byteSecret salt hashLength" |
| 2023-04-20 16:31:30 +0200 | <bionade24> | byteSecret is a ByteString so it should satisfy ByteArrayAccess, shouldn't it? |
| 2023-04-20 16:31:55 +0200 | <merijn> | bionade24: GHC appears to disagree with you? |
| 2023-04-20 16:32:29 +0200 | <merijn> | Since it's complaining about String not being an instance of ByteArray it seems to infer something is a String which you, apparently, do not think is a String |
| 2023-04-20 16:32:47 +0200 | <opqdonut> | could it be the salt? |
| 2023-04-20 16:33:14 +0200 | acidjnk | (~acidjnk@p200300d6e715c4242df27b46314a55f2.dip0.t-ipconnect.de) |
| 2023-04-20 16:33:44 +0200 | <bionade24> | opqdonut: Yeah, it's the salt and guess the output, too. |
| 2023-04-20 16:34:12 +0200 | <bionade24> | opqdonut: I tunneled myself to much |
| 2023-04-20 16:37:00 +0200 | <janus> | bionade24: possibly you're confused by OverloadedStrings which some projects use, so something that looks like a string could be a bytestring iirc |
| 2023-04-20 16:39:41 +0200 | <geekosaur> | OverloadedStrings only applies to literals; this causes some confusion sometimes |
| 2023-04-20 16:42:18 +0200 | mesaoptimizer | (apotheosis@user/PapuaHardyNet) |
| 2023-04-20 16:42:31 +0200 | mesaoptimizer | (apotheosis@user/PapuaHardyNet) (Client Quit) |
| 2023-04-20 16:46:00 +0200 | anime-psycho | (~srijan-pa@122.171.16.195) (Ping timeout: 268 seconds) |
| 2023-04-20 16:47:05 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 260 seconds) |
| 2023-04-20 16:48:57 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-04-20 16:57:41 +0200 | <lortabac> | hello, I need to parse short strings like foo:key1-value1:key2-value2 and performance matters. Do you have any suggestions? |
| 2023-04-20 17:00:45 +0200 | <ski> | (maybe `attoparsec' ?) |
| 2023-04-20 17:01:01 +0200 | <geekosaur> | some people like flatparse |
| 2023-04-20 17:01:47 +0200 | <lortabac> | attoparsec is already one of our transitive dependencies, so it's probably better |
| 2023-04-20 17:01:55 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-20 17:02:02 +0200 | heraldo | (~heraldo@user/heraldo) (Client Quit) |
| 2023-04-20 17:02:17 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-20 17:04:26 +0200 | <lortabac> | I think I'll start with attoparsec and see what the benchmarks say |
| 2023-04-20 17:04:46 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-04-20 17:09:16 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-04-20 17:19:10 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-20 17:19:22 +0200 | dolio | (~dolio@130.44.134.54) (Remote host closed the connection) |
| 2023-04-20 17:20:26 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-04-20 17:20:32 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 248 seconds) |
| 2023-04-20 17:21:09 +0200 | <kuribas> | These there exist a mixed type level monoid? |
| 2023-04-20 17:21:36 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-20 17:21:49 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-04-20 17:21:49 +0200 | <kuribas> | Where combining values also builds a monoid at type level? |
| 2023-04-20 17:22:04 +0200 | <kuribas> | For example, a type indexed list (vector) |
| 2023-04-20 17:22:25 +0200 | <kuribas> | here, mappend also does a monoid operation (Sum) over type level. |
| 2023-04-20 17:23:38 +0200 | <kuribas> | obviously, it's not a monoid, since appending changes the length, but it is monoid-like... |
| 2023-04-20 17:24:07 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2023-04-20 17:25:38 +0200 | <ncf> | a graded monoid, basically |
| 2023-04-20 17:27:25 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2023-04-20 17:28:19 +0200 | <kuribas> | ncf: right, thanks |
| 2023-04-20 17:29:25 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-04-20 17:30:05 +0200 | jpds3 | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-20 17:30:11 +0200 | jpds2 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-04-20 17:31:18 +0200 | <kuribas> | and the graded monoid can be turned into a regular monoid with an existential |
| 2023-04-20 17:31:23 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 248 seconds) |
| 2023-04-20 17:32:01 +0200 | <kuribas> | That's quite nice, I can make a type safe (graded) version, and an easier one with a regular monoid. |
| 2023-04-20 17:33:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) |
| 2023-04-20 17:33:34 +0200 | ncf | . o O ( an m-graded monoid is an Applicative functor m → Hask, where m is considered as a discrete monoidal category ) |
| 2023-04-20 17:33:58 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-20 17:34:47 +0200 | <ncf> | well, a monoidal functor. the equivalence might not be as smooth there |
| 2023-04-20 17:34:55 +0200 | oac | (~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac) |
| 2023-04-20 17:35:13 +0200 | oac | (~oac@50-93-248-155.fttp.usinternet.com) |
| 2023-04-20 17:37:20 +0200 | ski | . o O ( "Ornamental Algebras, Algebraic Ornaments" by Conor McBride in 2010-12-22 at <https://web.archive.org/web/20140210011554/https://personal.cis.strath.ac.uk/conor.mcbride/pub/OAA…> ) |
| 2023-04-20 17:38:54 +0200 | <ski> | ncf : wouldn't codomain be a (full) subcategory ? |
| 2023-04-20 17:39:37 +0200 | <ncf> | if you restrict it to its image, sure |
| 2023-04-20 17:40:28 +0200 | <ski> | how would you define the monoidal structure on the codomain sensibly, otherwise ? |
| 2023-04-20 17:41:28 +0200 | <ncf> | (,) and () |
| 2023-04-20 17:42:57 +0200 | <ski> | kuribas was thinking of summing lengths, like `(<>) :: Vector m a -> Vector n a -> Vector (m + n) a' .. this only considers the objects in `Hask' of the form `Vector n a', monoidal structure being define in terms of monoid structure on `n' |
| 2023-04-20 17:43:30 +0200 | <kuribas> | more like: (<>) :: Vector m a -> Vector n a -> Vector (m <> n) a |
| 2023-04-20 17:43:40 +0200 | <ski> | `Vector m a -> Vector n a -> (Vector m a,Vector n a)' doesn't make sense here |
| 2023-04-20 17:43:48 +0200 | <ski> | kuribas : general case, yea |
| 2023-04-20 17:44:04 +0200 | <ncf> | no, (Vector m a, Vector n a) -> Vector (m + n) a |
| 2023-04-20 17:44:45 +0200 | <ncf> | the monoidal structure of the codomain shows up in the domain of the multiplication, and vice-versa |
| 2023-04-20 17:45:30 +0200 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2023-04-20 17:46:41 +0200 | <ncf> | (because i'm talking about *lax* monoidal functors, i guess) |
| 2023-04-20 17:46:53 +0200 | <ncf> | (which is what Applicatives are) |
| 2023-04-20 17:47:05 +0200 | Square | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2023-04-20 17:51:04 +0200 | <ski> | hm, i think part of my confusion was derived from thinking the functor directly giving the monoid combination .. but still not seeing how it's derived |
| 2023-04-20 17:51:24 +0200 | <ncf> | hah, neat: the equivalence between Applicative and Monoidal works out if m is a closed monoidal category iff m is a group |
| 2023-04-20 17:51:45 +0200 | <ncf> | (in that case a -> b in m reads as "b divided by a") |
| 2023-04-20 17:51:50 +0200 | <ncf> | (or "b minus a") |
| 2023-04-20 17:51:54 +0200 | <ski> | interesting |
| 2023-04-20 17:52:15 +0200 | <ncf> | ski: how what is derived? |
| 2023-04-20 17:52:33 +0200 | <ski> | how's kuribas's `(<>)' derived from the monoidal functor |
| 2023-04-20 17:53:33 +0200 | ski | perhaps should take a nap soon |
| 2023-04-20 17:54:29 +0200 | <ncf> | simply from the "combine" operation of the monoidal functor (the analogue of <*>) |
| 2023-04-20 17:54:53 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-04-20 17:55:10 +0200 | califax | (~califax@user/califx) |
| 2023-04-20 17:57:28 +0200 | <ncf> | unit :: f () -- replacing () with the unit in m, this is unit :: Vector a 0 |
| 2023-04-20 17:57:38 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-04-20 17:57:40 +0200 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2023-04-20 17:58:13 +0200 | <ncf> | (>*<) :: f m -> f n -> f (m, n) -- replacing (,) with the operation in m, this is append :: Vector a (m + n) |
| 2023-04-20 18:00:25 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-20 18:01:19 +0200 | <kuribas> | :t (<*>) |
| 2023-04-20 18:01:20 +0200 | <lambdabot> | Applicative f => f (a -> b) -> f a -> f b |
| 2023-04-20 18:01:36 +0200 | <kuribas> | ncf: this is just an Applicative? |
| 2023-04-20 18:03:20 +0200 | <ncf> | kuribas: what is? |
| 2023-04-20 18:03:22 +0200 | <kuribas> | I can turn (Vector a n) into (Vector a (\m -> n + m)) |
| 2023-04-20 18:03:37 +0200 | <kuribas> | ncf: my mixed typelevel monoid. |
| 2023-04-20 18:03:44 +0200 | <ncf> | it is if your monoid is a group |
| 2023-04-20 18:03:52 +0200 | <ncf> | in that case a -> b is b - a |
| 2023-04-20 18:04:12 +0200 | acidjnk | (~acidjnk@p200300d6e715c4242df27b46314a55f2.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-04-20 18:04:16 +0200 | <kuribas> | hmm, not "b + a" ? |
| 2023-04-20 18:04:47 +0200 | <kuribas> | ah no, because b is the output... |
| 2023-04-20 18:04:50 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) (Remote host closed the connection) |
| 2023-04-20 18:05:14 +0200 | <ncf> | so you also have (<*>) :: f (b - a) -> f a -> b and in particular (<*>) :: f c -> f a -> f (c + a) by taking b := c + a |
| 2023-04-20 18:05:54 +0200 | <ncf> | kuribas: recall that a closed monoidal category has an evaluation map (a, [a -> b]) -> b (where in brackets is the internal hom) |
| 2023-04-20 18:06:13 +0200 | <ncf> | but since m is a discrete monoidal category, -> is equality |
| 2023-04-20 18:06:27 +0200 | <ncf> | so if you want a + [a -> b] = b, you need [a -> b] = b - a |
| 2023-04-20 18:07:36 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-20 18:07:57 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 2023-04-20 18:08:02 +0200 | <kuribas> | right |
| 2023-04-20 18:08:21 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-04-20 18:08:33 +0200 | acidjnk | (~acidjnk@p200300d6e715c424f9f1e4b31e0cf488.dip0.t-ipconnect.de) |
| 2023-04-20 18:10:17 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6ba:fd9d:7c36:47a1) (Quit: WeeChat 2.8) |
| 2023-04-20 18:11:25 +0200 | <ncf> | (sorry, that should read (<*>) :: f (b - a) -> f a -> f b) |
| 2023-04-20 18:13:30 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-20 18:15:17 +0200 | <kuribas> | right. So I can either use "\(a,b) -> (a -> b)" or "\(a, b) -> b - a" |
| 2023-04-20 18:15:37 +0200 | <kuribas> | In the first case I get the actually haskell Applicative interface. |
| 2023-04-20 18:15:39 +0200 | <ski> | hm, right, i think i see it now. with `F : M >---> Hask' being the monoidal functor, given `1 : M' and `m * n : M -| m,n : M', we get (coherence transformations) `eta : 1 >---> F 1' and `mu_{m,n} : F m * F n >---> F (m * n) -| m,n : M' from the monoidal functor |
| 2023-04-20 18:16:18 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-04-20 18:16:48 +0200 | <ncf> | now i'm wondering if there's anything interesting to be done with "possibly negative-length vectors", where the appending operation might annihilate vectors of opposite lengths |
| 2023-04-20 18:17:22 +0200 | ski | . o O ( free group ) |
| 2023-04-20 18:18:18 +0200 | <ski> | (i didn't see where those maps were coming from, at first, was thinking in terms of applying the functor to the monoid operations) |
| 2023-04-20 18:18:46 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-0597-05d0-b9af-db10.rev.sfr.net) (Remote host closed the connection) |
| 2023-04-20 18:19:05 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-0597-05d0-b9af-db10.rev.sfr.net) |
| 2023-04-20 18:19:07 +0200 | ncf | . o O ( dual vector space ) |
| 2023-04-20 18:20:45 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2023-04-20 18:24:10 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2023-04-20 18:29:47 +0200 | pharonix71 | (~pharonix7@user/pharonix71) (Remote host closed the connection) |
| 2023-04-20 18:29:47 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-04-20 18:30:09 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 2023-04-20 18:30:14 +0200 | pharonix71 | (~pharonix7@user/pharonix71) |
| 2023-04-20 18:30:19 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-04-20 18:30:23 +0200 | econo | (uid147250@user/econo) |
| 2023-04-20 18:30:48 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2023-04-20 18:34:25 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-04-20 18:34:55 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) |
| 2023-04-20 18:34:59 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-04-20 18:35:38 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:21d4:e288:9164:f829) |
| 2023-04-20 18:40:10 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 2023-04-20 18:43:26 +0200 | Inst_ | (~Inst@2601:6c4:4081:54f0:4cd2:14dd:a80c:8533) |
| 2023-04-20 18:47:18 +0200 | Inst | (~Inst@2601:6c4:4081:54f0:919e:4943:f4f4:fdb6) (Ping timeout: 252 seconds) |
| 2023-04-20 18:51:55 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 260 seconds) |
| 2023-04-20 18:59:30 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-20 19:00:40 +0200 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:d1bb:556e:e2c9:154a) (Read error: Connection reset by peer) |
| 2023-04-20 19:15:58 +0200 | janus | (janus@anubis.0x90.dk) () |
| 2023-04-20 19:15:58 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-04-20 19:17:34 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) (Remote host closed the connection) |
| 2023-04-20 19:21:19 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2023-04-20 19:28:01 +0200 | acidjnk | (~acidjnk@p200300d6e715c424f9f1e4b31e0cf488.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-04-20 19:30:20 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-04-20 19:34:45 +0200 | Philonous | (~Philonous@user/philonous) (Quit: ZNC - https://znc.in) |
| 2023-04-20 19:35:11 +0200 | Philonous | (~Philonous@user/philonous) |
| 2023-04-20 19:40:10 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-04-20 19:41:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-04-20 19:41:44 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-20 19:42:00 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2023-04-20 19:44:43 +0200 | anime-psycho | (~srijan-pa@122.171.16.195) |
| 2023-04-20 19:45:55 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2023-04-20 19:46:00 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 2023-04-20 19:46:40 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-04-20 19:47:54 +0200 | vglfr | (~vglfr@46.96.187.123) |
| 2023-04-20 19:48:24 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Client Quit) |
| 2023-04-20 19:51:21 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-04-20 19:52:22 +0200 | heraldo | (~heraldo@user/heraldo) (Quit: heraldo) |
| 2023-04-20 19:55:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) |
| 2023-04-20 19:57:00 +0200 | acidjnk | (~acidjnk@p200300d6e715c424513ef02743108d16.dip0.t-ipconnect.de) |
| 2023-04-20 19:59:10 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 2023-04-20 20:00:15 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-04-20 20:00:44 +0200 | vglfr | (~vglfr@46.96.187.123) (Read error: Connection reset by peer) |
| 2023-04-20 20:04:06 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Client Quit) |
| 2023-04-20 20:04:16 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-20 20:04:34 +0200 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 2023-04-20 20:05:06 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-04-20 20:07:50 +0200 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-04-20 20:13:37 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2023-04-20 20:15:01 +0200 | chele | (~chele@user/chele) (Quit: Leaving) |
| 2023-04-20 20:16:21 +0200 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-04-20 20:17:30 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2023-04-20 20:18:53 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 2023-04-20 20:20:05 +0200 | ryantrinkle | (~ryantrink@38.27.99.245) (Ping timeout: 240 seconds) |
| 2023-04-20 20:20:39 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-04-20 20:23:31 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 2023-04-20 20:31:11 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 2023-04-20 20:33:58 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-04-20 20:35:20 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-04-20 20:35:43 +0200 | ryantrinkle | (~ryantrink@38.27.99.245) |
| 2023-04-20 20:36:49 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-20 20:36:53 +0200 | coot | (~coot@213.134.170.228) () |
| 2023-04-20 20:42:58 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-20 20:49:27 +0200 | Techcable | (~Techcable@user/Techcable) |
| 2023-04-20 20:55:14 +0200 | nehsou^ | (~nehsou@c-76-105-96-13.hsd1.ga.comcast.net) |
| 2023-04-20 21:00:11 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 2023-04-20 21:00:48 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-04-20 21:03:10 +0200 | slaydr | (~slaydr@97-120-64-157.ptld.qwest.net) |
| 2023-04-20 21:03:23 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 260 seconds) |
| 2023-04-20 21:05:15 +0200 | oac | (~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac) |
| 2023-04-20 21:05:24 +0200 | slaydr | (~slaydr@97-120-64-157.ptld.qwest.net) (Client Quit) |
| 2023-04-20 21:05:32 +0200 | oac | (~oac@50-93-248-155.fttp.usinternet.com) |
| 2023-04-20 21:13:12 +0200 | vglfr | (~vglfr@37.73.154.150) |
| 2023-04-20 21:16:10 +0200 | ryantrinkle | (~ryantrink@38.27.99.245) (Ping timeout: 252 seconds) |
| 2023-04-20 21:17:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) (Remote host closed the connection) |
| 2023-04-20 21:20:14 +0200 | heraldo | (~heraldo@user/heraldo) (Quit: heraldo) |
| 2023-04-20 21:20:40 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-20 21:21:35 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-0597-05d0-b9af-db10.rev.sfr.net) (Remote host closed the connection) |
| 2023-04-20 21:21:54 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-0597-05d0-b9af-db10.rev.sfr.net) |
| 2023-04-20 21:25:55 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2023-04-20 21:26:40 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-04-20 21:28:48 +0200 | pony | (sid524992@smol/hors) () |
| 2023-04-20 21:32:46 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-0597-05d0-b9af-db10.rev.sfr.net) (Remote host closed the connection) |
| 2023-04-20 21:32:55 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-04-20 21:33:06 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-0597-05d0-b9af-db10.rev.sfr.net) |
| 2023-04-20 21:39:56 +0200 | ryantrinkle | (~ryantrink@38.27.99.245) |
| 2023-04-20 21:41:49 +0200 | nschoe | (~q@2a01:e0a:8e:a190:9d28:9bd0:8be:f668) |
| 2023-04-20 21:42:11 +0200 | opticblast | (~Thunderbi@172.58.83.143) (Remote host closed the connection) |
| 2023-04-20 21:47:21 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2023-04-20 21:59:28 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-04-20 21:59:44 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-20 21:59:53 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-04-20 22:00:06 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 2023-04-20 22:00:10 +0200 | opticblast | (~Thunderbi@172.58.83.143) |
| 2023-04-20 22:00:48 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Client Quit) |
| 2023-04-20 22:01:07 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 2023-04-20 22:03:59 +0200 | michalz | (~michalz@185.246.207.203) |
| 2023-04-20 22:05:19 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-0597-05d0-b9af-db10.rev.sfr.net) (Remote host closed the connection) |
| 2023-04-20 22:06:49 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-20 22:16:41 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-20 22:17:09 +0200 | anime-psycho | (~srijan-pa@122.171.16.195) (Ping timeout: 268 seconds) |
| 2023-04-20 22:18:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) |
| 2023-04-20 22:22:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) (Ping timeout: 250 seconds) |
| 2023-04-20 22:34:17 +0200 | Guest16 | (~Guest16@2a02:a319:3b:d380:de91:c373:b16b:2570) |
| 2023-04-20 22:34:53 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-04-20 22:34:54 +0200 | <Guest16> | hello! |
| 2023-04-20 22:36:34 +0200 | <geekosaur> | hi |
| 2023-04-20 22:41:14 +0200 | nschoe | (~q@2a01:e0a:8e:a190:9d28:9bd0:8be:f668) (Quit: Switching off) |
| 2023-04-20 22:45:30 +0200 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2023-04-20 22:47:36 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 2023-04-20 22:48:25 +0200 | Guest16 | (~Guest16@2a02:a319:3b:d380:de91:c373:b16b:2570) (Quit: Client closed) |
| 2023-04-20 22:51:22 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-04-20 22:57:44 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-04-20 23:03:42 +0200 | oac | (~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac) |
| 2023-04-20 23:06:37 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2023-04-20 23:09:02 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-04-20 23:11:32 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-04-20 23:14:09 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-04-20 23:17:18 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2023-04-20 23:19:08 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-20 23:31:44 +0200 | foul_owl | (~kerry@185.219.141.63) (Ping timeout: 248 seconds) |
| 2023-04-20 23:32:51 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds) |
| 2023-04-20 23:38:32 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-04-20 23:42:10 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-20 23:46:11 +0200 | foul_owl | (~kerry@71.212.137.212) |
| 2023-04-20 23:46:25 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-04-20 23:54:21 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-20 23:54:36 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) |
| 2023-04-20 23:59:30 +0200 | barcisz | (~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed) |