| 2024-07-18 00:01:10 +0200 | jkachmar | (~jkachmar@pool-108-41-84-203.nycmny.fios.verizon.net) (Quit: Client closed) |
| 2024-07-18 00:04:12 +0200 | <monochrom> | I too am against saying the broad "AI" for the specific "LLM". But people already have been saying the super-broad "computer" for the super-specific "PCs running Windows" for decades. It's a lost cause. |
| 2024-07-18 00:05:02 +0200 | <monochrom> | Fortunately, in RTS gaming circles, "play against AI" exists too. >:) |
| 2024-07-18 00:05:38 +0200 | <dolio> | I thought a computer is a mathematician engaging in formal symbol manipulation. |
| 2024-07-18 00:05:58 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-07-18 00:06:33 +0200 | <EvanR> | I thought the computer was the CRT monitor |
| 2024-07-18 00:06:55 +0200 | <monochrom> | Consider also "engineers". |
| 2024-07-18 00:07:25 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-18 00:08:47 +0200 | <monochrom> | Hell, "math" for "at-most-real-number arithmetic", too. |
| 2024-07-18 00:08:56 +0200 | <monochrom> | "Do the math." |
| 2024-07-18 00:09:19 +0200 | <dolio> | Nobody does real number arithmetic. |
| 2024-07-18 00:09:50 +0200 | <EvanR> | I learned a square root on paper algorithm once |
| 2024-07-18 00:10:10 +0200 | <monochrom> | I wrote some Haskell code for it too :) |
| 2024-07-18 00:10:18 +0200 | <dolio> | See, that's a special, easy case. |
| 2024-07-18 00:10:58 +0200 | CiaoSen | (~Jura@2a05:5800:208:1600:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds) |
| 2024-07-18 00:13:29 +0200 | <monochrom> | Darn, I didn't write some Haskelll code for it. I wrote psuedo-Algol. |
| 2024-07-18 00:14:09 +0200 | <monochrom> | Oh wait, it has "yield". I wrote pseudo-Algol-with-Yield *facepalm* |
| 2024-07-18 00:21:54 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-07-18 00:23:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-18 00:23:21 +0200 | <geekosaur> | a computer is someone who operates a room-sized calculator 😛 |
| 2024-07-18 00:23:56 +0200 | <sprout> | a computer traditionally was a cleric that did computations |
| 2024-07-18 00:24:02 +0200 | <sprout> | often a woman |
| 2024-07-18 00:24:22 +0200 | <haskellbridge> | <thirdofmay18081814goya> anyone ever use a ring in haskell |
| 2024-07-18 00:25:00 +0200 | <EvanR> | Int with addition? |
| 2024-07-18 00:25:05 +0200 | <EvanR> | and multiplication |
| 2024-07-18 00:25:13 +0200 | <EvanR> | it's a good one |
| 2024-07-18 00:26:02 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-18 00:26:11 +0200 | <juri_> | thirdofmay18081814goya: I abused a list, making it function as a ring. |
| 2024-07-18 00:26:33 +0200 | <haskellbridge> | <thirdofmay18081814goya> but like an interesting one |
| 2024-07-18 00:26:53 +0200 | <haskellbridge> | <thirdofmay18081814goya> cool |
| 2024-07-18 00:27:10 +0200 | <juri_> | i did mapping operations with it: mapWithFollower, mapWithNeighbors, and mapWithPredecessor. |
| 2024-07-18 00:27:46 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 2024-07-18 00:27:48 +0200 | <juri_> | that way i could process a "not ring", and get a "not ring" as the result. |
| 2024-07-18 00:29:10 +0200 | <juri_> | https://github.com/Haskell-Things/HSlice/blob/master/Graphics/Slicer/Math/Definitions.hs#L217 |
| 2024-07-18 00:30:56 +0200 | euleritian | (~euleritia@dynamic-176-005-134-181.176.5.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2024-07-18 00:31:22 +0200 | euleritian | (~euleritia@dynamic-176-005-134-197.176.5.pool.telefonica.de) |
| 2024-07-18 00:33:22 +0200 | zhuberty | (~zhuberty@137.22.114.186) (Changing host) |
| 2024-07-18 00:33:22 +0200 | zhuberty | (~zhuberty@fsf/member/zhuberty) |
| 2024-07-18 00:37:47 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-18 00:39:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-07-18 00:39:59 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Read error: Connection reset by peer) |
| 2024-07-18 00:41:18 +0200 | dolio | (~dolio@130.44.140.168) |
| 2024-07-18 00:42:10 +0200 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2024-07-18 00:44:54 +0200 | <haskellbridge> | <thirdofmay18081814goya> juri_: neat! thanks for link |
| 2024-07-18 00:47:07 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-18 00:49:19 +0200 | dolio | (~dolio@130.44.140.168) |
| 2024-07-18 00:50:29 +0200 | dev2 | (~dev@2405:201:c062:8850:ae2f:b52b:21ba:40d5) |
| 2024-07-18 00:59:24 +0200 | Jon | (jon@dow.land) (Server closed connection) |
| 2024-07-18 00:59:34 +0200 | Jon | (jon@dow.land) |
| 2024-07-18 01:01:24 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) (Server closed connection) |
| 2024-07-18 01:02:29 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) |
| 2024-07-18 01:09:32 +0200 | <monochrom> | Ugh, so ring as in cyclic list, circular buffer? |
| 2024-07-18 01:10:53 +0200 | <monochrom> | This is why I wrote https://www.vex.net/~trebla/humour/tautologies.html #11 |
| 2024-07-18 01:10:54 +0200 | noteness- | (~noteness@user/noteness) (Server closed connection) |
| 2024-07-18 01:11:08 +0200 | noteness | (~noteness@user/noteness) |
| 2024-07-18 01:11:45 +0200 | pavonia | (~user@user/siracusa) |
| 2024-07-18 01:13:08 +0200 | <c_wraith> | oh man. If someone says "ring" in here, I just automatically assume they mean the algebraic structure. |
| 2024-07-18 01:13:54 +0200 | <monochrom> | Among movie junkies, The Ring has a horror vibe. >:) |
| 2024-07-18 01:14:38 +0200 | <monochrom> | And among Japanese movie junkies, it has a "watered down Hollywoodized vibe, not as good as the original" vibe, too. >:) |
| 2024-07-18 01:15:09 +0200 | <monochrom> | This is what's wrong with meaningful words. Everyone has a different meaning! |
| 2024-07-18 01:15:21 +0200 | <geekosaur> | I made that comment in the matrix channel… (re algebraic structure) |
| 2024-07-18 01:15:31 +0200 | <monochrom> | "The best thing about standards is that there are so many to choose from" |
| 2024-07-18 01:16:05 +0200 | <monochrom> | Consider even how among mathematicians, 0 may or may not be a "natural number". |
| 2024-07-18 01:16:29 +0200 | <monochrom> | (But thank God at least they agree on what "0" is. Maybe? :) ) |
| 2024-07-18 01:19:24 +0200 | xnbya2 | (~xnbya@2a01:4f8:c17:cbdd::1) (Server closed connection) |
| 2024-07-18 01:19:33 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2024-07-18 01:19:54 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1038:c537:8000::) |
| 2024-07-18 01:20:35 +0200 | kqr | (~kqr@static.143.81.108.65.clients.your-server.de) (Server closed connection) |
| 2024-07-18 01:20:50 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1038:c537:8000::) (Read error: Connection reset by peer) |
| 2024-07-18 01:21:14 +0200 | kqr | (~kqr@static.143.81.108.65.clients.your-server.de) |
| 2024-07-18 01:25:01 +0200 | <monochrom> | A decade ago someone uploaded a package to hackage called "api" and posted in haskell-cafe to announce it and said it's a package for APIs. |
| 2024-07-18 01:25:21 +0200 | <monochrom> | I was like "ugh at least have the courtesy to call it web API". |
| 2024-07-18 01:25:40 +0200 | <monochrom> | And this circles back to calling LLM "AI", too. |
| 2024-07-18 01:29:27 +0200 | geekosaur | remembers that |
| 2024-07-18 01:30:06 +0200 | falafel | (~falafel@2a0c:5a84:e301:4d01::5c13) (Ping timeout: 246 seconds) |
| 2024-07-18 01:34:03 +0200 | wryish | (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (Server closed connection) |
| 2024-07-18 01:34:19 +0200 | wryish | (~wryish@216.246.119.62) |
| 2024-07-18 01:36:24 +0200 | energizer | (~energizer@user/energizer) (Server closed connection) |
| 2024-07-18 01:37:05 +0200 | disconnect3d | (~disconnec@user/disconnect3d) (Server closed connection) |
| 2024-07-18 01:37:13 +0200 | disconnect3d | (~disconnec@user/disconnect3d) |
| 2024-07-18 01:37:55 +0200 | energizer | (~energizer@user/energizer) |
| 2024-07-18 01:39:05 +0200 | ouroboros | (~ouroboros@user/ouroboros) (Server closed connection) |
| 2024-07-18 01:39:55 +0200 | ouroboros | (~ouroboros@user/ouroboros) |
| 2024-07-18 01:42:26 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-07-18 01:50:03 +0200 | siers | (~ij@user/ij) (Server closed connection) |
| 2024-07-18 01:50:24 +0200 | siers | (~ij@user/ij) |
| 2024-07-18 01:50:33 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Server closed connection) |
| 2024-07-18 01:50:44 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2024-07-18 01:51:03 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Server closed connection) |
| 2024-07-18 01:52:20 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2024-07-18 01:59:29 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-18 02:04:21 +0200 | <jackdk> | I'm glad someone else cares about namespace etiquette |
| 2024-07-18 02:04:55 +0200 | <monochrom> | "Get off my lawn and namespace" >:D |
| 2024-07-18 02:04:59 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 265 seconds) |
| 2024-07-18 02:05:16 +0200 | <geekosaur> | whoever namespaced haskell when hierarchical modules were added clearly didn't 😛 |
| 2024-07-18 02:06:24 +0200 | <geekosaur> | (fr: extension `Coinflip` that tries `Control` and `Data` to find a module) |
| 2024-07-18 02:06:34 +0200 | <monochrom> | Data.Machine and Control.Lens are my favourite irony. :) |
| 2024-07-18 02:08:26 +0200 | <monochrom> | Oh BTW about ring and algebraic structure: My colleague is teaching 2nd-year linear algebra (so more axioms and proofs than matrix calculations). For some reason he teaches rings first, but he calls it "algebraic structure" in class, and recently he has confirmed: it is to confound web searches and chatgpt. |
| 2024-07-18 02:10:15 +0200 | euleritian | (~euleritia@dynamic-176-005-134-197.176.5.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-07-18 02:10:47 +0200 | euleritian | (~euleritia@dynamic-176-005-130-223.176.5.pool.telefonica.de) |
| 2024-07-18 02:14:38 +0200 | systemovich | (~User@197.98.226.79) |
| 2024-07-18 02:20:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-18 02:24:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-07-18 02:27:13 +0200 | exarkun | (~exarkun@user/exarkun) (Server closed connection) |
| 2024-07-18 02:28:36 +0200 | exarkun | (~exarkun@user/exarkun) |
| 2024-07-18 02:36:13 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Server closed connection) |
| 2024-07-18 02:36:31 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2024-07-18 02:38:21 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Remote host closed the connection) |
| 2024-07-18 02:40:30 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
| 2024-07-18 02:40:51 +0200 | <jle`> | hah, i wonder how that plays out |
| 2024-07-18 02:41:29 +0200 | <jle`> | although all things consdiered, 'ring' already has pretty poor SEO |
| 2024-07-18 02:41:45 +0200 | <monochrom> | Pretty sure it works. But not as cool as my trick >:D |
| 2024-07-18 02:42:10 +0200 | <jle`> | D:> |
| 2024-07-18 02:43:30 +0200 | <monochrom> | I gave an assignment that used decision trees (the ones with probabilities) as an instance of the probability monad type class. Now of course I must not call it "probability monad" for googleability reasons. |
| 2024-07-18 02:44:01 +0200 | <monochrom> | I have a cunning idea! I'll call it "the random monad"! |
| 2024-07-18 02:44:26 +0200 | <monochrom> | I know I had positive success because a student legit emailed me "May I import Control.Monad.Random"? |
| 2024-07-18 02:44:33 +0200 | xnyhps | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (Server closed connection) |
| 2024-07-18 02:44:46 +0200 | xnyhps | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 2024-07-18 02:46:46 +0200 | <monochrom> | With chatgpt if you say "math ring" you will get pretty good hits. And by the time if you post a complete question like "prove such and such for rings" it will be right on. |
| 2024-07-18 02:50:45 +0200 | <monochrom> | But with a linear algebra course you must eventually say "vector space" and the TAs have shown me student work that is very sus. The writing style and bullet-pointing can only be from a textbook author or chatgpt parroting such textbooks. |
| 2024-07-18 02:51:19 +0200 | <monochrom> | Like, no human student writes bullet points when the question is "prove this". |
| 2024-07-18 03:01:33 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) (Server closed connection) |
| 2024-07-18 03:02:14 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) |
| 2024-07-18 03:04:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-18 03:04:42 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2024-07-18 03:06:35 +0200 | ringo___ | (~ringo@157.230.117.128) (Server closed connection) |
| 2024-07-18 03:06:55 +0200 | ringo___ | (~ringo@157.230.117.128) |
| 2024-07-18 03:10:03 +0200 | df | (~ben@justworks.xyz) (Server closed connection) |
| 2024-07-18 03:10:17 +0200 | df | (~ben@justworks.xyz) |
| 2024-07-18 03:31:03 +0200 | Vq | (~vq@81-231-76-8-no600.tbcn.telia.com) (Server closed connection) |
| 2024-07-18 03:31:18 +0200 | Vq | (~vq@81-231-76-8-no600.tbcn.telia.com) |
| 2024-07-18 03:34:53 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2024-07-18 03:36:04 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-07-18 03:36:35 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-07-18 03:38:05 +0200 | lisq | (~quassel@lis.moe) (Server closed connection) |
| 2024-07-18 03:38:14 +0200 | lisq | (~quassel@lis.moe) |
| 2024-07-18 03:38:23 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-07-18 03:40:13 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) (Server closed connection) |
| 2024-07-18 03:40:22 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) |
| 2024-07-18 03:44:54 +0200 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) (Server closed connection) |
| 2024-07-18 03:45:13 +0200 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) |
| 2024-07-18 03:48:43 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) (Server closed connection) |
| 2024-07-18 03:49:25 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) |
| 2024-07-18 03:52:03 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Server closed connection) |
| 2024-07-18 03:52:22 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 2024-07-18 04:06:16 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ce8f:4f69:5153:7c85) (Ping timeout: 246 seconds) |
| 2024-07-18 04:06:20 +0200 | <haskellbridge> | <maerwald> You can tell chatgpt to avoid bullet points 😂 |
| 2024-07-18 04:06:46 +0200 | <monochrom> | Haha. Now how would a cheating student not think of that. |
| 2024-07-18 04:07:10 +0200 | <monochrom> | Or maybe s/not// depending on which one is more sarcastic >:) |
| 2024-07-18 04:08:28 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2024-07-18 04:09:04 +0200 | <monochrom> | LLM becomes just another programming language except it's less consistent than PL/I and worse it is fully undocumented. |
| 2024-07-18 04:11:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-07-18 04:14:13 +0200 | mikko | (~mikko@user/mikko) (Server closed connection) |
| 2024-07-18 04:14:16 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 2024-07-18 04:14:35 +0200 | mikko | (~mikko@user/mikko) |
| 2024-07-18 04:15:03 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Server closed connection) |
| 2024-07-18 04:15:12 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-07-18 04:18:27 +0200 | <edwardk> | monochrom: control.lens was just because data.lens existed already in data-lens =) |
| 2024-07-18 04:18:40 +0200 | <monochrom> | haha |
| 2024-07-18 04:19:11 +0200 | <haskellbridge> | <thirdofmay18081814goya> anyone got a nix flake for haskell projects i can look at |
| 2024-07-18 04:19:50 +0200 | <geekosaur> | what haskell projects do you have in mind? |
| 2024-07-18 04:20:05 +0200 | teqwve | (teqwve@static.141.38.201.195.clients.your-server.de) (Server closed connection) |
| 2024-07-18 04:21:05 +0200 | teqwve | (teqwve@static.141.38.201.195.clients.your-server.de) |
| 2024-07-18 04:21:14 +0200 | <haskellbridge> | <thirdofmay18081814goya> geekosaur: anything, i just want examples of how people structure their haskell flake |
| 2024-07-18 04:22:15 +0200 | td_ | (~td@i5387091D.versanet.de) (Ping timeout: 252 seconds) |
| 2024-07-18 04:22:44 +0200 | <raehik> | thirdofmay18081814goya: I have many examples on github using haskell-flake if you are curious, here is one https://github.com/raehik/symparsec/blob/a452f9c02a1c197fd6dabfdb16e8997237adbbac/flake.nix |
| 2024-07-18 04:22:58 +0200 | <haskellbridge> | <thirdofmay18081814goya> raehik: nice! thanks a lot! |
| 2024-07-18 04:22:59 +0200 | <Axman6> | pphttps://social.treehouse.systems/@bodil/112803678537596411 is how jackdk does it |
| 2024-07-18 04:23:06 +0200 | <Axman6> | s/pp// |
| 2024-07-18 04:23:22 +0200 | <haskellbridge> | <thirdofmay18081814goya> Axman6: ty! |
| 2024-07-18 04:23:43 +0200 | <jackdk> | I don't think that's the link you thought you were using |
| 2024-07-18 04:23:44 +0200 | <raehik> | Axman6: that's a link to a mastodon tweet about Nvidia? |
| 2024-07-18 04:24:09 +0200 | td_ | (~td@i53870925.versanet.de) |
| 2024-07-18 04:24:58 +0200 | <Axman6> | uh |
| 2024-07-18 04:25:02 +0200 | <Axman6> | https://git.sr.ht/~jack/mudcore/tree/master/item/flake.nix |
| 2024-07-18 04:25:24 +0200 | <Axman6> | miscopied. Bodil is pretty good though, so you're welcome |
| 2024-07-18 04:25:52 +0200 | <jackdk> | That's a C project; try https://git.sr.ht/~jack/hslua-fennel-demo/tree/master/item/flake.nix ? |
| 2024-07-18 04:26:10 +0200 | <Axman6> | I thoguht mudcore was Haskell? Oh well |
| 2024-07-18 04:26:24 +0200 | haveo | (~weechat@pacamara.iuwt.fr) (Server closed connection) |
| 2024-07-18 04:26:36 +0200 | <jackdk> | Nah, though I do have a haskell wrapper around libtelnet which I never built upon |
| 2024-07-18 04:26:47 +0200 | haveo | (~weechat@pacamara.iuwt.fr) |
| 2024-07-18 04:27:04 +0200 | Axman6 | retroactively invokes cunningham's law |
| 2024-07-18 04:32:24 +0200 | farn_ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Server closed connection) |
| 2024-07-18 04:32:44 +0200 | farn_ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2024-07-18 04:33:13 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (Server closed connection) |
| 2024-07-18 04:33:32 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2024-07-18 04:37:54 +0200 | euleritian | (~euleritia@dynamic-176-005-130-223.176.5.pool.telefonica.de) (Remote host closed the connection) |
| 2024-07-18 04:38:08 +0200 | euleritian | (~euleritia@dynamic-176-005-130-223.176.5.pool.telefonica.de) |
| 2024-07-18 04:43:39 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2024-07-18 04:44:54 +0200 | Logio | (em@kapsi.fi) (Server closed connection) |
| 2024-07-18 04:45:03 +0200 | Logio | (em@kapsi.fi) |
| 2024-07-18 04:45:13 +0200 | h2t | (~h2t@user/h2t) (Server closed connection) |
| 2024-07-18 04:45:23 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2024-07-18 04:45:23 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2024-07-18 04:45:23 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2024-07-18 04:45:28 +0200 | h2t | (~h2t@user/h2t) |
| 2024-07-18 04:45:54 +0200 | ent | (entgod@kapsi.fi) (Server closed connection) |
| 2024-07-18 04:46:03 +0200 | ent | (entgod@kapsi.fi) |
| 2024-07-18 04:58:24 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-18 05:00:13 +0200 | lieven | (~mal@ns2.wyrd.be) (Server closed connection) |
| 2024-07-18 05:00:33 +0200 | mal1 | (~mal@ns2.wyrd.be) |
| 2024-07-18 05:06:42 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-07-18 05:13:04 +0200 | aforemny | (~aforemny@89.245.22.233) (Ping timeout: 272 seconds) |
| 2024-07-18 05:13:04 +0200 | <haskellbridge> | <Bowuigi> monochrom: Note that LLMs are terrible at proving stuff, specially if it is abstract. Don't rely on them for learning, only for rewriting, simplifying and getting other points of view on specific topics |
| 2024-07-18 05:13:11 +0200 | aforemny_ | (~aforemny@2001:9e8:6cef:4a00:69ef:e68:92a5:4086) |
| 2024-07-18 05:20:33 +0200 | davean | (~davean@davean.sciesnet.net) (Server closed connection) |
| 2024-07-18 05:20:51 +0200 | davean | (~davean@davean.sciesnet.net) |
| 2024-07-18 05:24:03 +0200 | tok | (da65c7b04b@user/tok) (Server closed connection) |
| 2024-07-18 05:24:12 +0200 | tok | (da65c7b04b@user/tok) |
| 2024-07-18 05:26:26 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 258 seconds) |
| 2024-07-18 05:26:40 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-18 05:27:54 +0200 | thaumavorio | (~thaumavor@thaumavor.io) (Server closed connection) |
| 2024-07-18 05:29:13 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Server closed connection) |
| 2024-07-18 05:29:28 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2024-07-18 05:29:46 +0200 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2024-07-18 05:33:46 +0200 | <jle`> | honestly if i was still teaching i would just grade the crap that LLMs spew out on their own merits. especially seeing the haskell code that it emits |
| 2024-07-18 05:34:21 +0200 | <jle`> | that might not work anymore in 3-4 years admittedly |
| 2024-07-18 05:35:13 +0200 | pounce | (~pounce@user/cute/pounce) (Server closed connection) |
| 2024-07-18 05:35:27 +0200 | pounce | (~pounce@user/cute/pounce) |
| 2024-07-18 05:40:51 +0200 | <monochrom> | Then people will say "you need an AI to understand Haskell" >:D |
| 2024-07-18 05:43:02 +0200 | <geekosaur> | they probably already do |
| 2024-07-18 05:47:39 +0200 | zhuberty | (~zhuberty@fsf/member/zhuberty) (Quit: Leaving) |
| 2024-07-18 05:52:36 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-07-18 05:54:52 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-18 05:57:49 +0200 | <jle`> | i was under the impression all of you were AI like me this whole time |
| 2024-07-18 05:58:55 +0200 | <monochrom> | I am a better AI than you. >:D |
| 2024-07-18 05:59:10 +0200 | <jle`> | D: |
| 2024-07-18 06:14:07 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-07-18 06:14:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-18 06:15:43 +0200 | CalimeroTeknik | (~calimero@user/calimeroteknik) (Server closed connection) |
| 2024-07-18 06:19:22 +0200 | CalimeroTeknik | (~calimero@ctkarch.org) |
| 2024-07-18 06:24:35 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) (Server closed connection) |
| 2024-07-18 06:24:43 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) |
| 2024-07-18 06:25:24 +0200 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) (Server closed connection) |
| 2024-07-18 06:25:30 +0200 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) |
| 2024-07-18 06:25:33 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (Server closed connection) |
| 2024-07-18 06:26:23 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2024-07-18 06:28:54 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) (Server closed connection) |
| 2024-07-18 06:29:01 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) |
| 2024-07-18 06:31:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-18 06:35:33 +0200 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (Server closed connection) |
| 2024-07-18 06:35:41 +0200 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) |
| 2024-07-18 06:37:03 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (Server closed connection) |
| 2024-07-18 06:37:17 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) |
| 2024-07-18 06:38:35 +0200 | immae | (~immae@2a01:4f8:141:53e7::) (Server closed connection) |
| 2024-07-18 06:38:42 +0200 | <mauke> | aï aï cthulhu fhtagn |
| 2024-07-18 06:38:54 +0200 | immae | (~immae@2a01:4f8:141:53e7::) |
| 2024-07-18 06:39:54 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Server closed connection) |
| 2024-07-18 06:40:02 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2024-07-18 06:46:35 +0200 | noctux | (~noctux@user/noctux) (Server closed connection) |
| 2024-07-18 06:46:44 +0200 | noctux | (~noctux@user/noctux) |
| 2024-07-18 06:49:43 +0200 | shachaf | (~shachaf@user/shachaf) (Server closed connection) |
| 2024-07-18 06:49:51 +0200 | shachaf | (~shachaf@user/shachaf) |
| 2024-07-18 06:50:33 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (Server closed connection) |
| 2024-07-18 06:50:56 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) |
| 2024-07-18 06:51:17 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 255 seconds) |
| 2024-07-18 06:51:30 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-18 06:51:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-07-18 06:53:28 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-07-18 06:54:24 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Server closed connection) |
| 2024-07-18 06:54:33 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
| 2024-07-18 06:56:33 +0200 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) (Server closed connection) |
| 2024-07-18 06:56:47 +0200 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) |
| 2024-07-18 07:05:03 +0200 | snek | (sid280155@id-280155.lymington.irccloud.com) (Server closed connection) |
| 2024-07-18 07:05:14 +0200 | snek | (sid280155@id-280155.lymington.irccloud.com) |
| 2024-07-18 07:10:03 +0200 | dy | (sid3438@user/dy) (Server closed connection) |
| 2024-07-18 07:10:14 +0200 | dy | (sid3438@user/dy) |
| 2024-07-18 07:10:38 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-07-18 07:11:02 +0200 | zhuberty | (~zhuberty@fsf/member/zhuberty) |
| 2024-07-18 07:12:15 +0200 | zhuberty | (~zhuberty@fsf/member/zhuberty) (Quit: Leaving.) |
| 2024-07-18 07:15:58 +0200 | zhuberty | (~zhuberty@fsf/member/zhuberty) |
| 2024-07-18 07:20:24 +0200 | ymherklotz | (0b33419828@2a03:6000:1812:100::29a) (Server closed connection) |
| 2024-07-18 07:20:32 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) |
| 2024-07-18 07:22:24 +0200 | probie | (cc0b34050a@user/probie) (Server closed connection) |
| 2024-07-18 07:22:32 +0200 | probie | (cc0b34050a@user/probie) |
| 2024-07-18 07:29:54 +0200 | jkoshy | (99b9359beb@user/jkoshy) (Server closed connection) |
| 2024-07-18 07:30:03 +0200 | jkoshy | (99b9359beb@user/jkoshy) |
| 2024-07-18 07:31:43 +0200 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) (Server closed connection) |
| 2024-07-18 07:32:06 +0200 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 2024-07-18 07:34:13 +0200 | down200 | (~down200@shell.lug.mtu.edu) (Server closed connection) |
| 2024-07-18 07:35:06 +0200 | down200 | (~down200@shell.lug.mtu.edu) |
| 2024-07-18 07:43:24 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Server closed connection) |
| 2024-07-18 07:43:32 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) |
| 2024-07-18 07:45:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-18 07:54:24 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-18 07:57:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-18 07:59:54 +0200 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Server closed connection) |
| 2024-07-18 08:00:02 +0200 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) |
| 2024-07-18 08:00:24 +0200 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (Server closed connection) |
| 2024-07-18 08:00:32 +0200 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) |
| 2024-07-18 08:04:13 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (Server closed connection) |
| 2024-07-18 08:04:24 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) |
| 2024-07-18 08:07:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-18 08:07:43 +0200 | carter_ | (sid14827@id-14827.helmsley.irccloud.com) (Server closed connection) |
| 2024-07-18 08:08:19 +0200 | carter_ | (sid14827@id-14827.helmsley.irccloud.com) |
| 2024-07-18 08:11:54 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Server closed connection) |
| 2024-07-18 08:12:03 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) |
| 2024-07-18 08:16:43 +0200 | tapas | (sid467876@id-467876.ilkley.irccloud.com) (Server closed connection) |
| 2024-07-18 08:16:55 +0200 | tapas | (sid467876@id-467876.ilkley.irccloud.com) |
| 2024-07-18 08:21:54 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Server closed connection) |
| 2024-07-18 08:21:54 +0200 | samhh_ | samhh |
| 2024-07-18 08:22:04 +0200 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-07-18 08:24:24 +0200 | cpli | (77fc530071@2a03:6000:1812:100::252) (Server closed connection) |
| 2024-07-18 08:24:33 +0200 | cpli | (77fc530071@2a03:6000:1812:100::252) |
| 2024-07-18 08:24:45 +0200 | astroanax | (astroanax@tilde.club) |
| 2024-07-18 08:26:54 +0200 | rselim | (ce261f06ff@user/milesrout) (Server closed connection) |
| 2024-07-18 08:27:03 +0200 | rselim | (ce261f06ff@user/milesrout) |
| 2024-07-18 08:31:13 +0200 | dmj` | (uid72307@id-72307.hampstead.irccloud.com) (Server closed connection) |
| 2024-07-18 08:31:46 +0200 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) |
| 2024-07-18 08:32:13 +0200 | integral | (sid296274@user/integral) (Server closed connection) |
| 2024-07-18 08:32:26 +0200 | integral | (sid296274@user/integral) |
| 2024-07-18 08:37:43 +0200 | iphy | (sid67735@user/iphy) (Server closed connection) |
| 2024-07-18 08:37:56 +0200 | iphy | (sid67735@user/iphy) |
| 2024-07-18 08:39:17 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:28b7:6d01:aab8:d741) (Ping timeout: 256 seconds) |
| 2024-07-18 08:40:12 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:4d0a:e160:f7c1:70f5) |
| 2024-07-18 08:43:35 +0200 | berberman | (~berberman@user/berberman) (Server closed connection) |
| 2024-07-18 08:43:48 +0200 | berberman | (~berberman@user/berberman) |
| 2024-07-18 08:50:35 +0200 | lyxia | (~lyxia@poisson.chat) (Server closed connection) |
| 2024-07-18 08:50:51 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2024-07-18 08:53:24 +0200 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Server closed connection) |
| 2024-07-18 08:53:32 +0200 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 2024-07-18 08:55:06 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-18 09:00:43 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) (Server closed connection) |
| 2024-07-18 09:00:52 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) |
| 2024-07-18 09:01:05 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (Server closed connection) |
| 2024-07-18 09:01:14 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) |
| 2024-07-18 09:01:41 +0200 | astroanax | (astroanax@tilde.club) (Quit: WeeChat 4.3.4) |
| 2024-07-18 09:06:55 +0200 | Square2 | (~Square@user/square) |
| 2024-07-18 09:08:34 +0200 | vpan | (~vpan@212.117.1.172) |
| 2024-07-18 09:09:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-07-18 09:09:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-18 09:11:59 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8360d4569d228080bc.dip0.t-ipconnect.de) |
| 2024-07-18 09:12:24 +0200 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) (Server closed connection) |
| 2024-07-18 09:12:35 +0200 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) |
| 2024-07-18 09:16:35 +0200 | itaipu | (~itaipu@168.121.98.250) (Server closed connection) |
| 2024-07-18 09:17:17 +0200 | itaipu | (~itaipu@168.121.98.250) |
| 2024-07-18 09:17:52 +0200 | systemovich | (~User@197.98.226.79) (Read error: Connection reset by peer) |
| 2024-07-18 09:18:30 +0200 | systemovich | (~User@197.98.226.79) |
| 2024-07-18 09:21:05 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) (Server closed connection) |
| 2024-07-18 09:21:13 +0200 | alinab | (sid468903@id-468903.helmsley.irccloud.com) (Server closed connection) |
| 2024-07-18 09:21:15 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) |
| 2024-07-18 09:21:22 +0200 | alinab | (sid468903@id-468903.helmsley.irccloud.com) |
| 2024-07-18 09:21:24 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (Server closed connection) |
| 2024-07-18 09:21:35 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) |
| 2024-07-18 09:22:13 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) (Server closed connection) |
| 2024-07-18 09:22:21 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2024-07-18 09:25:43 +0200 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) (Server closed connection) |
| 2024-07-18 09:25:52 +0200 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) |
| 2024-07-18 09:26:49 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-07-18 09:28:10 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-07-18 09:33:54 +0200 | hovsater | (sid499516@user/hovsater) (Server closed connection) |
| 2024-07-18 09:34:06 +0200 | hovsater | (sid499516@user/hovsater) |
| 2024-07-18 09:34:24 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (Server closed connection) |
| 2024-07-18 09:34:35 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2024-07-18 09:36:35 +0200 | nurupo | (~nurupo.ga@user/nurupo) (Server closed connection) |
| 2024-07-18 09:36:50 +0200 | nurupo | (~nurupo.ga@user/nurupo) |
| 2024-07-18 09:39:17 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-07-18 09:41:54 +0200 | Pent | (sid313808@id-313808.lymington.irccloud.com) (Server closed connection) |
| 2024-07-18 09:42:15 +0200 | Pent | (sid313808@id-313808.lymington.irccloud.com) |
| 2024-07-18 09:44:54 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-18 09:46:35 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Server closed connection) |
| 2024-07-18 09:46:55 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2024-07-18 09:47:36 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-07-18 09:49:33 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Server closed connection) |
| 2024-07-18 09:49:52 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) |
| 2024-07-18 09:50:52 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
| 2024-07-18 09:53:54 +0200 | buhman | (sid411355@user/buhman) (Server closed connection) |
| 2024-07-18 09:54:11 +0200 | buhman | (sid411355@user/buhman) |
| 2024-07-18 09:54:13 +0200 | bw_______ | (sid2730@id-2730.ilkley.irccloud.com) (Server closed connection) |
| 2024-07-18 09:54:31 +0200 | bw_______ | (sid2730@id-2730.ilkley.irccloud.com) |
| 2024-07-18 09:54:54 +0200 | lally | (sid388228@id-388228.uxbridge.irccloud.com) (Server closed connection) |
| 2024-07-18 09:55:05 +0200 | lally | (sid388228@id-388228.uxbridge.irccloud.com) |
| 2024-07-18 09:55:08 +0200 | yin | (~yin@user/zero) (Ping timeout: 244 seconds) |
| 2024-07-18 09:57:53 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-18 10:02:17 +0200 | yin | (~yin@user/zero) |
| 2024-07-18 10:03:13 +0200 | idnar | (sid12240@debian/mithrandi) (Server closed connection) |
| 2024-07-18 10:03:25 +0200 | idnar | (sid12240@debian/mithrandi) |
| 2024-07-18 10:04:37 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:a300:e6b9:7aff:fe80:3d03) |
| 2024-07-18 10:09:27 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-07-18 10:11:13 +0200 | sclv | (sid39734@haskell/developer/sclv) (Server closed connection) |
| 2024-07-18 10:11:25 +0200 | sclv | (sid39734@haskell/developer/sclv) |
| 2024-07-18 10:24:54 +0200 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (Server closed connection) |
| 2024-07-18 10:25:03 +0200 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2024-07-18 10:27:12 +0200 | gehmehgeh | gmg |
| 2024-07-18 10:32:54 +0200 | Techcable | (sid534393@user/Techcable) (Server closed connection) |
| 2024-07-18 10:33:25 +0200 | Techcable | (sid534393@user/Techcable) |
| 2024-07-18 10:33:34 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: Leaving) |
| 2024-07-18 10:36:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-18 10:36:54 +0200 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) (Server closed connection) |
| 2024-07-18 10:37:05 +0200 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) |
| 2024-07-18 10:37:13 +0200 | hook54321 | (sid149355@user/hook54321) (Server closed connection) |
| 2024-07-18 10:38:33 +0200 | hook54321 | (sid149355@user/hook54321) |
| 2024-07-18 10:39:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-18 10:45:14 +0200 | Guest28 | (~Guest28@2603:7000:4b42:1100::9) |
| 2024-07-18 10:47:33 +0200 | pierrot | (~pi@user/pierrot) (Server closed connection) |
| 2024-07-18 10:47:51 +0200 | pierrot | (~pi@user/pierrot) |
| 2024-07-18 10:48:41 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-18 10:51:43 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Server closed connection) |
| 2024-07-18 10:52:01 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2024-07-18 10:52:03 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Server closed connection) |
| 2024-07-18 10:52:27 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2024-07-18 10:57:24 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) (Server closed connection) |
| 2024-07-18 10:57:36 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) |
| 2024-07-18 10:59:03 +0200 | xacktm | (xacktm@user/xacktm) (Server closed connection) |
| 2024-07-18 10:59:18 +0200 | xacktm | (xacktm@user/xacktm) |
| 2024-07-18 11:06:35 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) (Server closed connection) |
| 2024-07-18 11:06:47 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) |
| 2024-07-18 11:08:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-18 11:09:13 +0200 | chele | (~chele@user/chele) |
| 2024-07-18 11:09:13 +0200 | igemnace | (~igemnace@user/igemnace) (Server closed connection) |
| 2024-07-18 11:10:04 +0200 | igemnace | (~igemnace@user/igemnace) |
| 2024-07-18 11:16:24 +0200 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (Server closed connection) |
| 2024-07-18 11:16:36 +0200 | degraafk | (sid71464@id-71464.lymington.irccloud.com) |
| 2024-07-18 11:17:24 +0200 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) (Server closed connection) |
| 2024-07-18 11:17:36 +0200 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) |
| 2024-07-18 11:19:33 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Server closed connection) |
| 2024-07-18 11:19:44 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2024-07-18 11:20:54 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Server closed connection) |
| 2024-07-18 11:21:05 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) |
| 2024-07-18 11:21:24 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Server closed connection) |
| 2024-07-18 11:22:07 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
| 2024-07-18 11:23:24 +0200 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (Server closed connection) |
| 2024-07-18 11:23:35 +0200 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) |
| 2024-07-18 11:27:12 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 246 seconds) |
| 2024-07-18 11:29:24 +0200 | poscat | (~poscat@user/poscat) |
| 2024-07-18 11:30:24 +0200 | bjs | (sid190364@user/bjs) (Server closed connection) |
| 2024-07-18 11:30:37 +0200 | bjs | (sid190364@user/bjs) |
| 2024-07-18 11:34:24 +0200 | astra | (sid289983@id-289983.hampstead.irccloud.com) (Server closed connection) |
| 2024-07-18 11:34:38 +0200 | astra | (sid289983@id-289983.hampstead.irccloud.com) |
| 2024-07-18 11:36:33 +0200 | landonf | (landonf@mac68k.info) (Server closed connection) |
| 2024-07-18 11:36:40 +0200 | landonf | (landonf@mac68k.info) |
| 2024-07-18 11:40:56 +0200 | Guest28 | (~Guest28@2603:7000:4b42:1100::9) (Quit: Client closed) |
| 2024-07-18 11:44:33 +0200 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) (Server closed connection) |
| 2024-07-18 11:44:35 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Server closed connection) |
| 2024-07-18 11:44:51 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) |
| 2024-07-18 11:44:56 +0200 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) |
| 2024-07-18 11:46:02 +0200 | zero | (~z@user/zero) (Remote host closed the connection) |
| 2024-07-18 11:48:01 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-07-18 11:49:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-18 11:51:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-18 11:51:43 +0200 | end | (~end@user/end/x-0094621) (Server closed connection) |
| 2024-07-18 11:51:46 +0200 | zero | (~z@user/zero) |
| 2024-07-18 11:51:48 +0200 | zero | (~z@user/zero) (Remote host closed the connection) |
| 2024-07-18 11:52:47 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) (Quit: Ping timeout (120 seconds)) |
| 2024-07-18 11:53:15 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-18 11:53:24 +0200 | inedia | (~irc@2600:3c00:e000:287::1) (Server closed connection) |
| 2024-07-18 11:53:35 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-07-18 11:53:35 +0200 | ChanServ | +v haskellbridge |
| 2024-07-18 11:53:41 +0200 | inedia | (~irc@2600:3c00:e000:287::1) |
| 2024-07-18 11:53:49 +0200 | Athas | (athas@sigkill.dk) (Read error: Connection reset by peer) |
| 2024-07-18 11:53:59 +0200 | Athas | (athas@sigkill.dk) |
| 2024-07-18 11:54:56 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-07-18 11:55:17 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) |
| 2024-07-18 11:55:33 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) (Server closed connection) |
| 2024-07-18 11:55:41 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-07-18 11:55:43 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2024-07-18 11:56:14 +0200 | end | (~end@user/end/x-0094621) |
| 2024-07-18 11:57:35 +0200 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) (Server closed connection) |
| 2024-07-18 11:57:53 +0200 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) |
| 2024-07-18 11:58:01 +0200 | zero | (~z@user/zero) |
| 2024-07-18 11:59:51 +0200 | juri_ | (~juri@implicitcad.org) (Ping timeout: 252 seconds) |
| 2024-07-18 12:01:33 +0200 | Xe | (~cadey@perl/impostor/xe) (Server closed connection) |
| 2024-07-18 12:01:54 +0200 | p3n | (~p3n@217.198.124.246) (Server closed connection) |
| 2024-07-18 12:02:02 +0200 | zero | (~z@user/zero) (Remote host closed the connection) |
| 2024-07-18 12:02:07 +0200 | Xe | (~cadey@perl/impostor/xe) |
| 2024-07-18 12:02:11 +0200 | p3n | (~p3n@217.198.124.246) |
| 2024-07-18 12:04:05 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Server closed connection) |
| 2024-07-18 12:04:12 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-07-18 12:05:21 +0200 | zero | (~z@user/zero) |
| 2024-07-18 12:06:31 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2024-07-18 12:08:39 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 2024-07-18 12:09:02 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2024-07-18 12:09:50 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2024-07-18 12:10:02 +0200 | meritamen | (~user@user/meritamen) |
| 2024-07-18 12:10:07 +0200 | meritamen | (~user@user/meritamen) (Client Quit) |
| 2024-07-18 12:11:15 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2024-07-18 12:11:33 +0200 | juri_ | (~juri@79.140.120.18) |
| 2024-07-18 12:12:02 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 2024-07-18 12:13:12 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2024-07-18 12:15:35 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Server closed connection) |
| 2024-07-18 12:15:42 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2024-07-18 12:18:54 +0200 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Server closed connection) |
| 2024-07-18 12:19:06 +0200 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) |
| 2024-07-18 12:19:06 +0200 | juri_ | (~juri@79.140.120.18) (Ping timeout: 252 seconds) |
| 2024-07-18 12:20:05 +0200 | juri_ | (~juri@79.140.112.144) |
| 2024-07-18 12:20:13 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Server closed connection) |
| 2024-07-18 12:20:29 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-07-18 12:24:13 +0200 | sefidel | (~sefidel@user/sefidel) (Server closed connection) |
| 2024-07-18 12:24:27 +0200 | sefidel | (~sefidel@user/sefidel) |
| 2024-07-18 12:24:54 +0200 | pikajude | (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (Server closed connection) |
| 2024-07-18 12:25:15 +0200 | pikajude | (~jude@149.28.207.64) |
| 2024-07-18 12:25:32 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2024-07-18 12:28:14 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-07-18 12:28:24 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2024-07-18 12:30:11 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-07-18 12:31:03 +0200 | duncan | (c6181279e3@user/meow/duncan) (Server closed connection) |
| 2024-07-18 12:31:03 +0200 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) (Read error: Connection reset by peer) |
| 2024-07-18 12:31:06 +0200 | juri_ | (~juri@79.140.112.144) (Ping timeout: 252 seconds) |
| 2024-07-18 12:31:13 +0200 | duncan | (c6181279e3@user/meow/duncan) |
| 2024-07-18 12:31:14 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 248 seconds) |
| 2024-07-18 12:32:48 +0200 | juri_ | (~juri@implicitcad.org) |
| 2024-07-18 12:33:53 +0200 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) |
| 2024-07-18 12:33:53 +0200 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) (Changing host) |
| 2024-07-18 12:33:53 +0200 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) |
| 2024-07-18 12:35:51 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2024-07-18 12:36:33 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 248 seconds) |
| 2024-07-18 12:58:35 +0200 | xstill_ | (xstill@fimu/xstill) (Server closed connection) |
| 2024-07-18 12:58:55 +0200 | xstill_ | (xstill@fimu/xstill) |
| 2024-07-18 12:59:54 +0200 | bollu | (~bollu@159.65.151.13) (Server closed connection) |
| 2024-07-18 13:00:18 +0200 | bollu | (~bollu@159.65.151.13) |
| 2024-07-18 13:05:13 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: Leaving) |
| 2024-07-18 13:07:13 +0200 | nisstyre | (wes@user/nisstyre) (Server closed connection) |
| 2024-07-18 13:07:32 +0200 | nisstyre | (wes@user/nisstyre) |
| 2024-07-18 13:07:33 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Server closed connection) |
| 2024-07-18 13:07:45 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2024-07-18 13:09:43 +0200 | aku | (aku@65.108.245.241) (Server closed connection) |
| 2024-07-18 13:09:52 +0200 | aku | (aku@65.108.245.241) |
| 2024-07-18 13:15:35 +0200 | xff0x | (~xff0x@2405:6580:b080:900:71aa:4bc6:5c8f:1add) |
| 2024-07-18 13:20:54 +0200 | <absence> | Does anyone know if impredicative types work in do notation in GHC 9.10? Or will it in 9.12? https://gitlab.haskell.org/ghc/ghc/-/issues/18324 |
| 2024-07-18 13:27:13 +0200 | flocks | (~flocks@134.122.90.60) (Server closed connection) |
| 2024-07-18 13:27:27 +0200 | flocks | (~flocks@134.122.90.60) |
| 2024-07-18 13:29:59 +0200 | pierrot | (~pi@user/pierrot) (Ping timeout: 255 seconds) |
| 2024-07-18 13:31:54 +0200 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (Server closed connection) |
| 2024-07-18 13:32:02 +0200 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-07-18 13:33:03 +0200 | sp1ff` | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Server closed connection) |
| 2024-07-18 13:33:40 +0200 | sp1ff` | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-07-18 13:37:16 +0200 | astroanax | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) |
| 2024-07-18 13:38:05 +0200 | Digit | (~user@user/digit) (Server closed connection) |
| 2024-07-18 13:39:00 +0200 | Digit | (~user@user/digit) |
| 2024-07-18 13:45:43 +0200 | arkeet | (~arkeet@moriya.ca) (Server closed connection) |
| 2024-07-18 13:48:14 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-07-18 13:50:01 +0200 | arkeet | (~arkeet@moriya.ca) |
| 2024-07-18 13:51:05 +0200 | tired | (~tired@user/tired) (Server closed connection) |
| 2024-07-18 13:51:28 +0200 | tired | (~tired@user/tired) |
| 2024-07-18 13:55:22 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-18 13:59:09 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-07-18 14:00:20 +0200 | <lyxia> | absence: yes they do |
| 2024-07-18 14:03:55 +0200 | astroanax | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (Quit: WeeChat 3.8) |
| 2024-07-18 14:07:05 +0200 | ftzm | (~ftzm@085080243169.dynamic.telenor.dk) (Server closed connection) |
| 2024-07-18 14:07:29 +0200 | ftzm | (~ftzm@085080243169.dynamic.telenor.dk) |
| 2024-07-18 14:07:54 +0200 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) (Server closed connection) |
| 2024-07-18 14:08:01 +0200 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) |
| 2024-07-18 14:18:51 +0200 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2024-07-18 14:19:13 +0200 | hololeap | (~quassel@user/hololeap) (Server closed connection) |
| 2024-07-18 14:19:29 +0200 | hololeap | (~quassel@user/hololeap) |
| 2024-07-18 14:19:54 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Server closed connection) |
| 2024-07-18 14:20:02 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 2024-07-18 14:23:57 +0200 | Silver_X | (~Silver_X@39.49.31.188) |
| 2024-07-18 14:24:19 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:a300:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-07-18 14:27:03 +0200 | EvanR | (~EvanR@user/evanr) (Server closed connection) |
| 2024-07-18 14:27:28 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-07-18 14:29:05 +0200 | Silver_X | (~Silver_X@39.49.31.188) (Quit: Leaving) |
| 2024-07-18 14:30:54 +0200 | [_________] | (~oos95GWG@user/oos95GWG) (Server closed connection) |
| 2024-07-18 14:31:14 +0200 | [_________] | (~oos95GWG@user/oos95GWG) |
| 2024-07-18 14:34:13 +0200 | Moyst_ | (~moyst@user/moyst) (Server closed connection) |
| 2024-07-18 14:35:29 +0200 | Moyst_ | (~moyst@user/moyst) |
| 2024-07-18 14:38:19 +0200 | systemovich | (~User@197.98.226.79) (Quit: Konversation terminated!) |
| 2024-07-18 14:39:20 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9a0:783e:a423:9f30:81ae) (Read error: Connection reset by peer) |
| 2024-07-18 14:39:37 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9a0:2067:c56:157c:96de) |
| 2024-07-18 14:45:43 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: Leaving) |
| 2024-07-18 14:46:05 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (Server closed connection) |
| 2024-07-18 14:46:24 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
| 2024-07-18 14:47:54 +0200 | hadronized | (~phaazon@2001:41d0:a:fe76::1) (Server closed connection) |
| 2024-07-18 14:48:12 +0200 | phaazon | (~phaazon@2001:41d0:a:fe76::1) |
| 2024-07-18 14:48:24 +0200 | liskin | (~liskin@xmonad/liskin) (Server closed connection) |
| 2024-07-18 14:48:43 +0200 | liskin | (~liskin@xmonad/liskin) |
| 2024-07-18 14:53:29 +0200 | malte | (~malte@mal.tc) (Ping timeout: 265 seconds) |
| 2024-07-18 14:54:03 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) (Server closed connection) |
| 2024-07-18 14:54:11 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) |
| 2024-07-18 14:55:21 +0200 | falafel | (~falafel@2a0c:5a84:e301:4d01::5c13) |
| 2024-07-18 14:55:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-07-18 14:56:43 +0200 | astroanax | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) |
| 2024-07-18 14:59:47 +0200 | malte | (~malte@mal.tc) |
| 2024-07-18 15:04:05 +0200 | TMA | (tma@twin.jikos.cz) (Server closed connection) |
| 2024-07-18 15:04:21 +0200 | TMA | (tma@twin.jikos.cz) |
| 2024-07-18 15:04:35 +0200 | forell | (~forell@user/forell) (Server closed connection) |
| 2024-07-18 15:04:53 +0200 | forell | (~forell@user/forell) |
| 2024-07-18 15:06:43 +0200 | TonyStone | (~TonyStone@user/TonyStone) (Server closed connection) |
| 2024-07-18 15:07:08 +0200 | TonyStone | (~TonyStone@user/TonyStone) |
| 2024-07-18 15:08:01 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:a300:e6b9:7aff:fe80:3d03) |
| 2024-07-18 15:10:26 +0200 | cheater | (~Username@user/cheater) |
| 2024-07-18 15:12:13 +0200 | cayley5 | (~cayley5@user/phileasfogg) (Server closed connection) |
| 2024-07-18 15:12:38 +0200 | cayley5 | (~cayley5@user/phileasfogg) |
| 2024-07-18 15:14:35 +0200 | benjaminl_ | (~benjaminl@c-76-144-12-233.hsd1.or.comcast.net) (Server closed connection) |
| 2024-07-18 15:14:51 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-07-18 15:15:05 +0200 | monochrom | (trebla@216.138.220.146) (Server closed connection) |
| 2024-07-18 15:17:21 +0200 | monochrom | (trebla@216.138.220.146) |
| 2024-07-18 15:23:09 +0200 | ystael | (~ystael@user/ystael) |
| 2024-07-18 15:29:10 +0200 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-07-18 15:30:40 +0200 | igemnace | (~igemnace@user/igemnace) |
| 2024-07-18 15:30:54 +0200 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) (ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-07-18 15:31:15 +0200 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) |
| 2024-07-18 15:31:17 +0200 | Server | +Cnt |
| 2024-07-18 15:40:35 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Server closed connection) |
| 2024-07-18 15:40:43 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
| 2024-07-18 15:41:01 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2024-07-18 15:56:24 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Server closed connection) |
| 2024-07-18 15:56:34 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) |
| 2024-07-18 15:58:19 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-07-18 15:59:35 +0200 | tv | (~tv@user/tv) (Server closed connection) |
| 2024-07-18 15:59:58 +0200 | tv | (~tv@user/tv) |
| 2024-07-18 16:00:43 +0200 | ash3en | (~ash3en@2a02:3100:74bc:5100:1936:38a9:f426:42a) |
| 2024-07-18 16:00:43 +0200 | Eoco | (~ian@128.101.131.218) (Server closed connection) |
| 2024-07-18 16:01:05 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-07-18 16:01:41 +0200 | ash3en | (~ash3en@2a02:3100:74bc:5100:1936:38a9:f426:42a) (Remote host closed the connection) |
| 2024-07-18 16:02:43 +0200 | ae | (~ae@user/ae) (Server closed connection) |
| 2024-07-18 16:04:22 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-07-18 16:06:33 +0200 | mud | (~mud@user/kadoban) (Server closed connection) |
| 2024-07-18 16:06:42 +0200 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
| 2024-07-18 16:06:43 +0200 | MadeleineSydney | (~Thunderbi@user/MadeleineSydney) |
| 2024-07-18 16:07:01 +0200 | mud | (~mud@user/kadoban) |
| 2024-07-18 16:10:55 +0200 | malte | (~malte@mal.tc) |
| 2024-07-18 16:16:55 +0200 | MadeleineSydney | (~Thunderbi@user/MadeleineSydney) (Quit: MadeleineSydney) |
| 2024-07-18 16:18:52 +0200 | MadeleineSydney | (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) |
| 2024-07-18 16:19:03 +0200 | lain` | (lain`@user/lain/x-9874679) (Server closed connection) |
| 2024-07-18 16:19:18 +0200 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-18 16:19:21 +0200 | MadeleineSydney | (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) (Changing host) |
| 2024-07-18 16:19:21 +0200 | MadeleineSydney | (~Thunderbi@user/MadeleineSydney) |
| 2024-07-18 16:19:32 +0200 | visilii_ | (~visilii@213.24.125.104) |
| 2024-07-18 16:19:49 +0200 | falafel | (~falafel@2a0c:5a84:e301:4d01::5c13) (Ping timeout: 260 seconds) |
| 2024-07-18 16:23:23 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-18 16:23:23 +0200 | visilii | (~visilii@213.24.125.33) (Ping timeout: 265 seconds) |
| 2024-07-18 16:23:35 +0200 | qaotsap | (~paotsaq@127.209.37.188.rev.vodafone.pt) (Server closed connection) |
| 2024-07-18 16:25:25 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2024-07-18 16:25:51 +0200 | MadeleineSydney | (~Thunderbi@user/MadeleineSydney) (Remote host closed the connection) |
| 2024-07-18 16:26:08 +0200 | pierrot | (~pi@user/pierrot) |
| 2024-07-18 16:29:50 +0200 | phaazon | hadronized |
| 2024-07-18 16:31:05 +0200 | tinwood | (~tinwood@canonical/tinwood) (Server closed connection) |
| 2024-07-18 16:31:19 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2024-07-18 16:31:19 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2024-07-18 16:31:19 +0200 | tinwood | (~tinwood@canonical/tinwood) |
| 2024-07-18 16:32:05 +0200 | byorgey | (~byorgey@user/byorgey) (Server closed connection) |
| 2024-07-18 16:32:14 +0200 | byorgey | (~byorgey@155.138.238.211) |
| 2024-07-18 16:32:14 +0200 | byorgey | (~byorgey@155.138.238.211) (Changing host) |
| 2024-07-18 16:32:14 +0200 | byorgey | (~byorgey@user/byorgey) |
| 2024-07-18 16:36:03 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-18 16:37:05 +0200 | vulpine | (xfnw@user/meow/xfnw) (Server closed connection) |
| 2024-07-18 16:37:24 +0200 | vulpine | (xfnw@user/meow/xfnw) |
| 2024-07-18 16:37:54 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Quit: leaving) |
| 2024-07-18 16:46:04 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 260 seconds) |
| 2024-07-18 16:46:05 +0200 | petrichor | (~znc-user@user/petrichor) (Server closed connection) |
| 2024-07-18 16:46:17 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-18 16:46:24 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-07-18 16:52:45 +0200 | billchenchina- | (~billchenc@1.224.216.137) |
| 2024-07-18 17:00:08 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 255 seconds) |
| 2024-07-18 17:08:17 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-07-18 17:09:35 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds) |
| 2024-07-18 17:09:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2024-07-18 17:10:43 +0200 | haritz | (~hrtz@user/haritz) (Server closed connection) |
| 2024-07-18 17:10:53 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 2024-07-18 17:12:42 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2024-07-18 17:12:42 +0200 | haritz | (~hrtz@user/haritz) |
| 2024-07-18 17:13:00 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2024-07-18 17:13:00 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2024-07-18 17:13:00 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2024-07-18 17:13:04 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
| 2024-07-18 17:13:44 +0200 | pkal | (~pkal@static.159.65.245.188.clients.your-server.de) |
| 2024-07-18 17:14:35 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-07-18 17:19:54 +0200 | nek0 | (~nek0@user/nek0) (Server closed connection) |
| 2024-07-18 17:20:13 +0200 | nek0 | (~nek0@user/nek0) |
| 2024-07-18 17:21:43 +0200 | gawen | (~gawen@user/gawen) (Server closed connection) |
| 2024-07-18 17:23:13 +0200 | gawen | (~gawen@user/gawen) |
| 2024-07-18 17:25:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-18 17:25:54 +0200 | Typedfern | (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) (Server closed connection) |
| 2024-07-18 17:26:19 +0200 | Typedfern | (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) |
| 2024-07-18 17:26:25 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-18 17:29:05 +0200 | tmr | (~tamer@5.2.74.82) (Server closed connection) |
| 2024-07-18 17:29:23 +0200 | tmr | (~tamer@5.2.74.82) |
| 2024-07-18 17:32:05 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Server closed connection) |
| 2024-07-18 17:32:30 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-07-18 17:36:54 +0200 | srk | (~sorki@user/srk) (Server closed connection) |
| 2024-07-18 17:38:44 +0200 | srk | (~sorki@user/srk) |
| 2024-07-18 17:39:43 +0200 | haetsal | (~quassel@221.138.168.192) (Server closed connection) |
| 2024-07-18 17:39:58 +0200 | zero | (~z@user/zero) (Remote host closed the connection) |
| 2024-07-18 17:40:23 +0200 | zero | (~z@user/zero) |
| 2024-07-18 17:41:36 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-18 17:41:58 +0200 | <mreh> | is there a typeclass for doing things like (Maybe a, Maybe b) -> Maybe (a, b)? |
| 2024-07-18 17:42:15 +0200 | <monochrom> | Applicative >:D |
| 2024-07-18 17:42:15 +0200 | <ncf> | Applicative |
| 2024-07-18 17:42:26 +0200 | <ncf> | :t uncurry (liftA2 (,)) |
| 2024-07-18 17:42:27 +0200 | <lambdabot> | Applicative f => (f a, f b) -> f (a, b) |
| 2024-07-18 17:42:50 +0200 | <mreh> | why couldn't I see that? |
| 2024-07-18 17:42:58 +0200 | <danse-nr3> | or (,) <$> a <*> b |
| 2024-07-18 17:43:02 +0200 | zero | (~z@user/zero) (Remote host closed the connection) |
| 2024-07-18 17:43:35 +0200 | <ncf> | remember that applicatives are lax monoidal functors |
| 2024-07-18 17:44:10 +0200 | zero | (~z@user/zero) |
| 2024-07-18 17:44:22 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
| 2024-07-18 17:44:36 +0200 | haetsal | (~quassel@221.138.168.192) |
| 2024-07-18 17:45:13 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-18 17:45:56 +0200 | <mreh> | what if I want to extend it to 3-tuples and beyond... hmm |
| 2024-07-18 17:46:16 +0200 | <mreh> | basically I'm trying to synchronise multiple "streams" |
| 2024-07-18 17:46:35 +0200 | <ncf> | :t liftA3 |
| 2024-07-18 17:46:36 +0200 | <lambdabot> | Applicative f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d |
| 2024-07-18 17:46:38 +0200 | <monochrom> | I tried very hard to study how to write nicer Applicative laws, and so I came across (F a, F b) -> F (a, b). |
| 2024-07-18 17:46:45 +0200 | <mreh> | :t liftA4 |
| 2024-07-18 17:46:45 +0200 | <lambdabot> | error: |
| 2024-07-18 17:46:46 +0200 | <lambdabot> | • Variable not in scope: liftA4 |
| 2024-07-18 17:46:46 +0200 | <lambdabot> | • Perhaps you meant one of these: |
| 2024-07-18 17:46:59 +0200 | <mreh> | who needs more than 3 HTTP request anyway... |
| 2024-07-18 17:47:08 +0200 | <ncf> | you can always just write (,,,) <$> a <*> b <*> c <*> d |
| 2024-07-18 17:47:17 +0200 | <monochrom> | liftA3 (,,,) will do well. Yeah, that. |
| 2024-07-18 17:47:24 +0200 | zlqrvx | (~zlqrvx@user/zlqrvx) (Server closed connection) |
| 2024-07-18 17:47:46 +0200 | zlqrvx | (~zlqrvx@user/zlqrvx) |
| 2024-07-18 17:47:50 +0200 | <monochrom> | And add uncurry3 if necessary. You may have to write uncurry3 yourself :) |
| 2024-07-18 17:48:01 +0200 | <mreh> | :t uncurry3 (liftA3 (,,,) |
| 2024-07-18 17:48:02 +0200 | <lambdabot> | error: |
| 2024-07-18 17:48:02 +0200 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 2024-07-18 17:48:03 +0200 | <mreh> | :t uncurry3 (liftA3 (,,) |
| 2024-07-18 17:48:05 +0200 | <lambdabot> | error: |
| 2024-07-18 17:48:05 +0200 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 2024-07-18 17:48:10 +0200 | <mreh> | ak sorry |
| 2024-07-18 17:51:05 +0200 | <Leary> | :t let { (<:>) = liftA2 (,); infixr 3 <:> } in \w x y z -> w <:> x <:> y <:> z |
| 2024-07-18 17:51:06 +0200 | <lambdabot> | Applicative f => f a1 -> f a2 -> f a3 -> f b -> f (a1, (a2, (a3, b))) |
| 2024-07-18 17:51:55 +0200 | <Leary> | Big tuples don't exist in my Haskell. |
| 2024-07-18 17:53:00 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: Leaving) |
| 2024-07-18 17:53:30 +0200 | <mreh> | :t \a b -> mapMaybe (uncurry $ liftA2 (,)) . liftA2 (,) a $ b -- what I want is morphic to this I think |
| 2024-07-18 17:53:31 +0200 | <lambdabot> | [Maybe a] -> [Maybe b] -> [(a, b)] |
| 2024-07-18 17:54:20 +0200 | <mreh> | don't produce a value until both source streams have produced something usable |
| 2024-07-18 17:55:35 +0200 | <mreh> | Leary: that wouldn't be too terrible to pattern match on |
| 2024-07-18 18:02:57 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-07-18 18:03:26 +0200 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-18 18:05:06 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:a300:e6b9:7aff:fe80:3d03) (Ping timeout: 248 seconds) |
| 2024-07-18 18:08:47 +0200 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-18 18:09:50 +0200 | <ncf> | mreh: that has cartesian product semantics, do you mean to use ZipList instead |
| 2024-07-18 18:10:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-18 18:11:11 +0200 | <ncf> | :t \a b -> catMaybes $ zipWith (liftA2 (,)) a b |
| 2024-07-18 18:11:11 +0200 | <lambdabot> | [Maybe a] -> [Maybe b] -> [(a, b)] |
| 2024-07-18 18:11:19 +0200 | <monochrom> | Nice :) |
| 2024-07-18 18:12:35 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-18 18:17:13 +0200 | dfg | (~dfg@user/dfg) (Server closed connection) |
| 2024-07-18 18:17:30 +0200 | dfg | (~dfg@dfg.rocks) |
| 2024-07-18 18:17:30 +0200 | dfg | (~dfg@dfg.rocks) (Changing host) |
| 2024-07-18 18:17:30 +0200 | dfg | (~dfg@user/dfg) |
| 2024-07-18 18:20:53 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-07-18 18:21:52 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-18 18:25:24 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (Server closed connection) |
| 2024-07-18 18:25:40 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 265 seconds) |
| 2024-07-18 18:25:53 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) |
| 2024-07-18 18:25:55 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-18 18:30:53 +0200 | <fr33domlover> | o/ I defined a enum type (`data Color = Red | Blue`) and I'd like to auto-generate a Show (and ToJSON etc.) instance based on the constructor names, but with manipulation (switch the 1st letter to lowercase). What's a recommended way to do that? Since these names are known at compile time, I guess something THy / Generic-y makes sense? I thought of |
| 2024-07-18 18:30:53 +0200 | <fr33domlover> | using Generic but is that the best since I'm working with a specific type and not a generic instance for any type? |
| 2024-07-18 18:34:06 +0200 | <fr33domlover> | (I know I can define `data Color' = ... deriving Show` and then `newtype Color = Color Color'` ; instance Show Color' where ...` but that defers to runtime some silly checks that can happen at build time (in my real case, not in the simplified example above) |
| 2024-07-18 18:35:14 +0200 | <EvanR> | that's a lot of things with the same name |
| 2024-07-18 18:35:39 +0200 | fr33domlover | realizes he can use type-level strings, gonna try that |
| 2024-07-18 18:36:21 +0200 | <EvanR> | just writing the ToJSON instance for Red | Blue seems to be pretty short |
| 2024-07-18 18:38:01 +0200 | <fr33domlover> | EvanR: I can obviously manually maintain the mapping, which I guess is also fast for the compilation? (no use of type tricks). I guess I'm being a lazy/DRY dev and wanting stuff auto-generated (in the real case there's ~40 constructors) |
| 2024-07-18 18:39:18 +0200 | <EvanR> | sometimes I feel like "do repeat yourself" works well in haskell |
| 2024-07-18 18:39:33 +0200 | <EvanR> | esp if you can avoid the pitfalls by e.g. having the compiler warn you when you miss a case |
| 2024-07-18 18:41:32 +0200 | <EvanR> | and lengths people went through to "not repeat yourself" in ruby makes the code unreadable |
| 2024-07-18 18:44:11 +0200 | nicole | (ilbelkyr@libera/staff/ilbelkyr) (Quit: Reconnecting) |
| 2024-07-18 18:44:15 +0200 | nicole | (ilbelkyr@libera/staff/ilbelkyr) |
| 2024-07-18 18:49:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-18 18:52:03 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-18 18:52:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-07-18 18:53:14 +0200 | <darkling> | I like WET: Write Everything Twice. |
| 2024-07-18 18:53:41 +0200 | <darkling> | So, don't even think about DRYing the code until you've got at least three examples of where you might need the common function. |
| 2024-07-18 18:57:07 +0200 | <mreh> | gotta get wet before you can get dry |
| 2024-07-18 18:57:47 +0200 | <monochrom> | haahaha |
| 2024-07-18 18:58:24 +0200 | <mreh> | I'm laughing about how someone came up with WET |
| 2024-07-18 18:59:42 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-07-18 18:59:51 +0200 | <monochrom> | It used to be "make a prototype, then throw it away". The reason is that you have learned what you need and, in most cases, you have also learned that the prototype is a mess. |
| 2024-07-18 18:59:52 +0200 | <dolio> | It was Jimmy Two Times from Goodfellas. |
| 2024-07-18 19:00:04 +0200 | <fr33domlover> | In my case I suppose it just helps avoid typos (a long mapping from constructor name to string, and vice versa) |
| 2024-07-18 19:00:04 +0200 | <fr33domlover> | And I can't find a pretty type-level solution right now (that Color type if for use as a JSON key, to the keys needs to be really convenient to specify, it can't be `prop@Blue` it's too ugly) |
| 2024-07-18 19:00:04 +0200 | <fr33domlover> | Resorting to the WET method, I guess :p |
| 2024-07-18 19:00:52 +0200 | <EvanR> | after writing the instance writing a giant test which makes sure each case comes out spelled right xD |
| 2024-07-18 19:01:08 +0200 | <EvanR> | byantine fault tolerance |
| 2024-07-18 19:01:13 +0200 | <mreh> | but who tests the tests? |
| 2024-07-18 19:01:37 +0200 | <EvanR> | a 4th copy of the constructor names stands as a test of the test |
| 2024-07-18 19:01:52 +0200 | <fr33domlover> | Haha |
| 2024-07-18 19:01:52 +0200 | <fr33domlover> | But I guess I can really write a test that programmatically determines the string from the constructor name? And make sure it matches by hand-written function? |
| 2024-07-18 19:02:20 +0200 | <fr33domlover> | *matches my |
| 2024-07-18 19:02:41 +0200 | <EvanR> | sounds plausible |
| 2024-07-18 19:02:53 +0200 | <monochrom> | Both writers (the literature, book author, etc kind) and very good programmers know about this idea of drafting then throwing away the draft (because now you know how to write it properly). But ordinary people aren't good, they work at the level of stream of consciousness. "My 1st version must be defended with my life." |
| 2024-07-18 19:03:29 +0200 | <monochrom> | Tony Hoare said he always had to do that every time he wrote a paper to submit. |
| 2024-07-18 19:03:34 +0200 | <dolio> | Most programming is fan fiction? |
| 2024-07-18 19:03:42 +0200 | <monochrom> | hahaha |
| 2024-07-18 19:03:44 +0200 | <EvanR> | fr33domlover, more practically, generate all of the above code from your text file which has the authoritative list of keywords |
| 2024-07-18 19:03:51 +0200 | <monochrom> | @remember dolio Most programming is fan fiction? |
| 2024-07-18 19:03:52 +0200 | <lambdabot> | Done. |
| 2024-07-18 19:04:37 +0200 | <mreh> | isn't this a job for TH? |
| 2024-07-18 19:04:56 +0200 | <EvanR> | the proverbial C source file you go to hack and it says "this file is automatically generated. Don't try to edit it" |
| 2024-07-18 19:05:12 +0200 | <monochrom> | heh |
| 2024-07-18 19:06:58 +0200 | <fr33domlover> | I won't try to edit it, I will succeed ^_^ |
| 2024-07-18 19:08:01 +0200 | fr33domlover | is still playing with type-level strings for fun, GHC.TypeLits does have some type-level functions on Symbols |
| 2024-07-18 19:08:06 +0200 | <monochrom> | If you want constructor -> its name as string, GHC.Generic can do that, under suitable assumptions. |
| 2024-07-18 19:08:27 +0200 | <EvanR> | > show True |
| 2024-07-18 19:08:29 +0200 | <lambdabot> | "True" |
| 2024-07-18 19:08:41 +0200 | <monochrom> | Yeah but you can't show Just. |
| 2024-07-18 19:08:59 +0200 | <EvanR> | fr33domlover seems to be doing a simple "enum" |
| 2024-07-18 19:09:10 +0200 | <monochrom> | Oh then show is perfect :) |
| 2024-07-18 19:10:23 +0200 | <fr33domlover> | I guess I can do e.g. `show x = map toLowerCase. genericShow x` ? |
| 2024-07-18 19:10:24 +0200 | <EvanR> | show and read(s) could be used in the JSON instances too, and made generic by factoring the code out to functions that work on anything with a Show instance, that you carefully don't use if it's not "an enum" |
| 2024-07-18 19:10:28 +0200 | fr33domlover | will try |
| 2024-07-18 19:10:50 +0200 | <danse-nr3> | write everything twice: then be left stuck with the first version when management does not provide the resources |
| 2024-07-18 19:10:51 +0200 | <danse-nr3> | "should i write a throwaway prototype?" - "yes, sure". One year after "when should we throw away the prototype?" - "throw away whaat?" |
| 2024-07-18 19:11:28 +0200 | <EvanR> | the most permanent solution is a temporary solution or something |
| 2024-07-18 19:11:32 +0200 | <danse-nr3> | i mean there ought to be a reason why facebook was left stuck with PHP |
| 2024-07-18 19:11:40 +0200 | <EvanR> | this is why you always cripple the prototype so it doesn't become the final |
| 2024-07-18 19:11:55 +0200 | <EvanR> | like providing apollo 10 with no enough fuel to get back off the moon |
| 2024-07-18 19:11:57 +0200 | <monochrom> | https://www.vex.net/~trebla/humour/pessimisms.html #2 :) |
| 2024-07-18 19:12:17 +0200 | <danse-nr3> | "may i throw away the crippled prototype?" - "throw away whaat?" |
| 2024-07-18 19:12:51 +0200 | <monochrom> | Perhaps then the principle of "better say sorry after than ask for permission before" applies. |
| 2024-07-18 19:13:43 +0200 | <danse-nr3> | "what have you been doing the past six months?" - "huh ... i guess we wanted to throw away the crippled prototype" |
| 2024-07-18 19:14:47 +0200 | <monochrom> | Will it work better if you say "refactor" instead of "throw away"? |
| 2024-07-18 19:15:16 +0200 | <danse-nr3> | that already subsumes something not that prototypey nor "thow away"-ey =D |
| 2024-07-18 19:15:32 +0200 | <monochrom> | But I mean you lie about it. |
| 2024-07-18 19:15:59 +0200 | <monochrom> | It is not like the management types are a paragon of honesty and being forthcoming either. |
| 2024-07-18 19:16:06 +0200 | <danse-nr3> | "what do you need these people for?" - "huh, we are refactoring... in a different language!" |
| 2024-07-18 19:17:14 +0200 | <monochrom> | Also the Ship of Thesseus implies that you can even argue that "refactor" doesn't count as lying. >:) |
| 2024-07-18 19:20:19 +0200 | <danse-nr3> | what does "the ship of thesseus" mean in this context? |
| 2024-07-18 19:20:47 +0200 | <monochrom> | If you refactor enough number of times, it becomes throwing away the original. |
| 2024-07-18 19:20:59 +0200 | <monochrom> | or if the refactoring is drastic enough |
| 2024-07-18 19:21:03 +0200 | <danse-nr3> | i guess this is the reference https://en.wikipedia.org/wiki/Ship_of_Theseus |
| 2024-07-18 19:21:08 +0200 | <monochrom> | Yeah that. |
| 2024-07-18 19:21:25 +0200 | <monochrom> | I need to remember the correct number of s's, sorry. |
| 2024-07-18 19:21:51 +0200 | <monochrom> | Hey if I misspell Theseus, is it still Theseus? >:D |
| 2024-07-18 19:21:57 +0200 | ash3en | (~Thunderbi@2a01:c23:89a4:b000:f21b:e11c:7ab6:e7ee) |
| 2024-07-18 19:21:58 +0200 | <danse-nr3> | nah i stick with wise pessimism. There is always some overlooked part that is damn hard or impossible to replace |
| 2024-07-18 19:22:15 +0200 | <monochrom> | That is unfortunately true. |
| 2024-07-18 19:22:44 +0200 | <ncf> | s/./&/g |
| 2024-07-18 19:23:54 +0200 | cassiopea | (~cassiopea@user/cassiopea) (Server closed connection) |
| 2024-07-18 19:24:11 +0200 | cassiopea | (~cassiopea@user/cassiopea) |
| 2024-07-18 19:25:57 +0200 | <danse-nr3> | anyways, theseus' paradox has been solved by modern business practices: any object stays the same as long as you hold the brand. You can also append "2" to its name people will like it |
| 2024-07-18 19:28:31 +0200 | glguy | (glguy@libera/staff/glguy) (*.net *.split) |
| 2024-07-18 19:30:45 +0200 | <monochrom> | dBase II was called "II" because of that. There was no "dBase I" or "dBase, period". https://en.wikipedia.org/wiki/DBase#Ashton-Tate |
| 2024-07-18 19:32:22 +0200 | ash3en | (~Thunderbi@2a01:c23:89a4:b000:f21b:e11c:7ab6:e7ee) (Ping timeout: 265 seconds) |
| 2024-07-18 19:32:39 +0200 | ash3en | (~Thunderbi@2a02:3100:7425:4600:8fdc:8848:48cd:657a) |
| 2024-07-18 19:35:40 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-07-18 19:37:57 +0200 | glguy | (glguy@libera/staff/glguy) |
| 2024-07-18 19:38:58 +0200 | ash3en | (~Thunderbi@2a02:3100:7425:4600:8fdc:8848:48cd:657a) (Ping timeout: 244 seconds) |
| 2024-07-18 19:39:16 +0200 | ash3en | (~Thunderbi@2a01:c22:8da4:4d00:be34:327a:f55:1cd1) |
| 2024-07-18 19:39:34 +0200 | nckx | (nckx@libera/staff/owl/nckx) (*.net *.split) |
| 2024-07-18 19:42:35 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2024-07-18 19:42:46 +0200 | nckx | (nckx@libera/staff/owl/nckx) |
| 2024-07-18 19:47:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-18 19:48:48 +0200 | ash3en | (~Thunderbi@2a01:c22:8da4:4d00:be34:327a:f55:1cd1) (Ping timeout: 265 seconds) |
| 2024-07-18 19:49:00 +0200 | ash3en | (~Thunderbi@2a01:c22:90b1:400:f2b0:d9ab:4829:e1b6) |
| 2024-07-18 19:50:06 +0200 | Guest18 | (~Guest18@2605:59c8:26f7:4e10:241b:ad0:4a05:c733) |
| 2024-07-18 19:53:10 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-07-18 19:56:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-07-18 19:57:20 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-07-18 20:00:47 +0200 | <Guest18> | Hey all, I have a question of opinion. How do you deal with modelling domains where more than one data types have a possessive relationship, or are mutually possessive. For example, a Star "has" Planets, but a Planet "has" a Star. Or a Player "has" a Fleet, but a Star "has" the same Fleet. I've been passing around ids, but it feels somehow |
| 2024-07-18 20:00:47 +0200 | <Guest18> | non-idiomatic, like I feel like I should be able to generate guarantees about relationship. |
| 2024-07-18 20:01:16 +0200 | <EvanR> | relational database |
| 2024-07-18 20:01:31 +0200 | <EvanR> | Yes SQL |
| 2024-07-18 20:02:04 +0200 | <Guest18> | ah, brilliant. Yeah that should have been obvious haha |
| 2024-07-18 20:02:26 +0200 | <monochrom> | The relational approach still requires IDs. |
| 2024-07-18 20:02:58 +0200 | <monochrom> | OK, under the assumption that you achieve at least BCNF. |
| 2024-07-18 20:04:41 +0200 | <monochrom> | I thought of "so the Star type is a record that has a [Planet] field, the Planet type is a record that has a Star field, ..." But then that's exactly "networked databases" before relational was invented. |
| 2024-07-18 20:04:57 +0200 | <monochrom> | (And I don't fear mutual recursion.) |
| 2024-07-18 20:05:27 +0200 | <monochrom> | (Why would anyone, given that OO design patterns are full of them anyway?) |
| 2024-07-18 20:06:33 +0200 | <danse-nr3> | "has" is not the right verb to suggest such a relationship |
| 2024-07-18 20:06:42 +0200 | <EvanR> | an ID is just the most obvious way to guarantee the "rows" are unique |
| 2024-07-18 20:06:48 +0200 | <EvanR> | you can do that other ways |
| 2024-07-18 20:06:57 +0200 | <EvanR> | combined keys, or whatever it's called |
| 2024-07-18 20:07:16 +0200 | <danse-nr3> | "is" works better in my opinion. A cat can be a pet and a friend |
| 2024-07-18 20:07:47 +0200 | <EvanR> | a relation between two sets can indicate anything, using any language |
| 2024-07-18 20:08:08 +0200 | <EvanR> | so finally, it doesn't matter what the definition of "is" is xD |
| 2024-07-18 20:08:27 +0200 | <danse-nr3> | right, that was probably too much of a subjective take from me |
| 2024-07-18 20:08:59 +0200 | <danse-nr3> | but hey, communism is dead, each thing "has" only one owner =D |
| 2024-07-18 20:09:24 +0200 | <EvanR> | properties are theft |
| 2024-07-18 20:09:35 +0200 | <EvanR> | or something |
| 2024-07-18 20:10:10 +0200 | <EvanR> | if proudhon was SQL certified |
| 2024-07-18 20:10:15 +0200 | <danse-nr3> | ids come to mind for a reason of efficiency in a similar case. Used everywhere from the web to relational databases |
| 2024-07-18 20:10:18 +0200 | <monochrom> | How does "a planet is a star" work? |
| 2024-07-18 20:10:35 +0200 | <EvanR> | look up "planetary mass objects (PMOs)" |
| 2024-07-18 20:10:39 +0200 | <danse-nr3> | i think that was not a very fitting example but i got what they meant |
| 2024-07-18 20:12:33 +0200 | <EvanR> | Guest18, in constructing the relations between smaller things orbiting big things... I hope you allow for stuff like double planets... pluton and charon orbiting a point outside either |
| 2024-07-18 20:12:38 +0200 | <EvanR> | pluto* |
| 2024-07-18 20:13:11 +0200 | <EvanR> | I think space engine has an entity called "whatever-whatever barycenter" which you can orbit |
| 2024-07-18 20:13:29 +0200 | <monochrom> | I think this is a space RTS game that doesn't care about that detail. |
| 2024-07-18 20:13:52 +0200 | <EvanR> | the barycenter of two equally sized planets sounds pretty strategic |
| 2024-07-18 20:13:52 +0200 | <monochrom> | OK now I think I don't know. Sorry! :) |
| 2024-07-18 20:14:19 +0200 | billchenchina- | (~billchenc@1.224.216.137) (Remote host closed the connection) |
| 2024-07-18 20:18:06 +0200 | zero | (~z@user/zero) (Remote host closed the connection) |
| 2024-07-18 20:23:11 +0200 | ash3en1 | (~Thunderbi@2a01:c22:88b5:5000:fadb:b12e:13b3:3c03) |
| 2024-07-18 20:24:34 +0200 | ash3en | (~Thunderbi@2a01:c22:90b1:400:f2b0:d9ab:4829:e1b6) (Ping timeout: 265 seconds) |
| 2024-07-18 20:26:10 +0200 | ash3en | (~Thunderbi@2a01:c22:8d64:fe00:e60f:59fb:b8a3:f877) |
| 2024-07-18 20:27:20 +0200 | <dminuoso> | Barycenter in the presence of general relativity sounds like a tricky undertaking. |
| 2024-07-18 20:27:31 +0200 | sam113101 | (~sam@24.157.253.231) (Remote host closed the connection) |
| 2024-07-18 20:27:48 +0200 | <monochrom> | "That escalated quickly." :) |
| 2024-07-18 20:27:53 +0200 | sam113101 | (~sam@24.157.253.231) |
| 2024-07-18 20:28:14 +0200 | ash3en1 | (~Thunderbi@2a01:c22:88b5:5000:fadb:b12e:13b3:3c03) (Ping timeout: 272 seconds) |
| 2024-07-18 20:30:49 +0200 | ash3en | (~Thunderbi@2a01:c22:8d64:fe00:e60f:59fb:b8a3:f877) (Ping timeout: 252 seconds) |
| 2024-07-18 20:32:37 +0200 | ash3en | (~Thunderbi@dynamic-077-001-032-149.77.1.pool.telefonica.de) |
| 2024-07-18 20:34:10 +0200 | finsternis | (~X@23.226.237.192) |
| 2024-07-18 20:36:56 +0200 | ash3en | (~Thunderbi@dynamic-077-001-032-149.77.1.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-07-18 20:38:17 +0200 | <EvanR> | undertook https://en.wikipedia.org/wiki/Barycentric_Dynamical_Time |
| 2024-07-18 20:38:28 +0200 | ash3en | (~Thunderbi@2a01:c23:8c31:5100:b9c2:e175:5a7a:10a0) |
| 2024-07-18 20:42:54 +0200 | ash3en | (~Thunderbi@2a01:c23:8c31:5100:b9c2:e175:5a7a:10a0) (Ping timeout: 252 seconds) |
| 2024-07-18 20:42:56 +0200 | <monochrom> | haha nice |
| 2024-07-18 20:43:13 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2024-07-18 20:43:30 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-07-18 20:44:22 +0200 | ash3en | (~Thunderbi@2a02:3100:83c3:bf01:e5fa:5e15:6061:6eb4) |
| 2024-07-18 20:44:44 +0200 | <dminuoso> | EvanR: That's somewhat orthogonal, albeit still an interesting subject. |
| 2024-07-18 20:45:41 +0200 | <EvanR> | GR apparently was involved? or so I thought |
| 2024-07-18 20:47:29 +0200 | <dminuoso> | Or I guess it is an application of of GR corrections yeah. |
| 2024-07-18 20:47:55 +0200 | <dminuoso> | But it's still limited to one particular frame of reference, which for now is fine since all astronomers live on the same planet. |
| 2024-07-18 20:48:18 +0200 | <dminuoso> | TCB is a rough approximation for that. |
| 2024-07-18 20:48:23 +0200 | phma | (phma@2001:5b0:215d:b468:a79f:5936:f091:1c6c) (Read error: Connection reset by peer) |
| 2024-07-18 20:48:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-18 20:48:52 +0200 | zero | (~z@user/zero) |
| 2024-07-18 20:50:02 +0200 | zero | (~z@user/zero) (Remote host closed the connection) |
| 2024-07-18 20:52:31 +0200 | zero | (~z@user/zero) |
| 2024-07-18 20:52:48 +0200 | <EvanR> | yeah I'd expect 1 time system to pertain to some appropriate "frame" |
| 2024-07-18 21:01:06 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 248 seconds) |
| 2024-07-18 21:01:45 +0200 | mrmr1553343463 | (~mrmr@user/mrmr) |
| 2024-07-18 21:01:51 +0200 | ash3en | (~Thunderbi@2a02:3100:83c3:bf01:e5fa:5e15:6061:6eb4) (Ping timeout: 252 seconds) |
| 2024-07-18 21:02:28 +0200 | phma | (phma@2001:5b0:210f:5fe8:2a83:cffc:7f8:43b0) |
| 2024-07-18 21:02:54 +0200 | mrmr155334346 | (~mrmr@user/mrmr) (Ping timeout: 245 seconds) |
| 2024-07-18 21:02:54 +0200 | mrmr1553343463 | mrmr155334346 |
| 2024-07-18 21:03:27 +0200 | ash3en | (~Thunderbi@2a01:c22:9123:9c00:408b:995a:d1c8:5dff) |
| 2024-07-18 21:04:16 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-07-18 21:05:57 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: Leaving) |
| 2024-07-18 21:06:46 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-18 21:08:48 +0200 | ash3en1 | (~Thunderbi@2a01:c22:90fb:3200:9d31:fddb:5c94:4e04) |
| 2024-07-18 21:09:55 +0200 | ash3en | (~Thunderbi@2a01:c22:9123:9c00:408b:995a:d1c8:5dff) (Ping timeout: 252 seconds) |
| 2024-07-18 21:09:55 +0200 | ash3en1 | ash3en |
| 2024-07-18 21:12:18 +0200 | phma | (phma@2001:5b0:210f:5fe8:2a83:cffc:7f8:43b0) (Read error: Connection reset by peer) |
| 2024-07-18 21:12:29 +0200 | ash3en | (~Thunderbi@2a01:c22:90fb:3200:9d31:fddb:5c94:4e04) () |
| 2024-07-18 21:13:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-18 21:15:03 +0200 | leah2 | (~leah@vuxu.org) |
| 2024-07-18 21:18:43 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-18 21:23:17 +0200 | phma | (~phma@host-67-44-208-130.hnremote.net) |
| 2024-07-18 21:24:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-18 21:25:46 +0200 | EvanR_ | (~EvanR@user/evanr) |
| 2024-07-18 21:26:03 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 246 seconds) |
| 2024-07-18 21:30:09 +0200 | EvanR_ | EvanR |
| 2024-07-18 21:34:45 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-07-18 21:35:13 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-18 21:42:11 +0200 | ash3en | (~ash3en@2a01:c22:90fb:3200:9d31:fddb:5c94:4e04) |
| 2024-07-18 21:42:58 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) |
| 2024-07-18 21:44:25 +0200 | ash3en1 | (~Thunderbi@2a01:c22:90fb:3200:9d31:fddb:5c94:4e04) |
| 2024-07-18 21:45:55 +0200 | ash3en | (~ash3en@2a01:c22:90fb:3200:9d31:fddb:5c94:4e04) (Remote host closed the connection) |
| 2024-07-18 21:45:55 +0200 | ash3en1 | ash3en |
| 2024-07-18 21:49:49 +0200 | CiaoSen | (~Jura@2a05:5800:2b2:a300:e6b9:7aff:fe80:3d03) |
| 2024-07-18 21:50:30 +0200 | zero | (~z@user/zero) (Remote host closed the connection) |
| 2024-07-18 21:50:54 +0200 | zero | (~z@user/zero) |
| 2024-07-18 22:01:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-18 22:18:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-07-18 22:19:59 +0200 | phma | (~phma@host-67-44-208-130.hnremote.net) (Read error: Connection reset by peer) |
| 2024-07-18 22:20:46 +0200 | phma | (~phma@2001:5b0:211f:9678:d7d4:309e:db55:1e79) |
| 2024-07-18 22:21:28 +0200 | ash3en | (~Thunderbi@2a01:c22:90fb:3200:9d31:fddb:5c94:4e04) (Quit: ash3en) |
| 2024-07-18 22:26:41 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-07-18 22:28:42 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-07-18 22:38:27 +0200 | falafel | (~falafel@2a0c:5a84:e301:4d01::5c13) |
| 2024-07-18 22:38:53 +0200 | <cheater> | what do you call that effect when one object is orbiting another, but the smaller object moves in a circle that does not circumscribe the larger object? |
| 2024-07-18 22:39:14 +0200 | AlexZenon | (~alzenon@94.233.241.102) (Ping timeout: 248 seconds) |
| 2024-07-18 22:39:27 +0200 | <cheater> | so it doesn't really orbit it, it's just locked |
| 2024-07-18 22:39:35 +0200 | <cheater> | s/circle/curve |
| 2024-07-18 22:39:44 +0200 | <monochrom> | bound? |
| 2024-07-18 22:40:20 +0200 | <EvanR> | can you please provide an example |
| 2024-07-18 22:40:21 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds) |
| 2024-07-18 22:41:48 +0200 | AlexZenon | (~alzenon@94.233.241.102) |
| 2024-07-18 22:41:52 +0200 | zero | (~z@user/zero) (Remote host closed the connection) |
| 2024-07-18 22:43:45 +0200 | zero | (~z@user/zero) |
| 2024-07-18 22:46:04 +0200 | zero | (~z@user/zero) (Remote host closed the connection) |
| 2024-07-18 22:46:58 +0200 | zero | (~z@user/zero) |
| 2024-07-18 22:47:23 +0200 | <darkling> | Hyperbolic orbit? |
| 2024-07-18 22:50:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-18 23:19:50 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-18 23:22:01 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-18 23:23:56 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-07-18 23:26:42 +0200 | ash3en | (~Thunderbi@2a01:c22:90fb:3200:9d31:fddb:5c94:4e04) |
| 2024-07-18 23:30:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-18 23:33:53 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2024-07-18 23:35:31 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-18 23:35:45 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-07-18 23:36:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-18 23:40:49 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Remote host closed the connection) |
| 2024-07-18 23:42:12 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8360d4569d228080bc.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-07-18 23:42:50 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
| 2024-07-18 23:43:57 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 246 seconds) |
| 2024-07-18 23:48:20 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-07-18 23:50:33 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 276 seconds) |
| 2024-07-18 23:51:53 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 255 seconds) |
| 2024-07-18 23:52:06 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-18 23:57:35 +0200 | ash3en | (~Thunderbi@2a01:c22:90fb:3200:9d31:fddb:5c94:4e04) (Quit: ash3en) |