Logs on 2024-08-10 (liberachat/#haskell)
| 00:01:48 | → | caubert_ joins (~caubert@user/caubert) |
| 00:03:43 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 264 seconds) |
| 00:08:38 | → | caubert joins (~caubert@user/caubert) |
| 00:09:08 | × | caubert_ quits (~caubert@user/caubert) (Ping timeout: 255 seconds) |
| 00:10:37 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 00:11:42 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 00:14:33 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 00:15:52 | → | caubert joins (~caubert@user/caubert) |
| 00:17:08 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 00:24:34 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 00:31:01 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:33:31 | × | ZharMeny` quits (~user@user/ZharMeny) (Quit: => #<unspecified>) |
| 00:35:10 | × | foul_owl quits (~kerry@185.216.231.180) (Ping timeout: 252 seconds) |
| 00:40:24 | → | foul_owl joins (~kerry@174-21-147-232.tukw.qwest.net) |
| 00:43:42 | → | spew joins (~spew@201.141.102.132) |
| 00:50:29 | × | Kryder quits (~Kryder@90.201.223.82) (Ping timeout: 248 seconds) |
| 00:51:59 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 00:55:06 | <zzz> | too much abstraction |
| 00:55:15 | × | spew quits (~spew@201.141.102.132) (Quit: spew) |
| 00:57:28 | → | fraznel joins (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) |
| 01:14:10 | → | ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 01:17:29 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 01:35:40 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 01:36:29 | → | xff0x joins (~xff0x@2405:6580:b080:900:af8:bba8:665b:d651) |
| 01:54:05 | × | hsw_ quits (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Read error: Connection reset by peer) |
| 01:56:33 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 02:02:06 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 02:02:57 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 02:05:59 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:22:07 | → | spew joins (~spew@201.141.102.132) |
| 02:23:09 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 02:28:27 | × | terrorjack4 quits (~terrorjac@static.163.82.63.178.clients.your-server.de) (Ping timeout: 252 seconds) |
| 02:28:37 | × | td_ quits (~td@i53870929.versanet.de) (Ping timeout: 248 seconds) |
| 02:28:38 | → | gentauro joins (~gentauro@user/gentauro) |
| 02:30:33 | → | td_ joins (~td@i53870934.versanet.de) |
| 02:34:57 | × | foul_owl quits (~kerry@174-21-147-232.tukw.qwest.net) (Ping timeout: 276 seconds) |
| 02:48:15 | → | foul_owl joins (~kerry@185.216.231.180) |
| 02:48:39 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 02:57:39 | → | BiteriaFedora joins (~BiteriaFe@2804:880:130e:5700:9170:a6b0:9b9e:ba81) |
| 03:04:12 | <Inst> | with a vector, what's the best way to generate a new vector of consecutive pairs? |
| 03:04:24 | <Inst> | with list, it's easy, just zip, but vec is strict |
| 03:06:54 | <Inst> | eh, it's still zip |
| 03:06:57 | <Inst> | just slice |
| 03:08:40 | <mauke> | zip v (drop 1 v) |
| 03:08:54 | <probie> | I wonder how that performs against `\v -> V.generate (V.length v - 1) (\ix -> (v V.! ix, v V.! ix+1))` |
| 03:09:32 | <haskellbridge> | <bdub> Good evening Haskellers |
| 03:09:59 | <probie> | Good [early] afternoon |
| 03:10:29 | × | dsrt^ quits (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 255 seconds) |
| 03:10:44 | × | BiteriaFedora quits (~BiteriaFe@2804:880:130e:5700:9170:a6b0:9b9e:ba81) (Quit: Client closed) |
| 03:10:49 | <mauke> | it's 05:10 in the morning, why are you online? |
| 03:11:12 | <haskellbridge> | <bdub> Sleep is for the weak |
| 03:11:26 | → | BiteriaFedora joins (~BiteriaFe@2804:880:130e:5700:9170:a6b0:9b9e:ba81) |
| 03:11:48 | → | dsrt^ joins (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 03:11:59 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 03:12:17 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 03:13:19 | Lord_of_Life_ | is now known as Lord_of_Life |
| 03:15:01 | × | fraznel quits (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
| 03:15:40 | × | spew quits (~spew@201.141.102.132) (Quit: spew) |
| 03:17:49 | × | xff0x quits (~xff0x@2405:6580:b080:900:af8:bba8:665b:d651) (Ping timeout: 260 seconds) |
| 03:18:44 | → | xff0x joins (~xff0x@2405:6580:b080:900:3f64:3c8e:6766:6ea1) |
| 03:19:07 | → | terrorjack4 joins (~terrorjac@static.163.82.63.178.clients.your-server.de) |
| 03:23:55 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:25:56 | → | rosco joins (~rosco@175.136.158.234) |
| 03:31:33 | <Inst> | https://hackage.haskell.org/package/vector-0.13.1.0/docs/src/Data.Vector.Generic.html#drop |
| 03:31:57 | × | BiteriaFedora quits (~BiteriaFe@2804:880:130e:5700:9170:a6b0:9b9e:ba81) (Quit: Client closed) |
| 03:32:01 | <Inst> | unsafeSlice means it's still referring to the same memory object, right? |
| 03:32:25 | <Inst> | keeps on making me think of linear types and how effectively it's just an eDSL for vector |
| 03:32:26 | <Inst> | teehee |
| 03:39:45 | × | terrorjack4 quits (~terrorjac@static.163.82.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 03:40:45 | <Inst> | how do people feel about using iterate to get rid of loops? |
| 03:40:49 | <Inst> | more readable / less readable? |
| 03:42:11 | → | terrorjack4 joins (~terrorjac@static.163.82.63.178.clients.your-server.de) |
| 03:44:44 | <probie> | Do you mean the `iterate f x !! n` idiom for getting the result of applying `f` to `x` `n` times? If so, I'm a fan |
| 03:53:13 | <geekosaur> | I just don't find that very useful |
| 03:54:10 | <geekosaur> | I think I've only needed it once, but I used the iterate idiom when I did |
| 03:55:34 | <probie> | Also, for constant values of `n` less than four, I'd probably just write `f . f . f $ x` |
| 04:00:18 | → | aforemny_ joins (~aforemny@i59F516DA.versanet.de) |
| 04:01:45 | × | aforemny quits (~aforemny@2001:9e8:6ccc:fd00:728:dd11:4e8c:d31a) (Ping timeout: 265 seconds) |
| 04:03:41 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 04:09:57 | × | kupi quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:10:54 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 04:26:12 | <Inst> | probie: the original was an accumulating parameter loop |
| 04:26:27 | <Inst> | i converted it into vertical >>> point free |
| 04:26:30 | <Inst> | via iterate |
| 04:27:22 | <Inst> | https://paste.tomsmeding.com/7pYmVdZo |
| 04:32:07 | → | hammond joins (proscan@user/hammond2) |
| 04:40:47 | → | fraznel joins (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) |
| 04:45:31 | <Inst> | ugh, the type accounting on the parsing is a mess |
| 04:56:03 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 04:56:33 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 04:58:47 | × | xff0x quits (~xff0x@2405:6580:b080:900:3f64:3c8e:6766:6ea1) (Ping timeout: 265 seconds) |
| 05:03:13 | <Inst> | (b -> c )-> (a -> m b) -> m c |
| 05:04:05 | <Inst> | ugh, it's only niche and comes from agda |
| 05:04:09 | <Inst> | https://hoogle.haskell.org/?hoogle=(b%20-%3E%20c%20)-%3E%20(a%20-%3E%20m%20b)%20-%3E%20a%20-%3E%20m%20c |
| 05:04:18 | <Inst> | (b -> c) -> (a -> m b) -> (a -> m c) |
| 05:05:59 | → | xff0x joins (~xff0x@2405:6580:b080:900:3f64:3c8e:6766:6ea1) |
| 05:06:57 | <mauke> | :t (<&>) |
| 05:06:58 | <lambdabot> | Functor f => f a -> (a -> b) -> f b |
| 05:08:19 | <mauke> | :t (<=<) . (pure .) |
| 05:08:20 | <lambdabot> | Monad m => (b -> c) -> (a -> m b) -> a -> m c |
| 05:10:09 | <probie> | :t ((.) . fmap) |
| 05:10:10 | <lambdabot> | Functor f => (a1 -> b) -> (a2 -> f a1) -> a2 -> f b |
| 05:10:24 | <Inst> | oof |
| 05:10:29 | <Inst> | tbh maybe i should just give up point free |
| 05:10:54 | <Inst> | also the point of iterate was to present a list of partial results, takeWhile some condition is met, then sum |
| 05:11:08 | <Inst> | or otherwise foldl' on the sample |
| 05:12:10 | <probie> | To paraphrase one of the array programming people (on the topic of tacit functions) "I like mustard on my sandwich, but I don't like it on everything" |
| 05:12:12 | <probie> | Not everything needs to be point free |
| 05:15:39 | × | [exa] quits (~exa@user/exa/x-3587197) (Ping timeout: 260 seconds) |
| 05:17:19 | <Inst> | i'm just getting into the habit of preferring point free over accumulator loops, which is sort of my go-to right now :( |
| 05:17:21 | → | califax_ joins (~califax@user/califx) |
| 05:18:29 | <mauke> | go-to considered harmful |
| 05:20:41 | × | califax quits (~califax@user/califx) (Ping timeout: 260 seconds) |
| 05:20:42 | califax_ | is now known as califax |
| 05:21:22 | <Inst> | breaking out of nested loops is a valid usage! |
| 05:21:59 | <mauke> | in bad languages |
| 05:24:36 | <probie> | If that's the only use, why not just give me a "break" which can target labels (like Ada's `exit`)? |
| 05:25:15 | <Inst> | okay, screw trying to make this work with kliesli arrows |
| 05:37:42 | <haskellbridge> | <sm> that's what I always say |
| 05:53:38 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:04:07 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 06:04:21 | → | euleritian joins (~euleritia@77.22.252.56) |
| 06:08:53 | × | m1dnight quits (~christoph@78-20-63-126.access.telenet.be) (Quit: WeeChat 4.3.5) |
| 06:11:06 | → | m1dnight joins (~christoph@78-20-63-126.access.telenet.be) |
| 06:12:06 | → | Blasius joins (~Blasius@90.201.223.82) |
| 06:13:24 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 260 seconds) |
| 06:16:51 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 06:20:28 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 06:23:01 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 06:24:41 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:49:07 | → | danza joins (~danza@user/danza) |
| 06:53:51 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:55:46 | → | img joins (~img@user/img) |
| 07:03:49 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 07:04:20 | → | euleritian joins (~euleritia@dynamic-176-006-131-217.176.6.pool.telefonica.de) |
| 07:05:09 | → | acidjnk_new3 joins (~acidjnk@p200300d6e72cfb264477b1cf1ada7fe0.dip0.t-ipconnect.de) |
| 07:11:20 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 07:14:29 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 07:24:04 | → | ubert joins (~Thunderbi@178.165.184.113.wireless.dyn.drei.com) |
| 07:26:45 | → | __monty__ joins (~toonn@user/toonn) |
| 07:27:19 | → | oo_miguel joins (~Thunderbi@78.10.207.46) |
| 07:28:30 | × | ubert quits (~Thunderbi@178.165.184.113.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 07:30:55 | × | __monty__ quits (~toonn@user/toonn) (Client Quit) |
| 07:35:46 | → | Square joins (~Square@user/square) |
| 07:58:20 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:59:27 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 08:06:46 | → | euphores joins (~SASL_euph@user/euphores) |
| 08:09:12 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 08:13:22 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 08:14:57 | → | gmg joins (~user@user/gehmehgeh) |
| 08:17:23 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 08:18:19 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 08:19:23 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 08:20:45 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds) |
| 08:22:04 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:22:54 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 08:27:16 | × | danza quits (~danza@user/danza) (Quit: see you) |
| 08:28:07 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 08:33:09 | → | hayk joins (~hayk@37.252.90.243) |
| 08:44:48 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:48:28 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 08:57:01 | → | billchenchina- joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 09:09:33 | × | rosco quits (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 09:11:58 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 09:26:28 | × | fraznel quits (~fuag1@c-67-160-124-36.hsd1.wa.comcast.net) (Quit: Leaving) |
| 09:33:21 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 09:49:29 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:53:50 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:16:53 | → | ZharMeny joins (~user@user/ZharMeny) |
| 10:31:49 | → | danza joins (~danza@user/danza) |
| 10:39:14 | × | manwithluck quits (manwithluc@gateway/vpn/protonvpn/manwithluck) (Remote host closed the connection) |
| 10:39:39 | → | manwithluck joins (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 10:58:33 | → | BiteriaFedora joins (~BiteriaFe@2804:880:130e:5700:ace5:8a4c:1322:5dd3) |
| 11:00:46 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 11:03:21 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 11:09:35 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 11:10:04 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 11:10:35 | × | BiteriaFedora quits (~BiteriaFe@2804:880:130e:5700:ace5:8a4c:1322:5dd3) (Changing host) |
| 11:10:35 | → | BiteriaFedora joins (~BiteriaFe@user/BiteriaFedora) |
| 11:26:04 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 11:31:34 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 11:38:20 | → | Kaladin joins (~Kaladin@157-131-246-110.fiber.dynamic.sonic.net) |
| 11:46:37 | × | danza quits (~danza@user/danza) (Quit: enjoy the weekend) |
| 11:48:01 | × | Kaladin quits (~Kaladin@157-131-246-110.fiber.dynamic.sonic.net) (Quit: Leaving) |
| 11:50:03 | × | micro quits (~micro@user/micro) (Ping timeout: 276 seconds) |
| 11:52:39 | → | micro joins (~micro@user/micro) |
| 12:03:40 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 12:04:49 | × | BiteriaFedora quits (~BiteriaFe@user/BiteriaFedora) (Ping timeout: 256 seconds) |
| 12:15:05 | → | BiteriaFedora joins (~BiteriaFe@2804:880:130e:5700:ace5:8a4c:1322:5dd3) |
| 12:15:41 | × | BiteriaFedora quits (~BiteriaFe@2804:880:130e:5700:ace5:8a4c:1322:5dd3) (Write error: Broken pipe) |
| 12:21:52 | barthand1 | is now known as barthandelous01 |
| 12:31:37 | × | tinjamin quits (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 12:32:43 | → | tinjamin joins (~tinjamin@banshee.h4x0r.space) |
| 12:37:54 | → | ddellaco1 joins (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 12:38:14 | × | ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 12:44:30 | × | ddellaco1 quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 12:46:08 | → | ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 12:50:32 | × | ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 12:53:02 | <zzz> | are all ghc versions supported on 32bit? |
| 13:07:34 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 13:14:12 | × | myme quits (~myme@2a01:799:d5c:5f00:b876:d810:9446:b40b) (Ping timeout: 265 seconds) |
| 13:15:00 | → | myme joins (~myme@2a01:799:d5c:5f00:9073:5cfa:5569:1429) |
| 13:24:18 | → | ddellacosta joins (~ddellacos@2607:fb90:5531:4874:9c2a:1a49:b558:5b5) |
| 13:28:00 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 13:47:12 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 13:53:03 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 13:53:38 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 13:55:31 | × | Inst quits (~Inst@user/Inst) (Read error: Connection reset by peer) |
| 14:01:46 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 14:06:03 | → | Inst joins (~Inst@user/Inst) |
| 14:17:22 | <Inst> | is it valid to call imperative programming state-intensive programming? |
| 14:18:20 | <Inst> | FP isn't truly state free, but redoing a program in C after having done it in Haskell, wow, doing pure computations without FP and laziness is horrific |
| 14:20:55 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:22:47 | × | machinedgod quits (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 14:31:06 | <sprout> | everyone uses state |
| 14:34:32 | <zzz> | Inst: some argue that strictness would be better |
| 14:34:40 | <zzz> | (not me though) |
| 14:35:05 | <Inst> | o(1) map :3 |
| 14:37:45 | × | dolio quits (~dolio@130.44.140.168) (Ping timeout: 252 seconds) |
| 14:40:14 | <zzz> | wdym? |
| 14:45:36 | <Inst> | fmap on lists is O(1) in haskell :) |
| 14:46:18 | <Inst> | although tbh it's O(n) in practice since lists aren't data structures and you probably plan on using every element of the list |
| 14:46:35 | → | rvalue joins (~rvalue@user/rvalue) |
| 14:47:56 | → | dolio joins (~dolio@130.44.140.168) |
| 14:51:02 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 14:53:51 | <Inst> | I'm actually surprised no one ever tried to sell laziness as O(1) loops |
| 15:05:37 | <sprout> | laziness comes with perks and disadvantages. like everything |
| 15:07:50 | × | CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 15:10:21 | → | CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 15:12:51 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 15:13:15 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 15:13:22 | <Inst> | i know |
| 15:13:36 | <Inst> | i love Vector, bang annotations, streaming libraries, and so on. |
| 15:13:49 | <Inst> | *strictness annotations |
| 15:17:43 | × | ddellacosta quits (~ddellacos@2607:fb90:5531:4874:9c2a:1a49:b558:5b5) (Ping timeout: 252 seconds) |
| 15:25:27 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 15:29:48 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 15:36:18 | <monochrom> | zzz: No, newer GHCs are dropping 32-bit. |
| 15:37:04 | → | ystael joins (~ystael@user/ystael) |
| 15:37:30 | <monochrom> | Err nevermind, GHC 9.10.1 still has a 32-bit x86 build. |
| 15:38:40 | <monochrom> | Ah but that is Linux only. No 32-bit Windows, FreeBSD. |
| 15:41:38 | <monochrom> | Sellling laziness as O(1) loops is trolling. I am not surprised that Haskellers don't troll. |
| 15:42:18 | <sprout> | wut? |
| 15:42:26 | <sprout> | I am in the wrong channel then |
| 15:43:46 | → | spew joins (~spew@201.141.102.132) |
| 15:46:22 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 15:47:07 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 15:49:33 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 15:50:40 | <Inst> | monochrom: so it's worse than not-in-place quicksort and trial division sieve |
| 15:51:18 | <Inst> | i knew someone who thought of Haskell as stream-oriented computing, though, and maybe that's more honest |
| 15:52:56 | <monochrom> | With quicksort, it is not clear whether one should emphasize the in-place part or its divide-conquer strategy. (I emphasize the latter.) |
| 15:54:05 | <monochrom> | There is an elephant in a dark room. Some say if it is not flappy it is not an elephant. Some say if it is not a hose it is not an elephant. Etc etc. |
| 15:54:39 | <monochrom> | http://lucacardelli.name/Topics/TheoryOfObjects/ObjectSubject.html |
| 15:55:14 | <monochrom> | Like, bubble sort is in-place, too. |
| 16:01:55 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 265 seconds) |
| 16:02:09 | → | tomku joins (~tomku@user/tomku) |
| 16:05:50 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 16:09:19 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:14:46 | → | kupi joins (uid212005@id-212005.hampstead.irccloud.com) |
| 16:18:21 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 265 seconds) |
| 16:25:30 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 16:32:39 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 258 seconds) |
| 16:49:31 | × | ZharMeny quits (~user@user/ZharMeny) (Ping timeout: 258 seconds) |
| 16:57:05 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:58:12 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 17:00:20 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:11:51 | × | spew quits (~spew@201.141.102.132) (Quit: spew) |
| 17:14:54 | → | hesoyamian joins (~yanni@user/hesoyamian) |
| 17:15:15 | × | Luj9 quits (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 17:15:41 | → | Luj9 joins (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 17:15:48 | → | ZharMeny joins (~user@user/ZharMeny) |
| 17:19:33 | × | hammond quits (proscan@user/hammond2) (Ping timeout: 245 seconds) |
| 17:41:27 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:41:31 | → | hammond joins (proscan@gateway04.insomnia247.nl) |
| 17:47:41 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 17:47:50 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:51:18 | × | hesoyamian quits (~yanni@user/hesoyamian) (Quit: WeeChat 4.3.5) |
| 17:52:15 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 17:53:07 | → | hseg joins (~gesh@46.120.21.97) |
| 17:59:00 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 18:00:34 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:03:23 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 18:04:00 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 18:04:18 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:04:20 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:12:03 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 18:13:24 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 18:15:12 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 18:16:36 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 18:17:28 | → | female_student_5 joins (~female_st@79.79.255.40) |
| 18:17:47 | × | female_student_5 quits (~female_st@79.79.255.40) (Client Quit) |
| 18:17:58 | → | female_student_5 joins (~female_st@79.79.255.40) |
| 18:18:11 | <female_student_5> | Are we allowed to talk about lambda calculus here? |
| 18:18:28 | <dmj`> | female_student_5: yes |
| 18:26:44 | → | Blasius_ joins (~Blasius@90.201.223.82) |
| 18:26:45 | → | biberu\ joins (~biberu@user/biberu) |
| 18:27:06 | → | Wstfgl0 joins (~me-me@kc.randomserver.name) |
| 18:28:01 | × | p3n quits (~p3n@217.198.124.246) (Ping timeout: 252 seconds) |
| 18:28:02 | → | kimiamania2 joins (~65804703@user/kimiamania) |
| 18:28:03 | → | Tisoxin9 joins (~Ikosit@user/ikosit) |
| 18:28:03 | → | Sciencentistguy5 joins (~sciencent@hacksoc/ordinary-member) |
| 18:28:05 | × | dtman34 quits (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 248 seconds) |
| 18:28:22 | → | mrmr15533434631 joins (~mrmr@user/mrmr) |
| 18:28:23 | × | hexeme quits (~hexeme@user/hexeme) (Ping timeout: 252 seconds) |
| 18:28:24 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Ping timeout: 272 seconds) |
| 18:28:37 | × | acro quits (~acro@user/acro) (Ping timeout: 248 seconds) |
| 18:28:43 | → | doyougnu joins (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 18:28:45 | × | andrea_r quits (~user@93-49-96-212.ip366.fastwebnet.it) (Ping timeout: 252 seconds) |
| 18:28:47 | → | benjaminl_ joins (~benjaminl@c-76-144-12-233.hsd1.or.comcast.net) |
| 18:28:53 | → | mcfrd joins (~mcfrdy@user/mcfrdy) |
| 18:28:57 | → | catties joins (~catties@user/meow/catties) |
| 18:28:57 | → | tjbc_ joins (~tjbc@user/fliife) |
| 18:29:01 | → | dtman34 joins (~dtman34@2601:447:d080:1a3c:ad4:c8bd:cd5d:e26b) |
| 18:29:01 | → | lambdap23717 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 18:29:02 | × | pointlessslippe1 quits (~pointless@212.82.82.3) (Ping timeout: 272 seconds) |
| 18:29:02 | × | benjaminl quits (~benjaminl@user/benjaminl) (Ping timeout: 272 seconds) |
| 18:29:02 | × | flocks quits (~flocks@134.122.90.60) (Ping timeout: 272 seconds) |
| 18:29:02 | × | mcfrdy quits (~mcfrdy@user/mcfrdy) (Ping timeout: 272 seconds) |
| 18:29:02 | → | rvalue- joins (~rvalue@user/rvalue) |
| 18:29:04 | → | nitrix_ joins (~nitrix@user/meow/nitrix) |
| 18:29:06 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 18:29:07 | × | manwithluck quits (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 252 seconds) |
| 18:29:07 | × | sudden quits (~cat@user/sudden) (Ping timeout: 252 seconds) |
| 18:29:07 | × | pieguy128_ quits (~pieguy128@65.93.192.80) (Ping timeout: 252 seconds) |
| 18:29:07 | × | mjrosenb quits (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 18:29:08 | → | pieguy128 joins (~pieguy128@bras-base-mtrlpq5031w-grc-50-65-93-192-80.dsl.bell.ca) |
| 18:29:09 | × | barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (Ping timeout: 248 seconds) |
| 18:29:09 | × | int-e quits (~noone@int-e.eu) (Ping timeout: 248 seconds) |
| 18:29:09 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 18:29:09 | × | APic quits (apic@apic.name) (Ping timeout: 248 seconds) |
| 18:29:10 | → | acro joins (~acro@user/acro) |
| 18:29:13 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 18:29:29 | × | kimiamania quits (~65804703@user/kimiamania) (Ping timeout: 252 seconds) |
| 18:29:29 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 252 seconds) |
| 18:29:29 | × | nitrix quits (~nitrix@user/meow/nitrix) (Ping timeout: 252 seconds) |
| 18:29:29 | × | tv quits (~tv@user/tv) (Ping timeout: 252 seconds) |
| 18:29:29 | kimiamania2 | is now known as kimiamania |
| 18:29:29 | Sciencentistguy5 | is now known as Sciencentistguy |
| 18:29:30 | × | barthandelous01 quits (barth@triton.blinkenshell.org) (Ping timeout: 252 seconds) |
| 18:29:34 | → | hexeme joins (~hexeme@user/hexeme) |
| 18:29:40 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 18:29:40 | × | mzg quits (mzg@abusers.hu) (Ping timeout: 272 seconds) |
| 18:29:40 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Ping timeout: 272 seconds) |
| 18:29:40 | × | wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 272 seconds) |
| 18:29:41 | × | kaol quits (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Ping timeout: 272 seconds) |
| 18:29:41 | × | enikar quits (~enikar@user/enikar) (Ping timeout: 272 seconds) |
| 18:29:41 | × | sweater quits (~sweater@206.81.18.26) (Ping timeout: 272 seconds) |
| 18:29:41 | × | Blasius quits (~Blasius@90.201.223.82) (Ping timeout: 248 seconds) |
| 18:29:41 | × | Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 248 seconds) |
| 18:29:41 | × | tjbc quits (~tjbc@user/fliife) (Ping timeout: 248 seconds) |
| 18:29:41 | × | typedfern_ quits (~Typedfern@91.red-83-37-29.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
| 18:29:41 | × | mrmr1553343463 quits (~mrmr@user/mrmr) (Ping timeout: 248 seconds) |
| 18:29:41 | × | Catty quits (~catties@user/meow/catties) (Ping timeout: 248 seconds) |
| 18:29:41 | × | lambdap2371 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Ping timeout: 248 seconds) |
| 18:29:42 | lambdap23717 | is now known as lambdap2371 |
| 18:29:42 | mrmr15533434631 | is now known as mrmr1553343463 |
| 18:29:45 | → | flocks joins (~flocks@134.122.90.60) |
| 18:29:51 | × | dolio quits (~dolio@130.44.140.168) (Ping timeout: 252 seconds) |
| 18:29:51 | × | Tisoxin quits (~Ikosit@user/ikosit) (Ping timeout: 252 seconds) |
| 18:29:51 | × | doyougnu- quits (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 252 seconds) |
| 18:29:51 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 18:29:51 | × | srk quits (~sorki@user/srk) (Ping timeout: 252 seconds) |
| 18:29:51 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds) |
| 18:29:51 | Tisoxin9 | is now known as Tisoxin |
| 18:29:57 | → | xsarnik6 joins (xsarnik@lounge.fi.muni.cz) |
| 18:29:59 | → | manwithluck joins (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 18:30:05 | → | siers69 joins (~ij@user/ij) |
| 18:30:06 | → | dibblego joins (~dibblego@116-255-1-119.ip4.superloop.au) |
| 18:30:06 | × | dibblego quits (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 18:30:06 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 18:30:19 | × | adamCS quits (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Ping timeout: 272 seconds) |
| 18:30:19 | × | siers quits (~ij@user/ij) (Ping timeout: 272 seconds) |
| 18:30:19 | × | biberu quits (~biberu@user/biberu) (Ping timeout: 272 seconds) |
| 18:30:19 | × | red-snail quits (~snail@116.203.210.151) (Ping timeout: 272 seconds) |
| 18:30:19 | × | xsarnik quits (xsarnik@147.251.58.102) (Ping timeout: 272 seconds) |
| 18:30:19 | × | Me-me quits (~me-me@user/me-me) (Ping timeout: 272 seconds) |
| 18:30:19 | × | kosmikus quits (~kosmikus@nullzig.kosmikus.org) (Ping timeout: 272 seconds) |
| 18:30:19 | × | quintasan quits (~quassel@quintasan.pl) (Ping timeout: 272 seconds) |
| 18:30:19 | xsarnik6 | is now known as xsarnik |
| 18:30:20 | biberu\ | is now known as biberu |
| 18:30:20 | Wstfgl0 | is now known as Me-me |
| 18:30:41 | → | srk joins (~sorki@user/srk) |
| 18:30:45 | → | int-e joins (~noone@int-e.eu) |
| 18:30:48 | → | quintasan joins (~quassel@quintasan.pl) |
| 18:30:49 | → | barrucadu joins (~barrucadu@carcosa.barrucadu.co.uk) |
| 18:30:55 | → | sudden joins (~cat@user/sudden) |
| 18:30:55 | → | mzg joins (mzg@abusers.hu) |
| 18:30:58 | → | mjrosenb joins (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 18:31:00 | nitrix_ | is now known as nitrix |
| 18:31:00 | → | kaol joins (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
| 18:31:03 | → | john3 joins (~john@203.94.52.182) |
| 18:31:09 | → | poscat joins (~poscat@user/poscat) |
| 18:31:14 | → | sweater joins (~sweater@206.81.18.26) |
| 18:31:21 | → | enikar joins (~enikar@user/enikar) |
| 18:31:25 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 18:31:28 | → | Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 18:31:36 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 18:31:39 | → | kosmikus joins (~kosmikus@nullzig.kosmikus.org) |
| 18:31:45 | → | pointlessslippe1 joins (~pointless@212.82.82.3) |
| 18:31:52 | mcfrd | is now known as mcfrdy |
| 18:31:58 | → | red-snail joins (~snail@static.151.210.203.116.clients.your-server.de) |
| 18:33:01 | rvalue- | is now known as rvalue |
| 18:33:51 | → | dolio joins (~dolio@130.44.140.168) |
| 18:33:53 | × | john2 quits (~john@203.94.52.182) (Ping timeout: 255 seconds) |
| 18:33:55 | → | barthandelous01 joins (barth@triton.blinkenshell.org) |
| 18:34:58 | → | hammond_ joins (proscan@gateway04.insomnia247.nl) |
| 18:35:00 | × | hammond quits (proscan@gateway04.insomnia247.nl) (Ping timeout: 276 seconds) |
| 18:35:22 | × | nicole quits (ilbelkyr@libera/staff/ilbelkyr) (Ping timeout: 604 seconds) |
| 18:38:47 | × | ethantwardy quits (user@user/ethantwardy) (Read error: Connection reset by peer) |
| 18:41:57 | → | APic joins (apic@apic.name) |
| 18:51:15 | × | euleritian quits (~euleritia@dynamic-176-006-131-217.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 18:54:07 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 18:54:48 | → | nicole joins (ilbelkyr@libera/staff/ilbelkyr) |
| 18:58:11 | → | adamCS joins (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 18:58:19 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 18:58:24 | → | tv joins (~tv@user/tv) |
| 18:58:35 | → | Typedfern joins (~Typedfern@91.red-83-37-29.dynamicip.rima-tde.net) |
| 18:59:28 | → | euleritian joins (~euleritia@dynamic-176-006-131-194.176.6.pool.telefonica.de) |
| 19:00:03 | × | billchenchina- quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
| 19:00:18 | → | ethantwardy joins (user@user/ethantwardy) |
| 19:08:22 | → | wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de) |
| 19:10:22 | → | tremon joins (~tremon@83.80.159.219) |
| 19:20:24 | → | michalz joins (~michalz@185.246.207.193) |
| 19:26:27 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:27:01 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 19:31:26 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:35:10 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 19:35:15 | → | rdcdr_ joins (~rdcdr@75-172-30-214.tukw.qwest.net) |
| 19:36:43 | × | rdcdr quits (~rdcdr@user/rdcdr) (Ping timeout: 264 seconds) |
| 19:40:14 | → | alexherbo2 joins (~alexherbo@2a02-8440-3200-543a-c85d-bb05-1d95-e95b.rev.sfr.net) |
| 19:43:49 | × | euleritian quits (~euleritia@dynamic-176-006-131-194.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 19:44:08 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 19:55:46 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 20:01:46 | → | tabemann_ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 20:02:19 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Read error: Connection reset by peer) |
| 20:04:28 | × | hseg quits (~gesh@46.120.21.97) (Ping timeout: 252 seconds) |
| 20:06:14 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 20:13:00 | × | dsrt^ quits (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 20:13:51 | → | dsrt^ joins (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 20:33:09 | → | ddellacosta joins (~ddellacos@2607:fb90:df0a:7325:1876:8dbb:e999:4cef) |
| 21:01:39 | × | ddellacosta quits (~ddellacos@2607:fb90:df0a:7325:1876:8dbb:e999:4cef) (Ping timeout: 252 seconds) |
| 21:03:34 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 21:03:56 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 21:04:44 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 21:07:13 | × | michalz quits (~michalz@185.246.207.193) (Remote host closed the connection) |
| 21:11:44 | × | tomku quits (~tomku@user/tomku) (Remote host closed the connection) |
| 21:11:58 | → | tomku joins (~tomku@user/tomku) |
| 21:16:46 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 21:27:14 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:40:33 | × | Inst quits (~Inst@user/Inst) (Ping timeout: 248 seconds) |
| 21:54:43 | × | ZharMeny quits (~user@user/ZharMeny) (Remote host closed the connection) |
| 21:57:30 | × | oo_miguel quits (~Thunderbi@78.10.207.46) (Ping timeout: 252 seconds) |
| 21:59:24 | × | female_student_5 quits (~female_st@79.79.255.40) (Quit: Client closed) |
| 21:59:56 | → | ZharMeny joins (~user@user/ZharMeny) |
| 22:02:53 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 22:03:07 | → | tomku joins (~tomku@user/tomku) |
| 22:06:43 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 22:07:41 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:11:58 | × | acidjnk_new3 quits (~acidjnk@p200300d6e72cfb264477b1cf1ada7fe0.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 22:13:56 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 22:23:55 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:27:55 | → | kritzefitz_ joins (~kritzefit@debian/kritzefitz) |
| 22:28:42 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 244 seconds) |
| 22:32:46 | kritzefitz_ | is now known as kritzefitz |
| 22:33:21 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 22:33:50 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 22:54:21 | × | benjaminl_ quits (~benjaminl@c-76-144-12-233.hsd1.or.comcast.net) (Ping timeout: 276 seconds) |
| 23:03:37 | × | alexherbo2 quits (~alexherbo@2a02-8440-3200-543a-c85d-bb05-1d95-e95b.rev.sfr.net) (Remote host closed the connection) |
| 23:04:48 | → | alexherbo2 joins (~alexherbo@2a02-8440-3200-543a-91b2-151f-9045-8ee8.rev.sfr.net) |
| 23:08:19 | × | alexherbo2 quits (~alexherbo@2a02-8440-3200-543a-91b2-151f-9045-8ee8.rev.sfr.net) (Remote host closed the connection) |
| 23:11:24 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 23:13:59 | → | pavonia joins (~user@user/siracusa) |
| 23:25:28 | → | falafel joins (~falafel@2a0c:5a87:3104:4c01::aa34) |
| 23:30:30 | × | falafel quits (~falafel@2a0c:5a87:3104:4c01::aa34) (Ping timeout: 272 seconds) |
| 23:36:21 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:48:23 | → | dysthesis joins (~dysthesis@user/dysthesis) |
| 23:50:01 | → | dysthesi1 joins (~dysthesis@user/dysthesis) |
| 23:51:38 | × | dysthesi1 quits (~dysthesis@user/dysthesis) (Client Quit) |
| 23:51:52 | → | dysthesi1 joins (~dysthesis@user/dysthesis) |
| 23:53:41 | × | dysthesis quits (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 23:54:49 | → | spew joins (~spew@201.141.102.132) |
| 23:55:54 | × | dysthesi1 quits (~dysthesis@user/dysthesis) (Client Quit) |
| 23:56:07 | → | dysthesis joins (~dysthesis@user/dysthesis) |
| 23:59:16 | × | dysthesis quits (~dysthesis@user/dysthesis) (Client Quit) |
| 23:59:30 | → | dysthesis joins (~dysthesis@user/dysthesis) |
| 23:59:57 | × | tcard quits (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Read error: Connection reset by peer) |
| 23:59:57 | → | tcard_ joins (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) |
All times are in UTC on 2024-08-10.