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