| 2022-05-20 00:01:24 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-20 00:01:59 +0000 | <sm> | hpc: thanks, how are you leaving the page ? clicking the wrong thing ? |
| 2022-05-20 00:02:08 +0000 | <hpc> | yeah |
| 2022-05-20 00:02:17 +0000 | <hpc> | i will go "ooh, let's apply this quick filter" |
| 2022-05-20 00:02:20 +0000 | <hpc> | *left click* |
| 2022-05-20 00:02:27 +0000 | <hpc> | and then i am on reddit or something |
| 2022-05-20 00:02:44 +0000 | <hpc> | because i just wasn't looking at the bottom-left corner |
| 2022-05-20 00:03:36 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2022-05-20 00:04:18 +0000 | <hpc> | my brain goes "example searches are blue links, here's other blue links, don't read the black text" |
| 2022-05-20 00:04:40 +0000 | <sm> | your screen might well look different from mine. What are you meaning to click on ? |
| 2022-05-20 00:04:57 +0000 | <sm> | the "Example searches" ? |
| 2022-05-20 00:05:09 +0000 | <sm> | I see |
| 2022-05-20 00:05:29 +0000 | <hpc> | yeah |
| 2022-05-20 00:05:30 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-05-20 00:05:44 +0000 | <sm> | I thought of splitting About into separate collapsible About and Search Tools sections |
| 2022-05-20 00:06:33 +0000 | <sm> | they could be just links in the table as you say, but I think some carefully curated entry points are quite useful to have somewhere prominent |
| 2022-05-20 00:06:41 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-20 00:07:09 +0000 | <sm> | but down the road who knows. I know it's a ton of links too close together (Google told me this also) |
| 2022-05-20 00:11:02 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-05-20 00:11:03 +0000 | foul_owl | (~kerry@71.212.150.111) |
| 2022-05-20 00:13:51 +0000 | <sm> | I find it useful to have a dense overview and portal for the whole ecosystem in one place |
| 2022-05-20 00:15:03 +0000 | <hpc> | yeah, i would rather err in this way than in wasting a whole 1080p screen on 3 links :D |
| 2022-05-20 00:17:10 +0000 | sm | restores whitespace between about items which got lost |
| 2022-05-20 00:28:43 +0000 | <sm> | and a bit of line-height and nowrap |
| 2022-05-20 00:29:42 +0000 | <hpc> | wrap the whole thing in <marquee> for old time's sake |
| 2022-05-20 00:32:44 +0000 | <jackdk> | It's a shame that <marquee> is gone, given how wide screens have become |
| 2022-05-20 00:32:59 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-898b-f0ee-7872-3957.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-05-20 00:33:02 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-05-20 00:33:46 +0000 | <sm> | hpc: you got it. since it's awesome |
| 2022-05-20 00:34:36 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-20 00:35:11 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-05-20 00:35:36 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 00:36:30 +0000 | flounders | (~flounders@24.246.138.231) (Ping timeout: 240 seconds) |
| 2022-05-20 00:37:25 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-20 00:38:39 +0000 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 00:38:53 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-05-20 00:40:36 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-05-20 00:46:51 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-a497-4a3c-43e9-e57b.res6.spectrum.com) |
| 2022-05-20 00:49:35 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:a173:65fd:d2b6:ad81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-20 00:50:22 +0000 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 260 seconds) |
| 2022-05-20 00:51:32 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 260 seconds) |
| 2022-05-20 00:57:38 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-20 00:57:38 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-20 00:57:38 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-20 01:05:42 +0000 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-05-20 01:05:44 +0000 | andrey__ | (~andrey@p200300dbcf077200f0f06671ca901202.dip0.t-ipconnect.de) |
| 2022-05-20 01:05:52 +0000 | <Axman6> | Anyone know where the HaXml documentation is? it references haskell.org/HaXml which as far as I can see hasn't existed since as far back as 2013 |
| 2022-05-20 01:08:40 +0000 | andrey_ | (~andrey@p200300dbcf2ab900568bc1b41ab3d698.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-20 01:08:53 +0000 | <sm> | https://github.com/HaXml/HaXml/tree/main/docs it seems |
| 2022-05-20 01:10:25 +0000 | <Axman6> | FFS, even that doesn't have XsdToHaskell.html |
| 2022-05-20 01:10:50 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-05-20 01:11:13 +0000 | causal | (~user@50.35.83.177) |
| 2022-05-20 01:12:06 +0000 | <Axman6> | well, just passing the xsd file produces _something_ so that's a start I guess |
| 2022-05-20 01:13:13 +0000 | <Axman6> | hahaha, ok, don't pass multiple arguments to it... it overwrites the second with the Haskell generated from the first |
| 2022-05-20 01:13:37 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-05-20 01:13:42 +0000 | <Axman6> | now to get that XSD file back... |
| 2022-05-20 01:14:17 +0000 | <sm> | one should not provoke the ancient libraries |
| 2022-05-20 01:16:56 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-05-20 01:18:26 +0000 | <jackdk> | @remember sm one should not provoke the ancient libraries |
| 2022-05-20 01:18:26 +0000 | <lambdabot> | It is forever etched in my memory. |
| 2022-05-20 01:20:59 +0000 | <sm> | nice interview: https://serokell.io/blog/haskell-in-production-simplex |
| 2022-05-20 01:21:12 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2022-05-20 01:21:14 +0000 | andrey | (~andrey@p200300dbcf0a24006f5a42723aa54156.dip0.t-ipconnect.de) |
| 2022-05-20 01:22:23 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-05-20 01:22:29 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-20 01:24:02 +0000 | andrey__ | (~andrey@p200300dbcf077200f0f06671ca901202.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-05-20 01:32:35 +0000 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-05-20 01:33:43 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:ade0:276a:b293:1357) |
| 2022-05-20 01:34:08 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2022-05-20 01:35:15 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-20 01:37:28 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-05-20 01:39:19 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 01:40:12 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-05-20 01:43:01 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-20 01:47:13 +0000 | <raehik> | I'm finding in GHC 9.2 I can't write typeclass methods that return an unlifted type / anything other than `Type`. This seems to disagree with some code I'm finding, and the 2017 levity polymorphism paper |
| 2022-05-20 01:48:15 +0000 | <raehik> | even `class C where c :: Word8#` doesn't work |
| 2022-05-20 01:48:22 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:ade0:276a:b293:1357) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-20 01:48:42 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-05-20 01:49:50 +0000 | flounders | (~flounders@24.246.138.231) (Ping timeout: 240 seconds) |
| 2022-05-20 01:50:47 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-20 01:52:03 +0000 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 01:54:13 +0000 | Zach[m] | (~zoglesby@user/zoglesby) |
| 2022-05-20 01:56:36 +0000 | <raehik> | Huh. You have to use a function type |
| 2022-05-20 01:57:11 +0000 | <raehik> | class C where c :: Proxy# c -> Word8# works. why? |
| 2022-05-20 01:57:19 +0000 | <monochrom> | Is "class D where d :: Int" legal? How do I write an instance of D? |
| 2022-05-20 01:57:34 +0000 | <raehik> | Oh, it's impossible, but doesn't matter |
| 2022-05-20 01:57:42 +0000 | <raehik> | class C a where c :: Proxy# a -> Word8# works. why? |
| 2022-05-20 01:57:49 +0000 | <raehik> | *oops, sorry. added the type var |
| 2022-05-20 01:58:18 +0000 | <monochrom> | Every method must mention the type variable? So that a use site of a method can actually get resolved? |
| 2022-05-20 01:58:39 +0000 | <monochrom> | Imagine if "class D a where d :: Int" were allowed. |
| 2022-05-20 01:58:56 +0000 | <raehik> | That is fine |
| 2022-05-20 01:58:59 +0000 | <raehik> | :t maxBound |
| 2022-05-20 01:59:01 +0000 | <lambdabot> | Bounded a => a |
| 2022-05-20 01:59:17 +0000 | <monochrom> | That mentions the type variable "a". |
| 2022-05-20 01:59:31 +0000 | <monochrom> | whereas "c :: Whatever" has no type variable whatsoever. |
| 2022-05-20 01:59:43 +0000 | <monochrom> | At this point it doesn't even involve levity. |
| 2022-05-20 02:00:00 +0000 | <monochrom> | At this point you're talking about "class D a where d :: Int". |
| 2022-05-20 02:00:06 +0000 | <raehik> | hrm. I thought I had written classes like that before |
| 2022-05-20 02:00:20 +0000 | <raehik> | kind of just to be dictionaries I would use type applications with |
| 2022-05-20 02:01:18 +0000 | <raehik> | not saying that's good design, but I'm fairly certain that all compiles fine |
| 2022-05-20 02:01:38 +0000 | <raehik> | class D a where d :: Int ; instance D Bool where d = 0 ; d @Bool |
| 2022-05-20 02:01:48 +0000 | romesrf | (~romes@185.5.8.134) (Ping timeout: 246 seconds) |
| 2022-05-20 02:01:54 +0000 | <jackdk> | monochrom: https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/nullary_type_classes.html#exte… |
| 2022-05-20 02:02:28 +0000 | <monochrom> | So perhaps you just have to turn on that extension? |
| 2022-05-20 02:02:43 +0000 | <jackdk> | these days it's deprecated in favour of MultiParamTypeClasses |
| 2022-05-20 02:02:45 +0000 | <raehik> | no no, that's not the problem! that all compiles fine and is unrelated |
| 2022-05-20 02:03:05 +0000 | <raehik> | I can't define a typeclass method that returns an unlifted data type without making it a function type |
| 2022-05-20 02:03:24 +0000 | <raehik> | Even if I make it Proxy# -> a, which as I understand is just a at runtime |
| 2022-05-20 02:03:30 +0000 | <jackdk> | monochrom: your `class D` is probably also usable with `-XAllowAmbiguousType` at the definition and `-XTypeApplications` at the call site |
| 2022-05-20 02:03:40 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-05-20 02:03:40 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-20 02:03:40 +0000 | finn_elija | FinnElija |
| 2022-05-20 02:04:35 +0000 | <jackdk> | raehik: I don't understand levity stuff very well, is there perhaps something going on where it can't put an unlifted value directly into the typeclass dictionary, but a function type has kind `Type`? |
| 2022-05-20 02:05:06 +0000 | <raehik> | jackdk: sounds realistic enough to me, I don't know it well either |
| 2022-05-20 02:05:35 +0000 | <raehik> | wonder if there is a difference between `Proxy# x -> a` and `a` at runtime then. idk |
| 2022-05-20 02:06:56 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 244 seconds) |
| 2022-05-20 02:07:23 +0000 | <raehik> | thanks. in any case I can have a go |
| 2022-05-20 02:09:58 +0000 | romesrf | (~romes@185.5.8.134) |
| 2022-05-20 02:11:07 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-20 02:24:23 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-05-20 02:27:30 +0000 | flounders | (~flounders@24.246.138.231) (Ping timeout: 240 seconds) |
| 2022-05-20 02:27:46 +0000 | AlexNoo_ | (~AlexNoo@178.34.161.170) |
| 2022-05-20 02:28:38 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2022-05-20 02:29:30 +0000 | AlexZenon | (~alzenon@178.34.163.80) (Ping timeout: 240 seconds) |
| 2022-05-20 02:29:43 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-05-20 02:29:53 +0000 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 02:30:10 +0000 | Alex_test | (~al_test@178.34.163.80) (Ping timeout: 240 seconds) |
| 2022-05-20 02:31:17 +0000 | AlexNoo | (~AlexNoo@178.34.163.80) (Ping timeout: 260 seconds) |
| 2022-05-20 02:32:32 +0000 | frost | (~frost@user/frost) |
| 2022-05-20 02:33:26 +0000 | AlexZenon | (~alzenon@178.34.161.170) |
| 2022-05-20 02:34:16 +0000 | Alex_test | (~al_test@178.34.161.170) |
| 2022-05-20 02:35:11 +0000 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-05-20 02:36:33 +0000 | kenran | (~kenran@200116b82b94670063c92203f726859d.dip.versatel-1u1.de) |
| 2022-05-20 02:36:42 +0000 | kenran | (~kenran@200116b82b94670063c92203f726859d.dip.versatel-1u1.de) (Client Quit) |
| 2022-05-20 02:37:51 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2022-05-20 02:44:50 +0000 | <Zemyla> | raehik: I'm pretty sure there is, and that's why I push for values of Tagged x a in typeclasses. |
| 2022-05-20 02:45:40 +0000 | <raehik> | I think it's to do with dictionary passing that I know 0 about |
| 2022-05-20 02:51:37 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds) |
| 2022-05-20 02:52:04 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-20 02:53:20 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-05-20 02:59:17 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-05-20 02:59:51 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-20 02:59:51 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-05-20 02:59:51 +0000 | finn_elija | FinnElija |
| 2022-05-20 03:12:03 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 276 seconds) |
| 2022-05-20 03:14:22 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-20 03:18:57 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-20 03:24:58 +0000 | zebrag | (~chris@user/zebrag) (Read error: Connection reset by peer) |
| 2022-05-20 03:32:25 +0000 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.5) |
| 2022-05-20 03:36:00 +0000 | <koala_man> | Someone posted an issue saying that 7 year old ShellCheck versions don't build with modern GHC, and that they "should ideally get some Hackage revisions that remove any invalid build plans for these versions". What does this mean? Am I supposed to be deprecating older packages somehow? |
| 2022-05-20 03:41:26 +0000 | <jackdk> | koala_man: this is because the hackage releases either have really loose upper bounds (e.g. 0.4.6 depends on `base >= 4 && <5`), or puts no bounds on the deps at all (e.g. 0.8.0 depends on `process` without bounds). |
| 2022-05-20 03:42:50 +0000 | <koala_man> | I see. How do I know which upper bound to use? |
| 2022-05-20 03:43:04 +0000 | <jackdk> | koala_man: under the haskell Package Version Policy, the first two parts of a version number w.x.y.z (the `w.x`) denote the major version. |
| 2022-05-20 03:43:09 +0000 | <jackdk> | https://pvp.haskell.org/ |
| 2022-05-20 03:43:53 +0000 | <koala_man> | so I should just specify < w.(x+1) for a current version w.x? |
| 2022-05-20 03:43:56 +0000 | <jackdk> | You can use `cabal gen-bounds` as a start, and then `cabal outdated` to see which things have newer versions |
| 2022-05-20 03:44:16 +0000 | <jackdk> | And once w.(x+1) is known, you can raise it further |
| 2022-05-20 03:44:37 +0000 | <koala_man> | Can I raise it after the fact for a published package? |
| 2022-05-20 03:45:20 +0000 | <jackdk> | also there's a ^>= operator that's a convenient shorthand: search "caret": https://cabal.readthedocs.io/en/3.4/cabal-package.html |
| 2022-05-20 03:46:49 +0000 | <koala_man> | neat |
| 2022-05-20 03:48:48 +0000 | <jackdk> | and to answer your question: yes, this is called a "metadata revision", which lets you change things like dependency bounds without uploading an entirely new release |
| 2022-05-20 03:49:02 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-05-20 03:53:38 +0000 | <jackdk> | koala_man: ah, found something useful for you! https://github.com/haskell-infra/hackage-trustees/blob/master/revisions-information.md |
| 2022-05-20 03:55:19 +0000 | <koala_man> | thanks, I'll try to figure out the appropriate bounds and add a revision |
| 2022-05-20 03:57:33 +0000 | <jackdk> | If there's a fair number of these, you could also ask the hackage trustees for advice |
| 2022-05-20 03:58:49 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-05-20 04:01:06 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-20 04:06:17 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-05-20 04:07:27 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-20 04:07:34 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-20 04:08:59 +0000 | z0k | (~z0k@39.40.157.245) |
| 2022-05-20 04:11:25 +0000 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-20 04:12:26 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-20 04:13:44 +0000 | sabry | (~sabry@197.37.144.70) |
| 2022-05-20 04:30:09 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-20 04:40:12 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2022-05-20 04:59:25 +0000 | slack1256 | (~slack1256@191.126.99.75) |
| 2022-05-20 04:59:47 +0000 | benin | (~benin@183.82.31.141) (Quit: Ping timeout (120 seconds)) |
| 2022-05-20 05:00:05 +0000 | benin | (~benin@183.82.31.141) |
| 2022-05-20 05:03:10 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2022-05-20 05:03:31 +0000 | Vajb | (~Vajb@2001:999:231:409f:b036:bb6b:e334:8a8e) |
| 2022-05-20 05:05:31 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-20 05:11:35 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-05-20 05:17:15 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2022-05-20 05:29:30 +0000 | trillp | (~trillp@45.32.206.173) |
| 2022-05-20 05:41:04 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-05-20 05:46:40 +0000 | bilegeek | (~bilegeek@2600:1008:b011:f57:4337:d420:5398:9608) (Quit: Leaving) |
| 2022-05-20 05:49:49 +0000 | sabry | (~sabry@197.37.144.70) (Quit: Client closed) |
| 2022-05-20 05:53:06 +0000 | chomwitt | (~chomwitt@2a02:587:dc2d:2c00:65fd:77eb:dfa:d1a4) |
| 2022-05-20 05:55:32 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 06:01:16 +0000 | phma_ | (phma@2001:5b0:210d:d6f8:4b9c:5e7f:8060:b1d9) |
| 2022-05-20 06:01:50 +0000 | phma | (~phma@host-67-44-208-139.hnremote.net) (Read error: Connection reset by peer) |
| 2022-05-20 06:07:11 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 244 seconds) |
| 2022-05-20 06:10:08 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-20 06:11:00 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 06:11:52 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-05-20 06:14:26 +0000 | toluene | (~toluene@user/toulene) (Quit: Ping timeout (120 seconds)) |
| 2022-05-20 06:15:27 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 244 seconds) |
| 2022-05-20 06:15:56 +0000 | toluene | (~toluene@user/toulene) |
| 2022-05-20 06:17:38 +0000 | odnes | (~odnes@5-203-157-247.pat.nym.cosmote.net) |
| 2022-05-20 06:18:54 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-05-20 06:20:10 +0000 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2022-05-20 06:22:32 +0000 | CiaoSen | (~Jura@p200300c9573b07002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-20 06:23:11 +0000 | dcoutts__ | (~duncan@host86-187-231-219.range86-187.btcentralplus.com) |
| 2022-05-20 06:27:13 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-05-20 06:30:34 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-20 06:32:21 +0000 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-05-20 06:42:41 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-20 06:44:41 +0000 | acidjnk | (~acidjnk@p200300d0c7068b535c20c5d7cefbd254.dip0.t-ipconnect.de) |
| 2022-05-20 06:48:23 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-20 06:52:12 +0000 | trillp | (~trillp@45.32.206.173) (Quit: Leaving) |
| 2022-05-20 06:53:14 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-20 06:55:40 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-05-20 06:56:47 +0000 | alp | (~alp@user/alp) |
| 2022-05-20 07:02:02 +0000 | kuribas | (~user@ptr-17d51en2wh40qmfp5xn.18120a2.ip6.access.telenet.be) |
| 2022-05-20 07:02:39 +0000 | CiaoSen | (~Jura@p200300c9573b07002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-05-20 07:06:53 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-05-20 07:09:06 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2022-05-20 07:10:28 +0000 | slack1256 | (~slack1256@191.126.99.75) (Ping timeout: 272 seconds) |
| 2022-05-20 07:11:17 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-20 07:14:49 +0000 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) |
| 2022-05-20 07:25:12 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-05-20 07:31:07 +0000 | ubert1 | (~Thunderbi@p200300ecdf1588de37d046195a4e628f.dip0.t-ipconnect.de) |
| 2022-05-20 07:31:39 +0000 | AlexNoo_ | AlexNoo |
| 2022-05-20 07:34:30 +0000 | dcoutts__ | (~duncan@host86-187-231-219.range86-187.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2022-05-20 07:45:24 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-05-20 07:46:02 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 07:46:34 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-20 07:47:16 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-20 07:50:10 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-20 07:50:21 +0000 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-05-20 07:52:16 +0000 | romesrf | (~romes@185.5.8.134) (Ping timeout: 272 seconds) |
| 2022-05-20 07:53:10 +0000 | flounders | (~flounders@24.246.138.231) (Ping timeout: 240 seconds) |
| 2022-05-20 07:55:26 +0000 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 07:57:00 +0000 | toms | (~foobar@pogostick.net) (Remote host closed the connection) |
| 2022-05-20 07:58:43 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-05-20 07:59:07 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-20 08:02:21 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-20 08:03:55 +0000 | chele | (~chele@user/chele) |
| 2022-05-20 08:07:18 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 08:11:03 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2022-05-20 08:12:08 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-20 08:15:40 +0000 | romesrf | (~romes@2001:4c80:50:16:80dd:524:d664:bb79) |
| 2022-05-20 08:19:07 +0000 | vpan | (~0@212.117.1.172) |
| 2022-05-20 08:22:19 +0000 | akegalj | (~akegalj@93-139-153-28.adsl.net.t-com.hr) |
| 2022-05-20 08:26:09 +0000 | dcoutts__ | (~duncan@ip-185-104-136-51.ptr.icomera.net) |
| 2022-05-20 08:26:58 +0000 | FilipKalan | (~FilipKala@77.28.86.211) |
| 2022-05-20 08:27:29 +0000 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-05-20 08:28:33 +0000 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-05-20 08:33:38 +0000 | alexiscott | (~user@37.red-88-1-75.dynamicip.rima-tde.net) |
| 2022-05-20 08:33:47 +0000 | cagri | (~adamscloc@user/AdamSclock) |
| 2022-05-20 08:36:51 +0000 | <kuribas> | Maybe Void is isomorphic to () right? |
| 2022-05-20 08:36:54 +0000 | toms | (~foobar@pogostick.net) |
| 2022-05-20 08:37:01 +0000 | dcoutts__ | (~duncan@ip-185-104-136-51.ptr.icomera.net) (Ping timeout: 244 seconds) |
| 2022-05-20 08:37:43 +0000 | <kuribas> | :k Maybe Void |
| 2022-05-20 08:37:44 +0000 | <lambdabot> | * |
| 2022-05-20 08:37:50 +0000 | <Hecate> | kuribas: isomorphic == same cardinality? |
| 2022-05-20 08:37:59 +0000 | <[exa]> | kuribas: you can patternmatch 2 constructors out of () ? |
| 2022-05-20 08:38:18 +0000 | <Hecate> | [exa]: yes that's the second question I wanted to ask |
| 2022-05-20 08:38:25 +0000 | <[exa]> | :] |
| 2022-05-20 08:38:27 +0000 | <kuribas> | [exa]: no? |
| 2022-05-20 08:38:30 +0000 | <Hecate> | if you're thinking purely in terms of cardinality, then yes |
| 2022-05-20 08:38:45 +0000 | <[exa]> | kuribas: but you can from `Maybe Void` |
| 2022-05-20 08:38:57 +0000 | <kuribas> | "In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping." |
| 2022-05-20 08:39:45 +0000 | <kuribas> | toTuple Nothing = (); toTuple (Just v) = absurd v |
| 2022-05-20 08:39:58 +0000 | <kuribas> | toMaybe () = Nothing |
| 2022-05-20 08:40:30 +0000 | <kuribas> | I don't see what pattern matching has to do with that? |
| 2022-05-20 08:41:09 +0000 | <kuribas> | Is pattern matching a requirement of an isomorphism? |
| 2022-05-20 08:41:42 +0000 | <[exa]> | kuribas: your function pair isn't isomorphism, there isn't anything that would regenerate `Just *` |
| 2022-05-20 08:42:10 +0000 | <kuribas> | *? |
| 2022-05-20 08:42:23 +0000 | <[exa]> | I mean, `Just _`, anything that starts with Just |
| 2022-05-20 08:42:44 +0000 | <kuribas> | It's void, so nothing can start with Just. |
| 2022-05-20 08:42:54 +0000 | <[exa]> | then it's not isomorphism |
| 2022-05-20 08:43:00 +0000 | FilipKalan | (~FilipKala@77.28.86.211) (Ping timeout: 252 seconds) |
| 2022-05-20 08:43:29 +0000 | <[exa]> | anyway `Just undefined` is perfectly okay, no one forces you to _create_ the values, to form an isomorphism you are only interested in the mapping back and forth |
| 2022-05-20 08:43:32 +0000 | <kuribas> | Well, assuming no bottom. |
| 2022-05-20 08:44:27 +0000 | <kuribas> | right, so it's not isomorphic because of bottom? |
| 2022-05-20 08:44:36 +0000 | <kuribas> | But if you assume there is no bottom, it's isomorphic? |
| 2022-05-20 08:44:39 +0000 | <[exa]> | assuming no bottom the definition of Maybe Void is IMO invalid, but once you manually assume that `data Maybe Void = Nothing`, they would be isomorphic |
| 2022-05-20 08:45:18 +0000 | <[exa]> | still, Void is there for the reason that `Just void` is _not_ bottom |
| 2022-05-20 08:45:34 +0000 | <[exa]> | (s/void/somevoid, not the monadic void) |
| 2022-05-20 08:45:54 +0000 | <kuribas> | putting bottom inside a void seems to defy the idea of Void. |
| 2022-05-20 08:46:17 +0000 | <[exa]> | yeah but you don't need to do that :] |
| 2022-05-20 08:46:42 +0000 | <kuribas> | In idris they would be isomorphic. |
| 2022-05-20 08:46:56 +0000 | <kuribas> | since Just _|_ == _|_ |
| 2022-05-20 08:47:29 +0000 | <kuribas> | It's only lazyness which makes them not isomorphic. |
| 2022-05-20 08:48:10 +0000 | <[exa]> | but Void is not bottom, it's just uninhabited |
| 2022-05-20 08:48:29 +0000 | <kuribas> | I didn't say Void is bottom? |
| 2022-05-20 08:48:38 +0000 | <[exa]> | you wrote Just _|_ |
| 2022-05-20 08:49:05 +0000 | <kuribas> | :t (Just undefined) :: Maybe Void |
| 2022-05-20 08:49:06 +0000 | <lambdabot> | Maybe Void |
| 2022-05-20 08:49:10 +0000 | <kuribas> | seems ok; |
| 2022-05-20 08:49:18 +0000 | <[exa]> | works, a haskell way to inhabit it |
| 2022-05-20 08:50:20 +0000 | <kuribas> | in idris Just is total |
| 2022-05-20 08:50:30 +0000 | flounders | (~flounders@24.246.138.231) (Ping timeout: 240 seconds) |
| 2022-05-20 08:50:37 +0000 | <kuribas> | So you cannot do Just _|_ , right? |
| 2022-05-20 08:50:40 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-20 08:51:17 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-20 08:51:20 +0000 | <[Leary]> | You can make a strict Maybe in Haskell if you really want, and you'll have your isomorphism. |
| 2022-05-20 08:51:29 +0000 | <kuribas> | \o/ |
| 2022-05-20 08:51:48 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-05-20 08:51:52 +0000 | <[exa]> | strictness makes me ;_; |
| 2022-05-20 08:52:36 +0000 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 08:53:26 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-20 08:53:26 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-20 08:53:26 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-20 08:55:35 +0000 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) |
| 2022-05-20 08:55:42 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-05-20 08:58:43 +0000 | romesrf | (~romes@2001:4c80:50:16:80dd:524:d664:bb79) (Ping timeout: 244 seconds) |
| 2022-05-20 08:59:37 +0000 | romesrf | (~romes@2001:4c80:50:16:80dd:524:d664:bb79) |
| 2022-05-20 09:00:09 +0000 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) (Quit: You have been kicked for being idle) |
| 2022-05-20 09:00:10 +0000 | rsify | (~rsify@2001:470:69fc:105::1:fd44) (Quit: You have been kicked for being idle) |
| 2022-05-20 09:00:28 +0000 | tenniscp25 | (~tenniscp2@2001:fb1:fc:ca7a:f0c0:c5bc:2546:895f) |
| 2022-05-20 09:00:57 +0000 | tenniscp25 | (~tenniscp2@2001:fb1:fc:ca7a:f0c0:c5bc:2546:895f) () |
| 2022-05-20 09:01:18 +0000 | tenniscp25 | (~tenniscp2@2001:fb1:fc:ca7a:f0c0:c5bc:2546:895f) |
| 2022-05-20 09:02:48 +0000 | <tomsmeding> | kuribas: an isomorphism is a bijection that furthermore preserves some kind of structure |
| 2022-05-20 09:03:11 +0000 | <tomsmeding> | if you're looking just at cardinality, then you're thinking of isomorphisms between sets, which are more commonly called bijections |
| 2022-05-20 09:03:35 +0000 | <tomsmeding> | so if you're saying "isomorphic" without a further qualifier, I'd assume there is some other structure that you want preserved as well |
| 2022-05-20 09:04:28 +0000 | <kuribas> | no, I was thinking that the "Just _" case is impossible, but as [exa] showed, it's not impossible with lazyness. |
| 2022-05-20 09:05:38 +0000 | <tomsmeding> | interesting side note for this laziness effect: ghc's coverage checker understands this |
| 2022-05-20 09:06:12 +0000 | flounders | (~flounders@24.246.138.231) (Ping timeout: 260 seconds) |
| 2022-05-20 09:06:16 +0000 | <tomsmeding> | so if you have 'data T a = A Int | B a', then 'f :: T Void -> Int ; f (A n) = n' gives a warning that not all cases are handled |
| 2022-05-20 09:06:29 +0000 | <tomsmeding> | but if you add a ! to the 'a' in the 'B' constructor of 'T', then the warning goes away |
| 2022-05-20 09:06:55 +0000 | <tomsmeding> | I thought this was pretty neat when I first ran into this |
| 2022-05-20 09:07:18 +0000 | <kuribas> | nice |
| 2022-05-20 09:08:04 +0000 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 09:15:10 +0000 | z0k | (~z0k@39.40.157.245) (Ping timeout: 240 seconds) |
| 2022-05-20 09:17:26 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-05-20 09:22:02 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-20 09:27:21 +0000 | tenniscp25 | (~tenniscp2@2001:fb1:fc:ca7a:f0c0:c5bc:2546:895f) () |
| 2022-05-20 09:35:07 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-05-20 09:35:20 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-20 09:35:29 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-05-20 09:39:54 +0000 | z0k | (~z0k@39.40.157.245) |
| 2022-05-20 09:40:11 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:b05b:7d78:fdbc:ca2d) |
| 2022-05-20 09:46:46 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-05-20 09:50:46 +0000 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2022-05-20 09:50:47 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-20 09:52:04 +0000 | mjacob | (~mjacob@adrastea.uberspace.de) (Read error: Connection reset by peer) |
| 2022-05-20 09:53:41 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-20 09:53:52 +0000 | romesrf | (~romes@2001:4c80:50:16:80dd:524:d664:bb79) (Ping timeout: 272 seconds) |
| 2022-05-20 09:54:47 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:b05b:7d78:fdbc:ca2d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-20 09:56:12 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 09:56:20 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-20 09:57:28 +0000 | mjacob | (~mjacob@adrastea.uberspace.de) |
| 2022-05-20 09:57:33 +0000 | akegalj | (~akegalj@93-139-153-28.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-05-20 10:00:37 +0000 | ubert1 | (~Thunderbi@p200300ecdf1588de37d046195a4e628f.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2022-05-20 10:08:20 +0000 | cheater1__ | (~Username@user/cheater) |
| 2022-05-20 10:09:04 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2022-05-20 10:09:05 +0000 | cheater1__ | cheater |
| 2022-05-20 10:10:57 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 260 seconds) |
| 2022-05-20 10:11:11 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-05-20 10:12:26 +0000 | frost | (~frost@user/frost) |
| 2022-05-20 10:17:44 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-20 10:18:34 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 10:22:02 +0000 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2022-05-20 10:22:22 +0000 | cagri | (~adamscloc@user/AdamSclock) (Quit: WeeChat 3.0.1) |
| 2022-05-20 10:22:50 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-20 10:23:45 +0000 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) |
| 2022-05-20 10:24:24 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:1dc2:26d6:6439:a110) |
| 2022-05-20 10:25:44 +0000 | <kuribas> | Wouldn't it be nice to have an easier TH macro system, like scheme syntax-case? |
| 2022-05-20 10:26:00 +0000 | <kuribas> | Where you provide some input that is matched on, and some output using substitution. |
| 2022-05-20 10:26:11 +0000 | <kuribas> | It will be less powerful, but easier to use than plain TH. |
| 2022-05-20 10:27:35 +0000 | acidjnk | (~acidjnk@p200300d0c7068b535c20c5d7cefbd254.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-05-20 10:27:45 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-20 10:31:17 +0000 | <[exa]> | kuribas: I'd love that, but kinda afraid of the difference between scheme and haskell syntax complexity |
| 2022-05-20 10:31:50 +0000 | <kuribas> | yeah, the haskell version would be more elaborate. |
| 2022-05-20 10:31:55 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-05-20 10:32:06 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 10:32:38 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-05-20 10:32:42 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-05-20 10:34:20 +0000 | titibandit | (~thibaut@2a00:8a60:c000:1:8a13:bf74:b2:8d47) |
| 2022-05-20 10:37:49 +0000 | Natch | (~natch@92.34.7.158) |
| 2022-05-20 10:39:33 +0000 | noteness | (~noteness@user/noteness) (Quit: bye) |
| 2022-05-20 10:39:41 +0000 | np | (~nerdypepp@user/nerdypepper) (Read error: Connection reset by peer) |
| 2022-05-20 10:40:00 +0000 | noteness | (~noteness@user/noteness) |
| 2022-05-20 10:40:07 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) |
| 2022-05-20 10:40:57 +0000 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) (Ping timeout: 248 seconds) |
| 2022-05-20 10:41:29 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-20 10:41:38 +0000 | Sauvin | (~sauvin@about/linux/staff/sauvin) |
| 2022-05-20 10:41:39 +0000 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) |
| 2022-05-20 10:43:03 +0000 | nerdypepper | (~nerdypepp@user/nerdypepper) |
| 2022-05-20 10:44:19 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) (Ping timeout: 240 seconds) |
| 2022-05-20 10:44:21 +0000 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Ping timeout: 246 seconds) |
| 2022-05-20 10:46:34 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-20 10:49:01 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 10:52:20 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-20 10:53:48 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-05-20 11:00:34 +0000 | acidjnk | (~acidjnk@p200300d0c7068b53d173f7130fd6382c.dip0.t-ipconnect.de) |
| 2022-05-20 11:02:17 +0000 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) (Ping timeout: 260 seconds) |
| 2022-05-20 11:04:32 +0000 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) |
| 2022-05-20 11:09:32 +0000 | pja | (~pja@217.155.153.14) (Quit: WeeChat 3.0.1) |
| 2022-05-20 11:11:27 +0000 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-05-20 11:15:05 +0000 | frost | (~frost@user/frost) |
| 2022-05-20 11:19:21 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2022-05-20 11:20:36 +0000 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) (Ping timeout: 248 seconds) |
| 2022-05-20 11:26:52 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 11:28:06 +0000 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) |
| 2022-05-20 11:31:15 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-05-20 11:31:24 +0000 | mima | (~mmh@aftr-62-216-207-15.dynamic.mnet-online.de) (Ping timeout: 272 seconds) |
| 2022-05-20 11:34:22 +0000 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) (Ping timeout: 260 seconds) |
| 2022-05-20 11:35:43 +0000 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) |
| 2022-05-20 11:36:44 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-20 11:37:51 +0000 | alexiscott | (~user@37.red-88-1-75.dynamicip.rima-tde.net) (Ping timeout: 244 seconds) |
| 2022-05-20 11:48:42 +0000 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) (Ping timeout: 244 seconds) |
| 2022-05-20 11:49:30 +0000 | tenniscp25 | (~tenniscp2@2001:fb1:fc:ca7a:f0c0:c5bc:2546:895f) |
| 2022-05-20 11:51:30 +0000 | acidjnk | (~acidjnk@p200300d0c7068b53d173f7130fd6382c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-20 11:51:45 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Quit: christiansen) |
| 2022-05-20 11:52:22 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-20 11:59:31 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-20 12:07:08 +0000 | romesrf | (~romes@2001:4c80:50:16:1af:cfe6:87f3:993c) |
| 2022-05-20 12:08:00 +0000 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-05-20 12:09:30 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 2022-05-20 12:12:53 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-20 12:14:20 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-20 12:16:02 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-20 12:23:49 +0000 | tenniscp25 | (~tenniscp2@2001:fb1:fc:ca7a:f0c0:c5bc:2546:895f) () |
| 2022-05-20 12:26:33 +0000 | odnes | (~odnes@5-203-157-247.pat.nym.cosmote.net) (Ping timeout: 246 seconds) |
| 2022-05-20 12:26:50 +0000 | z0k | (~z0k@39.40.157.245) (Ping timeout: 240 seconds) |
| 2022-05-20 12:29:43 +0000 | odnes | (~odnes@5-203-157-247.pat.nym.cosmote.net) |
| 2022-05-20 12:35:42 +0000 | <kritzefitz> | kuribas: I think macros in Rust kinda work like that, despite Rust' syntax being similarly complex as Haskell's. |
| 2022-05-20 12:36:10 +0000 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-05-20 12:38:41 +0000 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2022-05-20 12:39:31 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-20 12:39:43 +0000 | odnes_ | (~odnes@5-203-157-247.pat.nym.cosmote.net) |
| 2022-05-20 12:41:04 +0000 | odnes | (~odnes@5-203-157-247.pat.nym.cosmote.net) (Ping timeout: 272 seconds) |
| 2022-05-20 12:42:03 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) |
| 2022-05-20 12:43:06 +0000 | <geekosaur> | hypothetically you can use quasiquoters that way |
| 2022-05-20 12:46:19 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) (Ping timeout: 240 seconds) |
| 2022-05-20 12:46:27 +0000 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-05-20 12:48:18 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-05-20 12:48:26 +0000 | <dminuoso_> | maerwald: https://i.imgur.com/8kUHBbn.png |
| 2022-05-20 12:48:34 +0000 | <dminuoso_> | I really dislike hasql for this. |
| 2022-05-20 12:48:58 +0000 | <dminuoso_> | Ah but hold on, I may need to control cabal-plan |
| 2022-05-20 12:49:01 +0000 | <dminuoso_> | test components made their way in |
| 2022-05-20 12:50:11 +0000 | <dminuoso_> | https://i.imgur.com/aREFYHr.png |
| 2022-05-20 12:50:13 +0000 | <dminuoso_> | It's still horrid |
| 2022-05-20 12:51:32 +0000 | <dminuoso_> | aeson is a big part of this problem, but you cant simply opt out of this. |
| 2022-05-20 12:53:06 +0000 | <dminuoso_> | Maybe hackage should just draw the dependency tree of some recent cabal plan against hackage right at the landing page of a package, just so users know what they're getting into |
| 2022-05-20 12:54:07 +0000 | martin02_ | martin02 |
| 2022-05-20 12:55:25 +0000 | noctux | (~noctux@user/noctux) |
| 2022-05-20 12:57:44 +0000 | <geekosaur> | ob https://ro-che.info/ccc/23 |
| 2022-05-20 13:01:25 +0000 | <merijn> | !! |
| 2022-05-20 13:01:34 +0000 | <merijn> | LaTeX math support for github readmes! |
| 2022-05-20 13:01:38 +0000 | <merijn> | Haskell nerds rejoice :p |
| 2022-05-20 13:01:47 +0000 | <tomsmeding> | ö |
| 2022-05-20 13:02:08 +0000 | <yushyin> | eventually package authors will vendor their deps :P |
| 2022-05-20 13:03:04 +0000 | <tomsmeding> | to save people some searching: https://github.blog/2022-05-19-math-support-in-markdown/ |
| 2022-05-20 13:04:01 +0000 | tafama | tafa |
| 2022-05-20 13:04:48 +0000 | <dminuoso_> | That's microsofts move to ensure all the Agda and Coq people move to Github. |
| 2022-05-20 13:04:58 +0000 | <dminuoso_> | Clever! |
| 2022-05-20 13:05:25 +0000 | <dminuoso_> | But seriously, it's a nice feature |
| 2022-05-20 13:15:15 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-20 13:16:33 +0000 | gpncarl | (~gpncarl@210.12.195.5) (Ping timeout: 276 seconds) |
| 2022-05-20 13:19:35 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-20 13:20:08 +0000 | jinsun__ | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-05-20 13:20:17 +0000 | Infinite | (~Infinite@49.39.122.40) |
| 2022-05-20 13:20:26 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2022-05-20 13:25:56 +0000 | mima | (~mmh@dhcp-138-246-3-120.dynamic.eduroam.mwn.de) |
| 2022-05-20 13:27:10 +0000 | Infinite | (~Infinite@49.39.122.40) (Ping timeout: 252 seconds) |
| 2022-05-20 13:27:58 +0000 | slack1256 | (~slack1256@181.43.228.229) |
| 2022-05-20 13:30:22 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-20 13:30:39 +0000 | romesrf | (~romes@2001:4c80:50:16:1af:cfe6:87f3:993c) (Ping timeout: 240 seconds) |
| 2022-05-20 13:36:23 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-05-20 13:37:06 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2022-05-20 13:38:32 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-05-20 13:39:15 +0000 | alexiscott | (~user@37.red-88-1-75.dynamicip.rima-tde.net) |
| 2022-05-20 13:42:55 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) (Ping timeout: 260 seconds) |
| 2022-05-20 13:43:12 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-05-20 13:44:36 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-05-20 13:46:57 +0000 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 2022-05-20 13:46:59 +0000 | chomwitt | (~chomwitt@2a02:587:dc2d:2c00:65fd:77eb:dfa:d1a4) (Remote host closed the connection) |
| 2022-05-20 13:51:08 +0000 | gpncarl | (~gpncarl@120.244.220.69) |
| 2022-05-20 13:55:45 +0000 | gpncarl | (~gpncarl@120.244.220.69) (Ping timeout: 260 seconds) |
| 2022-05-20 13:57:25 +0000 | odnes_ | (~odnes@5-203-157-247.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-05-20 13:57:47 +0000 | odnes_ | (~odnes@5-203-157-247.pat.nym.cosmote.net) |
| 2022-05-20 14:07:34 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-20 14:12:02 +0000 | romesrf | (~romes@185.5.8.134) |
| 2022-05-20 14:12:35 +0000 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 2022-05-20 14:14:37 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-05-20 14:16:10 +0000 | romesrf | (~romes@185.5.8.134) (Ping timeout: 240 seconds) |
| 2022-05-20 14:18:30 +0000 | feliix42_ | (~felix@gibbs.uberspace.de) (Write error: Connection reset by peer) |
| 2022-05-20 14:19:33 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-20 14:19:53 +0000 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-05-20 14:21:37 +0000 | feliix42 | (~felix@gibbs.uberspace.de) |
| 2022-05-20 14:22:24 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-20 14:23:25 +0000 | phma_ | phma |
| 2022-05-20 14:23:57 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-05-20 14:24:00 +0000 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) |
| 2022-05-20 14:25:40 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-20 14:28:38 +0000 | alexiscott | (~user@37.red-88-1-75.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-05-20 14:30:26 +0000 | remedan | (~remedan@octo.cafe) (Quit: Bye!) |
| 2022-05-20 14:33:03 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
| 2022-05-20 14:33:30 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-05-20 14:33:32 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-20 14:36:05 +0000 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection) |
| 2022-05-20 14:36:28 +0000 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) |
| 2022-05-20 14:37:44 +0000 | remedan | (~remedan@octo.cafe) |
| 2022-05-20 14:39:12 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2022-05-20 14:40:26 +0000 | <shapr> | hi mxs |
| 2022-05-20 14:41:22 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-20 14:41:22 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-20 14:41:22 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-20 14:41:56 +0000 | <mxs> | shapr: ^_^ hey |
| 2022-05-20 14:42:18 +0000 | flounders | (~flounders@24.246.138.231) (Ping timeout: 244 seconds) |
| 2022-05-20 14:42:43 +0000 | romesrf | (~romes@185.5.8.134) |
| 2022-05-20 14:44:31 +0000 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 14:45:26 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-05-20 14:45:34 +0000 | kuribas | (~user@ptr-17d51en2wh40qmfp5xn.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-05-20 14:51:32 +0000 | odnes_ | (~odnes@5-203-157-247.pat.nym.cosmote.net) (Ping timeout: 272 seconds) |
| 2022-05-20 14:55:11 +0000 | Infinite | (~Infinite@49.39.114.248) |
| 2022-05-20 14:55:51 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-05-20 14:57:41 +0000 | Infinite | (~Infinite@49.39.114.248) (Client Quit) |
| 2022-05-20 14:57:58 +0000 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Remote host closed the connection) |
| 2022-05-20 14:59:19 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-05-20 14:59:48 +0000 | mima | (~mmh@dhcp-138-246-3-120.dynamic.eduroam.mwn.de) (Ping timeout: 248 seconds) |
| 2022-05-20 15:00:11 +0000 | merijn | (~merijn@c-001-001-011.client.esciencecenter.eduvpn.nl) |
| 2022-05-20 15:02:29 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 2022-05-20 15:04:37 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-05-20 15:12:05 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-05-20 15:30:07 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-05-20 15:36:15 +0000 | Everything | (~Everythin@37.115.210.35) |
| 2022-05-20 15:41:27 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-05-20 15:48:33 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) |
| 2022-05-20 15:49:54 +0000 | sfvm | (~sfvm@37.228.215.63) |
| 2022-05-20 15:51:23 +0000 | Guest54 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) |
| 2022-05-20 16:01:43 +0000 | slack3814 | (~slack1256@191.126.99.75) |
| 2022-05-20 16:03:24 +0000 | sfvm | (~sfvm@37.228.215.63) (Quit: off to the basement, mixing up the medicine) |
| 2022-05-20 16:03:40 +0000 | sfvm | (~sfvm@37.228.215.63) |
| 2022-05-20 16:03:48 +0000 | slack1256 | (~slack1256@181.43.228.229) (Ping timeout: 248 seconds) |
| 2022-05-20 16:07:18 +0000 | sfvm | (~sfvm@37.228.215.63) (Client Quit) |
| 2022-05-20 16:07:33 +0000 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 16:08:05 +0000 | elfi2125[m] | (~elfi2125m@2001:470:69fc:105::2:13d6) |
| 2022-05-20 16:09:09 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) (Remote host closed the connection) |
| 2022-05-20 16:11:15 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2022-05-20 16:13:21 +0000 | mokee | (~mokee@37.228.215.63) (Quit: off) |
| 2022-05-20 16:13:36 +0000 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 16:15:15 +0000 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2022-05-20 16:17:17 +0000 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-05-20 16:19:31 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-05-20 16:20:41 +0000 | slack3814 | slack1256 |
| 2022-05-20 16:21:01 +0000 | kilolympus | (~kilolympu@31.205.200.235) (Quit: See you later! :)) |
| 2022-05-20 16:23:24 +0000 | Infinite | (~Infinite@49.39.119.161) |
| 2022-05-20 16:24:24 +0000 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) (Quit: Konversation terminated!) |
| 2022-05-20 16:25:24 +0000 | <slack1256> | If I have a data structure with bang patterns that was _already_ forced/evaluated and I pass it to another function down the line that pattern matchs on it, will GHC force it again unnecessarely or it will be smart and do nothing? |
| 2022-05-20 16:26:56 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-05-20 16:26:59 +0000 | <geekosaur> | it will be smart |
| 2022-05-20 16:27:04 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-05-20 16:27:35 +0000 | <slack1256> | Thank god. |
| 2022-05-20 16:27:50 +0000 | <slack1256> | well SPJ in this case. |
| 2022-05-20 16:27:52 +0000 | <geekosaur> | an unevaluated value is a "thunk", entering it replaces the thunk with an evaluated result which when entered simply produces the result |
| 2022-05-20 16:28:24 +0000 | <geekosaur> | this does not mean that something like deepseq does nothing, because deepseq can't know that there isn't an unevaluated thunk somewhere |
| 2022-05-20 16:28:46 +0000 | <geekosaur> | which is why deepseq is considered a sledgehammer that should be avoided |
| 2022-05-20 16:29:04 +0000 | titibandit | (~thibaut@2a00:8a60:c000:1:8a13:bf74:b2:8d47) (Remote host closed the connection) |
| 2022-05-20 16:29:28 +0000 | <slack1256> | So it will do nothing per node of the data structure but still will have to traverse it (as far a bang patterns specify). In the case of deepseq, all the way to the bottom. |
| 2022-05-20 16:29:32 +0000 | mokee | (~mokee@37.228.215.63) (Quit: off) |
| 2022-05-20 16:29:52 +0000 | <slack1256> | s_bottom_base_ |
| 2022-05-20 16:29:56 +0000 | <geekosaur> | right |
| 2022-05-20 16:29:56 +0000 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 16:30:17 +0000 | <slack1256> | Gotcha, that makes sense. Thanks geekosaur. |
| 2022-05-20 16:31:15 +0000 | shriekingnoise_ | (~shrieking@201.231.16.156) |
| 2022-05-20 16:31:54 +0000 | shriekingnoise | (~shrieking@201.231.16.156) (Ping timeout: 246 seconds) |
| 2022-05-20 16:32:08 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-20 16:34:11 +0000 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2022-05-20 16:36:01 +0000 | pavonia | (~user@user/siracusa) |
| 2022-05-20 16:39:00 +0000 | mima | (~mmh@aftr-62-216-207-208.dynamic.mnet-online.de) |
| 2022-05-20 16:39:50 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 272 seconds) |
| 2022-05-20 16:41:08 +0000 | Infinite | (~Infinite@49.39.119.161) (Ping timeout: 252 seconds) |
| 2022-05-20 16:44:19 +0000 | mokee | (~mokee@37.228.215.63) (Quit: off) |
| 2022-05-20 16:44:34 +0000 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 16:44:47 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) |
| 2022-05-20 16:46:23 +0000 | turlando | (~turlando@93.51.40.51) |
| 2022-05-20 16:46:23 +0000 | turlando | (~turlando@93.51.40.51) (Changing host) |
| 2022-05-20 16:46:23 +0000 | turlando | (~turlando@user/turlando) |
| 2022-05-20 16:47:26 +0000 | Vajb | (~Vajb@2001:999:231:409f:b036:bb6b:e334:8a8e) (Read error: Connection reset by peer) |
| 2022-05-20 16:47:40 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-20 16:51:54 +0000 | dcoutts | (~duncan@host213-122-143-140.range213-122.btcentralplus.com) |
| 2022-05-20 16:53:29 +0000 | slack1256 | (~slack1256@191.126.99.75) (Remote host closed the connection) |
| 2022-05-20 16:54:07 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-20 16:58:30 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-05-20 16:59:09 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 17:00:06 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-20 17:01:55 +0000 | z0k | (~z0k@39.40.3.188) |
| 2022-05-20 17:02:54 +0000 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) |
| 2022-05-20 17:03:21 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-05-20 17:05:05 +0000 | alp | (~alp@user/alp) |
| 2022-05-20 17:09:28 +0000 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-05-20 17:12:46 +0000 | econo | (uid147250@user/econo) |
| 2022-05-20 17:15:53 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-05-20 17:17:45 +0000 | odnes | (~odnes@5-203-134-31.pat.nym.cosmote.net) |
| 2022-05-20 17:20:20 +0000 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) (Quit: king_gs) |
| 2022-05-20 17:20:49 +0000 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2022-05-20 17:21:00 +0000 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (Ping timeout: 240 seconds) |
| 2022-05-20 17:21:26 +0000 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2022-05-20 17:22:50 +0000 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) |
| 2022-05-20 17:24:32 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 244 seconds) |
| 2022-05-20 17:25:37 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-20 17:27:47 +0000 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-05-20 17:28:15 +0000 | z0k | (~z0k@39.40.3.188) (Ping timeout: 246 seconds) |
| 2022-05-20 17:30:42 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 246 seconds) |
| 2022-05-20 17:30:54 +0000 | gpncarl | (~gpncarl@120.244.220.69) |
| 2022-05-20 17:34:16 +0000 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-05-20 17:35:27 +0000 | gpncarl | (~gpncarl@120.244.220.69) (Ping timeout: 260 seconds) |
| 2022-05-20 17:36:34 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2022-05-20 17:41:49 +0000 | trillp | (~trillp@45.32.206.173) |
| 2022-05-20 17:47:54 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2022-05-20 17:49:54 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-05-20 17:50:05 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-05-20 17:59:04 +0000 | mokee | (~mokee@37.228.215.63) (Quit: off) |
| 2022-05-20 17:59:20 +0000 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 18:00:20 +0000 | Guest54 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2022-05-20 18:01:20 +0000 | mokee | (~mokee@37.228.215.63) (Client Quit) |
| 2022-05-20 18:01:35 +0000 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 18:03:33 +0000 | mokee | (~mokee@37.228.215.63) (Client Quit) |
| 2022-05-20 18:03:55 +0000 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 18:05:34 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-05-20 18:06:22 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-05-20 18:09:09 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-05-20 18:09:35 +0000 | z0k | (~z0k@39.40.115.244) |
| 2022-05-20 18:10:36 +0000 | sloorush | (~sloorush@52.187.184.81) |
| 2022-05-20 18:14:52 +0000 | odnes | (~odnes@5-203-134-31.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-05-20 18:16:22 +0000 | odnes | (~odnes@5-203-134-31.pat.nym.cosmote.net) |
| 2022-05-20 18:16:51 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-05-20 18:19:10 +0000 | chomwitt | (~chomwitt@2a02:587:dc2d:2c00:9f1b:930c:a10f:6721) |
| 2022-05-20 18:19:59 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-20 18:21:19 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-05-20 18:22:58 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-05-20 18:24:28 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 244 seconds) |
| 2022-05-20 18:25:38 +0000 | odnes_ | (~odnes@5-203-134-31.pat.nym.cosmote.net) |
| 2022-05-20 18:26:04 +0000 | fciocan42 | (~fciocan42@2a02:2f0e:a08:8200:44bb:5510:1c7f:5e55) |
| 2022-05-20 18:26:42 +0000 | odnes | (~odnes@5-203-134-31.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-05-20 18:26:57 +0000 | <fciocan42> | Where can I find if I was selected for GSoC project? |
| 2022-05-20 18:28:21 +0000 | fciocan42 | (~fciocan42@2a02:2f0e:a08:8200:44bb:5510:1c7f:5e55) (Client Quit) |
| 2022-05-20 18:28:32 +0000 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 260 seconds) |
| 2022-05-20 18:30:24 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-20 18:30:25 +0000 | fciocan42 | (~fciocan42@2a02:2f0e:a08:8200:44bb:5510:1c7f:5e55) |
| 2022-05-20 18:31:54 +0000 | mokee | (~mokee@37.228.215.63) (Quit: off) |
| 2022-05-20 18:32:18 +0000 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 18:34:52 +0000 | mokee | (~mokee@37.228.215.63) (Client Quit) |
| 2022-05-20 18:34:56 +0000 | z0k | (~z0k@39.40.115.244) (Read error: Connection reset by peer) |
| 2022-05-20 18:35:25 +0000 | fciocan42 | (~fciocan42@2a02:2f0e:a08:8200:44bb:5510:1c7f:5e55) (Quit: Client closed) |
| 2022-05-20 18:35:31 +0000 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 18:35:55 +0000 | z0k | (~z0k@39.40.112.46) |
| 2022-05-20 18:36:09 +0000 | andrey_ | (~andrey@p200300dbcf288a00dec76475e9c1494e.dip0.t-ipconnect.de) |
| 2022-05-20 18:37:41 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-20 18:38:18 +0000 | acidjnk | (~acidjnk@p200300d0c7068b5319a0501cc3e14ba8.dip0.t-ipconnect.de) |
| 2022-05-20 18:38:56 +0000 | andrey | (~andrey@p200300dbcf0a24006f5a42723aa54156.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-05-20 18:39:03 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-05-20 18:42:27 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-05-20 18:42:45 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-05-20 18:43:20 +0000 | fciocan42 | (~fciocan42@2a02:2f0e:a08:8200:b941:9e51:12a0:3100) |
| 2022-05-20 18:46:03 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 256 seconds) |
| 2022-05-20 18:47:12 +0000 | <sloorush> | fciocan42: the result is out on the gsoc portal |
| 2022-05-20 18:47:24 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2022-05-20 18:47:29 +0000 | <fciocan42> | just found them. Thanks |
| 2022-05-20 18:47:30 +0000 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) |
| 2022-05-20 18:48:19 +0000 | <sm> | were you ? |
| 2022-05-20 18:49:03 +0000 | fciocan42 | (~fciocan42@2a02:2f0e:a08:8200:b941:9e51:12a0:3100) (Quit: Client closed) |
| 2022-05-20 18:50:31 +0000 | <Henson> | I'm trying to use proto-lens in a Stack build by following along with the instructions here (https://github.com/google/proto-lens#readme). Despite setting the build-type to Custom and adjusting the Setup.hs, "stack build" doesn't seem to be running anything to automatically convert the .proto files into .hs files. Does anybody have experience using proto-lens? |
| 2022-05-20 18:51:03 +0000 | kiwi49 | (~kiwi49@user/kiwi49) |
| 2022-05-20 18:54:05 +0000 | kenran | (~kenran@200116b82b9467001002a9dee84703fe.dip.versatel-1u1.de) |
| 2022-05-20 18:54:18 +0000 | kenran | (~kenran@200116b82b9467001002a9dee84703fe.dip.versatel-1u1.de) (Client Quit) |
| 2022-05-20 18:55:47 +0000 | <maerwald> | Henson: did you upload your project somewhere? |
| 2022-05-20 18:57:47 +0000 | <Henson> | maerwald: no, it's a project for work. I haven't yet boiled it down to a minimum example that could be uploaded. I thought maybe there was something simple I'm missing to get stack to call the setup stuff described in the Setup.hs file for a Custom cabal build. |
| 2022-05-20 18:58:44 +0000 | <maerwald> | do you use a package.yaml? |
| 2022-05-20 18:58:51 +0000 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:f5ae:1c34:d517:cf9d) |
| 2022-05-20 18:59:25 +0000 | <Henson> | maerwald: a stack.yaml, but most of the configuration seems to be done in a .cabal file |
| 2022-05-20 18:59:45 +0000 | <maerwald> | so there is no 'package.yaml' in that folder? |
| 2022-05-20 19:00:18 +0000 | mokee | (~mokee@37.228.215.63) (Quit: off) |
| 2022-05-20 19:00:47 +0000 | <Henson> | maerwald: no |
| 2022-05-20 19:01:15 +0000 | zebrag | (~chris@user/zebrag) (Read error: Connection reset by peer) |
| 2022-05-20 19:01:43 +0000 | <Henson> | maerwald: I've figured out how to manually run the protobuf compiler, so if I can't figure out how to get automatic building working with "stack build", I'll just resort to manually building. |
| 2022-05-20 19:03:57 +0000 | <sm> | presumably stack does run a custom Setup.hs ? Docs are not quite clear |
| 2022-05-20 19:04:14 +0000 | <sm> | https://docs.haskellstack.org/en/stable/GUIDE/#inner-workings-of-stack |
| 2022-05-20 19:04:58 +0000 | bliminse | (~bliminse@host81-154-179-167.range81-154.btcentralplus.com) (Quit: leaving) |
| 2022-05-20 19:05:20 +0000 | <Henson> | sm: yeah, it's not clear to me either on that one. the proto-lens package's instructions appear to be for either cabal or stack |
| 2022-05-20 19:07:48 +0000 | hochata[m] | (~eqf0matri@2001:470:69fc:105::1:331a) |
| 2022-05-20 19:11:10 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) (Remote host closed the connection) |
| 2022-05-20 19:15:04 +0000 | odnes_ | (~odnes@5-203-134-31.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-05-20 19:15:22 +0000 | odnes_ | (~odnes@5-203-134-31.pat.nym.cosmote.net) |
| 2022-05-20 19:16:53 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) |
| 2022-05-20 19:16:57 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:1dc2:26d6:6439:a110) (Ping timeout: 260 seconds) |
| 2022-05-20 19:27:44 +0000 | bliminse | (~bliminse@host81-154-179-167.range81-154.btcentralplus.com) |
| 2022-05-20 19:31:24 +0000 | emad | (~emad@102.45.242.159) |
| 2022-05-20 19:35:07 +0000 | odnes_ | (~odnes@5-203-134-31.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-05-20 19:36:02 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-05-20 19:36:38 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-20 19:42:08 +0000 | Guest|33 | (~Guest|33@190.26.196.146) |
| 2022-05-20 19:42:39 +0000 | foul_owl | (~kerry@71.212.150.111) (Ping timeout: 276 seconds) |
| 2022-05-20 19:45:26 +0000 | finsternis | (~X@23.226.237.192) |
| 2022-05-20 19:48:06 +0000 | stackdroid18 | (~stackdroi@user/stackdroid) |
| 2022-05-20 19:50:21 +0000 | Guest|33 | (~Guest|33@190.26.196.146) (Quit: Connection closed) |
| 2022-05-20 19:50:38 +0000 | Guest|33 | (~Guest|33@190.26.196.146) |
| 2022-05-20 19:51:21 +0000 | <maerwald> | how can I get lamdabot in my channel? |
| 2022-05-20 19:51:39 +0000 | <geekosaur> | ask int-e |
| 2022-05-20 19:52:11 +0000 | <maerwald> | int-e: ask |
| 2022-05-20 19:56:07 +0000 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) (Remote host closed the connection) |
| 2022-05-20 19:57:47 +0000 | foul_owl | (~kerry@23.82.193.87) |
| 2022-05-20 20:05:49 +0000 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-05-20 20:08:06 +0000 | causal | (~user@50.35.83.177) |
| 2022-05-20 20:08:27 +0000 | sleym | (~sleym@user/sleym) |
| 2022-05-20 20:09:57 +0000 | flounders | (~flounders@24.246.138.231) (Ping timeout: 246 seconds) |
| 2022-05-20 20:11:34 +0000 | causal | (~user@50.35.83.177) (Client Quit) |
| 2022-05-20 20:11:54 +0000 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 20:15:32 +0000 | causal | (~user@50.35.83.177) |
| 2022-05-20 20:16:35 +0000 | pavonia | (~user@user/siracusa) |
| 2022-05-20 20:22:51 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-05-20 20:26:40 +0000 | son0p | (~ff@181.136.122.143) |
| 2022-05-20 20:29:15 +0000 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-05-20 20:32:02 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-05-20 20:33:06 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-05-20 20:35:11 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-20 20:44:23 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-05-20 20:44:25 +0000 | Guest59 | (~Guest59@pool-72-93-116-45.bstnma.fios.verizon.net) |
| 2022-05-20 20:45:11 +0000 | Guest59 | (~Guest59@pool-72-93-116-45.bstnma.fios.verizon.net) (Client Quit) |
| 2022-05-20 20:46:15 +0000 | Guest59 | (~Guest59@pool-72-93-116-45.bstnma.fios.verizon.net) |
| 2022-05-20 20:46:33 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-05-20 20:47:08 +0000 | Guest|3355 | (~Guest|33@static-186-154-239-194.static.etb.net.co) |
| 2022-05-20 20:48:42 +0000 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2022-05-20 20:49:42 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-05-20 20:49:42 +0000 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2022-05-20 20:50:17 +0000 | Guest|33 | (~Guest|33@190.26.196.146) (Ping timeout: 260 seconds) |
| 2022-05-20 20:50:24 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-05-20 20:50:43 +0000 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-05-20 20:51:43 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2022-05-20 20:52:05 +0000 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection) |
| 2022-05-20 20:52:33 +0000 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) |
| 2022-05-20 20:54:12 +0000 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2022-05-20 20:56:20 +0000 | Guest|3355 | (~Guest|33@static-186-154-239-194.static.etb.net.co) (Ping timeout: 272 seconds) |
| 2022-05-20 20:57:23 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-20 20:58:28 +0000 | phma | (phma@2001:5b0:210d:d6f8:4b9c:5e7f:8060:b1d9) (Read error: Connection reset by peer) |
| 2022-05-20 21:00:36 +0000 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2022-05-20 21:00:38 +0000 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-05-20 21:00:47 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-05-20 21:00:47 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-05-20 21:01:05 +0000 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-05-20 21:01:18 +0000 | noteness | (~noteness@user/noteness) |
| 2022-05-20 21:01:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-05-20 21:01:24 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-05-20 21:06:24 +0000 | phma | (~phma@2001:5b0:210b:8758:382:f186:838e:acb0) |
| 2022-05-20 21:07:47 +0000 | phma | (~phma@2001:5b0:210b:8758:382:f186:838e:acb0) (Read error: Connection reset by peer) |
| 2022-05-20 21:07:55 +0000 | emad | (~emad@102.45.242.159) (Remote host closed the connection) |
| 2022-05-20 21:08:02 +0000 | romesrf | (~romes@185.5.8.134) (Quit: WeeChat 3.4.1) |
| 2022-05-20 21:08:15 +0000 | phma | (~phma@host-67-44-208-86.hnremote.net) |
| 2022-05-20 21:08:34 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-05-20 21:08:52 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) |
| 2022-05-20 21:10:39 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-20 21:10:42 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) (Client Quit) |
| 2022-05-20 21:10:57 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) |
| 2022-05-20 21:13:24 +0000 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2022-05-20 21:13:46 +0000 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-05-20 21:13:57 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-05-20 21:14:27 +0000 | Guest59 | (~Guest59@pool-72-93-116-45.bstnma.fios.verizon.net) (Quit: Client closed) |
| 2022-05-20 21:14:48 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-05-20 21:17:18 +0000 | kiwi49 | (~kiwi49@user/kiwi49) (Quit: Leaving) |
| 2022-05-20 21:19:00 +0000 | trillp | (~trillp@45.32.206.173) (Quit: Leaving) |
| 2022-05-20 21:21:35 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-20 21:21:35 +0000 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection) |
| 2022-05-20 21:21:58 +0000 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) |
| 2022-05-20 21:24:13 +0000 | geekosaur | eviltwin_b |
| 2022-05-20 21:25:34 +0000 | eviltwin_b | geekosaur |
| 2022-05-20 21:26:17 +0000 | geekosaur[m] | eviltwin_b[m] |
| 2022-05-20 21:28:10 +0000 | eviltwin_b[m] | geekosaur[m] |
| 2022-05-20 21:31:50 +0000 | z0k | (~z0k@39.40.112.46) (Ping timeout: 240 seconds) |
| 2022-05-20 21:33:30 +0000 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-05-20 21:33:52 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-05-20 21:34:37 +0000 | flounders | (~flounders@24.246.138.231) (Ping timeout: 260 seconds) |
| 2022-05-20 21:35:19 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-05-20 21:36:30 +0000 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 21:38:13 +0000 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:f5ae:1c34:d517:cf9d) (Read error: Connection reset by peer) |
| 2022-05-20 21:39:58 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-05-20 21:40:14 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-20 21:40:30 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-20 21:45:44 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-20 21:46:36 +0000 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-05-20 21:46:57 +0000 | mzan | (~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-05-20 21:47:33 +0000 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2022-05-20 21:47:59 +0000 | mzan | (~quassel@mail.asterisell.com) |
| 2022-05-20 21:48:30 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-05-20 21:48:56 +0000 | mzan | (~quassel@mail.asterisell.com) (Client Quit) |
| 2022-05-20 21:52:43 +0000 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-05-20 21:55:36 +0000 | mzan | (~quassel@mail.asterisell.com) |
| 2022-05-20 21:56:03 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-05-20 21:56:57 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-05-20 21:57:14 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-05-20 22:02:06 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-05-20 22:03:04 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2022-05-20 22:03:37 +0000 | juri_ | (~juri@178.63.35.222) (Ping timeout: 248 seconds) |
| 2022-05-20 22:05:17 +0000 | geekosaur[m] | (~geekosaur@2001:470:69fc:105::2:cb7) (Changing host) |
| 2022-05-20 22:05:17 +0000 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
| 2022-05-20 22:13:47 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2022-05-20 22:14:09 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2022-05-20 22:14:42 +0000 | sleym | (~sleym@user/sleym) (Quit: sleym) |
| 2022-05-20 22:16:09 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 22:24:16 +0000 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-20 22:37:05 +0000 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection) |
| 2022-05-20 22:37:33 +0000 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) |
| 2022-05-20 22:41:07 +0000 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-05-20 22:43:24 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-05-20 22:44:11 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-05-20 22:44:16 +0000 | Guest|33 | (~Guest|33@dynamic-186-28-145-94.dynamic.etb.net.co) |
| 2022-05-20 22:44:36 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-05-20 22:46:35 +0000 | acidjnk | (~acidjnk@p200300d0c7068b5319a0501cc3e14ba8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-20 22:50:31 +0000 | juri_ | (~juri@79.140.115.101) |
| 2022-05-20 22:50:31 +0000 | juri_ | (~juri@79.140.115.101) (Read error: Connection reset by peer) |
| 2022-05-20 22:55:13 +0000 | gpncarl | (~gpncarl@120.244.220.69) |
| 2022-05-20 22:55:31 +0000 | juri_ | (~juri@178.63.35.222) |
| 2022-05-20 22:59:10 +0000 | gpncarl | (~gpncarl@120.244.220.69) (Ping timeout: 240 seconds) |
| 2022-05-20 23:00:37 +0000 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-05-20 23:03:17 +0000 | chomwitt | (~chomwitt@2a02:587:dc2d:2c00:9f1b:930c:a10f:6721) (Ping timeout: 260 seconds) |
| 2022-05-20 23:10:38 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-05-20 23:18:00 +0000 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2022-05-20 23:18:54 +0000 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-05-20 23:19:41 +0000 | <Hecate> | https://www.youtube.com/watch?v=Z28SDd9bXcE |
| 2022-05-20 23:19:44 +0000 | <Hecate> | a good talk |
| 2022-05-20 23:27:51 +0000 | travisb | tabemann |
| 2022-05-20 23:31:21 +0000 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-05-20 23:31:56 +0000 | belphegor666 | (~satan@user/belphegor666) (Remote host closed the connection) |
| 2022-05-20 23:32:05 +0000 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection) |
| 2022-05-20 23:32:19 +0000 | belphegor666 | (~satan@ip-046-223-003-068.um13.pools.vodafone-ip.de) |
| 2022-05-20 23:32:28 +0000 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) |
| 2022-05-20 23:32:48 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-20 23:33:04 +0000 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-05-20 23:34:42 +0000 | flounders | (~flounders@24.246.138.231) (Ping timeout: 246 seconds) |
| 2022-05-20 23:36:05 +0000 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection) |
| 2022-05-20 23:36:33 +0000 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) |
| 2022-05-20 23:36:49 +0000 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 23:46:36 +0000 | belphegor666 | (~satan@ip-046-223-003-068.um13.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2022-05-20 23:48:15 +0000 | wolfshappen | (~waff@irc.furworks.de) (Quit: later) |
| 2022-05-20 23:48:38 +0000 | belphegor666 | (~satan@ip-046-223-003-068.um13.pools.vodafone-ip.de) |
| 2022-05-20 23:50:33 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-05-20 23:50:53 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) |
| 2022-05-20 23:59:05 +0000 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection) |
| 2022-05-20 23:59:28 +0000 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) |
