Logs on 2023-09-13 (liberachat/#haskell)
| 00:02:03 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:02:23 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 00:03:18 | → | califax joins (~califax@user/califx) |
| 00:06:19 | × | AlexZenon quits (~alzenon@178.34.160.172) (Ping timeout: 255 seconds) |
| 00:06:35 | → | AlexNoo_ joins (~AlexNoo@178.34.160.172) |
| 00:06:36 | × | Alex_test quits (~al_test@178.34.160.172) (Ping timeout: 248 seconds) |
| 00:06:57 | → | ft joins (~ft@p508dbaa9.dip0.t-ipconnect.de) |
| 00:07:03 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 252 seconds) |
| 00:07:42 | × | AlexNoo quits (~AlexNoo@178.34.160.172) (Ping timeout: 246 seconds) |
| 00:07:54 | → | sm joins (~sm@plaintextaccounting/sm) |
| 00:13:12 | → | mysl joins (~mysl@user/mysl) |
| 00:13:24 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 00:14:03 | → | Alex_test joins (~al_test@178.34.160.172) |
| 00:14:24 | × | brankow quits (~brankow@95.180.100.181) (Ping timeout: 255 seconds) |
| 00:15:43 | → | ol_greg joins (~quassel@cpe-74-132-76-119.kya.res.rr.com) |
| 00:21:19 | → | AlexZenon joins (~alzenon@178.34.160.172) |
| 00:23:39 | <lyxia> | there is a limitation that DerivingVia doesn't work with classes like Traversable |
| 00:25:22 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 252 seconds) |
| 00:25:56 | → | sm joins (~sm@plaintextaccounting/sm) |
| 00:30:24 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 255 seconds) |
| 00:31:15 | → | mysl joins (~mysl@user/mysl) |
| 00:39:28 | → | yosef` joins (~yosef`@user/yosef/x-2947716) |
| 00:43:06 | → | sm joins (~sm@plaintextaccounting/sm) |
| 00:47:34 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 00:47:49 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 00:48:34 | × | sgarcia_ quits (sgarcia@swarm.znchost.com) (Quit: Hosted by www.ZNCHost.com) |
| 00:48:37 | × | troydm1 quits (~troydm@host-176-37-53-238.b025.la.net.ua) (Server closed connection) |
| 00:49:01 | → | troydm joins (~troydm@user/troydm) |
| 00:49:42 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 00:51:33 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 00:51:58 | × | Techcable quits (~Techcable@user/Techcable) (Remote host closed the connection) |
| 00:52:14 | → | sgarcia joins (sgarcia@swarm.znchost.com) |
| 00:55:00 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 00:58:37 | → | powderhorn joins (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 00:59:14 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 00:59:41 | × | glguy quits (glguy@libera/staff/glguy) (Quit: Quit) |
| 00:59:51 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:00:02 | → | InvictedPromethe joins (~InvictedP@c-73-181-33-70.hsd1.co.comcast.net) |
| 01:00:04 | → | glguy joins (g@libera/staff/glguy) |
| 01:03:20 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 01:04:04 | <Axman6> | deriving via is so lovely, whoever came up with that did an amazing job. A friend developed this after I mused about the idea: https://github.com/AJChapman/aeson-generic-shorthand |
| 01:05:02 | <Axman6> | (heh, oh I forgot I was even credited on the repo - I'm sure jackdk deserves som credit too) |
| 01:06:03 | <jackdk> | Axman6: not for that one, I don't think |
| 01:07:11 | <Axman6> | I just assume it's always the case, I'm an ideas guy more than an execution guy =) |
| 01:08:05 | <Axman6> | you're much better at that side than me (speaking of which, we should finish that linear streaming thing, or whatever it was) |
| 01:08:42 | <EvanR> | Haskell 66%, Nix 33% |
| 01:09:04 | <Axman6> | everything perfectly in balance, as it should be |
| 01:09:13 | <Axman6> | (don't tell jackdk I said that) |
| 01:09:25 | <EvanR> | C 1%, Makefile 99% |
| 01:10:31 | <jackdk> | Axman6: that was getting the `linear-base` streaming library to feature parity with regular `streaming`/`streaming-bytestring`. I was thinking about that last night when I was fixing up `streaming-conduit` because once again I tried to do something simple with conduits, and once again it was impossible. |
| 01:11:20 | <Axman6> | there are different infinities of impossibility between pipes and conduit though |
| 01:11:31 | <Axman6> | pipes is like infinity^2 impossible |
| 01:11:54 | × | InvictedPromethe quits (~InvictedP@c-73-181-33-70.hsd1.co.comcast.net) (Quit: Client closed) |
| 01:12:08 | <jackdk> | I really wanted to like pipes, but I never managed a nontrivial program with it =|. |
| 01:12:17 | <Axman6> | indeed |
| 01:12:49 | <Axman6> | the fact I couldn't even use it to compute the hash of some data made it pretty much useless to me |
| 01:13:06 | <EvanR> | so what's the deal with pipes |
| 01:13:12 | → | bilegeek joins (~bilegeek@2600:1008:b04c:557d:8dcd:5527:21fb:7c89) |
| 01:13:16 | <EvanR> | you two can't figure it out, that's bad |
| 01:13:56 | <Axman6> | Yeah we're pretty much rockstars and can't figure out how to make it do anything XD |
| 01:15:44 | <jackdk> | "you two" lol. I don't know, because apparently some people are wildly productive with it. `streaming` fits in my small brain, and it's made up of a very simple core type. I think several people took runs at a tricky problem, and streaming was able to cut it the right way for my small brain |
| 01:17:07 | × | codedmart_ quits (codedmart@2600:3c01::f03c:92ff:fefe:8511) (Server closed connection) |
| 01:17:25 | → | codedmart joins (~codedmart@li335-49.members.linode.com) |
| 01:17:27 | → | sm joins (~sm@plaintextaccounting/sm) |
| 01:17:37 | <Axman6> | jackdk's small brain https://i.kym-cdn.com/entries/icons/original/000/025/603/talosiannn.jpg |
| 01:18:20 | → | danza__ joins (~francesco@151.35.229.58) |
| 01:18:35 | <geekosaur> | enh. some people think I'm a rockstar because of xmonad. lol |
| 01:19:22 | <EvanR> | xmonad is funny because everone I knew that has no haskell clue knows xmonad |
| 01:19:39 | <EvanR> | and I know zero about xmonad |
| 01:19:43 | <geekosaur> | we do our best 🙂 |
| 01:20:05 | <EvanR> | is there a wayland monad |
| 01:20:28 | <geekosaur> | not yet |
| 01:20:45 | <geekosaur> | someone was supposed to be working on one this summer but I don't think they ever got to it |
| 01:20:54 | × | danza_ quits (~francesco@151.37.245.236) (Ping timeout: 245 seconds) |
| 01:21:12 | <EvanR> | was hoping for something like "that doesn't even make sense" |
| 01:21:42 | <geekosaur> | I strongly suspect we'll have to pay someone from our sponsor money to write it, and I'm not sure it's even worth it because wayland is missing some things you need to make meaningful ManageHooks, among other things |
| 01:21:50 | <EvanR> | wayland comonad |
| 01:22:06 | <geekosaur> | layouts, yes; managing windows, the windows have to say wtf they are and wayland windows don't |
| 01:22:57 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 01:23:32 | → | Inst joins (~Inst@120.244.192.250) |
| 01:24:11 | <Inst> | is HTTP conduit broken for anyone else on 9.4.7 / 9.6.2? I think it's not using the latest bytestring or something |
| 01:24:15 | → | InvictedPromethe joins (~ehonsey@c-73-181-33-70.hsd1.co.comcast.net) |
| 01:25:29 | × | InvictedPromethe quits (~ehonsey@c-73-181-33-70.hsd1.co.comcast.net) (Client Quit) |
| 01:26:20 | <jackdk> | do you have a bug report or a reproducing example? |
| 01:27:24 | <Axman6> | geekosaur: you're the xmonad rockstar??? will you autograph my lambda please? |
| 01:28:12 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 240 seconds) |
| 01:28:43 | <Axman6> | it was dons that originally wrote it right? or am I thinking of someone else |
| 01:30:16 | <Inst> | HTTP conduit is on ByteString 11.x, ugh |
| 01:30:45 | <Inst> | did snoyman really run off? :( |
| 01:31:22 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 252 seconds) |
| 01:36:49 | <jackdk> | https://www.snoyman.com/blog/babies-oss-maintenance/ his wife had twins, so I'm sure he's busy. |
| 01:36:52 | <Inst> | yup, looks like the issue is with attoparsec-aeson, which has a bytestring 11 dependency |
| 01:37:14 | <Axman6> | have you tried a sneaky --allow-newer? |
| 01:37:26 | <Inst> | I mean as long as Snoyman still cares about Haskell ecosystem, I'm fine with that; and I'm happy for him and his new kids. |
| 01:37:41 | <Inst> | I suck with cabal, why am I trying to become a cabal contributor? :( |
| 01:38:01 | <geekosaur> | --allow-newer=attoparsec-aeson:bytestring |
| 01:38:26 | <jackdk> | Because we all lift together, and that's why we have an ecosystem. |
| 01:38:31 | Axman6 | gives geekosaur a gold star |
| 01:38:57 | <Axman6> | jackdk: are you one of the blessed people who can fix hackage bounds? |
| 01:39:00 | <Inst> | thanks for suggestions |
| 01:39:15 | <jackdk> | Axman6: yes |
| 01:39:57 | <Inst> | by the way ,thanks for putting up with me thus far |
| 01:40:34 | <Axman6> | it's been tough, but I appreciate that you have improved how you interact with the channel a lot sinice your early days =) |
| 01:41:25 | <Axman6> | I probably said some pretty unkind things, so sorry for that. data Apology (a :: Un) |
| 01:41:33 | → | mysl_ joins (~mysl@user/mysl) |
| 01:42:31 | <Inst> | I try... (sorry, busy trying to figure out how to set up the cabal.project file, let me figure it out) |
| 01:43:18 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 252 seconds) |
| 01:44:00 | <Inst> | I only hope I'd be worth the investment others have made in me. :) |
| 01:45:38 | <jackdk> | Initial signs look good =) |
| 01:46:13 | × | otto_s quits (~user@p5de2f28b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 01:46:52 | <geekosaur> | suggestion here, use targeted allow-newers like what I showed instead of just --allow-newer=bytestring, that way once you have it working you can read off the libraries you need to contact about bounds updates |
| 01:47:17 | <geekosaur> | I did that when testing xmonad and my xmonad config against 9.8 alpha |
| 01:47:36 | <Axman6> | I didn't even know that was a thing until today (hence the gold star) |
| 01:48:09 | → | otto_s joins (~user@p4ff27130.dip0.t-ipconnect.de) |
| 01:48:17 | × | n0den1te quits (~n0den1te@223.178.81.181) (Quit: leaving) |
| 01:49:47 | <Inst> | i went to cabal file: allow-newer:http-conduit:bytestring |
| 01:49:57 | <Inst> | erm, cabal project file |
| 01:50:33 | → | aaronv joins (~aaronv@user/aaronv) |
| 01:50:51 | <geekosaur> | that should work at the top level iirc |
| 01:51:41 | <geekosaur> | https://cabal.readthedocs.io/en/3.8/cabal-project.html#cfg-field-allow-newer |
| 01:53:20 | → | pyooque joins (~puke@user/puke) |
| 01:53:20 | puke | is now known as Guest9579 |
| 01:53:20 | × | Guest9579 quits (~puke@user/puke) (Killed (cadmium.libera.chat (Nickname regained by services))) |
| 01:53:20 | pyooque | is now known as puke |
| 01:55:43 | × | mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Server closed connection) |
| 01:55:52 | → | mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 02:03:02 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 02:04:18 | × | yosef` quits (~yosef`@user/yosef/x-2947716) (Ping timeout: 245 seconds) |
| 02:14:11 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 02:15:18 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 02:15:25 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:17:59 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 02:18:27 | → | Inst joins (~Inst@120.244.192.250) |
| 02:22:00 | × | xff0x quits (~xff0x@2405:6580:b080:900:6189:4408:b965:9b16) (Ping timeout: 255 seconds) |
| 02:25:50 | → | yosef` joins (~yosef`@user/yosef/x-2947716) |
| 02:27:32 | <Inst> | is it possible to inline imported functions from libraries? |
| 02:27:35 | <Inst> | probably not, but... |
| 02:28:27 | <geekosaur> | if it's marked as INLINE or INLINABLE in the library, or it's small enough that ghc with optimization does so itself |
| 02:28:47 | <geekosaur> | you can dump the .hi file to see if it's present, if it is then it'll be inlined |
| 02:29:29 | <geekosaur> | ghc --show-iface path/to/Module.hi |
| 02:29:53 | → | shapr joins (~user@c-67-160-55-153.hsd1.wa.comcast.net) |
| 02:30:25 | <geekosaur> | look in cabal's store for the package, unless you vendored it |
| 02:30:56 | × | codaraxis quits (~codaraxis@user/codaraxis) (Ping timeout: 246 seconds) |
| 02:31:40 | × | habib quits (~habib@91.196.222.95) (Read error: Connection reset by peer) |
| 02:32:07 | × | chomwitt quits (~chomwitt@ppp-94-67-130-18.home.otenet.gr) (Ping timeout: 258 seconds) |
| 02:33:06 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:33:30 | <EvanR> | haskell is all about separate compilation, then it goes and does cross module inlining anyway |
| 02:33:36 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 02:36:46 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 02:37:48 | <monochrom> | The MLton people told you so. Way back in the 2000s they already wrote their compiler as a whole-program optimizer. |
| 02:38:26 | <monochrom> | Unfortunately, way back then, basically only your school's beefy server would have enough RAM for that. :) |
| 02:39:10 | <monochrom> | "This runs best with 256MB RAM" when everyone's Windows PC was at like merely 8MB or 16MB tops. |
| 02:39:59 | <monochrom> | This is why today for GHC you just s/MB/GB/ >:) |
| 02:41:46 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) (Remote host closed the connection) |
| 02:42:02 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) |
| 02:43:54 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 02:46:35 | × | td_ quits (~td@i53870916.versanet.de) (Ping timeout: 255 seconds) |
| 02:48:30 | → | td_ joins (~td@i5387093F.versanet.de) |
| 02:52:04 | → | chomwitt joins (~chomwitt@ppp-94-67-192-118.home.otenet.gr) |
| 02:55:06 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:55:06 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:55:06 | finn_elija | is now known as FinnElija |
| 02:57:00 | × | chomwitt quits (~chomwitt@ppp-94-67-192-118.home.otenet.gr) (Ping timeout: 252 seconds) |
| 02:57:33 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 02:59:55 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 252 seconds) |
| 03:00:47 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 03:01:12 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 03:02:19 | <shapr> | :t seq |
| 03:02:20 | <lambdabot> | a -> b -> b |
| 03:06:52 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) (Remote host closed the connection) |
| 03:09:40 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 03:10:08 | × | powderhorn quits (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Ping timeout: 245 seconds) |
| 03:10:14 | → | aforemny_ joins (~aforemny@i59F516E5.versanet.de) |
| 03:10:55 | × | aforemny quits (~aforemny@i59F516DD.versanet.de) (Ping timeout: 252 seconds) |
| 03:13:30 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 03:13:44 | × | iteratee quits (~kyle@162.218.222.207) (Quit: leaving) |
| 03:17:11 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 03:18:37 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 03:26:31 | × | aaronv quits (~aaronv@user/aaronv) (Remote host closed the connection) |
| 03:26:57 | → | aaronv joins (~aaronv@user/aaronv) |
| 03:33:41 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) |
| 03:40:24 | → | iteratee joins (~kyle@162.218.222.207) |
| 03:44:32 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) (Remote host closed the connection) |
| 03:50:47 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 03:52:38 | → | codaraxis joins (~codaraxis@user/codaraxis) |
| 03:58:11 | × | glguy quits (g@libera/staff/glguy) (Quit: Quit) |
| 03:58:26 | → | glguy joins (g@libera/staff/glguy) |
| 03:59:13 | × | g quits (g@libera/staff/glguy) (Remote host closed the connection) |
| 03:59:17 | → | g joins (g@libera/staff/glguy) |
| 04:05:56 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:17:45 | → | sm joins (~sm@plaintextaccounting/sm) |
| 04:18:46 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 260 seconds) |
| 04:24:27 | × | shapr quits (~user@c-67-160-55-153.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
| 04:34:07 | → | michalz joins (~michalz@185.246.207.222) |
| 04:34:30 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 04:38:13 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 04:41:10 | → | acidjnk joins (~acidjnk@p200300d6e7072f69d5e7ded915fbe1d3.dip0.t-ipconnect.de) |
| 04:49:45 | <institor> | @hoogle traversal |
| 04:49:45 | <lambdabot> | Test.Tasty.Runners newtype Traversal f |
| 04:49:45 | <lambdabot> | Test.Tasty.Runners Traversal :: f () -> Traversal f |
| 04:49:46 | <lambdabot> | Control.Lens.Combinators type Traversal s t a b = forall f . Applicative f => (a -> f b) -> s -> f t |
| 04:49:52 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Server closed connection) |
| 04:50:05 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 04:50:16 | <institor> | @t traversal |
| 04:50:16 | <lambdabot> | Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? . |
| 04:50:20 | <institor> | @type traversal |
| 04:50:21 | <lambdabot> | error: |
| 04:50:21 | <lambdabot> | • Variable not in scope: traversal |
| 04:50:21 | <lambdabot> | • Perhaps you meant one of these: |
| 04:53:38 | <probie> | :t traversal |
| 04:53:39 | <lambdabot> | error: |
| 04:53:39 | <lambdabot> | • Variable not in scope: traversal |
| 04:53:39 | <lambdabot> | • Perhaps you meant one of these: |
| 04:59:04 | × | kosmikus_ quits (~kosmikus@nullzig.kosmikus.org) (Server closed connection) |
| 04:59:17 | → | kosmikus joins (~kosmikus@nullzig.kosmikus.org) |
| 05:07:59 | <mauke> | :t traverse |
| 05:08:00 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 05:08:57 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 05:16:02 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 05:17:52 | × | danza__ quits (~francesco@151.35.229.58) (Read error: Connection reset by peer) |
| 05:18:49 | × | Ram-Z quits (~Ram-Z@li1814-254.members.linode.com) (Server closed connection) |
| 05:18:49 | → | danza__ joins (~francesco@151.35.233.135) |
| 05:19:10 | → | Ram-Z joins (~Ram-Z@li1814-254.members.linode.com) |
| 05:20:33 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 05:23:13 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 05:30:37 | × | mysl_ quits (~mysl@user/mysl) (Ping timeout: 252 seconds) |
| 05:35:41 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 05:37:37 | × | madnight quits (~madnight@static.59.103.201.195.clients.your-server.de) (Server closed connection) |
| 05:37:54 | → | madnight joins (~madnight@static.59.103.201.195.clients.your-server.de) |
| 05:40:10 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 05:41:31 | → | shapr joins (~user@c-67-160-55-153.hsd1.wa.comcast.net) |
| 05:44:14 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 245 seconds) |
| 05:45:32 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 05:45:52 | → | mysl joins (~mysl@user/mysl) |
| 05:47:39 | → | vglfr joins (~vglfr@88.155.176.214) |
| 05:51:54 | → | bilegeek_ joins (~bilegeek@199.sub-174-209-42.myvzw.com) |
| 05:54:23 | × | bilegeek quits (~bilegeek@2600:1008:b04c:557d:8dcd:5527:21fb:7c89) (Ping timeout: 246 seconds) |
| 05:56:18 | × | vglfr quits (~vglfr@88.155.176.214) (Ping timeout: 252 seconds) |
| 05:59:03 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 252 seconds) |
| 05:59:55 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 06:05:24 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 06:08:54 | → | mysl joins (~mysl@user/mysl) |
| 06:13:00 | × | ggranberry quits (sid267884@id-267884.uxbridge.irccloud.com) (Server closed connection) |
| 06:15:53 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 06:16:22 | × | bilegeek_ quits (~bilegeek@199.sub-174-209-42.myvzw.com) (Quit: Leaving) |
| 06:16:22 | → | ggranberry_ joins (sid267884@id-267884.uxbridge.irccloud.com) |
| 06:16:23 | × | Logio quits (em@kapsi.fi) (Ping timeout: 255 seconds) |
| 06:16:23 | → | Logio joins (em@kapsi.fi) |
| 06:16:23 | ggranberry_ | is now known as ggranberry |
| 06:21:13 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 06:22:35 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:27:49 | → | jinsun_ joins (~jinsun@user/jinsun) |
| 06:27:49 | × | jinsun quits (~jinsun@user/jinsun) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 06:27:50 | jinsun_ | is now known as jinsun |
| 06:31:28 | → | mmhat joins (~mmh@p200300f1c7178a38ee086bfffe095315.dip0.t-ipconnect.de) |
| 06:31:40 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 06:32:12 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 06:34:40 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:34:51 | × | mmhat quits (~mmh@p200300f1c7178a38ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 06:39:26 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:5fd8:9576:e28b:4a12) |
| 06:40:31 | × | hpc quits (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 255 seconds) |
| 06:42:05 | → | hpc joins (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 06:44:47 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 06:50:36 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 240 seconds) |
| 06:53:23 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 06:57:08 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:58:26 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 246 seconds) |
| 06:59:29 | × | shapr quits (~user@c-67-160-55-153.hsd1.wa.comcast.net) (Ping timeout: 255 seconds) |
| 06:59:55 | → | sm joins (~sm@plaintextaccounting/sm) |
| 07:00:07 | → | mysl joins (~mysl@user/mysl) |
| 07:02:43 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 07:02:44 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:04:53 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 07:09:33 | → | fendor joins (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 07:09:48 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 246 seconds) |
| 07:09:48 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 07:12:44 | aforemny_ | is now known as aforemny |
| 07:14:10 | → | chomwitt joins (~chomwitt@ppp-94-67-217-135.home.otenet.gr) |
| 07:17:02 | → | mysl joins (~mysl@user/mysl) |
| 07:17:20 | → | gmg joins (~user@user/gehmehgeh) |
| 07:29:54 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:31:07 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 07:33:26 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 246 seconds) |
| 07:34:03 | → | Inst joins (~Inst@120.244.192.250) |
| 07:34:19 | <Inst> | I started using -Wall |
| 07:35:02 | <Inst> | so I'm getting all these warning signs about "you should have used inlinable" except that I don't control the module |
| 07:39:25 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 07:40:25 | → | ubert joins (~Thunderbi@178.115.39.254.wireless.dyn.drei.com) |
| 07:41:00 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:43:41 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 07:45:16 | × | dolio quits (~dolio@130.44.134.54) (Ping timeout: 248 seconds) |
| 07:46:47 | × | nullie quits (~nullie@amsterdam.nullie.name) (Server closed connection) |
| 07:47:52 | → | nullie joins (~nullie@amsterdam.nullie.name) |
| 07:48:19 | → | chele joins (~chele@user/chele) |
| 07:49:19 | <Inst> | why are we doing this? |
| 07:49:40 | <Inst> | https://hackage.haskell.org/package/http-conduit |
| 07:49:53 | <Inst> | simpleHttp is in the Network.HTTP.Conduit package |
| 07:50:02 | <Inst> | erm, module, not the Network.HTTP.Simple package |
| 07:57:49 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 07:58:00 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 08:00:42 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:03:50 | × | ursa-major quits (~ursa-majo@static-198-44-128-154.cust.tzulo.com) (Ping timeout: 255 seconds) |
| 08:04:52 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 08:05:36 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 08:08:32 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 08:09:06 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:10:40 | × | dcoutts quits (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) (Remote host closed the connection) |
| 08:11:10 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:18:16 | → | CiaoSen joins (~Jura@2a05:5800:296:9900:664b:f0ff:fe37:9ef) |
| 08:19:58 | → | dcoutts joins (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) |
| 08:26:19 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 08:27:51 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 08:28:05 | × | remedan quits (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 250 seconds) |
| 08:30:33 | → | Guest|44 joins (~Guest|44@203.189.114.89.rev.vodafone.pt) |
| 08:31:58 | <Guest|44> | Hello, I'm trying to install haskell but i receive the following error and I tried somethings but nothing is working |
| 08:33:51 | → | jackneill__ joins (~Jackneill@20014C4E1E101A00AF91863A99D1ECF2.dsl.pool.telekom.hu) |
| 08:35:07 | → | remedan joins (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 08:36:37 | × | danza__ quits (~francesco@151.35.233.135) (Ping timeout: 255 seconds) |
| 08:37:37 | × | ubert quits (~Thunderbi@178.115.39.254.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 08:37:58 | → | ubert joins (~Thunderbi@77.119.164.71.wireless.dyn.drei.com) |
| 08:38:19 | → | dolio joins (~dolio@130.44.134.54) |
| 08:42:59 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 08:45:25 | → | danse-nr3_ joins (~francesco@151.57.237.177) |
| 08:47:52 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) |
| 08:48:56 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 08:49:48 | × | Guest|44 quits (~Guest|44@203.189.114.89.rev.vodafone.pt) (Quit: Connection closed) |
| 08:50:34 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:52:26 | × | drdo quits (~drdo@bl8-38-186.dsl.telepac.pt) (Ping timeout: 255 seconds) |
| 08:53:32 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 08:53:40 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 08:55:28 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 08:56:19 | <lisbeths> | whats wrong with iota = \ x. ( ( x \ x . \ y . \ z . ( ( x z ) ( y z ) ) ) ( \ x . \ y . x ) ) ? |
| 08:56:29 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 08:58:28 | → | sm joins (~sm@plaintextaccounting/sm) |
| 08:58:47 | <lisbeths> | its λx.(xλxyz.xz(yz))λx.λy.x |
| 09:00:04 | → | Guest|79 joins (~Guest|79@147.161.172.87) |
| 09:01:28 | × | Guest|79 quits (~Guest|79@147.161.172.87) (Client Quit) |
| 09:02:55 | <probie> | lisbeths: Is this meant to be a single point basis? |
| 09:03:14 | <lisbeths> | yes |
| 09:03:33 | × | renegade quits (~renegade@bcdcac82.skybroadband.com) (Ping timeout: 246 seconds) |
| 09:08:46 | <probie> | Is there something wrong with it? I'm fairly sure you can create λxy.x with it (`iota (iota (iota iota))`), and then applying it to that gives you λxyz.xz(yz) and you can translate all lambda terms into those two |
| 09:09:12 | → | seriously joins (~seriously@144-178-80-2.static.ef-service.nl) |
| 09:09:14 | <lisbeths> | maybe there isnt |
| 09:10:26 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 09:12:07 | → | arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 09:12:49 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 09:13:09 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 09:13:42 | × | seriously quits (~seriously@144-178-80-2.static.ef-service.nl) (Client Quit) |
| 09:14:57 | → | Inst joins (~Inst@120.244.192.250) |
| 09:17:16 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 09:17:27 | × | actioninja quits (~actioninj@user/actioninja) (Quit: see ya mane) |
| 09:21:08 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 09:21:17 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:21:56 | → | drdo joins (~drdo@bl8-38-186.dsl.telepac.pt) |
| 09:22:00 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 09:22:38 | × | yosef` quits (~yosef`@user/yosef/x-2947716) (Ping timeout: 245 seconds) |
| 09:25:47 | → | actioninja joins (~actioninj@user/actioninja) |
| 09:27:06 | → | Square2 joins (~Square4@user/square) |
| 09:27:36 | → | renegade joins (~renegade@bcdcac82.skybroadband.com) |
| 09:28:45 | <Inst> | for thought-terminating cliches: |
| 09:29:09 | <Inst> | Python might be: "There is only one way to do it", Perl might be "There are many ways to do it", but Haskell is "There is a better way to do it" |
| 09:29:34 | <Inst> | i.e, a better, not best, meaning that there's always a better abstraction out there, and it's sort of a struggle to find and reach the better abstraction and achieve higher code quality |
| 09:32:36 | <[Leary]> | lisbeths: The issue---to the extent that there is one---is in the precise definition of "combinator" and the distinction between an abstract combinator calculus and its denotation in the lambda calculus. |
| 09:33:06 | <cheater> | no haskell is "there is a more complicated way to do it" |
| 09:36:12 | <[Leary]> | lisbeths: "A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments." Hence: Ix := x; Kxy := x; Sxyz := xz(yz) defines a series of combinators. This is distinct from the denotation: mu[I] = \x. x; mu[K] = \x.\y. x; mu[S] = \x.\y.\z. xz(yz). |
| 09:36:42 | <[Leary]> | Hence, though you have a denotation for iota, you haven't defined a combinator. |
| 09:38:52 | × | sclv quits (sid39734@haskell/developer/sclv) (Server closed connection) |
| 09:39:02 | → | sclv joins (sid39734@haskell/developer/sclv) |
| 09:41:30 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 09:43:10 | × | ft quits (~ft@p508dbaa9.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:48:31 | × | hexagoxel quits (~hexagoxel@2a01:4f8:c0c:e::2) (Server closed connection) |
| 09:48:41 | → | hexagoxel joins (~hexagoxel@2a01:4f8:c0c:e::2) |
| 09:52:11 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 10:02:43 | → | bliminse joins (~bliminse@user/bliminse) |
| 10:05:14 | × | codaraxis quits (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 10:11:30 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 10:20:29 | → | Axman6 joins (~Axman6@user/axman6) |
| 10:22:13 | × | CiaoSen quits (~Jura@2a05:5800:296:9900:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds) |
| 10:22:14 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 10:22:47 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 10:25:15 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 10:26:31 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:26:41 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 258 seconds) |
| 10:43:47 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 10:47:19 | × | glguy quits (g@libera/staff/glguy) (Read error: Connection reset by peer) |
| 10:47:24 | → | glguy_ joins (g@libera/staff/glguy) |
| 10:48:05 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 255 seconds) |
| 10:48:06 | × | g quits (g@libera/staff/glguy) (Read error: Connection reset by peer) |
| 10:48:09 | → | g_ joins (glguy@libera/staff/glguy) |
| 10:48:09 | g_ | is now known as g |
| 10:48:27 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 10:49:15 | → | Square3 joins (~Square4@user/square) |
| 10:49:17 | <Inst> | how fatal is it to performance if, say, for a program that might end up going through tens of thousands of entries, I base it on a sumtype for the entries? |
| 10:51:02 | <Inst> | i.e, the idea is that there's a central dispatcher function that reads a data structure then routes the data potentially to another, separate function? |
| 10:51:24 | × | Square2 quits (~Square4@user/square) (Ping timeout: 255 seconds) |
| 10:57:14 | <lortabac> | Inst: IIRC someone here did something similar, they generated Haskell files with huge data types |
| 10:57:58 | <lortabac> | dminuoso: was it you? |
| 10:59:14 | <Inst> | whoa, can't figure out what the limit is for sum types; in theory, it should be infinite but there's probably practical compiler limits |
| 11:01:01 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 11:06:01 | ← | Unhammer parts (~Unhammer@user/unhammer) (WeeChat 2.3) |
| 11:07:12 | → | xff0x joins (~xff0x@2405:6580:b080:900:9311:4ac5:5e3e:3a1c) |
| 11:09:33 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 11:11:03 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:11:43 | <albet70> | what's the difference between ST Monad and IO Monad? |
| 11:13:18 | <hpc> | IO does IO |
| 11:13:22 | <hpc> | they're otherwise identical |
| 11:14:04 | <hpc> | (internally, where ST has its whole 'forall s' thing, IO has a value of type RealWorld# instead) |
| 11:17:20 | × | arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 11:18:28 | <Inst> | does anyone know what's going on with basement? It's stopping my Haddocks from compiling |
| 11:18:28 | <[exa]> | just wondering, is it actually correct to say that IO is a specialization of ST? |
| 11:18:40 | <[exa]> | Inst: which basement |
| 11:21:12 | <albet70> | what's the big difference between ST and State? :) |
| 11:21:32 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 11:21:36 | <[exa]> | Inst: re your performance question: the indirections shouldn't technically matter too much IF they can be cached by the branch predictor of the CPU. The usual exercise that we did with C++ is that you process 1 million random-type elements in array via "abstract interface" (forcing the dispatch), and then you sort them by type and do the "same thing" except it goes like 10x faster because of the branch |
| 11:21:42 | <[exa]> | predictor has much better success rate |
| 11:22:11 | <albet70> | actually I was confused about ST, I thought that ST is StateT, and it's not |
| 11:22:35 | <albet70> | but they both have S s a type |
| 11:22:56 | <[Leary]> | [exa]: Newtype wrappers aside, yes. We could unify them and have `type IO = ST RealWorld`, `type IORef = STRef RealWorld`. Oh wow, now that I look, we actually have: `newtype IORef a = IORef (STRef RealWorld a)`. |
| 11:25:20 | <[exa]> | ok wow. :D |
| 11:25:31 | × | mmaruseacph2 quits (~mihai@mihai.page) (Server closed connection) |
| 11:25:46 | → | mmaruseacph2 joins (~mihai@mihai.page) |
| 11:27:35 | <Inst> | [exa] basement-0.0.16, the Vincent Hanquez library |
| 11:27:50 | → | sm joins (~sm@plaintextaccounting/sm) |
| 11:28:30 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 11:28:33 | <[exa]> | Inst: ah. pastebin the error? |
| 11:35:59 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 11:37:45 | <Inst> | Error: cabal: Failed to build documentation for basement-0.0.16 (which is |
| 11:37:45 | <Inst> | required by kisevalter-0). |
| 11:38:08 | <dminuoso> | albet70: ST allows you to something along the lines of `run :: ST ... a -> a` in a safe manner, where IO does not. |
| 11:38:20 | <dminuoso> | And that really is what ST is all about. |
| 11:38:23 | <dminuoso> | Its being able to do that. |
| 11:38:45 | <dminuoso> | iow you cant do IO in pure code (safely), but you can do ST in pure code. |
| 11:40:13 | <Inst> | You should be able to do IO in pure code safely, no? But it's up to the user to prove that it's safe. |
| 11:40:24 | <dminuoso> | As a concrete example, if you want to do an efficient quicksort, it has to be inplace using memory operations. We can do memory operations using `IO`, but a sort using that would then have `sort :: Ord a => [a] -> IO [a]`, which would be terribly inconvenient. |
| 11:41:12 | <dminuoso> | With ST you can sort of delimit the memory operations and embed it into pure code, such that the "effectful memory operations" are hidden and not observable outside. |
| 11:41:22 | <dminuoso> | And make it `sort :: Ord a => [a] -> [a]` |
| 11:41:41 | <dminuoso> | Well, maybe name the identifier `quicksort` in all those examples, since i dont want imply that thats what sort is doing. |
| 11:42:31 | <albet70> | GADTs give me a very OOP feel |
| 11:42:35 | → | Guest82 joins (~Guest82@81.14.166.252) |
| 11:42:57 | <dminuoso> | Inst: By safely I mean that there is no proof obligation. |
| 11:43:09 | <dminuoso> | If you are obligied to prove that it doesnt cause damage, its not safe. |
| 11:43:30 | <dminuoso> | s/obligied/obligated/ |
| 11:43:45 | <dminuoso> | Sort of how C is not a safe language, despite being able to write code that doesnt misbehave. |
| 11:44:47 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 11:46:28 | <dminuoso> | `unsafePerformIO` is really treacherous in so many ways. I once had a case where it caused all references in a `[IORef a]` to alias to the same variable in a highly non-local fashion (because GHC transformed and floated bindings around the entire module). |
| 11:47:19 | <dminuoso> | Inst: In fact, quite literally that function *says* that its unsafe. :P |
| 11:49:39 | <exarkun> | Surely that's a warning for someone else though, not for me |
| 11:49:53 | <dminuoso> | That's what I thought too. :) |
| 11:50:20 | × | libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving) |
| 11:50:23 | <dminuoso> | Some of its consequences are not easily visible. |
| 11:51:03 | Lycurgus | bets there have been suggestions to remove it |
| 11:52:18 | × | Guest82 quits (~Guest82@81.14.166.252) (Quit: Client closed) |
| 11:53:28 | <Inst> | unsafePerformIO being unsafe is precisely why it's fun :) |
| 11:54:21 | <Lycurgus> | do it another lang, link or other interface |
| 11:54:28 | × | nurupo quits (~nurupo.ga@user/nurupo) (Server closed connection) |
| 11:54:42 | → | nurupo joins (~nurupo.ga@user/nurupo) |
| 11:55:54 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 11:58:08 | → | CiaoSen joins (~Jura@2a05:5800:296:9900:664b:f0ff:fe37:9ef) |
| 11:58:40 | <Lycurgus> | *in |
| 11:59:20 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:5fd8:9576:e28b:4a12) (Remote host closed the connection) |
| 11:59:36 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:4d6b:d2ef:1b5a:a314) |
| 12:01:17 | × | eugenrh_ quits (~eugenrh@2a01:4f9:c011:265::1) (Quit: WeeChat 3.7.1) |
| 12:01:27 | → | ripspin joins (~chatzilla@1.145.244.47) |
| 12:01:37 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 12:04:58 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:05:31 | × | danse-nr3_ quits (~francesco@151.57.237.177) (Ping timeout: 252 seconds) |
| 12:09:18 | → | danse-nr3_ joins (~francesco@151.57.237.177) |
| 12:12:23 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:13:16 | × | dexter1 quits (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (Server closed connection) |
| 12:13:44 | → | dexter1 joins (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 12:17:35 | glguy_ | is now known as glguy |
| 12:20:12 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 252 seconds) |
| 12:25:26 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 12:27:09 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 12:28:37 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:31:09 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 12:31:59 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 12:32:05 | → | sm joins (~sm@plaintextaccounting/sm) |
| 12:33:07 | × | phma quits (~phma@host-67-44-208-181.hnremote.net) (Read error: Connection reset by peer) |
| 12:33:58 | → | phma joins (~phma@2001:5b0:211c:6ca8:c0b7:f8d:a88d:dfb6) |
| 12:34:20 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 12:34:56 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 12:36:21 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 12:38:21 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 12:40:51 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Remote host closed the connection) |
| 12:41:16 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 12:45:27 | × | danse-nr3_ quits (~francesco@151.57.237.177) (Read error: Connection reset by peer) |
| 12:45:51 | → | danse-nr3_ joins (~francesco@151.57.253.5) |
| 12:48:05 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 12:48:05 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 12:48:05 | → | wroathe joins (~wroathe@user/wroathe) |
| 12:57:17 | → | sm joins (~sm@plaintextaccounting/sm) |
| 13:02:58 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 13:05:04 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 13:07:22 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 13:12:05 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Quit: WeeChat 4.0.3) |
| 13:14:14 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 13:15:52 | <ph88> | does anyone know a "maybeFilter" function like? (a -> Boolean) -> Maybe a -> Maybe a |
| 13:16:35 | <ph88> | nvm i couldn't find it because i mispelled Boolean :/ |
| 13:17:05 | <ph88> | why is it in this module though? https://hackage.haskell.org/package/ghc-9.6.1/docs/GHC-Data-TrieMap.html#v:filterMaybe |
| 13:19:19 | AlexNoo_ | is now known as AlexNoo |
| 13:20:02 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 13:20:12 | <ncf> | :t mfilter -- ph88 |
| 13:20:13 | <lambdabot> | MonadPlus m => (a -> Bool) -> m a -> m a |
| 13:20:38 | <ph88> | nice, thanks ncf |
| 13:20:58 | <ph88> | what does MonadPlus mean ? |
| 13:21:15 | <dminuoso> | Nobody really knows. |
| 13:21:21 | <ncf> | it's Alternative for monads |
| 13:21:32 | <dminuoso> | There's a list of very vague things that nobody can agrees on what MonadPlus is for. |
| 13:21:44 | <ncf> | https://en.wikibooks.org/wiki/Haskell/Alternative_and_MonadPlus#MonadPlus |
| 13:26:32 | → | Cale joins (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 13:26:43 | → | sm joins (~sm@plaintextaccounting/sm) |
| 13:28:02 | → | caubert joins (~caubert@user/caubert) |
| 13:29:33 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 13:32:34 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 13:35:00 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 13:37:25 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 13:38:26 | <danse-nr3_> | :t filter . fmap |
| 13:38:27 | <lambdabot> | error: |
| 13:38:27 | <lambdabot> | • Couldn't match type ‘f b’ with ‘Bool’ |
| 13:38:27 | <lambdabot> | Expected type: (a -> b) -> f a -> Bool |
| 13:38:30 | → | img joins (~img@user/img) |
| 13:40:15 | <[Leary]> | > find even <$> [Nothing, Just 0, Just 1] |
| 13:40:17 | <lambdabot> | [Nothing,Just 0,Nothing] |
| 13:42:09 | → | ystael joins (~ystael@user/ystael) |
| 13:47:01 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 13:51:40 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:56:15 | × | jocke-l quits (jocke-l@a.x0.is) (Server closed connection) |
| 13:56:37 | → | sm joins (~sm@plaintextaccounting/sm) |
| 13:56:40 | → | jocke-l joins (jocke-l@a.x0.is) |
| 14:00:12 | → | ubert1 joins (~Thunderbi@77.119.172.185.wireless.dyn.drei.com) |
| 14:01:30 | × | ubert quits (~Thunderbi@77.119.164.71.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 14:01:31 | ubert1 | is now known as ubert |
| 14:01:34 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 14:01:35 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 14:02:41 | <lisbeths> | how can I use the y combinator to take more and more arguments until the next argument is equal to zero |
| 14:03:07 | → | Pickchea joins (~private@user/pickchea) |
| 14:03:23 | <lisbeths> | I have implemented factorial with the y combinator but I am unsure of how to take an argument from the outside |
| 14:03:28 | <ncf> | https://en.wikipedia.org/wiki/XY_problem |
| 14:03:44 | ncf | . o O ( in this case, "how can i use Y to do X" ) |
| 14:04:01 | <lisbeths> | How do you propose that I recurse without Y |
| 14:04:44 | <ncf> | > let go 0 = 0; go n = 1 + go (n - 1) in go 3 |
| 14:04:45 | <lambdabot> | 3 |
| 14:05:03 | <lisbeths> | I can't do that I'm using pure lambda calculus. |
| 14:06:36 | <lisbeths> | I want to recursively take a church encoded integer and if that integer is zero I want to return zero and if it is not zero I want to recurse |
| 14:06:54 | <lisbeths> | But I do not know how to take an argument with the y combinator |
| 14:09:08 | <int-e> | > fix (\go n -> if n == 0 then 0 else 1 + go (n - 1)) 3 |
| 14:09:09 | <lambdabot> | 3 |
| 14:09:19 | <ncf> | so you want something like Y F 0 = 0, Y F 5 0 = 1; Y F 5 6 0 = 2, ... ? |
| 14:09:24 | <dolio> | Usually having a Church encoded integer lets you do exactly that. |
| 14:11:58 | <ncf> | Y (λ f n. n (λ _. suc ∘ f) (const 0)) |
| 14:12:21 | <ncf> | not well-typed, of course |
| 14:13:22 | <ncf> | wait, does that work |
| 14:14:45 | <ncf> | maybe 0 instead of const 0 |
| 14:15:40 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 14:21:18 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 246 seconds) |
| 14:22:21 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 246 seconds) |
| 14:22:21 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 246 seconds) |
| 14:22:42 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 246 seconds) |
| 14:22:42 | <lisbeths> | this-func (succ false) (succ false) (succ false) zero => zero |
| 14:23:03 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 246 seconds) |
| 14:23:03 | × | califax quits (~califax@user/califx) (Ping timeout: 246 seconds) |
| 14:24:27 | <lisbeths> | I need to recursively take arguments, make a decision based on what the argument is, and if the argument decision returns true I need to return a value |
| 14:24:39 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 14:25:03 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 252 seconds) |
| 14:27:00 | <[Leary]> | lisbeths: ncf pretty much gave it to you already, plus or minus a const and a suc. |
| 14:29:09 | <lisbeths> | y \ recurse x y . recurse => will this just keep taking two argumentse infinitely? |
| 14:29:35 | <[Leary]> | Should do. |
| 14:30:35 | <ncf> | i think unlambda calls this the v(oid) combinator |
| 14:31:03 | <ncf> | http://www.madore.org/~david/programs/unlambda/#void |
| 14:31:35 | × | systemfault quits (sid267009@about/typescript/member/systemfault) (Server closed connection) |
| 14:31:44 | → | systemfault joins (sid267009@about/typescript/member/systemfault) |
| 14:33:01 | <int-e> | ncf: You can use an extra argument and aim for Y F acc 0 = acc, Y F acc n = Y F (acc + 1). |
| 14:33:38 | <ncf> | if `fix const` type-checked, you'd have fix const x = const (fix const) x = fix const |
| 14:34:07 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 14:34:55 | <int-e> | (The extra argument will work better than any attempt of function composition when faced with a variable number of arguments. I don't know how this is relevant to Haskell. :P) |
| 14:35:10 | <lisbeths> | thank you my program works now |
| 14:35:24 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 14:35:46 | <[Leary]> | % :t fix \until p x -> if p x then Produce x else Take \y -> until p y |
| 14:35:46 | <yahb2> | fix \until p x -> if p x then Produce x else Take \y -> until p y ; :: (t -> Bool) -> t -> ManyToOne t t |
| 14:35:53 | <[Leary]> | The Haskell version. :) |
| 14:36:12 | → | califax joins (~califax@user/califx) |
| 14:36:24 | × | drdo quits (~drdo@bl8-38-186.dsl.telepac.pt) (Ping timeout: 255 seconds) |
| 14:36:32 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 14:36:55 | <[Leary]> | Though the second arg is superfluous. |
| 14:37:44 | → | Simikando joins (~Simikando@bband-dyn237.95-103-149.t-com.sk) |
| 14:38:00 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 14:38:04 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 14:38:05 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 14:38:46 | → | sm joins (~sm@plaintextaccounting/sm) |
| 14:40:13 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 14:40:59 | → | drdo joins (~drdo@bl8-38-186.dsl.telepac.pt) |
| 14:45:38 | × | tv quits (~tv@user/tv) (Quit: derp) |
| 14:47:36 | × | Simikando quits (~Simikando@bband-dyn237.95-103-149.t-com.sk) (Ping timeout: 246 seconds) |
| 14:47:40 | × | gmc quits (sid58314@id-58314.ilkley.irccloud.com) (Server closed connection) |
| 14:47:49 | → | gmc joins (sid58314@id-58314.ilkley.irccloud.com) |
| 14:50:50 | → | ubert1 joins (~Thunderbi@77.119.172.185.wireless.dyn.drei.com) |
| 14:50:53 | × | dragestil quits (~znc@user/dragestil) (Server closed connection) |
| 14:51:13 | → | dragestil joins (~znc@user/dragestil) |
| 14:51:24 | × | ubert quits (~Thunderbi@77.119.172.185.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 14:51:24 | ubert1 | is now known as ubert |
| 14:53:16 | → | Simikando joins (~Simikando@bband-dyn237.95-103-149.t-com.sk) |
| 14:54:14 | → | Square2 joins (~Square4@user/square) |
| 14:55:49 | × | ripspin quits (~chatzilla@1.145.244.47) (Remote host closed the connection) |
| 14:56:34 | × | Square3 quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 15:05:29 | → | gmg joins (~user@user/gehmehgeh) |
| 15:09:27 | × | Simikando quits (~Simikando@bband-dyn237.95-103-149.t-com.sk) (Ping timeout: 255 seconds) |
| 15:10:09 | × | masterbuilder quits (~masterbui@user/masterbuilder) (Quit: Lost terminal) |
| 15:10:21 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 15:10:29 | × | CiaoSen quits (~Jura@2a05:5800:296:9900:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds) |
| 15:10:42 | → | masterbuilder joins (~masterbui@user/masterbuilder) |
| 15:12:29 | × | migas quits (~migas@astra4961.startdedicated.net) (Quit: Ping timeout (120 seconds)) |
| 15:12:54 | → | migas joins (~migas@astra4961.startdedicated.net) |
| 15:12:58 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 15:15:07 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 15:17:09 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 15:19:07 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 15:21:09 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 246 seconds) |
| 15:22:08 | <ph88> | does someone know a library function to check if there are cyclic dependencies ? |
| 15:23:27 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 15:26:32 | <danse-nr3_> | you mean cycles among functions ph88? |
| 15:27:00 | <danse-nr3_> | cycles among modules would not compile |
| 15:27:28 | <ph88> | danse-nr3_, no just of some kind of polymorphic structure for example forall a. Vector (a, Vector a) -> Bool where first a is a thing, and the second part of the tuple it's dependencies |
| 15:28:58 | → | notzmv joins (~zmv@user/notzmv) |
| 15:30:30 | <danse-nr3_> | sounds a bit as a confusing question to me. I do not see it as a dependency but as a relation. It could be the second part of the tuple to determine what has to come before, once that function is specialised |
| 15:30:40 | × | michalz quits (~michalz@185.246.207.222) (Ping timeout: 252 seconds) |
| 15:31:49 | <mauke> | there's probably a standard algorithm for checking for cycles in a directed graph |
| 15:32:23 | <ph88> | mauke, nice keywords you gave me, i will search for it |
| 15:32:49 | <danse-nr3_> | yeah but what is the direction here? a1 = a2 |
| 15:34:37 | <ph88> | danse-nr3_, the direction is relation = (a, Vector a) fst relation points to each of snd relation |
| 15:35:36 | <ph88> | i just found this https://stackoverflow.com/q/8935323/1833322 the poster has a similar structure based on lists |
| 15:35:51 | × | masterbuilder quits (~masterbui@user/masterbuilder) (Quit: leaving) |
| 15:35:55 | × | davl quits (~davl@207.154.228.18) (Server closed connection) |
| 15:35:58 | × | res0nat0r0844909 quits (~Fletch@falcon.whatbox.ca) (Server closed connection) |
| 15:36:12 | → | res0nat0r0844909 joins (~Fletch@falcon.whatbox.ca) |
| 15:36:23 | → | davl joins (~davl@207.154.228.18) |
| 15:37:42 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:4d6b:d2ef:1b5a:a314) (Quit: WeeChat 2.8) |
| 15:37:50 | → | masterbuilder joins (~masterbui@user/masterbuilder) |
| 15:39:14 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) (Ping timeout: 255 seconds) |
| 15:42:09 | × | phma quits (~phma@2001:5b0:211c:6ca8:c0b7:f8d:a88d:dfb6) (Read error: Connection reset by peer) |
| 15:42:40 | × | xmachina quits (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 15:42:50 | → | phma joins (~phma@host-67-44-208-141.hnremote.net) |
| 15:42:51 | × | pie_ quits (~pie_bnc@user/pie/x-2818909) (Server closed connection) |
| 15:42:56 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 15:43:00 | → | pie_ joins (~pie_bnc@user/pie/x-2818909) |
| 15:46:28 | → | ripspin joins (~chatzilla@1.145.231.239) |
| 15:47:17 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 15:48:34 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 15:54:52 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) |
| 16:08:45 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) (Remote host closed the connection) |
| 16:08:51 | × | ripspin quits (~chatzilla@1.145.231.239) (Remote host closed the connection) |
| 16:15:32 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 16:18:12 | × | fendor quits (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Ping timeout: 240 seconds) |
| 16:21:16 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:21:40 | → | accord joins (uid568320@id-568320.hampstead.irccloud.com) |
| 16:23:18 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 16:25:25 | → | ystael joins (~ystael@user/ystael) |
| 16:25:49 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 16:27:09 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 16:29:05 | × | Katarushisu1 quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 16:29:18 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 16:29:22 | → | Katarushisu1 joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 16:33:22 | → | sm joins (~sm@plaintextaccounting/sm) |
| 16:35:34 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 16:37:18 | × | hgolden quits (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 16:38:16 | → | xmachina joins (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 16:41:05 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 16:41:10 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:42:24 | → | m5zs7k joins (aquares@web10.mydevil.net) |
| 16:42:37 | × | acidjnk quits (~acidjnk@p200300d6e7072f69d5e7ded915fbe1d3.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 16:45:51 | × | danse-nr3_ quits (~francesco@151.57.253.5) (Ping timeout: 252 seconds) |
| 16:46:36 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) |
| 16:50:07 | → | powderhorn joins (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 16:52:27 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 16:52:33 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) (Remote host closed the connection) |
| 16:52:49 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 16:55:29 | × | Square2 quits (~Square4@user/square) (Ping timeout: 245 seconds) |
| 16:58:16 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 17:03:24 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 17:09:15 | × | byorgey quits (~byorgey@155.138.238.211) (Server closed connection) |
| 17:09:24 | → | byorgey joins (~byorgey@155.138.238.211) |
| 17:09:35 | × | xmachina quits (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 17:11:11 | → | xmachina joins (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 17:13:18 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 17:13:46 | → | sm joins (~sm@plaintextaccounting/sm) |
| 17:18:51 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:22:43 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 17:23:54 | → | danza joins (~francesco@151.37.245.221) |
| 17:33:03 | × | xmachina quits (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 17:37:32 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 17:40:26 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 17:44:38 | × | zups quits (~meow@2a01:4f9:c010:6036::1) (Server closed connection) |
| 17:44:58 | → | zups joins (~meow@2a01:4f9:c010:6036::1) |
| 17:47:43 | → | xmachina joins (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 17:52:00 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:02:17 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 18:03:41 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Quit: WeeChat 4.0.3) |
| 18:06:35 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 18:09:19 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 18:12:38 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) |
| 18:16:27 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 18:16:48 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 18:17:12 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Max SendQ exceeded) |
| 18:18:21 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 18:19:44 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Max SendQ exceeded) |
| 18:20:51 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 18:25:03 | → | aaronv joins (~aaronv@user/aaronv) |
| 18:29:25 | <ph88> | when going from Vector to List is better to do map f $ V.toList vec or V.toList $ V.map f vec |
| 18:29:52 | <glguy> | ph88: I'd expect the second fragment to be better |
| 18:30:15 | <glguy> | The vector is generally set up to fuse multiple passes over the data |
| 18:31:52 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 18:32:27 | × | nyc quits (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) (Remote host closed the connection) |
| 18:32:35 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 18:40:57 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) (Remote host closed the connection) |
| 18:42:04 | → | fendor joins (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 18:45:35 | → | Pickchea joins (~private@user/pickchea) |
| 18:56:28 | <ph88> | good to know !! thank you |
| 18:57:48 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 18:57:52 | → | acidjnk joins (~acidjnk@p200300d6e7072f69d95e0f42a9292ff4.dip0.t-ipconnect.de) |
| 19:03:22 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 19:11:22 | → | lex_ joins (~alex@188.26.233.194) |
| 19:25:18 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:25:21 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 19:25:25 | × | cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 19:26:02 | → | cafkafk joins (~cafkafk@fsf/member/cafkafk) |
| 19:28:08 | <ph88> | anyone know a function that makes strings like a,b,c,..,z,aa,ab,ac,..,az,ba,bb,bc ? |
| 19:28:18 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 19:29:29 | <probie> | ph88: and then "aaa", "aab"? |
| 19:30:09 | <ncf> | > [1..] >>= replicateM `flip` ['a'..'z'] |
| 19:30:10 | <lambdabot> | ["a","b","c","d","e","f","g","h","i","j","k","l","m","n","o","p","q","r","s"... |
| 19:30:18 | <ncf> | > [1..] >>= replicateM `flip` ['a'..'c'] |
| 19:30:20 | <lambdabot> | ["a","b","c","aa","ab","ac","ba","bb","bc","ca","cb","cc","aaa","aab","aac",... |
| 19:30:38 | <justsomeguy> | I have a String, and want to print out all of the unicode codepoints in the string. Is there anything in base that will let me do that? |
| 19:30:43 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 19:31:07 | <ncf> | % mapM_ (print . fromEnum) "hi" |
| 19:31:07 | <yahb2> | 104 ; 105 |
| 19:31:18 | <EvanR> | > map (\n -> showIntAtBase 26 (['a'..'z'] !!) n) [0..] |
| 19:31:18 | <geekosaur> | > map ord "abc" |
| 19:31:19 | <lambdabot> | [<[Char] -> [Char]>,<[Char] -> [Char]>,<[Char] -> [Char]>,<[Char] -> [Char]>... |
| 19:31:19 | <lambdabot> | [97,98,99] |
| 19:31:21 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:31:26 | × | jackneill__ quits (~Jackneill@20014C4E1E101A00AF91863A99D1ECF2.dsl.pool.telekom.hu) (Ping timeout: 255 seconds) |
| 19:31:30 | <EvanR> | > map (\n -> showIntAtBase 26 (['a'..'z'] !!) n "") [0..] |
| 19:31:31 | <lambdabot> | ["a","b","c","d","e","f","g","h","i","j","k","l","m","n","o","p","q","r","s"... |
| 19:32:00 | <ncf> | cute |
| 19:32:10 | <EvanR> | (it's not right though...) |
| 19:32:24 | <geekosaur> | justsomeguy, if it's not yet clear, a String is not UTF8-encoded, it is a list of codepoints |
| 19:32:33 | <geekosaur> | Text is UTF8 |
| 19:32:39 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:50ab:f6a5:887a:13b) |
| 19:33:18 | <ph88> | ncf, thanks, i never understand such things with list monad |
| 19:33:29 | <monochrom> | Even "Text is UTF8" is an implementation detail that you won't be able to discern from the API. |
| 19:33:55 | → | beka joins (~beka@104.193.170.240) |
| 19:34:14 | <EvanR> | except for UTF-16 surrogates |
| 19:34:58 | <EvanR> | which can make it into a Text if it uses UTF-8 |
| 19:37:12 | × | ubert quits (~Thunderbi@77.119.172.185.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 19:39:25 | <EvanR> | the standard says those shouldn't be encoded regardless, but haskell doesn't care by default |
| 19:40:20 | <justsomeguy> | If I use ord ' ' to get the codepoint of the space character, which results in 32, and then look up U+0032 on unicodeplus.com, I get a different character, 2. |
| 19:40:40 | <monochrom> | decimal vs hexadecimal? |
| 19:41:03 | <monochrom> | decimal 32 means U+0020 |
| 19:41:29 | <monochrom> | U+0032 means decimal 48+2 |
| 19:41:30 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 19:41:43 | <monochrom> | > ord '2' |
| 19:41:45 | <lambdabot> | 50 |
| 19:41:50 | <EvanR> | 32 is decimal |
| 19:41:52 | <probie> | > 0x32 |
| 19:41:54 | <lambdabot> | 50 |
| 19:41:56 | <EvanR> | er |
| 19:42:08 | <EvanR> | yeah |
| 19:42:16 | <EvanR> | and 48 (decimal) is '0' |
| 19:42:17 | <justsomeguy> | Are codepoints usually formatted in hex? |
| 19:42:35 | <EvanR> | U+NNNN is hex |
| 19:42:41 | <monochrom> | The "U+foobar" notation is always in hexadecimal. That's part of the standard. |
| 19:42:56 | <justsomeguy> | Alright, that explains my confusion.... |
| 19:43:01 | → | Inst joins (~Inst@120.244.192.250) |
| 19:43:03 | <monochrom> | ord gives Int and Int's Show instance gives decimal. |
| 19:44:04 | <EvanR> | > ord ' ' |
| 19:44:05 | <lambdabot> | 32 |
| 19:44:08 | <EvanR> | > '\32' |
| 19:44:10 | <lambdabot> | ' ' |
| 19:44:18 | <EvanR> | basic sanity checked |
| 19:45:04 | <monochrom> | oct 31 = dec 25 |
| 19:45:37 | <EvanR> | so that's how they decided the switch from julian to gregorian |
| 19:45:50 | <monochrom> | yeah |
| 19:46:34 | <EvanR> | wait, one of those is a federal holiday the other is not |
| 19:46:44 | <EvanR> | congruence failed |
| 19:47:10 | <monochrom> | This is known as "spontaneous symmetry breaking". |
| 19:47:47 | <monochrom> | I heard that it's because the Higg's field treats them differently so they act a bit differently. |
| 19:49:40 | × | billchenchina quits (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 19:53:58 | × | lilata quits (~lilata@137.184.4.49) (Quit: Ping timeout (120 seconds)) |
| 19:54:15 | → | lilata joins (~lilata@137.184.4.49) |
| 19:54:40 | × | meejah quits (~meejah@rutas.meejah.ca) (Ping timeout: 258 seconds) |
| 19:55:17 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 19:55:46 | → | meejah joins (~meejah@rutas.meejah.ca) |
| 19:57:03 | → | michalz joins (~michalz@185.246.207.217) |
| 19:57:05 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) |
| 19:57:36 | → | codaraxis joins (~codaraxis@user/codaraxis) |
| 19:58:50 | × | codaraxis quits (~codaraxis@user/codaraxis) (Remote host closed the connection) |
| 19:59:16 | → | codaraxis joins (~codaraxis@user/codaraxis) |
| 20:00:20 | × | codaraxis quits (~codaraxis@user/codaraxis) (Max SendQ exceeded) |
| 20:00:45 | × | haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 20:02:30 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 20:03:31 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 20:03:54 | → | haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 20:04:01 | → | codaraxis___ joins (~codaraxis@user/codaraxis) |
| 20:06:34 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 20:08:53 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:17:36 | <exarkun> | When using hspec and quickcheck, I put `parallel` around my whole Spec but this only encourages the runner to run different properties in parallel with each other. is there a way to have quickcheck test an individual property in parallel? |
| 20:18:29 | <geekosaur> | I don't think it can since it does shrinking based on earlier results? |
| 20:18:52 | → | pavonia joins (~user@user/siracusa) |
| 20:19:42 | <geekosaur> | it's not just picking random values, it's refining them via shrinking |
| 20:20:32 | <exarkun> | I think the values it picks form a tree structure, I guess it could explore sibling branches in parallel somehow? |
| 20:21:06 | <exarkun> | I just realized that for my purposes I can put two copies of the same property into the hspec tree, I think |
| 20:21:27 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 252 seconds) |
| 20:22:48 | × | powderhorn quits (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed) |
| 20:23:10 | × | fendor quits (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 20:29:15 | × | connrs quits (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 20:32:05 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:32:14 | → | ft joins (~ft@p508dbaa9.dip0.t-ipconnect.de) |
| 20:32:59 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 20:36:15 | → | Maeda joins (~Maeda@91-161-10-149.subs.proxad.net) |
| 20:36:50 | → | Inst joins (~Inst@120.244.192.250) |
| 20:37:30 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 20:37:51 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:38:12 | × | vgtw quits (~vgtw@user/vgtw) (Ping timeout: 240 seconds) |
| 20:39:28 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:50ab:f6a5:887a:13b) (Quit: WeeChat 2.8) |
| 20:39:56 | → | vgtw joins (~vgtw@user/vgtw) |
| 20:40:13 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 240 seconds) |
| 20:41:47 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 20:41:58 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 20:42:00 | × | df quits (~ben@justworks.xyz) (Server closed connection) |
| 20:42:13 | → | df joins (~ben@justworks.xyz) |
| 20:43:20 | × | Nixkernal quits (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Read error: Connection reset by peer) |
| 20:43:35 | → | Nixkernal joins (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) |
| 20:44:17 | → | aaronv joins (~aaronv@user/aaronv) |
| 20:45:49 | → | danza_ joins (~francesco@151.37.244.202) |
| 20:47:12 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 20:47:35 | → | sm joins (~sm@plaintextaccounting/sm) |
| 20:48:12 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 20:48:24 | × | danza quits (~francesco@151.37.245.221) (Ping timeout: 252 seconds) |
| 20:51:53 | → | connrs joins (~connrs@user/connrs) |
| 20:54:14 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 20:55:11 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:55:43 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 20:57:41 | → | mapod111 joins (~mapod111@86.32.105.83) |
| 21:01:03 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 246 seconds) |
| 21:07:09 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 21:07:17 | × | nshepper1 quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Server closed connection) |
| 21:07:18 | × | xmachina quits (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 21:07:35 | → | nshepper1 joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 21:09:39 | → | xmachina joins (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 21:17:38 | → | ubert joins (~Thunderbi@178.165.200.97.wireless.dyn.drei.com) |
| 21:19:15 | × | qqq quits (~qqq@92.43.167.61) (Ping timeout: 246 seconds) |
| 21:20:23 | × | lex_ quits (~alex@188.26.233.194) (Ping timeout: 246 seconds) |
| 21:20:43 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 21:20:58 | × | mapod111 quits (~mapod111@86.32.105.83) (Ping timeout: 245 seconds) |
| 21:21:17 | × | accord quits (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:22:30 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:23:48 | × | acidjnk quits (~acidjnk@p200300d6e7072f69d95e0f42a9292ff4.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 21:27:29 | → | qqq joins (~qqq@92.43.167.61) |
| 21:28:04 | × | beka quits (~beka@104.193.170.240) (Remote host closed the connection) |
| 21:32:10 | <Inst> | ACME-infinitely-extensible-interface: |
| 21:32:23 | × | Carbon-lang quits (~Carbonlan@ip121.ip-149-56-160.net) (Read error: Connection reset by peer) |
| 21:32:29 | <Inst> | "ACME-infinite-extensible-interface can be used for anything! You can use it in all your programs!" |
| 21:33:07 | <Inst> | contents: acmeFramework :: IO a -> IO a; acmeFramework foo = foo |
| 21:35:08 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:40:34 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:40:51 | × | Katarushisu1 quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 258 seconds) |
| 21:45:23 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 21:46:40 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 21:52:43 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 21:54:03 | → | acidjnk joins (~acidjnk@p200300d6e7072f94d95e0f42a9292ff4.dip0.t-ipconnect.de) |
| 21:56:27 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:06:01 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 22:11:14 | × | aaronv quits (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 22:17:30 | × | chomwitt quits (~chomwitt@ppp-94-67-217-135.home.otenet.gr) (Ping timeout: 252 seconds) |
| 22:21:03 | → | Square2 joins (~Square4@user/square) |
| 22:27:16 | × | Square2 quits (~Square4@user/square) (Quit: Leaving) |
| 22:27:46 | → | Square2 joins (~Square4@user/square) |
| 22:29:03 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 22:34:18 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 22:36:04 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:37:17 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 255 seconds) |
| 22:39:08 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 22:39:45 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 22:43:48 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 22:49:07 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 22:54:06 | × | forell quits (~forell@user/forell) (Ping timeout: 255 seconds) |
| 22:54:14 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 245 seconds) |
| 22:54:21 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:00:59 | → | forell joins (~forell@user/forell) |
| 23:05:21 | × | ubert quits (~Thunderbi@178.165.200.97.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 23:06:48 | → | jinsun joins (~jinsun@user/jinsun) |
| 23:09:14 | × | forell quits (~forell@user/forell) (Ping timeout: 245 seconds) |
| 23:09:47 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 23:15:42 | → | forell joins (~forell@user/forell) |
| 23:22:01 | × | oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Remote host closed the connection) |
| 23:25:19 | → | son0p joins (~ff@186.114.32.184) |
| 23:27:02 | × | wroathe quits (~wroathe@user/wroathe) (Quit: leaving) |
| 23:28:27 | × | forell quits (~forell@user/forell) (Ping timeout: 252 seconds) |
| 23:29:42 | → | forell joins (~forell@user/forell) |
| 23:31:59 | × | sa1 quits (sid7690@id-7690.ilkley.irccloud.com) (Server closed connection) |
| 23:32:08 | → | sa1 joins (sid7690@id-7690.ilkley.irccloud.com) |
| 23:34:47 | → | aaronv joins (~aaronv@user/aaronv) |
| 23:36:42 | × | dcoutts quits (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) (Read error: Connection reset by peer) |
| 23:36:47 | → | dcoutts_ joins (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) |
| 23:39:55 | → | smoothdev joins (~smoothdev@91-169-231-236.subs.proxad.net) |
| 23:41:41 | × | juri_ quits (~juri@84-19-175-187.pool.ovpn.com) (Server closed connection) |
| 23:41:57 | → | juri_ joins (~juri@84-19-175-187.pool.ovpn.com) |
| 23:45:02 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 23:47:47 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 23:48:00 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 23:52:57 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 23:57:23 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 23:58:40 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 23:59:00 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 23:59:44 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
All times are in UTC on 2023-09-13.