Logs on 2023-07-04 (liberachat/#haskell)
| 00:01:35 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 00:02:08 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:03:18 | → | califax joins (~califax@user/califx) |
| 00:04:56 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 246 seconds) |
| 00:05:10 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 00:05:30 | → | falafel joins (~falafel@2603-7000-a700-8710-5924-59e8-af54-511d.res6.spectrum.com) |
| 00:05:48 | × | JimL quits (~quassel@89.162.16.26) (Server closed connection) |
| 00:06:01 | → | JimL joins (~quassel@89.162.16.26) |
| 00:06:53 | → | Katarushisu joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 00:08:44 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 00:09:08 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 246 seconds) |
| 00:20:52 | → | ddellacosta joins (~ddellacos@146.70.171.100) |
| 00:29:02 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 250 seconds) |
| 00:29:34 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 00:36:30 | × | j4cc3b quits (~jeffreybe@2601:98a:4200:4515:d557:f0c9:cfb:3184) (Ping timeout: 260 seconds) |
| 00:37:20 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 00:46:18 | × | dontdieych quits (~alarm@132.226.169.184) (Server closed connection) |
| 00:46:43 | → | dontdieych joins (~alarm@132.226.169.184) |
| 00:52:58 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 246 seconds) |
| 01:11:25 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:11:25 | × | Nikopol quits (nikopol@user/astrorigin) (Ping timeout: 240 seconds) |
| 01:13:52 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 01:17:32 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:17:32 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 01:20:11 | <glguy> | Has optics had a lot of adoption over lens? I've been out of the generalized data access game for a while |
| 01:21:37 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:22:03 | × | paulapatience quits (~paulapati@2001:470:69fc:105::16a4) (Server closed connection) |
| 01:22:58 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 01:23:41 | → | paulapatience joins (~paulapati@2001:470:69fc:105::16a4) |
| 01:23:48 | × | meejah quits (~meejah@rutas.meejah.ca) (Server closed connection) |
| 01:23:56 | → | meejah joins (~meejah@rutas.meejah.ca) |
| 01:27:36 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 01:29:17 | × | xff0x_ quits (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 246 seconds) |
| 01:32:47 | × | bratwurst quits (~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 246 seconds) |
| 01:38:34 | <jackdk> | I don't have stats, but there seems to be enough people who care about it that it remains usable and probably has an easier learning curve. I stuck with `lens` because you can provide many optics without depending on it directly (which `optics` can wrap via `lensVL` or whatever), and `generic-lens`/`generic-optics` means you can provide "normal" records to people, who can then get whatever lenses they need without TH or additional deps. |
| 01:41:58 | × | Lycurgus quits (~juan@user/Lycurgus) (Ping timeout: 260 seconds) |
| 01:44:26 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 01:50:49 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Remote host closed the connection) |
| 01:50:59 | × | falafel quits (~falafel@2603-7000-a700-8710-5924-59e8-af54-511d.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 01:51:02 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 02:05:46 | × | txaas quits (~txaas@user/jarlg) (Ping timeout: 246 seconds) |
| 02:06:36 | → | hsw__ joins (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 02:07:18 | × | hsw_ quits (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Read error: Connection reset by peer) |
| 02:10:52 | × | qqq quits (~qqq@92.43.167.61) (Remote host closed the connection) |
| 02:13:45 | → | falafel joins (~falafel@2603-7000-a700-8710-ad2b-e64f-5362-2b26.res6.spectrum.com) |
| 02:15:27 | → | xff0x_ joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:16:59 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 02:17:03 | → | falafel_ joins (~falafel@2603-7000-a700-8710-4f02-91a6-8d3e-030c.res6.spectrum.com) |
| 02:17:26 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:17:27 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:17:27 | finn_elija | is now known as FinnElija |
| 02:18:17 | × | falafel quits (~falafel@2603-7000-a700-8710-ad2b-e64f-5362-2b26.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 02:18:46 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:21:14 | × | td_ quits (~td@i53870939.versanet.de) (Ping timeout: 246 seconds) |
| 02:23:05 | → | td_ joins (~td@i53870926.versanet.de) |
| 02:27:22 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 02:37:03 | × | LenaDresner[m] quits (~lenadresn@2001:470:69fc:105::3:3c53) (Server closed connection) |
| 02:37:58 | → | LenaDresner[m] joins (~lenadresn@2001:470:69fc:105::3:3c53) |
| 02:38:05 | → | notzmv joins (~zmv@user/notzmv) |
| 02:40:37 | → | nick1 joins (~nick@98.186.208.162) |
| 02:44:35 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 02:45:34 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Remote host closed the connection) |
| 02:46:13 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 02:49:55 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 02:50:59 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 02:54:35 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 02:55:08 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 02:56:19 | → | nick2 joins (~nick@196.sub-174-203-72.myvzw.com) |
| 02:56:48 | × | nick1 quits (~nick@98.186.208.162) (Ping timeout: 240 seconds) |
| 02:58:18 | × | xsarnik quits (xsarnik@lounge.fi.muni.cz) (Server closed connection) |
| 02:58:34 | → | xsarnik joins (xsarnik@lounge.fi.muni.cz) |
| 03:04:18 | <jackdk> | Can someone recommend me a json library which tracks the order of declaration of object fields? aeson does not and will not do this. My first thought was to try waargonaut, but a) I've had to set a _lot_ of `allow-newer:` on its various dependencies, plus one of its transitive deps (`hw-json-simd`) does not build for me. |
| 03:10:20 | <glguy> | Ugh, I don't want more people using https://hackage.haskell.org/package/json-0.10/docs/Text-JSON.html#t:JSObject ... but I think it preserves that |
| 03:11:33 | × | ManofLetters[m] quits (~manoflett@2001:470:69fc:105::3be) (Server closed connection) |
| 03:11:50 | → | ManofLetters[m] joins (~manoflett@2001:470:69fc:105::3be) |
| 03:18:50 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 03:20:12 | × | nick2 quits (~nick@196.sub-174-203-72.myvzw.com) (Ping timeout: 250 seconds) |
| 03:31:03 | <probie> | jackdk: Thanks for the reminder that I still have "write brain dead simple JSON library" on my todo list |
| 03:32:08 | × | falafel_ quits (~falafel@2603-7000-a700-8710-4f02-91a6-8d3e-030c.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 03:32:30 | <jackdk> | glguy: how badly do you not want people using that lib? Because parsing an alist into an insert-ordered-container is pretty much what I want |
| 03:33:41 | <glguy> | No one is paying much attention to it, but if it does what you want already, then it's yours |
| 03:34:56 | <jackdk> | The other option, if you think it's better long-term, is I code against aeson for now, fix up waargonaut over some unknown timespan and switch across that way. |
| 03:37:44 | → | nick2 joins (~nick@98.186.192.139) |
| 03:39:21 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 03:41:58 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 03:44:09 | × | nick2 quits (~nick@98.186.192.139) (Ping timeout: 240 seconds) |
| 03:46:05 | → | falafel_ joins (~falafel@2603-7000-a700-8710-eaf0-2d54-7cac-32aa.res6.spectrum.com) |
| 03:46:59 | <probie> | jackdk: in the worst case, you can probably use `Data.Aeson.Decoding.ByteString.bsToTokens` directly (or the variant for lazy bytestrings) |
| 03:48:34 | → | azr4e1 joins (~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b) |
| 03:52:19 | <jackdk> | probie: legitimately tempting |
| 03:53:02 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 03:57:17 | × | azr4e1 quits (~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b) (Remote host closed the connection) |
| 03:58:11 | → | aforemny_ joins (~aforemny@2001:9e8:6cd9:ab00:4c8b:566d:e69c:6108) |
| 03:58:49 | × | aforemny quits (~aforemny@i59F516EC.versanet.de) (Ping timeout: 246 seconds) |
| 04:08:38 | → | sm[i] joins (~smi]@plaintextaccounting/sm) |
| 04:10:18 | × | lyxia quits (~lyxia@poisson.chat) (Server closed connection) |
| 04:10:29 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:10:35 | → | lyxia joins (~lyxia@poisson.chat) |
| 04:16:19 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 04:32:20 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Ping timeout: 246 seconds) |
| 04:45:53 | × | falafel_ quits (~falafel@2603-7000-a700-8710-eaf0-2d54-7cac-32aa.res6.spectrum.com) (Remote host closed the connection) |
| 04:46:20 | → | falafel joins (~falafel@2603-7000-a700-8710-eaf0-2d54-7cac-32aa.res6.spectrum.com) |
| 04:49:03 | × | DDR quits (~DDR@2604:3d08:4c7f:8250:fb86:6006:3945:ad7c) (Quit: DDR is not Dance Dance Revolution) |
| 04:54:23 | × | ddellacosta quits (~ddellacos@146.70.171.100) (Ping timeout: 246 seconds) |
| 04:56:31 | → | ddellacosta joins (~ddellacos@146.70.168.10) |
| 05:11:38 | × | Buggys quits (Buggys@shelltalk.net) (Ping timeout: 252 seconds) |
| 05:13:48 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 05:13:54 | <probie> | If I've got a type like `data Foo f = C1 (f T1) | C2 (f T2) (f T3)` where in most cases, f will be Identity, do you think it's worth doing something like `data FooF f = C1F (f T1) | C2F (f T2) (f T3)`, `type Foo = FooF Identity`, `pattern C1 x = C1F (Identity x)`? |
| 05:15:49 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 05:16:20 | <EvanR> | maybe consider Compose? |
| 05:19:07 | → | `2jt joins (~jtomas@90.162.208.36) |
| 05:20:01 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 05:20:53 | <probie> | How does `Compose` help here? |
| 05:21:47 | <jackdk> | probie: the pattern synonyms are something I haven't seen suggested here before. The usual trick is to make a type family `HKD f a` where `HKD Identity a = a` but every other `f` passes through. I don't like that because it makes things really awkward if you want to do hoists and other fun things. |
| 05:22:10 | <jackdk> | I probably wouldn't bother with pattern synonyms either but it seems less fraught than the HKD type family |
| 05:29:50 | <glguy> | I've done the pattern synonym version before, but the whole thing feels very heavy weight |
| 05:30:06 | <probie> | The type family makes it harder to write things like `foo :: Applicative f => Foo (Compose f g) -> f (Foo g)` |
| 05:30:53 | <glguy> | You could bake composition into the type family version, too |
| 05:32:41 | → | trev joins (~trev@user/trev) |
| 05:33:39 | <probie> | but that gets more complex. Perhaps I should just imitate generic-sop, go with `type I = Identity`, `pattern I x = Identity x` and accept that there will be a little noise |
| 05:35:13 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 05:36:29 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 05:36:57 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 05:43:38 | <probie> | Actually, on that, what is a good name for `class Thing t where thing :: Applicative f => (forall a . h a -> Compose f g a) -> t h -> f (t g)`? `Traversable1` is already taken |
| 05:53:10 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 250 seconds) |
| 05:57:38 | <jackdk> | probie: rank2classes calls it `Rank2.Traversable`, `barbies` calls it `TraversableB`, conkin calls it `Conkin.Traversable`, hkd calls it `FTraversable` |
| 05:58:18 | × | Buliarous quits (~gypsydang@46.232.210.139) (Server closed connection) |
| 05:58:26 | → | Buliarous joins (~gypsydang@46.232.210.139) |
| 05:58:37 | <jackdk> | While I'm dreaming impossible thoughts, I would like if `generics-sop`'s trick made it into `base`. |
| 06:02:41 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 06:06:55 | → | michalz joins (~michalz@185.246.207.215) |
| 06:07:39 | × | mauke quits (~mauke@user/mauke) (Quit: leaving) |
| 06:09:48 | × | falafel quits (~falafel@2603-7000-a700-8710-eaf0-2d54-7cac-32aa.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 06:12:15 | → | nehsou^ joins (~nehsou@24.125.210.85) |
| 06:14:51 | → | Buggys joins (Buggys@shelltalk.net) |
| 06:18:25 | → | jstolarek joins (~jstolarek@staticline-31-183-152-161.toya.net.pl) |
| 06:19:06 | ← | aaronm04 parts (~user@user/aaronm04) (WeeChat 3.8) |
| 06:19:32 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 06:29:48 | × | tureba quits (~tureba@tureba.org) (Server closed connection) |
| 06:30:05 | → | tureba joins (~tureba@tureba.org) |
| 06:30:19 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 06:35:45 | → | Guest5033 joins (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 06:35:48 | × | justache quits (~justache@user/justache) (Server closed connection) |
| 06:36:06 | → | justache joins (~justache@user/justache) |
| 06:41:45 | × | srk quits (~sorki@user/srk) (Remote host closed the connection) |
| 06:42:04 | → | srk joins (~sorki@user/srk) |
| 06:47:58 | <Axman6> | which trick? |
| 06:48:51 | <DigitalKiwi> | https://youtu.be/WOZwxqQlyLg |
| 06:50:40 | → | extor joins (~extor@ns3018124.ip-149-202-82.eu) |
| 06:51:06 | <DigitalKiwi> | i just realized that jack white and jack whitehall are different people |
| 06:53:03 | <DigitalKiwi> | i've seen jack whitehall shows so long ago i forgot his name i guess because i started seeing jack white songs in the car and thought it was cool that he branched out from comedy lol :( |
| 06:54:06 | <jackdk> | Axman6: what probie was saying above: `type I = Identity`, `pattern I x = Identity x` |
| 06:59:18 | × | foul_owl quits (~kerry@71.212.137.212) (Ping timeout: 260 seconds) |
| 07:04:29 | × | sm[i] quits (~smi]@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 07:05:33 | × | JensPetersen[m] quits (~juhp@2001:470:69fc:105::6e9) (Server closed connection) |
| 07:05:48 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:3a86:39da:f0e5:d795) |
| 07:05:59 | → | JensPetersen[m] joins (~juhp@2001:470:69fc:105::6e9) |
| 07:08:16 | → | mbuf joins (~Shakthi@49.207.178.186) |
| 07:12:50 | → | acidjnk joins (~acidjnk@p200300d6e7072f2765686619b7fdb571.dip0.t-ipconnect.de) |
| 07:13:18 | <dminuoso_> | jackdk: Can you elaborate on "tracking order of declaration of object fields"? |
| 07:13:28 | → | foul_owl joins (~kerry@185.219.141.164) |
| 07:13:52 | → | oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 07:15:32 | <Axman6> | {"foo": true, "bar": 1} being distinguishable from {"bar":1, "foo": true} |
| 07:15:33 | <jackdk> | In `{"k1": v1, "k2", v2}` I want to know that `k1` came before `k2` |
| 07:19:47 | → | fendor joins (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) |
| 07:20:53 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 07:21:44 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 07:22:14 | → | CiaoSen joins (~Jura@2a05:5800:28e:ba00:664b:f0ff:fe37:9ef) |
| 07:25:52 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 07:28:08 | → | html joins (~html@31.173.240.117) |
| 07:32:41 | <dminuoso_> | jackdk: So aeson lets you do that. |
| 07:33:52 | <jackdk> | dminuoso_: not according to https://github.com/haskell/aeson/issues/368 and dupes thereof, which is why I was looking at working with the token stream directly. I would love to be proven wrong though. |
| 07:33:56 | <dminuoso_> | Or at least Im really sure there's combinators for that, because something like {"a":1, "a": true} is explicitly supported |
| 07:34:18 | × | finsternis quits (~X@23.226.237.192) (Server closed connection) |
| 07:34:39 | → | finsternis joins (~X@23.226.237.192) |
| 07:34:49 | <dminuoso_> | jackdk: do you care about producing or parsing such output? |
| 07:35:17 | <jackdk> | dminuoso_: parsing. `attoparsec-aeson` has https://hackage.haskell.org/package/attoparsec-aeson-2.2.0.0/docs/Data-Aeson-Parser.html#v:jsonWith but that must produce a `Parser Value` |
| 07:35:22 | <dminuoso_> | To be blunt, RFC8259 specifies JSON to be unordered at least. |
| 07:35:34 | <jackdk> | The use case is I need to care about the order of shape fields in an AWS service definition |
| 07:38:54 | <dminuoso_> | jackdk: jsonAccum' should work no? |
| 07:39:02 | <dminuoso_> | Ah but no, that just preserves order of duplicates. |
| 07:39:02 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
| 07:39:39 | <dminuoso_> | jsonWith :: ([(Key, Value)] -> Either String Object) -> Parser Value |
| 07:39:40 | <dminuoso_> | This parser is parameterized by a function to construct an Value from a raw list of key-value pairs, where duplicates are preserved. The pairs appear in reverse order from the source. |
| 07:39:57 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:3a86:39da:f0e5:d795) (Quit: WeeChat 2.8) |
| 07:40:10 | <jackdk> | yeah I mention that above - because you have to return `Object` in the callback you can't smuggle out any additional info |
| 07:40:20 | <dminuoso_> | You can smuggle it out by reshaping the JSON |
| 07:40:29 | <dminuoso_> | Say turn an Object into an Array of objects. |
| 07:41:05 | <jackdk> | the callback has to return `Either String Object`but yes you could make an awful object of singleton objects where the keys are stringified ints |
| 07:41:59 | <jackdk> | The new parser in `aeson-2.1.2.0` lets you walk the token stream directly, which looks much nicer. Then I can accumulate a `Seq Key` next to a `Map Key whatever` where I need to |
| 07:42:14 | <jackdk> | See `Data.Aeson.Decoding.*` |
| 07:42:19 | <dminuoso_> | You can also just copy paste the implementation of jsonWith and tweak it |
| 07:42:36 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:42:59 | → | MajorBiscuit joins (~MajorBisc@2001:1c00:31c:8400:f184:4168:559b:d91b) |
| 07:43:09 | <dminuoso_> | Right, that's the same thing really |
| 07:47:15 | → | titibandit joins (~titibandi@user/titibandit) |
| 07:51:18 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 07:53:26 | → | infinity0 joins (~infinity0@pwned.gg) |
| 07:58:13 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 07:59:33 | × | maralorn quits (~maralorn@2001:470:69fc:105::251) (Server closed connection) |
| 07:59:51 | → | maralorn joins (~maralorn@2001:470:69fc:105::251) |
| 08:01:18 | × | sajith quits (~sajith@user/sajith) (Server closed connection) |
| 08:01:36 | → | sajith joins (~sajith@user/sajith) |
| 08:04:50 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 08:08:16 | → | Nikopol joins (nikopol@yoga.astrorigin.com) |
| 08:08:16 | × | Nikopol quits (nikopol@yoga.astrorigin.com) (Changing host) |
| 08:08:16 | → | Nikopol joins (nikopol@user/astrorigin) |
| 08:10:39 | <probie> | dminuoso_: re: RFC8259 see section 4. It makes no assertion about whether or not they're unordered (even unique keys is only a SHOULD) |
| 08:11:09 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 08:11:30 | <jackdk> | probie: I think dminuoso_ refers to s1: "An object is an unordered collection of zero or more name/value pairs, ..." |
| 08:12:10 | <probie> | true - that seems somewhat at odds with what follows |
| 08:15:05 | → | merijn joins (~merijn@185.143.104.11) |
| 08:15:19 | × | html quits (~html@31.173.240.117) (Quit: Client closed) |
| 08:16:38 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 08:16:42 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:18:31 | <probie> | > where the keys are stringified ints |
| 08:18:39 | <probie> | isn't that what arrays are in JS? :p |
| 08:19:03 | × | Artem[m] quits (~artemtype@2001:470:69fc:105::75b) (Server closed connection) |
| 08:19:24 | → | Artem[m] joins (~artemtype@2001:470:69fc:105::75b) |
| 08:19:47 | → | phma joins (phma@2001:5b0:215a:8658:90:4018:da2:9069) |
| 08:21:43 | → | gurkenglas joins (~gurkengla@dynamic-046-114-178-188.46.114.pool.telefonica.de) |
| 08:21:59 | → | ubert1 joins (~Thunderbi@2a02:8109:abc0:6434:11b7:38be:6d89:995c) |
| 08:25:54 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:d7c:c5d8:f5d2:bdeb) |
| 08:27:31 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 08:35:49 | → | danse-nr3 joins (~francesco@151.43.227.139) |
| 08:37:36 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:39:57 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 08:44:15 | <dminuoso_> | probie: No, its not at odd. The note in section 4 is merely an observation that software exists that *considers* it unordered. |
| 08:45:03 | <dminuoso_> | Its somewhat poorly phrased, but its meant as a "you will have a better life if you dont use duplicate object keys" |
| 08:48:18 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 08:49:00 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 08:50:24 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 250 seconds) |
| 08:50:48 | × | janus quits (janus@anubis.0x90.dk) (Server closed connection) |
| 08:50:58 | → | janus joins (janus@anubis.0x90.dk) |
| 08:53:58 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 08:56:30 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 08:57:03 | → | html joins (~User@31.173.240.117) |
| 08:58:57 | → | cfricke joins (~cfricke@user/cfricke) |
| 09:05:17 | × | aaronv quits (~aaronv@user/aaronv) (Remote host closed the connection) |
| 09:06:22 | × | aerc[m] quits (~aercmatri@2001:470:69fc:105::3:67b9) (Remote host closed the connection) |
| 09:06:23 | × | teo quits (~teo@user/teo) (Remote host closed the connection) |
| 09:09:18 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 09:15:35 | × | danse-nr3 quits (~francesco@151.43.227.139) (Ping timeout: 264 seconds) |
| 09:15:45 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 09:16:49 | → | chromoblob joins (~user@37.113.180.121) |
| 09:16:59 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 09:17:13 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) |
| 09:21:26 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) (Ping timeout: 246 seconds) |
| 09:21:36 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 09:23:29 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 09:25:07 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 09:25:47 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 09:26:27 | Lord_of_Life_ | is now known as Lord_of_Life |
| 09:31:34 | → | cfricke joins (~cfricke@user/cfricke) |
| 09:32:00 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 250 seconds) |
| 09:35:33 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 09:35:47 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer) |
| 09:37:51 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:40:55 | × | ft quits (~ft@p508db151.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:41:06 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 09:41:08 | × | bontaq quits (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 09:48:14 | × | Guest5033 quits (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 09:51:56 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 09:55:52 | → | danse-nr3 joins (~francesco@151.47.242.125) |
| 10:02:11 | → | Midjak joins (~Midjak@82.66.147.146) |
| 10:03:47 | × | xff0x_ quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 10:09:18 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 10:09:35 | × | CiaoSen quits (~Jura@2a05:5800:28e:ba00:664b:f0ff:fe37:9ef) (Ping timeout: 264 seconds) |
| 10:11:42 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 10:16:24 | → | titibandit joins (~titibandi@user/titibandit) |
| 10:19:10 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 10:19:58 | × | html quits (~User@31.173.240.117) (Ping timeout: 260 seconds) |
| 10:31:45 | → | html joins (~User@31.173.240.117) |
| 10:35:29 | → | chromoblob joins (~user@37.113.180.121) |
| 10:37:09 | × | MajorBiscuit quits (~MajorBisc@2001:1c00:31c:8400:f184:4168:559b:d91b) (Ping timeout: 240 seconds) |
| 10:37:25 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 10:39:16 | → | MajorBiscuit joins (~MajorBisc@c-001-005-040.client.tudelft.eduvpn.nl) |
| 10:39:36 | → | mmhat joins (~mmh@p200300f1c722e4f8ee086bfffe095315.dip0.t-ipconnect.de) |
| 10:39:40 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 10:39:51 | → | j4cc3b joins (~jeffreybe@2601:98a:4200:4515:d557:f0c9:cfb:3184) |
| 10:40:21 | → | CAT_S joins (apic@brezn3.muc.ccc.de) |
| 10:44:07 | × | j4cc3b quits (~jeffreybe@2601:98a:4200:4515:d557:f0c9:cfb:3184) (Ping timeout: 246 seconds) |
| 11:00:27 | → | xff0x_ joins (~xff0x@ai086045.d.east.v6connect.net) |
| 11:06:27 | × | `2jt quits (~jtomas@90.162.208.36) (Ping timeout: 245 seconds) |
| 11:11:41 | → | `2jt joins (~jtomas@90.162.208.36) |
| 11:14:23 | → | kenran joins (~user@user/kenran) |
| 11:14:39 | → | j4cc3b joins (~jeffreybe@2601:98a:4200:4515:d557:f0c9:cfb:3184) |
| 11:19:08 | × | j4cc3b quits (~jeffreybe@2601:98a:4200:4515:d557:f0c9:cfb:3184) (Ping timeout: 240 seconds) |
| 11:20:30 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 11:26:48 | × | hammond quits (proscan@user/hammond2) (Server closed connection) |
| 11:26:55 | → | hammond joins (proscan@gateway02.insomnia247.nl) |
| 11:33:53 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 11:34:58 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:37:10 | × | nehsou^ quits (~nehsou@24.125.210.85) (Remote host closed the connection) |
| 11:38:11 | → | txaas joins (~txaas@user/jarlg) |
| 11:44:23 | × | Buggys quits (Buggys@shelltalk.net) (Ping timeout: 264 seconds) |
| 11:45:49 | → | jargon joins (~jargon@184.101.73.95) |
| 11:46:17 | × | Inst_ quits (~Inst@2601:6c4:4081:2fc0:984c:1807:2944:a356) (Read error: Connection reset by peer) |
| 11:46:41 | → | Inst_ joins (~Inst@2601:6c4:4081:2fc0:984c:1807:2944:a356) |
| 11:47:42 | × | euandreh quits (~Thunderbi@189.6.18.7) (Quit: euandreh) |
| 11:50:34 | × | txaas quits (~txaas@user/jarlg) (Quit: WeeChat 3.6) |
| 11:52:38 | × | califax quits (~califax@user/califx) (Ping timeout: 240 seconds) |
| 11:52:44 | × | ddellacosta quits (~ddellacos@146.70.168.10) (Ping timeout: 240 seconds) |
| 11:52:59 | → | califax joins (~califax@user/califx) |
| 11:55:53 | → | ddellacosta joins (~ddellacos@146.70.168.181) |
| 11:56:13 | × | danse-nr3 quits (~francesco@151.47.242.125) (Ping timeout: 246 seconds) |
| 11:59:51 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 12:00:55 | × | jargon quits (~jargon@184.101.73.95) (Remote host closed the connection) |
| 12:11:04 | → | danse-nr3 joins (~francesco@151.47.242.125) |
| 12:19:11 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 12:21:20 | × | danse-nr3 quits (~francesco@151.47.242.125) (Ping timeout: 246 seconds) |
| 12:22:54 | → | dsrt^ joins (~dsrt@24.125.210.85) |
| 12:25:15 | → | rainbyte__ joins (~rainbyte@181.31.239.226) |
| 12:25:47 | × | chromoblob quits (~user@37.113.180.121) (Ping timeout: 264 seconds) |
| 12:27:00 | → | chromoblob joins (~user@37.113.162.25) |
| 12:27:27 | × | jstolarek quits (~jstolarek@staticline-31-183-152-161.toya.net.pl) (Quit: leaving) |
| 12:27:56 | rainbyte__ | is now known as rainbyte |
| 12:29:30 | → | danse-nr3 joins (~francesco@151.47.242.125) |
| 12:33:21 | → | Buggys joins (Buggys@shelltalk.net) |
| 12:41:25 | × | mmhat quits (~mmh@p200300f1c722e4f8ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.1) |
| 12:42:53 | → | Guest5033 joins (~finn@176-151-21-224.abo.bbox.fr) |
| 12:43:49 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 12:47:23 | × | ddellacosta quits (~ddellacos@146.70.168.181) (Ping timeout: 246 seconds) |
| 12:51:46 | × | ryantrinkle quits (~ryantrink@204.2.90.61) (Ping timeout: 250 seconds) |
| 12:56:59 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 264 seconds) |
| 12:58:49 | <dminuoso_> | % 1 1 |
| 12:58:49 | <yahb2> | <interactive>:51:1: error: ; • Could not deduce (Num t0) ; arising from a type ambiguity check for ; the inferred type for ‘it’ ; from the context: (Num t, Num (t -> t1)) ... |
| 12:58:58 | <dminuoso_> | % :set -XNoFlexibleContexts |
| 12:58:58 | <yahb2> | <no output> |
| 12:58:59 | <dminuoso_> | % 1 1 |
| 12:58:59 | <yahb2> | <interactive>:55:1: error: ; • Non type-variable argument in the constraint: Num (t1 -> t2) ; (Use FlexibleContexts to permit this) ; • When checking the inferred type ; it ::... |
| 12:59:15 | dminuoso_ | loves GHC diagnostics |
| 13:03:14 | → | ddellacosta joins (~ddellacos@143.244.47.76) |
| 13:06:53 | → | ryantrinkle joins (~ryantrink@204.2.90.61) |
| 13:07:37 | <int-e> | % :set -XFlexibleCont4exts -XAllowAmbiguousTypes |
| 13:07:37 | <yahb2> | Some flags have not been recognized: -XFlexibleCont4exts |
| 13:07:43 | <int-e> | % :set -XFlexibleContexts -XAllowAmbiguousTypes |
| 13:07:43 | <yahb2> | <no output> |
| 13:07:45 | <int-e> | % 1 1 |
| 13:07:45 | <yahb2> | <interactive>:61:1: error: ; • No instance for (Num (Integer -> ())) arising from a use of ‘it’ ; (maybe you haven't applied a function to enough arguments?) ; • In the first argume... |
| 13:08:04 | <int-e> | % :set -XNoAllowAmbiguousTypes |
| 13:08:04 | <yahb2> | <no output> |
| 13:10:31 | → | ksqsf joins (~user@2409:8a70:3c1e:6560:4cec:19b5:32bc:1f3b) |
| 13:12:01 | → | shryke joins (~shryke@2a00:4b00:13c:cc:b27b:25ff:fe18:efd) |
| 13:13:28 | → | crazazy joins (~chatzilla@130.89.171.133) |
| 13:13:30 | <dminuoso_> | That inferred type `Integer -> ()` is lovely too. |
| 13:15:17 | → | misterfish joins (~misterfis@87.215.131.102) |
| 13:16:17 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 13:18:30 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 13:21:32 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 13:23:08 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 13:25:31 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 13:26:11 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 13:31:17 | <dminuoso_> | Im not really sure what kind of type system would be adequate for numbers. Here's a checklist of things I want: a) Automatic non-narrowing coercions, b) Switch between modular arithmatic and trap-on-overflow, c) Nothing overly polymorphic where `1` can freely be monomorphized into `String -> IO ()` |
| 13:32:01 | <dminuoso_> | And for a) that would be limited to machine-sized at most, so Int does not automatically promote to Integer. |
| 13:34:04 | <hellwolf[m]> | what's the topic at the moment, is it a right time to budge in with my random crazy thoughts? |
| 13:34:21 | <dminuoso_> | hellwolf[m]: There's always time for crazy thoughts. |
| 13:37:28 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 13:38:21 | <hellwolf[m]> | hear me out: separating Haskell language into "High Haskell" and "Low Haskell", two monikers respectively mean a (High) Haskell without IO support at all/fully denotational subset of the language/removing irrelevant extensions because of IO/striding closer to dependently typed version; while (Low) Haskell stay on course what GHC has been doing focusing on tooling and industrial usages. |
| 13:38:21 | <hellwolf[m]> | High Haskell should be full of libraries produces intermediary representations (such as using wasm) that declarative describe what the program should do effectively; but leave the dirty job to Low Haskell or equivalent C++/Rust/etc. runtime to interprete those effects. |
| 13:39:29 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 13:39:33 | <dminuoso_> | hellwolf[m]: Mmm, so to some degree there is such a split. |
| 13:40:07 | <hellwolf[m]> | you could start with creating a denotative-base and go from there |
| 13:40:38 | × | ksqsf quits (~user@2409:8a70:3c1e:6560:4cec:19b5:32bc:1f3b) (Ping timeout: 260 seconds) |
| 13:40:47 | <dminuoso_> | I was referring to https://github.com/haskellfoundation/tech-proposals/pull/47 of course. |
| 13:40:50 | <hellwolf[m]> | the exact denotative design of IOs is not an easy task; but there can be periods of principled vs unprincipled designs until we figure something elegant and simpel out |
| 13:41:06 | <hellwolf[m]> | ah good to know! thanks! |
| 13:41:16 | <dminuoso_> | I think IO is a red herring. |
| 13:41:33 | <dminuoso_> | You dont need denotational semantics for IO, since you can write pure code just fine. |
| 13:41:53 | → | Feuermagier_ joins (~Feuermagi@user/feuermagier) |
| 13:41:53 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 13:41:53 | Feuermagier_ | is now known as Feuermagier |
| 13:41:56 | <dminuoso_> | And there's various explorations for effect systems, in particular free(r) monads |
| 13:42:10 | <hellwolf[m]> | algebraic effects is probably closer to general way of denotating these effects. |
| 13:42:34 | <hellwolf[m]> | some IO do need sequential/linear semantics, like file accessing/modification APIs; but many can be parallel too |
| 13:43:03 | <dminuoso_> | On a grand scale, forcing effect systems down everybodies throat will not improve anything. |
| 13:43:25 | <hellwolf[m]> | instead we indoctrinate the IO monad :) |
| 13:43:28 | <dminuoso_> | I find effect systems to be complicated, hard to reason about, and they lead to shameful diagmostics. |
| 13:43:30 | × | danse-nr3 quits (~francesco@151.47.242.125) (Read error: Connection reset by peer) |
| 13:43:32 | <dminuoso_> | IO is simple. |
| 13:43:43 | <hellwolf[m]> | "simple" <-- define it |
| 13:44:01 | → | danse-nr3 joins (~francesco@151.47.246.160) |
| 13:44:04 | <hellwolf[m]> | javascript is simple too to accomplish certain task. |
| 13:44:14 | <dminuoso_> | hellwolf[m]: IO is roughly "All syscalls included" |
| 13:44:40 | <hellwolf[m]> | (to some people) |
| 13:44:41 | <dminuoso_> | I mean there's a bit of laying in between due to how async IO is for example realized |
| 13:45:03 | <dminuoso_> | But I dont think the nature of "what is IO" has created actual, measurable problems in engineering. |
| 13:45:08 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 246 seconds) |
| 13:45:18 | <dminuoso_> | It also likely hasnt impacted much engineering either. |
| 13:46:46 | <hellwolf[m]> | these syscall won't exist how they are in 20 more years; but a IO-less High Haskell could. |
| 13:47:15 | <hellwolf[m]> | in the mean time, we don't need to rock the boat completely, and we can keep what we have but focus on division of labors. |
| 13:47:33 | <hellwolf[m]> | reverse the strategy: denotative shell, imperitive core |
| 13:47:35 | <dminuoso_> | What benefits do you hope to gain? |
| 13:47:41 | <hellwolf[m]> | *imperative |
| 13:48:37 | <hellwolf[m]> | > What benefits do you hope to gain? |
| 13:48:37 | <hellwolf[m]> | All said by https://www.youtube.com/watch?v=k6rY5Mvx84E . I am just being radicalized from time to time to brainstorm about it |
| 13:48:38 | <lambdabot> | <hint>:1:35: error: |
| 13:48:38 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 13:48:41 | → | kritzefitz joins (~kritzefit@debian/kritzefitz) |
| 13:49:46 | × | shailangsa quits (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Remote host closed the connection) |
| 13:50:06 | <dminuoso_> | I have not seen his presentation yet. |
| 13:51:50 | <dminuoso_> | hellwolf[m]: Oh is this presentation going to be "Agda is what Haskell should be"? |
| 13:51:58 | <dminuoso_> | Because I've seen quite a few of those by Conal before. :0 |
| 13:52:00 | <dminuoso_> | :-) |
| 13:52:30 | <hellwolf[m]> | hah, in some way, but it doesn't have to pan out that way |
| 13:53:40 | <dminuoso_> | Hah, skipped a bit into the front, and of course there's just Agda in final third. |
| 14:01:50 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 14:05:18 | → | ksqsf joins (~user@111.19.96.197) |
| 14:05:48 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 14:06:02 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 14:12:48 | × | crazazy quits (~chatzilla@130.89.171.133) (Ping timeout: 240 seconds) |
| 14:12:49 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:d7c:c5d8:f5d2:bdeb) (Ping timeout: 240 seconds) |
| 14:18:48 | <Unicorn_Princess> | hm. did mathematicians agree to include zero into the natural numbers while i wasn't looking? back in my day they started at 1... |
| 14:18:56 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 14:20:00 | <geekosaur> | I thought naturals started at 0, whole being 0 or 1 was an open argument |
| 14:21:54 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 14:22:24 | <merijn> | Unicorn_Princess: Things are divided |
| 14:22:55 | <merijn> | I always learned 0 as part of the naturals, and only online discovered decades later this was apparently controversial/wrong according to misguided heretics |
| 14:23:23 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 264 seconds) |
| 14:24:16 | → | tv1 joins (~tv@user/tv) |
| 14:24:32 | × | tv quits (~tv@user/tv) (Ping timeout: 246 seconds) |
| 14:24:48 | <maralorn> | Unicorn_Princess: I think generally people from the computer science of logic sure of things prefer the 0 to be included. Normal mathematicians usually don't. |
| 14:25:03 | <maralorn> | *or logic |
| 14:25:15 | <maralorn> | *side if things |
| 14:25:38 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 14:26:01 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 14:26:55 | <Unicorn_Princess> | on the other hand i guess it's a bit weird the naturals wouldn't include the identity under addition number |
| 14:27:32 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 240 seconds) |
| 14:27:49 | <maralorn> | That is certainly an argument people make. |
| 14:28:04 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 14:29:39 | <maralorn> | My standard argument is basically that I don't want my matrices to have a row zero. Also C^0 is a stupid vector space. Stuff like that... |
| 14:30:04 | <Unicorn_Princess> | thinking of it further, no identity under addition would be totally consistent with the attitude of not including zero tho. if you don't wanna change your number, just don't add to it, problem solved :) |
| 14:32:10 | <dminuoso_> | For consistency naturals should start at 2, such that neither multiplication nor addition gets an identity. |
| 14:32:21 | <Unicorn_Princess> | lmao |
| 14:32:41 | <maralorn> | That sounds only fair. |
| 14:33:34 | <maralorn> | Also fixes that weird issue that 1 is not a prime even though it is a natural number which can only be divided by 1 and itself. |
| 14:35:46 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 14:36:04 | → | shailangsa joins (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) |
| 14:36:16 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 14:37:13 | <dminuoso_> | Not sure why thats a weird issue, though. |
| 14:38:01 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 14:40:05 | × | ksqsf quits (~user@111.19.96.197) (Ping timeout: 246 seconds) |
| 14:47:12 | → | crazazy joins (~chatzilla@130.89.171.133) |
| 14:48:22 | × | crazazy quits (~chatzilla@130.89.171.133) (Client Quit) |
| 14:52:08 | → | ksqsf joins (~user@111.19.96.197) |
| 14:57:14 | × | ksqsf quits (~user@111.19.96.197) (Ping timeout: 246 seconds) |
| 14:57:21 | → | rainbyte__ joins (~rainbyte@host85.181-9-198.telecom.net.ar) |
| 14:59:11 | × | rainbyte quits (~rainbyte@181.31.239.226) (Ping timeout: 246 seconds) |
| 14:59:15 | → | jargon joins (~jargon@184.101.73.95) |
| 15:04:25 | → | rainbyte_ joins (~rainbyte@181.31.239.226) |
| 15:07:06 | × | rainbyte__ quits (~rainbyte@host85.181-9-198.telecom.net.ar) (Ping timeout: 252 seconds) |
| 15:08:20 | → | titibandit joins (~titibandi@user/titibandit) |
| 15:10:20 | <shryke> | There's also a similar debate whether an empty set can be compact or not |
| 15:10:54 | <dminuoso_> | What is a compact set? |
| 15:11:23 | → | ksqsf joins (~user@2409:8a70:3c1e:6560:4cec:19b5:32bc:1f3b) |
| 15:13:12 | × | timetravel quits (~timetrave@bcdcac82.skybroadband.com) (Ping timeout: 240 seconds) |
| 15:13:15 | <shryke> | dminuoso_: https://en.wikipedia.org/wiki/Compact_space#Open_cover_definition |
| 15:13:35 | <ncf> | why is that controversial? |
| 15:14:29 | <ncf> | i guess because the FIP definition requires a nonempty intersection? |
| 15:14:53 | <ncf> | well no, even that holds vacuously |
| 15:15:27 | <ncf> | shryke: are you sure there's a debate? |
| 15:15:39 | <shryke> | I would not call it controversial - in some branches of maths it is more useful to allow compact empty sets (e.g. analysis), and in some branches they prefer to disallow them (iirc, algebraic topology does that sometimes) |
| 15:16:11 | × | ksqsf quits (~user@2409:8a70:3c1e:6560:4cec:19b5:32bc:1f3b) (Ping timeout: 264 seconds) |
| 15:16:18 | → | timetravel joins (~timetrave@bcdcac82.skybroadband.com) |
| 15:16:49 | <shryke> | ncf: well, we had two staunch defenders of these two points of in the lab, it was fun hear them argue over that question |
| 15:17:14 | <shryke> | Like "Friday evening over a beer argument" |
| 15:18:16 | <ncf> | that's the only reasonable setting to discuss the meaning of words anyway |
| 15:18:22 | <shryke> | In my books the argument whether zero is a natural number falls in the same category =) |
| 15:19:47 | <hpc> | hot take: zero is the only negative natural number |
| 15:20:17 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 15:20:47 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 15:20:56 | <DigitalKiwi> | but one is the loneliest |
| 15:21:18 | → | ripspin joins (~chatzilla@1.145.208.112) |
| 15:22:00 | × | html quits (~User@31.173.240.117) (Ping timeout: 260 seconds) |
| 15:22:39 | <dminuoso_> | shryke: I think the main issue is the desire of having some all-encompassing singular normative definition. Rather than saying "Natural numbers should...", its more useful to just use \N^* and \N_0 or some such. |
| 15:23:09 | <dminuoso_> | Natural numbers is not something that simply arises out of nature, its just a construction that happens to be useful for particular things. And if its particularly useful to include zero, do it, If not, dont. |
| 15:23:30 | <dminuoso_> | Any discussions about whether "naturals should" seems to be more founded in religion than in the context of a mathematical discussion or a proof. |
| 15:23:31 | <shryke> | dminuoso_: yes, I subscribe to this point of view |
| 15:24:43 | <hpc> | dminuoso_: only church numerals are founded in religion :D |
| 15:24:56 | <dminuoso_> | hpc: touché |
| 15:25:18 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 15:29:53 | <DigitalKiwi> | romans, famously all atheists |
| 15:30:07 | → | mechap joins (~mechap@user/mechap) |
| 15:30:26 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 15:32:05 | × | merijn quits (~merijn@185.143.104.11) (Ping timeout: 246 seconds) |
| 15:37:08 | <DigitalKiwi> | i'm pretty sure some of you are an AI so i love giving you these amazing facts that are definitely true |
| 15:40:18 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Server closed connection) |
| 15:40:30 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 15:47:27 | × | dsrt^ quits (~dsrt@24.125.210.85) (Remote host closed the connection) |
| 15:47:45 | → | dsrt^ joins (~dsrt@24.125.210.85) |
| 15:47:56 | → | ystael joins (~ystael@user/ystael) |
| 15:49:11 | × | fendor quits (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) (Remote host closed the connection) |
| 15:49:30 | → | fendor joins (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) |
| 15:53:27 | <maralorn> | dminuoso_: That is the sane position on this which I apply when doing math, but that's not what I come to this channel for. |
| 15:53:57 | <maralorn> | <dminuoso_> "Not sure why thats a weird issue..." <- Why is it not weird? |
| 15:54:04 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 15:54:22 | <Nosrep> | ideas why my program is 15% slower after switching from ghc 9.2.7 to 9.4.5? |
| 15:54:34 | × | danse-nr3 quits (~francesco@151.47.246.160) (Ping timeout: 246 seconds) |
| 15:58:15 | <EvanR> | what the natural numbers "really are" sounds dubious and materialistic. How do they behave with respect to other types, i.e. what laws does induction obey. Then you can paint whatever numbers on the side |
| 15:58:28 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 15:58:37 | <DigitalKiwi> | you have 2 versions of ghc in ram now so it's got more memory pressure so it's slower (swapping) |
| 15:59:13 | <Nosrep> | in ram how? |
| 15:59:24 | <geekosaur> | seems to me the whole thing is based on gatekeepers for the concept of "number" — whole, no natural, no rational, no real, … |
| 16:00:29 | <DigitalKiwi> | cache hits they just keep everything they can in ram now |
| 16:01:27 | <nyc> | Nosrep: I'm seeing a similar 15% slowdown, mostly involving GC burden from increased allocations traceable to strictness & unboxing failing on typeclass methods, but it was between 8.10.7 & 9.2.8 not 9.2.8 & 9.4.5 though. |
| 16:01:39 | <DigitalKiwi> | https://gitlab.haskell.org/ghc/ghc/-/issues/22425 |
| 16:01:47 | × | driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 16:02:29 | <Nosrep> | ill check how memory is doing in profiler |
| 16:02:38 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 16:03:21 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 16:04:53 | <DigitalKiwi> | Nosrep: i was just joshing you with my first two comments lol the gitlab might be actually helpful |
| 16:05:14 | <Nosrep> | i thuoght something was off |
| 16:05:16 | <Nosrep> | ill check it out thanks |
| 16:05:22 | <nyc> | https://gitlab.haskell.org/ghc/ghc/-/issues/21281 is the one I'm suspecting. |
| 16:06:08 | × | Guest5033 quits (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 16:06:58 | <DigitalKiwi> | https://www.youtube.com/watch?v=EwvHL4eoVPM&t=44s |
| 16:07:45 | <DigitalKiwi> | hehehe https://twitter.com/ArchKiwi/status/1676254952044261376 |
| 16:08:25 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:09:37 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 16:13:27 | <EvanR> | class IsNat t where z :: t; s :: t -> t; ind :: (P : t -> Type) -> ((m : t) -> P m -> P (s m)) -> P z -> (n : t) -> P n -- now a type starting at zero and a type starting at one can both exist. Or others? |
| 16:15:50 | <tomsmeding> | EvanR: https://github.com/TodePond/DreamBerd#arrays |
| 16:17:01 | <EvanR> | lol |
| 16:17:26 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 16:18:03 | × | driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 16:18:44 | × | gurkenglas quits (~gurkengla@dynamic-046-114-178-188.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 16:19:52 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 16:21:28 | <EvanR> | in the undependent version, times :: (a -> a) -> a -> Nat -> a, which we don't seem to have in haskell. I guess fairbairn threshold |
| 16:21:47 | × | dsrt^ quits (~dsrt@24.125.210.85) (Ping timeout: 246 seconds) |
| 16:21:56 | → | y04nn joins (~username@2a03:1b20:5:f011::aaae) |
| 16:22:21 | <ncf> | no that one is definitely above. i don't know why we don't have it |
| 16:22:33 | <ncf> | iterate f !! n is horrible |
| 16:25:09 | <geekosaur> | tomsmeding, remember how perl's `$[` used to work? |
| 16:25:32 | tomsmeding | has never written any perl |
| 16:26:14 | <tomsmeding> | EvanR: check also the rest of that readme, it's great |
| 16:26:46 | <geekosaur> | used to be you could set `$[` and change the base index for all arrays anywhere |
| 16:27:06 | <geekosaur> | (in that interpreter instance) |
| 16:27:15 | <tomsmeding> | sounds like APL |
| 16:27:33 | <tomsmeding> | also I get discomfort from a variable name with an unbalanced number of brackets |
| 16:29:06 | <hpc> | i like to balance the 'd's and 'b's in my code too |
| 16:29:15 | <gnalzo> | $[ was a very bad idea, imho |
| 16:30:16 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 16:34:52 | × | jargon quits (~jargon@184.101.73.95) (Remote host closed the connection) |
| 16:39:48 | → | __monty__ joins (~toonn@user/toonn) |
| 16:40:23 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 16:44:50 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 16:45:41 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 16:46:18 | → | gurkenglas joins (~gurkengla@46.114.178.188) |
| 16:46:30 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:49:36 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 16:52:22 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 16:56:11 | <EvanR> | tomsmeding, print("Hello {name}€!")! |
| 16:56:34 | <EvanR> | is this a real language seems like one |
| 16:58:08 | × | misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 240 seconds) |
| 17:02:26 | → | aniketd[m] joins (~aniketdma@2001:470:69fc:105::dede) |
| 17:07:30 | × | ubert1 quits (~Thunderbi@2a02:8109:abc0:6434:11b7:38be:6d89:995c) (Remote host closed the connection) |
| 17:07:40 | <EvanR> | the best esoteric language is haskell |
| 17:10:42 | → | ksqsf joins (~user@111.19.96.197) |
| 17:14:32 | → | mauke joins (~mauke@user/mauke) |
| 17:18:59 | <int-e> | Rust isn't far off, it can do println!("Hello {name}!"); |
| 17:19:22 | × | MajorBiscuit quits (~MajorBisc@c-001-005-040.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.6) |
| 17:20:00 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 17:22:11 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 17:24:29 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 17:35:25 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:37:06 | → | danse-nr3 joins (~francesco@151.47.246.229) |
| 17:38:57 | → | mikoto-chan joins (~mikoto-ch@2001:999:488:d184:9306:5ace:c46b:f29d) |
| 17:39:56 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 250 seconds) |
| 17:42:26 | × | mbuf quits (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 17:44:08 | → | danse-nr3_ joins (~francesco@151.47.254.202) |
| 17:45:26 | × | ksqsf quits (~user@111.19.96.197) (Ping timeout: 246 seconds) |
| 17:46:33 | → | orcus- joins (~orcus@81.78.253.214) |
| 17:46:34 | × | danse-nr3 quits (~francesco@151.47.246.229) (Ping timeout: 246 seconds) |
| 17:46:43 | × | orcus- quits (~orcus@81.78.253.214) (Remote host closed the connection) |
| 17:48:25 | → | eugenrh joins (~eugenrh@2a01:4f9:c011:265::1) |
| 17:48:26 | × | arahael quits (~arahael@210.84.24.98) (Ping timeout: 260 seconds) |
| 17:50:12 | × | rainbyte_ quits (~rainbyte@181.31.239.226) (Ping timeout: 245 seconds) |
| 17:52:21 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:53:27 | → | ft joins (~ft@p508db151.dip0.t-ipconnect.de) |
| 17:55:08 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 240 seconds) |
| 17:56:26 | → | mechap joins (~mechap@user/mechap) |
| 17:58:49 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:59:49 | × | ripspin quits (~chatzilla@1.145.208.112) (Remote host closed the connection) |
| 18:00:27 | → | gmg joins (~user@user/gehmehgeh) |
| 18:00:55 | × | `2jt quits (~jtomas@90.162.208.36) (Ping timeout: 246 seconds) |
| 18:01:28 | × | danse-nr3_ quits (~francesco@151.47.254.202) (Ping timeout: 240 seconds) |
| 18:02:57 | → | rainbyte_ joins (~rainbyte@181.31.239.226) |
| 18:05:09 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 18:10:05 | → | qqq joins (~qqq@92.43.167.61) |
| 18:11:38 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 18:13:58 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 18:14:38 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 18:14:55 | × | ft quits (~ft@p508db151.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 18:15:25 | → | falafel joins (~falafel@2603-7000-a700-8710-37d3-e147-03ee-b9da.res6.spectrum.com) |
| 18:16:33 | → | titibandit joins (~titibandi@user/titibandit) |
| 18:17:28 | → | ft joins (~ft@p508db151.dip0.t-ipconnect.de) |
| 18:19:02 | × | mikoto-chan quits (~mikoto-ch@2001:999:488:d184:9306:5ace:c46b:f29d) (Ping timeout: 246 seconds) |
| 18:19:50 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:21:34 | × | rainbyte_ quits (~rainbyte@181.31.239.226) (Ping timeout: 246 seconds) |
| 18:28:43 | → | Anymyo joins (~rscastilh@187.40.124.54) |
| 18:31:44 | → | mikoto-chan joins (~mikoto-ch@2001:999:488:d184:9306:5ace:c46b:f29d) |
| 18:32:53 | × | mtjm quits (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 18:33:25 | → | dispater- joins (~dispater@81.78.253.214) |
| 18:35:27 | → | orcus- joins (~orcus@81.78.253.214) |
| 18:37:06 | × | dispater- quits (~dispater@81.78.253.214) (Remote host closed the connection) |
| 18:37:07 | × | orcus- quits (~orcus@81.78.253.214) (Remote host closed the connection) |
| 18:38:58 | → | ksqsf joins (~user@111.19.96.197) |
| 18:42:13 | × | ubert quits (~Thunderbi@p548c89d1.dip0.t-ipconnect.de) (Quit: ubert) |
| 18:43:32 | × | ksqsf quits (~user@111.19.96.197) (Ping timeout: 246 seconds) |
| 18:44:07 | × | Anymyo quits (~rscastilh@187.40.124.54) () |
| 18:49:37 | × | falafel quits (~falafel@2603-7000-a700-8710-37d3-e147-03ee-b9da.res6.spectrum.com) (Remote host closed the connection) |
| 18:50:02 | → | falafel joins (~falafel@2603-7000-a700-8710-ee2a-d627-8c15-721a.res6.spectrum.com) |
| 18:53:01 | → | rainbyte_ joins (~rainbyte@181.31.239.226) |
| 18:54:27 | → | Tlsx joins (~rscastilh@187.40.124.54) |
| 18:57:41 | × | Tlsx quits (~rscastilh@187.40.124.54) () |
| 19:07:56 | → | Guest5033 joins (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 19:08:58 | <tomsmeding> | EvanR: you haven't read the entire readme, I see |
| 19:11:54 | → | Tlsx joins (~rscastilh@187.40.124.54) |
| 19:13:18 | → | HerlockSholmes joins (~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) |
| 19:14:33 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 19:16:38 | × | Tlsx quits (~rscastilh@187.40.124.54) () |
| 19:16:50 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 19:28:53 | → | Tlsx joins (~rscastilh@187.40.124.54) |
| 19:28:59 | → | danse-nr3 joins (~francesco@151.47.252.180) |
| 19:33:22 | → | ystael joins (~ystael@user/ystael) |
| 19:36:28 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 19:41:01 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 19:42:35 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 19:45:08 | → | taupiqueur joins (~taupiqueu@2a02-8440-2440-d7b5-5838-ad63-dd18-a740.rev.sfr.net) |
| 19:46:39 | <EvanR> | oh it's quite a bit longer than I expected |
| 19:48:47 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 19:52:49 | × | mikoto-chan quits (~mikoto-ch@2001:999:488:d184:9306:5ace:c46b:f29d) (Ping timeout: 240 seconds) |
| 19:54:10 | × | Tlsx quits (~rscastilh@187.40.124.54) () |
| 19:59:04 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 20:02:21 | → | pavonia joins (~user@user/siracusa) |
| 20:06:32 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 20:06:32 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 20:06:32 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:18:39 | → | alexherbo2 joins (~alexherbo@2a02-8440-2440-d7b5-5838-ad63-dd18-a740.rev.sfr.net) |
| 20:21:52 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 20:22:19 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:27:58 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 20:28:30 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 20:35:19 | × | taupiqueur quits (~taupiqueu@2a02-8440-2440-d7b5-5838-ad63-dd18-a740.rev.sfr.net) (Quit: WeeChat 3.8) |
| 20:36:21 | × | alexherbo2 quits (~alexherbo@2a02-8440-2440-d7b5-5838-ad63-dd18-a740.rev.sfr.net) (Remote host closed the connection) |
| 20:37:47 | × | danse-nr3 quits (~francesco@151.47.252.180) (Ping timeout: 264 seconds) |
| 20:40:10 | → | ksqsf joins (~user@2409:8a70:3c1e:6560:4cec:19b5:32bc:1f3b) |
| 20:40:15 | × | masterbuilder quits (~masterbui@user/masterbuilder) (Quit: Lost terminal) |
| 20:52:57 | → | aaronv joins (~aaronv@user/aaronv) |
| 20:58:09 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds) |
| 21:05:00 | → | reach joins (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 21:06:08 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:06:23 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:06:31 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 21:07:18 | × | Dykam quits (Dykam@dykam.nl) (Server closed connection) |
| 21:07:27 | → | Dykam joins (Dykam@dykam.nl) |
| 21:11:48 | × | ghostbuster quits (~admin@user/ghostbuster) (Server closed connection) |
| 21:12:12 | → | ghostbuster joins (~admin@user/ghostbuster) |
| 21:13:20 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 246 seconds) |
| 21:14:59 | × | ksqsf quits (~user@2409:8a70:3c1e:6560:4cec:19b5:32bc:1f3b) (Ping timeout: 264 seconds) |
| 21:20:14 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 21:20:45 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 21:21:31 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 21:25:28 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) |
| 21:25:41 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:26:09 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 21:27:37 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 21:28:17 | → | mikoto-chan joins (~mikoto-ch@164.5.249.78) |
| 21:29:51 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 21:31:17 | × | motherfsck quits (~motherfsc@user/motherfsck) (K-Lined) |
| 21:31:30 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 21:32:48 | × | int-e quits (~noone@int-e.eu) (Server closed connection) |
| 21:32:57 | → | int-e joins (~noone@int-e.eu) |
| 21:33:31 | × | michalz quits (~michalz@185.246.207.215) (Remote host closed the connection) |
| 21:34:40 | → | Pickchea joins (~private@user/pickchea) |
| 21:36:36 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:37:17 | × | fendor quits (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) (Remote host closed the connection) |
| 21:40:18 | × | shane quits (~shane@ana.rch.ist) (Server closed connection) |
| 21:40:25 | → | shane joins (~shane@ana.rch.ist) |
| 21:41:08 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Remote host closed the connection) |
| 21:41:50 | × | talismanick quits (~user@2601:204:ef01:8ca0::a3e7) (Ping timeout: 246 seconds) |
| 21:42:06 | → | nick2 joins (~nick@2600:100d:b115:5b19:1404:72ff:f345:f58d) |
| 21:42:09 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) |
| 21:42:42 | × | oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 245 seconds) |
| 21:48:48 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 240 seconds) |
| 21:50:50 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 250 seconds) |
| 21:53:14 | × | falafel quits (~falafel@2603-7000-a700-8710-ee2a-d627-8c15-721a.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 21:54:40 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Remote host closed the connection) |
| 22:00:18 | × | reach quits (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Remote host closed the connection) |
| 22:00:46 | → | reach joins (~reach@74.12.129.40) |
| 22:02:52 | × | timetravel quits (~timetrave@bcdcac82.skybroadband.com) (Ping timeout: 240 seconds) |
| 22:05:42 | → | timetravel joins (~timetrave@bcdcac82.skybroadband.com) |
| 22:16:09 | × | Inst_ quits (~Inst@2601:6c4:4081:2fc0:984c:1807:2944:a356) (Ping timeout: 240 seconds) |
| 22:16:27 | → | Inst joins (~Inst@2601:6c4:4081:2fc0:7088:a2de:6315:2e37) |
| 22:18:49 | → | Guest|34 joins (~Guest|34@112.154.244.134) |
| 22:19:02 | × | Guest|34 quits (~Guest|34@112.154.244.134) (Client Quit) |
| 22:20:47 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 22:20:53 | × | Inst quits (~Inst@2601:6c4:4081:2fc0:7088:a2de:6315:2e37) (Ping timeout: 246 seconds) |
| 22:22:54 | → | Inst joins (~Inst@c-76-101-10-131.hsd1.fl.comcast.net) |
| 22:25:09 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 22:26:41 | × | Guest5033 quits (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 22:32:26 | × | Inst quits (~Inst@c-76-101-10-131.hsd1.fl.comcast.net) (Ping timeout: 250 seconds) |
| 22:34:43 | → | Inst joins (~Inst@c-76-101-10-131.hsd1.fl.comcast.net) |
| 22:36:29 | × | reach quits (~reach@74.12.129.40) (Ping timeout: 240 seconds) |
| 22:40:22 | × | gurkenglas quits (~gurkengla@46.114.178.188) (Read error: Connection reset by peer) |
| 22:45:07 | × | m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 246 seconds) |
| 22:45:51 | → | m5zs7k joins (aquares@web10.mydevil.net) |
| 22:48:09 | × | nick2 quits (~nick@2600:100d:b115:5b19:1404:72ff:f345:f58d) (Ping timeout: 240 seconds) |
| 22:55:09 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) |
| 22:55:19 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Remote host closed the connection) |
| 22:55:21 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 22:55:34 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) |
| 22:59:08 | × | acidjnk quits (~acidjnk@p200300d6e7072f2765686619b7fdb571.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 22:59:29 | × | mikoto-chan quits (~mikoto-ch@164.5.249.78) (Ping timeout: 240 seconds) |
| 23:06:44 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 23:07:35 | × | y04nn quits (~username@2a03:1b20:5:f011::aaae) (Ping timeout: 246 seconds) |
| 23:07:44 | → | Guest|32 joins (~Guest|32@189.101.124.2) |
| 23:07:55 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 23:08:35 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 23:11:00 | → | ksqsf joins (~user@111.19.96.197) |
| 23:13:13 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 23:20:48 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 23:28:52 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 23:34:18 | × | caubert quits (~caubert@user/caubert) (Server closed connection) |
| 23:34:37 | → | caubert joins (~caubert@user/caubert) |
| 23:38:27 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Remote host closed the connection) |
| 23:39:04 | → | mauke_ joins (~mauke@user/mauke) |
| 23:39:15 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) |
| 23:40:28 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 250 seconds) |
| 23:40:28 | mauke_ | is now known as mauke |
| 23:45:56 | × | ksqsf quits (~user@111.19.96.197) (Ping timeout: 246 seconds) |
| 23:55:58 | → | jargon joins (~jargon@184.101.73.95) |
All times are in UTC on 2023-07-04.