| 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 |