| 2023-06-24 00:00:40 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-24 00:00:54 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-06-24 00:07:28 +0200 | <drdo> | I suppose the desire is for a book that can take advantage of the general mathematical experience of the reader |
| 2023-06-24 00:07:42 +0200 | <drdo> | and that has the right intuitions for someone with that background |
| 2023-06-24 00:07:52 +0200 | <drdo> | Rather than droning on about burritos or whatever |
| 2023-06-24 00:07:57 +0200 | <dolio> | I really have no idea why bubblesort is still taught. Not only is it usually a bad algorithm, it's harder to understand than the other bad algorithms. :) |
| 2023-06-24 00:08:48 +0200 | <monochrom> | Here is the 1% of mathematical experience that's relevant. "f : X -> Y" from math becomes "f :: X -> Y" in Haskell. And also the fact that it's a pure function, i.e., not C functions. |
| 2023-06-24 00:08:54 +0200 | <jade[m]1> | haha yeah |
| 2023-06-24 00:09:19 +0200 | <Nosrep> | bubble sort might be marginally shorter? not sure about that though |
| 2023-06-24 00:09:37 +0200 | <Nosrep> | i feel like it has less going on at least conceptually even if its harder to understand as a whole |
| 2023-06-24 00:09:40 +0200 | <monochrom> | And here is why the other 99% is actually harmful. [x | x <- [0..], x < 0] is not going to be the empty list, despite mathemtical thinking. |
| 2023-06-24 00:09:43 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (Server closed connection) |
| 2023-06-24 00:09:46 +0200 | <drdo> | Is the channel overrun by trolls? |
| 2023-06-24 00:09:49 +0200 | <jade[m]1> | there's this one weird algo that's even shorter |
| 2023-06-24 00:09:57 +0200 | <jade[m]1> | but that's not taught either |
| 2023-06-24 00:10:03 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-06-24 00:10:05 +0200 | <Nosrep> | stooge? |
| 2023-06-24 00:10:37 +0200 | jargon_ | jargon |
| 2023-06-24 00:11:00 +0200 | <monochrom> | I have the same sentiment as dolio. If quadratic-time sorting is to be taught, selection sort or insertion sort is actually comprehensible. |
| 2023-06-24 00:11:11 +0200 | <jade[m]1> | monochrom: unless we use something that's bounded inside the list, *right*? |
| 2023-06-24 00:11:23 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2023-06-24 00:11:34 +0200 | <monochrom> | Yeah change [0..] to [0..10] and it's OK. |
| 2023-06-24 00:12:00 +0200 | <monochrom> | But in this channel I've seen numerous mathematical talents who were tripped by this. |
| 2023-06-24 00:12:01 +0200 | <jade[m]1> | what if you did :: [Word8] |
| 2023-06-24 00:12:03 +0200 | <dolio> | I think the only thing it really has going for it is that it can be implemented in terms of a 'swap neighbors' primitive. So there's a really niche case where you might have a machine/network that is ideally suited to it specifically. |
| 2023-06-24 00:12:11 +0200 | <monochrom> | To which I said "Haskell is not Mathematica". |
| 2023-06-24 00:12:25 +0200 | <Nosrep> | i got tripped on it before i tried it out :x |
| 2023-06-24 00:12:35 +0200 | nut | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 2023-06-24 00:12:43 +0200 | <monochrom> | QED :) |
| 2023-06-24 00:13:15 +0200 | <hpc> | monochrom: if you really want to mess with your students, say that [0..3] is [0,1,2,3] and [0..2) is [0,1,2] |
| 2023-06-24 00:13:17 +0200 | <monochrom> | Ah I haven't thought of the swap-neighbours-only angle. That's a nice constraint. |
| 2023-06-24 00:13:25 +0200 | <hpc> | er, [0..3) |
| 2023-06-24 00:13:50 +0200 | <monochrom> | Unfortunately Haskell doesn't have the [0..3) syntax... |
| 2023-06-24 00:14:14 +0200 | <monochrom> | But I do wish Haskell had [0..3] = [0,1,2]. Dijkstra would too. |
| 2023-06-24 00:14:21 +0200 | <hpc> | sure, but it's a nice "haskell isn't math" if they start taking similarities for granted |
| 2023-06-24 00:14:50 +0200 | <monochrom> | Oh hey I think I heard that the Double instance would do that. OK "problem solved". >:D |
| 2023-06-24 00:14:56 +0200 | <hpc> | monochrom: i am split on that - it looks right for loops, but then you can't enumFromTo the whole range of a type |
| 2023-06-24 00:15:08 +0200 | <hpc> | [False..True] is [False] for instance |
| 2023-06-24 00:15:11 +0200 | <hpc> | and that feels weird to me |
| 2023-06-24 00:15:23 +0200 | <monochrom> | For the full range you say [False ... ] |
| 2023-06-24 00:15:42 +0200 | <hpc> | yeah, but still |
| 2023-06-24 00:16:27 +0200 | <jade[m]1> | when would you ever use the enum instance for Bool though? |
| 2023-06-24 00:16:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-06-24 00:16:57 +0200 | <monochrom> | How about this probably sacrilegeous proposal: Two notations, [x .. y] includes y, [x .., y] has an extra comma to be an assymetic syntax and it excludes y. |
| 2023-06-24 00:17:50 +0200 | <monochrom> | When I would the Enum instance of a type variable, and the user sets that type variable to Bool. :) |
| 2023-06-24 00:17:59 +0200 | <monochrom> | s/would/would use/ |
| 2023-06-24 00:18:35 +0200 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection) |
| 2023-06-24 00:18:56 +0200 | <monochrom> | Perhaps we should have the [x .. y) syntax after all. |
| 2023-06-24 00:19:35 +0200 | <dolio> | That'll be nice to ruin everyone's text editor. |
| 2023-06-24 00:19:57 +0200 | <monochrom> | Oh haha oops |
| 2023-06-24 00:20:13 +0200 | <hpc> | if people can deal with bash's case syntax, they can deal with this :D |
| 2023-06-24 00:20:31 +0200 | <geekosaur> | I'd've suggested ..? |
| 2023-06-24 00:20:59 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 264 seconds) |
| 2023-06-24 00:21:03 +0200 | <jade[m]1> | hpc: I can't |
| 2023-06-24 00:23:10 +0200 | <geekosaur> | lol |
| 2023-06-24 00:24:29 +0200 | <monochrom> | Is it just because an editor needs a special case (pun!) for "pattern )" which does not close any open parenthesis? |
| 2023-06-24 00:26:09 +0200 | <hpc> | yeah, and nothing actually has that special case afaik :P |
| 2023-06-24 00:26:43 +0200 | <monochrom> | heh |
| 2023-06-24 00:27:45 +0200 | <geekosaur> | emacs ftw |
| 2023-06-24 00:28:26 +0200 | <dolio> | drdo: I'm not aware of any book that, 'drones on about burritos.' But I also don't know of any book specifically oriented towards mathematicians. |
| 2023-06-24 00:29:44 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-06-24 00:29:59 +0200 | <dolio> | I am aware of a paper about burritos that got linked on the n-category cafe. |
| 2023-06-24 00:31:24 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-24 00:31:51 +0200 | <Nosrep> | what rust does for the ranges thing is [0..3] is [0, 1, 2] but [0..=3] is [0, 1, 2, 3] |
| 2023-06-24 00:32:08 +0200 | <dolio> | I'm not sure if it counts as being by a mathematician, though, because apparently the author was working at CMU at the time, so it seems likely they were involved in computer science. |
| 2023-06-24 00:35:51 +0200 | <dolio> | Maybe you could read the Homotopy Type Theory book, and then look at Haskell as a more plain and less theoretically sound version of that. |
| 2023-06-24 00:36:14 +0200 | <drdo> | dolio: The book isn't for me |
| 2023-06-24 00:37:01 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 00:37:32 +0200 | <dolio> | I'm uncertain how good that is at explaining the programming-related aspects of type theory, though. |
| 2023-06-24 00:38:23 +0200 | APic | (apic@apic.name) |
| 2023-06-24 00:38:47 +0200 | <drdo> | Thank you though |
| 2023-06-24 00:39:07 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 00:47:17 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::38e4) (Quit: Leaving) |
| 2023-06-24 00:47:59 +0200 | acidjnk | (~acidjnk@p200300d6e7072f58e181befd01b866a0.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2023-06-24 00:48:28 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-24 00:50:25 +0200 | k`` | (~user@136.56.140.2) (Remote host closed the connection) |
| 2023-06-24 00:50:30 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-24 00:50:40 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 00:51:22 +0200 | phma | (phma@2001:5b0:211f:2f08:1586:27d6:8ad8:5c55) (Read error: Connection reset by peer) |
| 2023-06-24 00:51:32 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Server closed connection) |
| 2023-06-24 00:51:50 +0200 | phma | (~phma@host-67-44-208-160.hnremote.net) |
| 2023-06-24 00:53:06 +0200 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2023-06-24 00:54:13 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-24 01:07:14 +0200 | <jackdk> | jade[m]1:`instance Enum Bool` is often handy when calling into a property-based testing library, though Hedgehog offers `Gen.bool` as a specialisation. |
| 2023-06-24 01:19:23 +0200 | df | (~ben@justworks.xyz) (Server closed connection) |
| 2023-06-24 01:19:38 +0200 | df | (~ben@justworks.xyz) |
| 2023-06-24 01:24:59 +0200 | czy | (~user@host-140-26.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-06-24 01:27:26 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-167-203.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-06-24 01:29:03 +0200 | pavonia | (~user@user/siracusa) |
| 2023-06-24 01:32:29 +0200 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-24 01:32:59 +0200 | berberman | (~berberman@user/berberman) |
| 2023-06-24 01:34:25 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 240 seconds) |
| 2023-06-24 01:35:00 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-06-24 01:35:43 +0200 | k`` | (~user@136.56.140.2) (Remote host closed the connection) |
| 2023-06-24 01:35:56 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 01:35:56 +0200 | wrengr | (~wrengr@201.59.83.34.bc.googleusercontent.com) (Quit: leaving) |
| 2023-06-24 01:36:04 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-06-24 01:37:01 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 01:39:08 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 01:41:10 +0200 | Square | (~Square@user/square) |
| 2023-06-24 01:44:05 +0200 | k`` | (~user@136.56.140.2) (Remote host closed the connection) |
| 2023-06-24 01:44:18 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 01:46:42 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-24 01:49:26 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Server closed connection) |
| 2023-06-24 01:49:49 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-06-24 01:51:27 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 245 seconds) |
| 2023-06-24 01:51:28 +0200 | mauke_ | mauke |
| 2023-06-24 01:59:05 +0200 | foul_owl | (~kerry@94.140.8.28) (Ping timeout: 246 seconds) |
| 2023-06-24 02:00:34 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8) |
| 2023-06-24 02:00:55 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-06-24 02:01:25 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-24 02:02:56 +0200 | k`` | (~user@136.56.140.2) (Remote host closed the connection) |
| 2023-06-24 02:03:09 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 02:07:17 +0200 | Square2 | (~Square@user/square) |
| 2023-06-24 02:10:11 +0200 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2023-06-24 02:11:07 +0200 | tom_ | (~tom@host81-151-255-71.range81-151.btcentralplus.com) |
| 2023-06-24 02:11:17 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-24 02:11:32 +0200 | tom__ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Remote host closed the connection) |
| 2023-06-24 02:13:26 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 246 seconds) |
| 2023-06-24 02:14:49 +0200 | foul_owl | (~kerry@71.212.137.212) |
| 2023-06-24 02:19:24 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 2023-06-24 02:26:48 +0200 | phma | (~phma@host-67-44-208-160.hnremote.net) (Read error: Connection reset by peer) |
| 2023-06-24 02:27:13 +0200 | phma | (phma@2001:5b0:211f:2f08:d5:59c5:25af:c289) |
| 2023-06-24 02:35:59 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds) |
| 2023-06-24 02:37:01 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 02:39:08 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 02:39:32 +0200 | k`` | (~user@136.56.140.2) (Remote host closed the connection) |
| 2023-06-24 02:39:46 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 02:43:53 +0200 | k`` | (~user@136.56.140.2) (Remote host closed the connection) |
| 2023-06-24 02:44:08 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 02:46:50 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 260 seconds) |
| 2023-06-24 02:47:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
| 2023-06-24 02:52:40 +0200 | nisstyre | (wes@user/nisstyre) (Server closed connection) |
| 2023-06-24 02:53:01 +0200 | nisstyre | (wes@user/nisstyre) |
| 2023-06-24 02:53:49 +0200 | christiaanb | (sid84827@id-84827.lymington.irccloud.com) (Server closed connection) |
| 2023-06-24 02:53:57 +0200 | christiaanb | (sid84827@id-84827.lymington.irccloud.com) |
| 2023-06-24 02:56:59 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) (Server closed connection) |
| 2023-06-24 02:57:54 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) |
| 2023-06-24 02:58:12 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-24 03:00:14 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-24 03:01:39 +0200 | ddellacosta | (~ddellacos@146.70.166.166) (Quit: WeeChat 3.8) |
| 2023-06-24 03:03:45 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-06-24 03:10:24 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-24 03:10:55 +0200 | mrmr9 | (~mrmr@user/mrmr) |
| 2023-06-24 03:11:56 +0200 | mrmr | (~mrmr@user/mrmr) (Ping timeout: 240 seconds) |
| 2023-06-24 03:11:56 +0200 | mrmr9 | mrmr |
| 2023-06-24 03:13:16 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 03:14:32 +0200 | kupi_ | kupi |
| 2023-06-24 03:16:33 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-24 03:17:02 +0200 | dipper | (~dipper@203.168.26.146) (Ping timeout: 250 seconds) |
| 2023-06-24 03:19:31 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-24 03:19:32 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-24 03:19:32 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-24 03:21:58 +0200 | k`` | (~user@136.56.140.2) (Remote host closed the connection) |
| 2023-06-24 03:22:11 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 03:22:55 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 03:23:26 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 03:32:22 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Server closed connection) |
| 2023-06-24 03:33:33 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 03:33:57 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 03:34:33 +0200 | jargon | (~jargon@116.sub-174-205-160.myvzw.com) (Remote host closed the connection) |
| 2023-06-24 03:35:39 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-24 03:37:01 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 03:39:10 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 03:39:36 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-24 03:40:15 +0200 | falafel | (~falafel@2607:fb91:86c:d890:f79f:c191:d2ec:c799) |
| 2023-06-24 03:43:32 +0200 | jargon | (~jargon@116.sub-174-205-160.myvzw.com) |
| 2023-06-24 03:44:23 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
| 2023-06-24 03:51:40 +0200 | Null_A[m] | (~jasonjckn@2001:470:69fc:105::bb85) (Server closed connection) |
| 2023-06-24 03:53:46 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 03:54:05 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 03:54:16 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-24 03:58:38 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 250 seconds) |
| 2023-06-24 04:04:14 +0200 | incertia | (~incertia@209.122.71.127) (Ping timeout: 258 seconds) |
| 2023-06-24 04:04:38 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-24 04:07:02 +0200 | k`` | (~user@136.56.140.2) (Remote host closed the connection) |
| 2023-06-24 04:07:16 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 04:08:46 +0200 | deglazewithcheet | (~deglazewi@209-188-121-236.taosnet.com) |
| 2023-06-24 04:13:08 +0200 | jargon | (~jargon@116.sub-174-205-160.myvzw.com) (Read error: Connection reset by peer) |
| 2023-06-24 04:16:34 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-24 04:18:28 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-06-24 04:18:28 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-24 04:18:28 +0200 | finn_elija | FinnElija |
| 2023-06-24 04:19:32 +0200 | k`` | (~user@136.56.140.2) (Remote host closed the connection) |
| 2023-06-24 04:19:45 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 04:20:59 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2023-06-24 04:21:33 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-06-24 04:22:02 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-06-24 04:22:11 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 264 seconds) |
| 2023-06-24 04:22:44 +0200 | sefidel | (~sefidel@user/sefidel) (Server closed connection) |
| 2023-06-24 04:22:59 +0200 | sefidel | (~sefidel@user/sefidel) |
| 2023-06-24 04:24:34 +0200 | k`` | (~user@136.56.140.2) (Remote host closed the connection) |
| 2023-06-24 04:24:49 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 04:32:42 +0200 | td_ | (~td@i53870905.versanet.de) (Ping timeout: 245 seconds) |
| 2023-06-24 04:33:18 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 250 seconds) |
| 2023-06-24 04:34:00 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-24 04:34:48 +0200 | td_ | (~td@i5387092D.versanet.de) |
| 2023-06-24 04:36:35 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-06-24 04:37:02 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 04:39:08 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 04:42:33 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 04:43:15 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 04:47:06 +0200 | phma | (phma@2001:5b0:211f:2f08:d5:59c5:25af:c289) (Read error: Connection reset by peer) |
| 2023-06-24 04:47:31 +0200 | phma | (phma@2001:5b0:211f:2f08:d5:59c5:25af:c289) |
| 2023-06-24 04:51:39 +0200 | k`` | (~user@136.56.140.2) (Remote host closed the connection) |
| 2023-06-24 04:51:53 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 05:01:06 +0200 | mxs | (~mxs@user/mxs) (Remote host closed the connection) |
| 2023-06-24 05:01:44 +0200 | mxs | (~mxs@user/mxs) |
| 2023-06-24 05:05:42 +0200 | lav | (~pi@wikipedia/maddy-from-celeste) (Server closed connection) |
| 2023-06-24 05:06:06 +0200 | lav | (~pi@wikipedia/maddy-from-celeste) |
| 2023-06-24 05:10:44 +0200 | k`` | (~user@136.56.140.2) (Remote host closed the connection) |
| 2023-06-24 05:10:57 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 05:17:39 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd2:b900:c878:a270:1856:e842) |
| 2023-06-24 05:18:32 +0200 | aforemny | (~aforemny@i59F516C0.versanet.de) (Ping timeout: 245 seconds) |
| 2023-06-24 05:18:57 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-06-24 05:23:01 +0200 | deglazewithcheet | (~deglazewi@209-188-121-236.taosnet.com) (Quit: WeeChat 3.0) |
| 2023-06-24 05:34:21 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-06-24 05:34:21 +0200 | Feuermagier | Guest5071 |
| 2023-06-24 05:34:21 +0200 | Guest5071 | (~Feuermagi@user/feuermagier) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2023-06-24 05:34:21 +0200 | Feuermagier_ | Feuermagier |
| 2023-06-24 05:37:01 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 05:39:08 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 05:41:10 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-06-24 05:44:04 +0200 | dsrt^ | (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-06-24 05:44:22 +0200 | dsrt^ | (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) |
| 2023-06-24 05:46:03 +0200 | dipper | (~dipper@240e:87c:894:731b:903:4a47:df0d:eb5c) |
| 2023-06-24 05:46:22 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) (Server closed connection) |
| 2023-06-24 05:46:30 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) |
| 2023-06-24 05:49:34 +0200 | Square2 | (~Square@user/square) (Ping timeout: 250 seconds) |
| 2023-06-24 05:50:44 +0200 | jargon | (~jargon@116.sub-174-205-160.myvzw.com) |
| 2023-06-24 05:52:40 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 05:53:16 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 06:00:50 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 250 seconds) |
| 2023-06-24 06:01:40 +0200 | hisa381 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-06-24 06:02:34 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-24 06:02:49 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 06:03:24 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 06:03:26 +0200 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-06-24 06:03:26 +0200 | hisa381 | hisa38 |
| 2023-06-24 06:03:41 +0200 | k`` | (~user@136.56.140.2) (Remote host closed the connection) |
| 2023-06-24 06:03:56 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 06:14:46 +0200 | phma | (phma@2001:5b0:211f:2f08:d5:59c5:25af:c289) (Read error: Connection reset by peer) |
| 2023-06-24 06:15:14 +0200 | phma | (~phma@host-67-44-208-160.hnremote.net) |
| 2023-06-24 06:24:56 +0200 | k`` | (~user@136.56.140.2) (Remote host closed the connection) |
| 2023-06-24 06:25:10 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 06:37:02 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 06:39:08 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 06:45:01 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-24 06:48:38 +0200 | Typedfern | (~Typedfern@60.red-83-37-32.dynamicip.rima-tde.net) (Server closed connection) |
| 2023-06-24 06:49:00 +0200 | Typedfern | (~Typedfern@60.red-83-37-32.dynamicip.rima-tde.net) |
| 2023-06-24 07:01:57 +0200 | phma | (~phma@host-67-44-208-160.hnremote.net) (Read error: Connection reset by peer) |
| 2023-06-24 07:02:22 +0200 | phma | (phma@2001:5b0:211f:2f08:d5:59c5:25af:c289) |
| 2023-06-24 07:03:57 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-06-24 07:13:44 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 07:13:56 +0200 | mcglk_ | (~mcglk@131.191.19.145) |
| 2023-06-24 07:18:55 +0200 | mcglk_ | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 07:18:59 +0200 | trev | (~trev@user/trev) |
| 2023-06-24 07:19:29 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 07:21:48 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 2023-06-24 07:23:37 +0200 | k`` | (~user@136.56.140.2) (Remote host closed the connection) |
| 2023-06-24 07:23:50 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 07:23:51 +0200 | xff0x_ | (~xff0x@178.255.149.135) |
| 2023-06-24 07:29:59 +0200 | k`` | (~user@136.56.140.2) (Remote host closed the connection) |
| 2023-06-24 07:30:12 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 07:31:01 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-24 07:32:25 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-06-24 07:37:01 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 07:37:47 +0200 | xff0x_ | (~xff0x@178.255.149.135) (Ping timeout: 264 seconds) |
| 2023-06-24 07:39:07 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 07:39:12 +0200 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-06-24 07:46:45 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-06-24 07:48:38 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-24 07:50:24 +0200 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 258 seconds) |
| 2023-06-24 07:51:21 +0200 | AkechiShiro | (~licht@user/akechishiro) |
| 2023-06-24 07:54:23 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-24 07:56:21 +0200 | Nokurn | (~jeremiah@cpe-76-86-186-227.socal.res.rr.com) |
| 2023-06-24 07:56:28 +0200 | LenaDresner[m] | (~lenadresn@2001:470:69fc:105::3:3c53) |
| 2023-06-24 07:56:46 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-06-24 08:00:35 +0200 | k`` | (~user@136.56.140.2) (Ping timeout: 264 seconds) |
| 2023-06-24 08:00:35 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 264 seconds) |
| 2023-06-24 08:05:11 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-06-24 08:08:46 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-06-24 08:18:38 +0200 | dsrt^ | (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) (Ping timeout: 250 seconds) |
| 2023-06-24 08:20:04 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 08:20:26 +0200 | dsrt^ | (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) |
| 2023-06-24 08:20:38 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 08:31:26 +0200 | falafel | (~falafel@2607:fb91:86c:d890:f79f:c191:d2ec:c799) (Ping timeout: 246 seconds) |
| 2023-06-24 08:35:21 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 08:35:56 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 08:37:01 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 08:39:08 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 08:43:58 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-24 08:45:31 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 08:46:13 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 08:56:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-24 08:56:49 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-24 09:05:48 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (Server closed connection) |
| 2023-06-24 09:06:00 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
| 2023-06-24 09:06:03 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 09:06:32 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 09:14:58 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-06-24 09:16:36 +0200 | eugenrh | (~eugenrh@2a01:4f9:c011:265::1) (Server closed connection) |
| 2023-06-24 09:16:54 +0200 | eugenrh | (~eugenrh@2a01:4f9:c011:265::1) |
| 2023-06-24 09:16:57 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-24 09:21:50 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-06-24 09:24:19 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-06-24 09:24:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-24 09:25:06 +0200 | Deide | (~deide@user/deide) (Server closed connection) |
| 2023-06-24 09:25:10 +0200 | ripspin | (~chatzilla@1.145.156.115) |
| 2023-06-24 09:26:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-06-24 09:26:37 +0200 | Deide | (~deide@user/deide) |
| 2023-06-24 09:28:52 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-24 09:29:39 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-24 09:31:58 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-06-24 09:33:50 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-24 09:37:02 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 09:37:13 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-06-24 09:39:10 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 09:40:45 +0200 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) |
| 2023-06-24 09:42:30 +0200 | hisa381 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-06-24 09:44:26 +0200 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-06-24 09:44:26 +0200 | hisa381 | hisa38 |
| 2023-06-24 09:44:39 +0200 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection) |
| 2023-06-24 09:45:56 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 09:46:10 +0200 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) |
| 2023-06-24 09:46:31 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 09:57:18 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-06-24 10:13:38 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-06-24 10:23:04 +0200 | acidjnk | (~acidjnk@p200300d6e7072f737412bceb5afbd15d.dip0.t-ipconnect.de) |
| 2023-06-24 10:23:59 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-24 10:23:59 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-06-24 10:23:59 +0200 | finn_elija | FinnElija |
| 2023-06-24 10:24:23 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-24 10:30:46 +0200 | zeenk | (~zeenk@2a02:2f04:a203:a700::7fe) |
| 2023-06-24 10:34:28 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 10:34:33 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-06-24 10:37:02 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 10:38:02 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-24 10:39:08 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 10:39:11 +0200 | k`` | (~user@136.56.140.2) (Ping timeout: 246 seconds) |
| 2023-06-24 10:39:33 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-24 10:39:51 +0200 | Tuplanolla | (~Tuplanoll@91.159.68.236) |
| 2023-06-24 10:40:24 +0200 | DigitalKiwi | (~kiwi@2604:a880:400:d0::1ca0:e001) |
| 2023-06-24 10:41:10 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-06-24 10:42:43 +0200 | user_____ | (~user@103.206.114.124) |
| 2023-06-24 10:43:00 +0200 | user_____ | wns |
| 2023-06-24 10:47:06 +0200 | megaTherion | (~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-24 10:48:17 +0200 | megaTherion | (~therion@unix.io) |
| 2023-06-24 10:53:07 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-06-24 10:57:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) |
| 2023-06-24 10:58:44 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-06-24 11:01:56 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) (Ping timeout: 246 seconds) |
| 2023-06-24 11:04:31 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-06-24 11:05:28 +0200 | wns | (~user@103.206.114.124) (Quit: WeeChat 3.8) |
| 2023-06-24 11:06:26 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 11:06:43 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 11:09:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-24 11:16:01 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd2:b900:c878:a270:1856:e842) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-24 11:16:30 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (Quit: WeeChat 3.8) |
| 2023-06-24 11:17:11 +0200 | aforemny | (~aforemny@i59f516e5.versanet.de) |
| 2023-06-24 11:17:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2023-06-24 11:18:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-06-24 11:28:42 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2023-06-24 11:29:28 +0200 | mauke | (~mauke@user/mauke) (Quit: leaving) |
| 2023-06-24 11:30:33 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (Server closed connection) |
| 2023-06-24 11:35:37 +0200 | dipper | (~dipper@240e:87c:894:731b:903:4a47:df0d:eb5c) (Ping timeout: 245 seconds) |
| 2023-06-24 11:36:43 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 11:37:01 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 11:37:10 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 11:37:47 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-06-24 11:39:07 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 11:42:16 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-06-24 11:43:25 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Server closed connection) |
| 2023-06-24 11:51:52 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-06-24 11:52:20 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 246 seconds) |
| 2023-06-24 11:53:19 +0200 | mechap | (~mechap@user/mechap) |
| 2023-06-24 11:54:13 +0200 | ouroboros | (~ouroboros@user/ouroboros) (Server closed connection) |
| 2023-06-24 11:55:29 +0200 | ouroboros | (~ouroboros@user/ouroboros) |
| 2023-06-24 11:57:48 +0200 | Vajb | (~Vajb@2001:999:484:a37d:e618:9886:4843:f5d8) (Ping timeout: 255 seconds) |
| 2023-06-24 11:58:44 +0200 | Vajb | (~Vajb@2001:999:484:a37d:e618:9886:4843:f5d8) |
| 2023-06-24 12:01:38 +0200 | xameer | (~user@144.48.224.57) |
| 2023-06-24 12:02:07 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-24 12:02:23 +0200 | foul_owl | (~kerry@71.212.137.212) (Ping timeout: 264 seconds) |
| 2023-06-24 12:04:25 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 12:04:46 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 12:05:59 +0200 | Vajb | (~Vajb@2001:999:484:a37d:e618:9886:4843:f5d8) (Ping timeout: 264 seconds) |
| 2023-06-24 12:08:44 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 250 seconds) |
| 2023-06-24 12:13:59 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-06-24 12:16:14 +0200 | foul_owl | (~kerry@45.143.82.40) |
| 2023-06-24 12:19:40 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 12:20:24 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 12:26:36 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-06-24 12:27:10 +0200 | esph | (~weechat@user/esph) (Ping timeout: 258 seconds) |
| 2023-06-24 12:35:06 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-24 12:35:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-06-24 12:37:02 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 12:39:08 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 12:41:30 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-24 12:42:53 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-06-24 12:44:23 +0200 | Nokurn | (~jeremiah@cpe-76-86-186-227.socal.res.rr.com) (Ping timeout: 264 seconds) |
| 2023-06-24 12:49:50 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-06-24 12:52:04 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-06-24 12:52:34 +0200 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection) |
| 2023-06-24 13:04:12 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 250 seconds) |
| 2023-06-24 13:10:48 +0200 | esph | (~weechat@user/esph) |
| 2023-06-24 13:10:55 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-24 13:15:36 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-06-24 13:15:54 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-06-24 13:18:16 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-24 13:23:08 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Server closed connection) |
| 2023-06-24 13:23:54 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.au) |
| 2023-06-24 13:23:55 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.au) (Changing host) |
| 2023-06-24 13:23:55 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-06-24 13:28:49 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-06-24 13:29:17 +0200 | nut | (~nut@176-151-21-224.abo.bbox.fr) |
| 2023-06-24 13:31:45 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-24 13:36:33 +0200 | zeenk | (~zeenk@2a02:2f04:a203:a700::7fe) (Quit: Konversation terminated!) |
| 2023-06-24 13:37:01 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 13:37:09 +0200 | mcfrdy | (~mcfrdy@user/mcfrdy) (Server closed connection) |
| 2023-06-24 13:37:29 +0200 | mcfrdy | (~mcfrdy@user/mcfrdy) |
| 2023-06-24 13:39:11 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 13:39:33 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-06-24 13:40:11 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-06-24 13:40:37 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 13:53:35 +0200 | Vajb | (~Vajb@2001:999:404:de8b:ef93:65c2:8e54:ed55) |
| 2023-06-24 13:54:10 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-06-24 13:56:27 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Server closed connection) |
| 2023-06-24 13:57:17 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2023-06-24 13:59:51 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-24 14:09:35 +0200 | nut | (~nut@176-151-21-224.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 2023-06-24 14:24:15 +0200 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) (Server closed connection) |
| 2023-06-24 14:28:47 +0200 | Vajb | (~Vajb@2001:999:404:de8b:ef93:65c2:8e54:ed55) (Ping timeout: 264 seconds) |
| 2023-06-24 14:35:24 +0200 | CalculusCats | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 2023-06-24 14:37:01 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 14:38:01 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) |
| 2023-06-24 14:39:35 +0200 | chromoblob | (~user@37.113.180.121) (Read error: Connection reset by peer) |
| 2023-06-24 14:41:13 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 14:41:19 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-24 14:41:20 +0200 | xameer | (~user@144.48.224.57) (Remote host closed the connection) |
| 2023-06-24 14:41:41 +0200 | jargon | (~jargon@116.sub-174-205-160.myvzw.com) (Remote host closed the connection) |
| 2023-06-24 14:43:27 +0200 | ddellacosta | (~ddellacos@146.70.171.100) |
| 2023-06-24 14:44:45 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-24 14:53:01 +0200 | k`` | (~user@136.56.140.2) |
| 2023-06-24 14:57:35 +0200 | k`` | (~user@136.56.140.2) (Ping timeout: 264 seconds) |
| 2023-06-24 15:01:10 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) |
| 2023-06-24 15:02:51 +0200 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) (Server closed connection) |
| 2023-06-24 15:03:07 +0200 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) |
| 2023-06-24 15:05:32 +0200 | kimiamania6 | (~6790af62@user/kimiamania) (Ping timeout: 246 seconds) |
| 2023-06-24 15:05:59 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) (Ping timeout: 264 seconds) |
| 2023-06-24 15:06:06 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-06-24 15:09:48 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-06-24 15:11:08 +0200 | kimiamania6 | (~6790af62@user/kimiamania) |
| 2023-06-24 15:11:13 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-24 15:14:01 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-24 15:16:14 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-24 15:30:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-06-24 15:31:04 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 3.8) |
| 2023-06-24 15:34:47 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2023-06-24 15:35:23 +0200 | dipper | (~dipper@203.168.26.139) |
| 2023-06-24 15:36:16 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
| 2023-06-24 15:37:01 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 15:39:09 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 15:42:02 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 3.8) |
| 2023-06-24 15:42:40 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-24 15:44:23 +0200 | dsrt^ | (~dsrt@c-71-204-38-59.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-06-24 15:46:16 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-06-24 15:47:18 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
| 2023-06-24 15:49:39 +0200 | euandreh1 | (~Thunderbi@189.6.18.7) |
| 2023-06-24 15:50:36 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 250 seconds) |
| 2023-06-24 15:50:37 +0200 | euandreh1 | euandreh |
| 2023-06-24 15:51:09 +0200 | kimiamania6 | (~6790af62@user/kimiamania) (Quit: PegeLinux) |
| 2023-06-24 15:51:35 +0200 | kimiamania6 | (~924ba01d@user/kimiamania) |
| 2023-06-24 15:53:10 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-24 15:53:26 +0200 | Vajb | (~Vajb@85-76-98-77-nat.elisa-mobile.fi) |
| 2023-06-24 15:54:20 +0200 | migas | (~migas@astra4961.startdedicated.net) (Quit: The Lounge - https://thelounge.github.io) |
| 2023-06-24 15:56:17 +0200 | migas | (~migas@astra4961.startdedicated.net) |
| 2023-06-24 15:57:54 +0200 | kimiamania6 | (~924ba01d@user/kimiamania) (Quit: PegeLinux) |
| 2023-06-24 15:58:22 +0200 | kimiamania6 | (~924ba01c@user/kimiamania) |
| 2023-06-24 16:00:37 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 245 seconds) |
| 2023-06-24 16:01:30 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-06-24 16:01:38 +0200 | mechap | (~mechap@user/mechap) |
| 2023-06-24 16:07:11 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (Server closed connection) |
| 2023-06-24 16:07:37 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
| 2023-06-24 16:10:42 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-24 16:10:59 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-06-24 16:14:10 +0200 | Vajb | (~Vajb@85-76-98-77-nat.elisa-mobile.fi) (Ping timeout: 260 seconds) |
| 2023-06-24 16:14:43 +0200 | alanz | (~alanz@2001:470:69fc:105::2:49a6) (Server closed connection) |
| 2023-06-24 16:18:14 +0200 | TheCatCollective | CalculusCats |
| 2023-06-24 16:23:48 +0200 | Vajb | (~Vajb@2001:999:588:78c9:a0de:5cb2:b6e0:d1c6) |
| 2023-06-24 16:23:55 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-166-143.46.114.pool.telefonica.de) |
| 2023-06-24 16:37:01 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 16:39:13 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 16:47:26 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-24 16:48:00 +0200 | shapr | (~user@2600:1700:c640:3100:ee1c:885c:bacf:e48c) (Ping timeout: 260 seconds) |
| 2023-06-24 16:48:01 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-06-24 16:48:40 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-06-24 16:49:07 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-24 16:50:22 +0200 | CalculusCats | TheCatCollective |
| 2023-06-24 16:51:47 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-06-24 16:53:33 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-24 17:06:19 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-06-24 17:07:20 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-06-24 17:14:39 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-06-24 17:17:26 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-24 17:19:36 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-24 17:20:33 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-06-24 17:22:10 +0200 | lottaquestions | (~nick@2607:fa49:503f:6d00:ee98:182c:4ae3:99fe) (Quit: Konversation terminated!) |
| 2023-06-24 17:23:35 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-24 17:23:54 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-24 17:25:34 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-06-24 17:26:03 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:59b4:50:6695:cd56) (Remote host closed the connection) |
| 2023-06-24 17:26:07 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-166-143.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-06-24 17:26:16 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:a240:2d56:9095:a1c3) |
| 2023-06-24 17:27:45 +0200 | DDR | (~DDR@2604:3d08:4c7f:8250:fad5:4c0d:f189:458b) |
| 2023-06-24 17:35:32 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Read error: Connection reset by peer) |
| 2023-06-24 17:35:44 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-06-24 17:37:01 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 17:37:03 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-06-24 17:38:21 +0200 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) (Server closed connection) |
| 2023-06-24 17:38:38 +0200 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) |
| 2023-06-24 17:39:08 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 17:41:08 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-24 17:42:40 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2023-06-24 17:43:14 +0200 | jade[m]1 | jade[m] |
| 2023-06-24 17:43:18 +0200 | nut | (~nut@176-151-21-224.abo.bbox.fr) |
| 2023-06-24 17:44:11 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Read error: Connection reset by peer) |
| 2023-06-24 17:47:33 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-06-24 17:50:07 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (Server closed connection) |
| 2023-06-24 17:51:00 +0200 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
| 2023-06-24 17:52:08 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 246 seconds) |
| 2023-06-24 17:52:19 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-166-143.46.114.pool.telefonica.de) |
| 2023-06-24 17:52:54 +0200 | mcglk | (~mcglk@131.191.19.145) (Remote host closed the connection) |
| 2023-06-24 17:53:24 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-06-24 17:53:38 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-06-24 17:57:39 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (Server closed connection) |
| 2023-06-24 17:57:57 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) |
| 2023-06-24 18:00:55 +0200 | gnyeki | (~gnyeki@user/gnyeki) (Server closed connection) |
| 2023-06-24 18:01:03 +0200 | gnyeki | (~gnyeki@li578-216.members.linode.com) |
| 2023-06-24 18:01:03 +0200 | gnyeki | (~gnyeki@li578-216.members.linode.com) (Changing host) |
| 2023-06-24 18:01:03 +0200 | gnyeki | (~gnyeki@user/gnyeki) |
| 2023-06-24 18:01:39 +0200 | ddellacosta | (~ddellacos@146.70.171.100) (Quit: WeeChat 3.8) |
| 2023-06-24 18:04:39 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-06-24 18:09:51 +0200 | falafel | (~falafel@2607:fb91:86c:d890:4c2e:6ef0:b5fb:56d2) |
| 2023-06-24 18:10:19 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
| 2023-06-24 18:10:19 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
| 2023-06-24 18:10:19 +0200 | Null_A[m] | (~jasonjckn@2001:470:69fc:105::bb85) |
| 2023-06-24 18:10:20 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
| 2023-06-24 18:10:20 +0200 | alanz | (~alanz@2001:470:69fc:105::2:49a6) |
| 2023-06-24 18:10:21 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
| 2023-06-24 18:10:21 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
| 2023-06-24 18:10:21 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) |
| 2023-06-24 18:10:22 +0200 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) |
| 2023-06-24 18:10:23 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
| 2023-06-24 18:12:39 +0200 | falafel | (~falafel@2607:fb91:86c:d890:4c2e:6ef0:b5fb:56d2) (Remote host closed the connection) |
| 2023-06-24 18:12:57 +0200 | falafel | (~falafel@2607:fb91:86c:d890:fa8c:2fd5:c585:d1ab) |
| 2023-06-24 18:14:42 +0200 | k`` | (~user@2605:a601:a60d:5400:f046:a529:dd29:349c) |
| 2023-06-24 18:15:14 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 246 seconds) |
| 2023-06-24 18:16:38 +0200 | hdggxin | (~hdggxin@122.175.41.19) (Ping timeout: 250 seconds) |
| 2023-06-24 18:17:51 +0200 | falafel | (~falafel@2607:fb91:86c:d890:fa8c:2fd5:c585:d1ab) (Ping timeout: 260 seconds) |
| 2023-06-24 18:18:39 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-06-24 18:19:35 +0200 | k`` | (~user@2605:a601:a60d:5400:f046:a529:dd29:349c) (Ping timeout: 260 seconds) |
| 2023-06-24 18:22:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) |
| 2023-06-24 18:22:13 +0200 | hdggxin | (~hdggxin@122.175.41.19) |
| 2023-06-24 18:31:11 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2023-06-24 18:33:01 +0200 | <nut> | can cabal use a specific .ghc.env ? |
| 2023-06-24 18:33:25 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-06-24 18:33:35 +0200 | <nut> | i have a folder where i play around and cabal install --lib --env . somelib |
| 2023-06-24 18:34:11 +0200 | <sclv> | right i mean that’s what using it means? |
| 2023-06-24 18:34:20 +0200 | <sclv> | it can write to a specific one |
| 2023-06-24 18:34:32 +0200 | <sclv> | then raw ghci or ghc can be pointed to use it |
| 2023-06-24 18:34:58 +0200 | <sclv> | if you use normal cabal v2 it should bypass any and all env files |
| 2023-06-24 18:36:30 +0200 | <nut> | what's the point of .env file? |
| 2023-06-24 18:36:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-06-24 18:36:43 +0200 | <nut> | when do people use this? |
| 2023-06-24 18:37:01 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 18:39:08 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 18:40:01 +0200 | hippoid | (~hippoid@user/hippoid) |
| 2023-06-24 18:43:44 +0200 | <monochrom> | I use it when I run ghci and have libraries available and I don't need no cabal "project" or "script". |
| 2023-06-24 18:44:17 +0200 | <monochrom> | I accept that it is now my responsibility, not cabal's, to keep things consistent. |
| 2023-06-24 18:46:50 +0200 | <monochrom> | Unpopular opinion: To a large extent the real hidden reason for scaremongering against "install --lib" is not that it is wrong, but that user responsibility is higher, there are more PEBKAC, and those who know do not want to do the tech support job. |
| 2023-06-24 18:50:06 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-06-24 18:50:34 +0200 | <nut> | do you manually edit the .env file? |
| 2023-06-24 18:51:01 +0200 | <sclv> | you can do a combination of manual editing and using the cabal install lib method |
| 2023-06-24 18:51:25 +0200 | <monochrom> | Sometimes I do (to delete things I no longer want, to delete old things). Sometimes I even keep around multiple env files and switch between them. |
| 2023-06-24 18:51:41 +0200 | <sclv> | env files also useful for tools that interact directly with ghc api rather than being invoked by cabal or stack |
| 2023-06-24 18:51:47 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2023-06-24 18:52:05 +0200 | <monochrom> | To add things I still use "install --lib" to let cabal help me check consistency. |
| 2023-06-24 18:52:10 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-06-24 18:53:21 +0200 | <monochrom> | with the benefit that if the package has already been built before and is still in .cabal/store, it is reused. |
| 2023-06-24 18:53:28 +0200 | <nut> | so inside the env, let's say the current dir. how do you run that the haskell code? runghc ?or build it with ghc |
| 2023-06-24 18:53:47 +0200 | <monochrom> | any of ghc, ghci, runghc |
| 2023-06-24 18:53:59 +0200 | Vajb | (~Vajb@2001:999:588:78c9:a0de:5cb2:b6e0:d1c6) (Ping timeout: 264 seconds) |
| 2023-06-24 18:54:17 +0200 | <nut> | ok so ghc or ghci would pick the .env file? |
| 2023-06-24 18:54:22 +0200 | <monochrom> | Yes |
| 2023-06-24 18:54:48 +0200 | <sclv> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/packages.html#package-environments |
| 2023-06-24 18:55:06 +0200 | <monochrom> | Under the mutual understanding that if non-default location you need -package-env=??? |
| 2023-06-24 18:55:30 +0200 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-24 18:55:32 +0200 | <sclv> | people think of env files as a cabal feature, but they're not. they're a ghc feature that cabal helps you construct (and also some other tools help you construct) |
| 2023-06-24 18:55:57 +0200 | <monochrom> | Well, it's human nature. |
| 2023-06-24 18:56:08 +0200 | connrs | (~connrs@user/connrs) |
| 2023-06-24 18:56:13 +0200 | <monochrom> | Windows users think that computer = Windows. |
| 2023-06-24 18:56:35 +0200 | <sclv> | sure i'm just pointing it out here because the "how do i use this" docs are ghc docs :-) |
| 2023-06-24 18:56:43 +0200 | <monochrom> | Photocopier users say "xerox copy" even when the photocopier is clearly a Canon one. :) |
| 2023-06-24 18:57:34 +0200 | <monochrom> | My Kleenex comes from Royale. I actually like it more than Kleenex. |
| 2023-06-24 18:57:55 +0200 | <monochrom> | Plus I like the cat pics. |
| 2023-06-24 18:58:47 +0200 | ham | (~ham@user/ham) (Read error: Connection reset by peer) |
| 2023-06-24 18:59:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-06-24 19:01:54 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2023-06-24 19:02:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-06-24 19:06:47 +0200 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-24 19:07:20 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-24 19:07:42 +0200 | connrs | (~connrs@user/connrs) |
| 2023-06-24 19:10:46 +0200 | Feuermagier | Guest3035 |
| 2023-06-24 19:10:46 +0200 | Guest3035 | (~Feuermagi@user/feuermagier) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2023-06-24 19:10:47 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-06-24 19:11:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) (Remote host closed the connection) |
| 2023-06-24 19:17:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) |
| 2023-06-24 19:18:26 +0200 | troydm | (~troydm@user/troydm) |
| 2023-06-24 19:22:30 +0200 | nut | (~nut@176-151-21-224.abo.bbox.fr) (Ping timeout: 250 seconds) |
| 2023-06-24 19:24:14 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 250 seconds) |
| 2023-06-24 19:24:29 +0200 | nut | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-06-24 19:28:01 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-06-24 19:32:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) (Remote host closed the connection) |
| 2023-06-24 19:32:43 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 19:37:22 +0200 | hsiktas[m] | (~hsiktasm]@2001:470:69fc:105::30d4) (Server closed connection) |
| 2023-06-24 19:37:28 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-06-24 19:37:29 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-06-24 19:37:29 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-24 19:40:14 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-24 19:43:05 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-06-24 19:44:01 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-24 19:45:03 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-06-24 19:47:22 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) |
| 2023-06-24 19:48:16 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2023-06-24 19:50:50 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-06-24 20:01:07 +0200 | ripspin | (~chatzilla@1.145.156.115) (Remote host closed the connection) |
| 2023-06-24 20:03:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-24 20:08:34 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b5de:ab17:feef:6823) (Remote host closed the connection) |
| 2023-06-24 20:11:47 +0200 | Xe | (~cadey@tailscale/xe) (Ping timeout: 246 seconds) |
| 2023-06-24 20:13:08 +0200 | mauke | (~mauke@user/mauke) |
| 2023-06-24 20:14:09 +0200 | Xe | (~cadey@tailscale/xe) |
| 2023-06-24 20:14:33 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 20:17:59 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 2023-06-24 20:18:07 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-06-24 20:18:11 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-24 20:18:35 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds) |
| 2023-06-24 20:20:31 +0200 | infinity0_ | (~infinity0@pwned.gg) |
| 2023-06-24 20:20:32 +0200 | infinity0 | (~infinity0@pwned.gg) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2023-06-24 20:20:32 +0200 | infinity0_ | infinity0 |
| 2023-06-24 20:23:40 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-06-24 20:25:05 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-06-24 20:25:05 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-06-24 20:25:05 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-24 20:35:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-24 20:37:01 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-06-24 20:39:08 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-06-24 20:39:59 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-06-24 20:42:36 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-06-24 20:43:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-24 20:47:02 +0200 | elevenkb | (~elevenkb@2001:470:69fc:105::2:cb89) (Server closed connection) |
| 2023-06-24 20:47:14 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-06-24 20:47:24 +0200 | elevenkb | (~elevenkb@2001:470:69fc:105::2:cb89) |
| 2023-06-24 20:49:56 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 246 seconds) |
| 2023-06-24 20:57:34 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-06-24 21:01:35 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-24 21:04:35 +0200 | <sm> | it's cool that you can manually tweak env files, though I assume you can break it that way |
| 2023-06-24 21:05:59 +0200 | <sm> | I guess env files are still relatively new, perhaps they'd be more popular if they were more visible ? Eg, common to see in your project directory, not hidden away somewhere. Also aren't they kind of doing the same thing as cabal.project ? |
| 2023-06-24 21:07:24 +0200 | <sclv> | project files are for cabal only, and configuring multiple source packages. env files are for ghc and configuring making use of necessarily installed packages |
| 2023-06-24 21:07:55 +0200 | <sclv> | project : cabal package :: env file : ghc package database |
| 2023-06-24 21:09:47 +0200 | sm | imagines a magical hsenv file someday taking over the jobs of cabal.project, stack.yaml, and more, simplifying user experience |
| 2023-06-24 21:10:42 +0200 | <geekosaur> | shortly followed by some new invention (cue https://xkcd.com/927/) |
| 2023-06-24 21:10:54 +0200 | <sclv> | imho wouldn’t work. people need different files for different services/tools/levels of modularity abstraction |
| 2023-06-24 21:11:37 +0200 | <sclv> | like cabal.project suffices for everything _as long as you are using cabal_ |
| 2023-06-24 21:11:37 +0200 | <sm> | I hear that, but I don't think we need quite as much complexity as we have |
| 2023-06-24 21:12:16 +0200 | <sclv> | it has a lot of knobs that mainly make no sense for ghc |
| 2023-06-24 21:12:38 +0200 | mjt128 | (~user@2604:3d09:3e79:f200:d657:b976:1c25:eefa) |
| 2023-06-24 21:13:07 +0200 | <sm> | what's cool about env files, at least in my imagination, is that they are recognised by all haskell tools; you can potentially configure "haskell" in one place |
| 2023-06-24 21:13:11 +0200 | nut | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 2023-06-24 21:16:06 +0200 | mjt128` | (~user@2604:3d09:3e79:f200:e43f:251:e60e:4867) |
| 2023-06-24 21:18:17 +0200 | <monochrom> | UML is the result of taking over the jobs of one million specification languages. And it shows. |
| 2023-06-24 21:19:00 +0200 | <monochrom> | I don't think it simplified user experience. I think it opened new revenue streams for consultants instead. |
| 2023-06-24 21:19:25 +0200 | <sm> | these are not the same :) |
| 2023-06-24 21:20:15 +0200 | <monochrom> | And here is how env is not analogous to cabal.project or foo.cabal. |
| 2023-06-24 21:20:25 +0200 | mjt128 | (~user@2604:3d09:3e79:f200:d657:b976:1c25:eefa) (Ping timeout: 260 seconds) |
| 2023-06-24 21:20:36 +0200 | <sm> | people are very famliar with ini files with multiple sections influencing multiple tools |
| 2023-06-24 21:21:02 +0200 | <monochrom> | env has to go like "hmatrix-0.20.2-64a3e0544c374f5ad983bd82369f6e2346a98585638f359e300c21303b438f18". Emphasis on "64a3e0544c374f5ad983bd82369f6e2346a98585638f359e300c21303b438f18". |
| 2023-06-24 21:21:18 +0200 | <monochrom> | cabal.project and foo.cabal must not have that. |
| 2023-06-24 21:21:41 +0200 | <sm> | yes, I know these things are not doing the same job today. I'm chatting about what could be if you squint |
| 2023-06-24 21:22:02 +0200 | <sm> | anyway, time for breakfast o/ |
| 2023-06-24 21:22:27 +0200 | <monochrom> | You have to eliminate "64a3e0544c374f5ad983bd82369f6e2346a98585638f359e300c21303b438f18" if there is any possibility of unification. |
| 2023-06-24 21:22:50 +0200 | <monochrom> | And here is how: Go back to Hugs (generally any interpreter or non-optimizing compiler) |
| 2023-06-24 21:23:59 +0200 | <monochrom> | fast, user-friendly, FP: pick two. |
| 2023-06-24 21:25:46 +0200 | nehsou^ | (~nehsou@c-71-204-38-59.hsd1.ga.comcast.net) |
| 2023-06-24 21:27:22 +0200 | <jade[m]> | heh |
| 2023-06-24 21:27:41 +0200 | <jade[m]> | what the actual fuck |
| 2023-06-24 21:28:27 +0200 | <monochrom> | ini files abused that way is just Window Registry mentality carried out to text config files. |
| 2023-06-24 21:28:58 +0200 | <jade[m]> | the bridged account is sending the messages in the matrix room too, that's not right, is it ... |
| 2023-06-24 21:29:12 +0200 | <monochrom> | Someone thought that it would be "simpler" to have a bus factor of 1 but for config files. |
| 2023-06-24 21:32:35 +0200 | <monochrom> | I for one found it a chore to look for the license key of a game in Windows Registry when Window Registry is a melting point of a thousand sections to affect a thousand independent programs. It was not simpler. |
| 2023-06-24 21:32:46 +0200 | <monochrom> | s/melting point/melting pot/ |
| 2023-06-24 21:33:58 +0200 | <monochrom> | It is true that it would be a chore just as much if the game used its own config file. |
| 2023-06-24 21:34:08 +0200 | <monochrom> | My point is that neither is simpler. |
| 2023-06-24 21:36:06 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a90c:c3c7:9e5f:13d0) |
| 2023-06-24 21:36:08 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a90c:c3c7:9e5f:13d0) (Client Quit) |
| 2023-06-24 21:36:27 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 245 seconds) |
| 2023-06-24 21:40:44 +0200 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) (Ping timeout: 250 seconds) |
| 2023-06-24 21:41:37 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-06-24 21:46:58 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2023-06-24 21:47:08 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::3) |
| 2023-06-24 21:48:19 +0200 | gawen | (~gawen@user/gawen) |
| 2023-06-24 21:49:18 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-06-24 21:50:27 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-06-24 21:52:17 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::3) (Ping timeout: 245 seconds) |
| 2023-06-24 21:54:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-24 21:57:12 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-06-24 22:03:59 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::3) |
| 2023-06-24 22:05:44 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-06-24 22:09:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-24 22:13:10 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-24 22:16:55 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-24 22:17:41 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) |
| 2023-06-24 22:31:25 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-166-143.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-06-24 22:31:30 +0200 | Guest4 | (~Guest4@p200300c7471ad3007fbdba46adc2c473.dip0.t-ipconnect.de) |
| 2023-06-24 22:32:10 +0200 | <Guest4> | Is Haskell even useful? I know dozens of programmers, but nobody use haskell |
| 2023-06-24 22:32:28 +0200 | <jade[m]> | lmao |
| 2023-06-24 22:32:29 +0200 | <jade[m]> | yes it is |
| 2023-06-24 22:32:36 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-24 22:32:41 +0200 | <jade[m]> | you might just not know the right programmers ;) |
| 2023-06-24 22:33:14 +0200 | <Guest4> | In which field is this useful? Maybe something more scientific...? |
| 2023-06-24 22:33:35 +0200 | <Guest4> | Not web, not embedded, not AI... |
| 2023-06-24 22:33:37 +0200 | <mauke> | some banks seem to like it |
| 2023-06-24 22:34:25 +0200 | <mauke> | what is galois? defense contractor? |
| 2023-06-24 22:34:26 +0200 | <jade[m]> | haskell is used in FPGAs with clash |
| 2023-06-24 22:34:29 +0200 | <jade[m]> | fascinating topic |
| 2023-06-24 22:35:11 +0200 | <mauke> | some internal facebook tools are haskell |
| 2023-06-24 22:35:50 +0200 | <jade[m]> | haskell is also used in compilers for other languages |
| 2023-06-24 22:35:56 +0200 | <jade[m]> | as well as its own of course |
| 2023-06-24 22:36:46 +0200 | <mauke> | oh, if we're talking about practical uses, then pandoc is probably the most prominent application |
| 2023-06-24 22:37:14 +0200 | <Guest4> | Sure, but maybe some popular field in which haskell has >5% of market? |
| 2023-06-24 22:37:25 +0200 | <mauke> | haskell compilers |
| 2023-06-24 22:37:48 +0200 | <jade[m]> | hahhaha |
| 2023-06-24 22:38:07 +0200 | <jade[m]> | Guest4: I don't believe in such metrics |
| 2023-06-24 22:38:40 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-24 22:38:54 +0200 | <Guest4> | Don't get me wrong, I'm not Haskell hater. The language itself is beautiful I think, but who use it in job? |
| 2023-06-24 22:39:16 +0200 | <yushyin> | https://haskellcosm.com/ |
| 2023-06-24 22:39:19 +0200 | <jade[m]> | I understand yeah |
| 2023-06-24 22:39:25 +0200 | <jade[m]> | it's not very widely adopted |
| 2023-06-24 22:39:26 +0200 | <mauke> | Guest4: that would be me |
| 2023-06-24 22:39:57 +0200 | <Guest4> | yushyin thanks! |
| 2023-06-24 22:40:48 +0200 | <mauke> | huh, my company is on that list |
| 2023-06-24 22:42:35 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 264 seconds) |
| 2023-06-24 22:43:12 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-24 22:45:53 +0200 | Guest4 | (~Guest4@p200300c7471ad3007fbdba46adc2c473.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2023-06-24 22:47:12 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (Server closed connection) |
| 2023-06-24 22:47:21 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) |
| 2023-06-24 22:48:26 +0200 | falafel | (~falafel@2607:fb91:86c:d890:f00d:47b1:65dc:ae82) |
| 2023-06-24 22:49:11 +0200 | merijn | (~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-06-24 22:51:31 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-24 22:53:11 +0200 | falafel | (~falafel@2607:fb91:86c:d890:f00d:47b1:65dc:ae82) (Ping timeout: 260 seconds) |
| 2023-06-24 22:53:55 +0200 | <monochrom> | There is no problem with understanding that Haskell is a minority language. |
| 2023-06-24 22:54:19 +0200 | <jade[m]> | mhm |
| 2023-06-24 22:54:28 +0200 | <monochrom> | But please don't open your question is "nobody I know knows Japanese. who uses Japanese in jobs?" |
| 2023-06-24 22:55:05 +0200 | <mauke> | must be those weebs |
| 2023-06-24 22:55:07 +0200 | <monochrom> | It's the 21st Century of Our Lord already, everyone should already understand echo-chamber selection bias. |
| 2023-06-24 22:55:24 +0200 | michalz | (~michalz@185.246.207.200) |
| 2023-06-24 22:56:54 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-06-24 22:57:27 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-06-24 22:59:19 +0200 | <monochrom> | I have a friend, a Clojure person, who once gave guest lectures in my course on what's so nice about FP and why they chose it for jobs (replacing Java). |
| 2023-06-24 23:00:06 +0200 | <monochrom> | He showed a chart indicating that FP jobs are at the highest pay. |
| 2023-06-24 23:00:20 +0200 | <monochrom> | But of course I could see two issues with that fact: |
| 2023-06-24 23:00:33 +0200 | <monochrom> | 1. FP jobs are still much harder to find. |
| 2023-06-24 23:00:45 +0200 | dcoutts_ | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-06-24 23:00:46 +0200 | <monochrom> | 2. The second best is Perl. >:D |
| 2023-06-24 23:02:29 +0200 | <dolio> | I'd rather write Haskell than Perl. |
| 2023-06-24 23:04:31 +0200 | <jade[m]> | I'd rather write haskell than most other languages |
| 2023-06-24 23:04:51 +0200 | <jade[m]> | even though I suck at it >:D |
| 2023-06-24 23:05:10 +0200 | <sm> | jade/jade[m]: do you know your messages are still being duplicated ? It seems to be just you |
| 2023-06-24 23:05:24 +0200 | <monochrom> | But sometimes I take issues with the whole imprisoned "where are jobs?" mentality altogether. |
| 2023-06-24 23:05:39 +0200 | <sm> | (unless it's just me seeing just you duplicated..) |
| 2023-06-24 23:05:51 +0200 | <monochrom> | Why wait for some boss's mercy to hand down jobs on you? |
| 2023-06-24 23:05:51 +0200 | <jade[m]> | yeah, it seems to be just the matrix side? I guess you could ban the bridged account? |
| 2023-06-24 23:06:02 +0200 | <geekosaur> | it's just jade here as well, and only matrix-side |
| 2023-06-24 23:06:17 +0200 | <monochrom> | Why don't more people come here to ask "can I use Haskell to start my own business and be my own boss?"? |
| 2023-06-24 23:06:26 +0200 | <mauke> | 3. you can write functional code in perl :-p |
| 2023-06-24 23:06:30 +0200 | <sm> | maybe you can log out / reidentify some things ? |
| 2023-06-24 23:07:18 +0200 | <mauke> | it has a direct embedding of lambda calculus and built-in map/filter functions. what more do you want‽ |
| 2023-06-24 23:07:27 +0200 | jade[m] | (~jade256th@2001:470:69fc:105::3:58df) () |
| 2023-06-24 23:07:42 +0200 | <monochrom> | I want static typing. |
| 2023-06-24 23:07:53 +0200 | <hpc> | you have $, @, and & |
| 2023-06-24 23:07:55 +0200 | <hpc> | that's enough for anyone |
| 2023-06-24 23:07:58 +0200 | <monochrom> | I want the sigil system to go away. |
| 2023-06-24 23:08:03 +0200 | <mauke> | don't forget about % |
| 2023-06-24 23:08:09 +0200 | <hpc> | % and @ are the same type |
| 2023-06-24 23:08:09 +0200 | <yahb2> | <interactive>:23:20: error: parse error on input ‘type’ |
| 2023-06-24 23:08:21 +0200 | <monochrom> | Yes, I want $@&%# to go away. |
| 2023-06-24 23:08:22 +0200 | <mauke> | what is this PHP heresy? |
| 2023-06-24 23:08:35 +0200 | <mauke> | monochrom: sorry, perl is a lisp |
| 2023-06-24 23:08:39 +0200 | <sm> | jade[m] hasn't rejoined, so I guess yes ? |
| 2023-06-24 23:08:44 +0200 | <geekosaur[m]> | now I'm not seeing you irc-side |
| 2023-06-24 23:08:56 +0200 | <monochrom> | Yeah well that is also the reason I don't want Lisp. |
| 2023-06-24 23:09:51 +0200 | <hpc> | lisp is fine |
| 2023-06-24 23:10:00 +0200 | <hpc> | my only issue with it is it's hard to know what level something is defined at |
| 2023-06-24 23:10:16 +0200 | <hpc> | you have to handle values and macros differently sometimes |
| 2023-06-24 23:10:28 +0200 | <sm> | you may need to (re)identify with appservice for the IRC side (see !help there) |
| 2023-06-24 23:10:29 +0200 | <geekosaur[m]> | but I'm also not seeing half of what mauke sends matrix-side. and hpc too. guess whatever they did to the bridge this morning made things worse |
| 2023-06-24 23:10:29 +0200 | <monochrom> | Don't get me wrong, I am just counting the factors why I don't like Perl. If you like Perl, more power to you. |
| 2023-06-24 23:11:07 +0200 | <mauke> | hpc: yeah, if only there were sigils to distinguish between them |
| 2023-06-24 23:11:16 +0200 | <mauke> | like $ in haskell |
| 2023-06-24 23:11:17 +0200 | <monochrom> | haha |
| 2023-06-24 23:12:15 +0200 | <hpc> | yeah, sigils would solve that nicely |
| 2023-06-24 23:12:18 +0200 | <monochrom> | It is true that you either don't do it at all or go full measure. :) |
| 2023-06-24 23:12:19 +0200 | jade[m]1 | (~jade256th@2001:470:69fc:105::3:58df) |
| 2023-06-24 23:12:43 +0200 | jade[m]1 | jade[m] |
| 2023-06-24 23:12:55 +0200 | <mauke> | jade[m]: hello! |
| 2023-06-24 23:12:59 +0200 | <hpc> | or if you really want to annoy people, use {} to delimit macro evaluation :D |
| 2023-06-24 23:13:26 +0200 | <jade[m]> | I think the reconnect worked ...? |
| 2023-06-24 23:13:42 +0200 | <sm> | I am seeing chunks of messages that are visible in only some of my matrix clients (eg visible in element on mac but not element on IOS). (Also, some rooms are showing all messages in red in element IOS.) Things are unsettled |
| 2023-06-24 23:14:04 +0200 | <mauke> | eventually consistent |
| 2023-06-24 23:14:10 +0200 | <monochrom> | hahaha |
| 2023-06-24 23:14:39 +0200 | <monochrom> | both irc and matrix eventually go obsolete and quiescient so yeah eventually consistent |
| 2023-06-24 23:15:13 +0200 | <monochrom> | There is also an xkcd for that :) |
| 2023-06-24 23:15:42 +0200 | monochrom | admits that he is part of the problem :) |
| 2023-06-24 23:15:45 +0200 | <mauke> | (German "eventuell" means possibly, maybe) |
| 2023-06-24 23:16:18 +0200 | <monochrom> | I think Kripke semantics agrees with that. :) |
| 2023-06-24 23:18:56 +0200 | nut | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-06-24 23:29:30 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 2023-06-24 23:37:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-24 23:38:22 +0200 | sm | updates element & OS everywhere.. looking better |
| 2023-06-24 23:38:49 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-06-24 23:39:16 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-24 23:39:54 +0200 | mjs2600 | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (Ping timeout: 250 seconds) |
| 2023-06-24 23:50:06 +0200 | mcglk | (~mcglk@131.191.19.145) (Remote host closed the connection) |
| 2023-06-24 23:50:51 +0200 | mcglk | (~mcglk@131.191.19.145) |