Home liberachat/#haskell: Logs Calendar

Logs on 2023-07-03 (liberachat/#haskell)

00:00:43 <monochrom> We waited 40 years and "only" Apple and Microsoft still couldn't agree. And even when Gates bought some Apple stocks to help Jobs.
00:01:27 <probie> but personally, I can't see the motivation to have an "immutable API to DOM". Browsers need fewer features, not more
00:01:53 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 246 seconds)
00:02:19 <probie> or just to split my "web browser" from my "web app engine", but that's a rant for another time and another channel
00:02:21 <monochrom> Well, we can have "no mutable API to DOM". That's a good start on subtraction design. I think int-e would approve. :)
00:02:39 × phma quits (phma@2001:5b0:211f:e0b8:9211:3daf:2aff:af1e) (Read error: Connection reset by peer)
00:03:06 <monochrom> or more realistically, s/can/very hypothetically in a different universe could/
00:03:09 phma joins (~phma@host-67-44-208-102.hnremote.net)
00:04:20 × hyvoid quits (~hyenavoid@222-0-178-69.static.gci.net) (Quit: WeeChat 3.8)
00:10:11 hyvoid joins (~hyenavoid@222-0-178-69.static.gci.net)
00:11:33 <chromoblob> why do you want agreement
00:11:45 × hyvoid quits (~hyenavoid@222-0-178-69.static.gci.net) (Client Quit)
00:11:47 <chromoblob> make it heterogeneous
00:11:55 <monochrom> The trait of all politicians.
00:12:05 <monochrom> politicians and management types
00:12:30 <chromoblob> you mean wanting agreement is the trait?
00:12:54 hyvoid joins (~hyenavoid@222-0-178-69.static.gci.net)
00:13:14 <monochrom> and in Catch Me If You Can, the protagonist imposting as a medical doctor and keep asking around "do you concur?" :)
00:14:26 <monochrom> Yes.
00:15:32 × gurkenglas quits (~gurkengla@dynamic-046-114-181-031.46.114.pool.telefonica.de) (Ping timeout: 246 seconds)
00:17:47 <monochrom> Don't you agree? :)
00:17:55 × hyvoid quits (~hyenavoid@222-0-178-69.static.gci.net) (Quit: WeeChat 3.8)
00:25:15 ski disagrees to agree
00:29:21 <shiraeeshi> there's a place heterogeneity, and there's a place for homogeneity
00:29:45 <shiraeeshi> libraries are a place for heterogeneity
00:30:17 <shiraeeshi> and a standard library should agree with itself
00:30:47 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
00:31:40 pavonia joins (~user@user/siracusa)
00:32:29 × Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
00:32:31 hyvoid joins (~hyenavoid@222-0-178-69.static.gci.net)
00:36:02 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 245 seconds)
00:39:56 × Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
00:44:35 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds)
00:54:42 × chromoblob quits (~user@37.113.180.121) (Ping timeout: 260 seconds)
01:04:20 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
01:04:44 waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
01:05:19 L29Ah joins (~L29Ah@wikipedia/L29Ah)
01:11:22 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
01:14:35 × dmenz quits (~dmenz@2804:14d:5cd4:85fb:176f:8705:81c:687a) (Quit: Leaving)
01:16:16 × EvanR quits (~EvanR@user/evanr) (Remote host closed the connection)
01:16:36 EvanR joins (~EvanR@user/evanr)
01:17:29 albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
01:23:22 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:bd12:aba9:a757:ddbd) (Remote host closed the connection)
01:27:22 × waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
01:41:51 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Quit: Gateway shutdown)
01:43:42 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
01:44:47 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
01:47:32 [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
01:49:20 × xff0x_ quits (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 246 seconds)
01:50:16 chromoblob joins (~user@37.113.180.121)
01:50:52 cafkafk joins (~cafkafk@fsf/member/cafkafk)
01:51:40 × mmhat quits (~mmh@p200300f1c722e493ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.0)
01:54:52 × chromoblob quits (~user@37.113.180.121) (Ping timeout: 250 seconds)
01:57:30 L29Ah joins (~L29Ah@wikipedia/L29Ah)
02:03:40 merijn joins (~merijn@86.86.29.250)
02:05:18 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
02:07:37 kritty joins (~crumb@c-76-155-235-153.hsd1.co.comcast.net)
02:08:12 × merijn quits (~merijn@86.86.29.250) (Ping timeout: 240 seconds)
02:13:25 zombieface_ joins (~zombiefac@cpe-174-100-19-135.neo.res.rr.com)
02:15:25 nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
02:18:04 finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
02:18:04 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
02:18:05 finn_elija is now known as FinnElija
02:22:03 aforemny joins (~aforemny@2001:9e8:6cea:a700:83cb:6a09:250d:e06)
02:22:17 × aforemny_ quits (~aforemny@2001:9e8:6ccc:3300:341b:150:2961:d57a) (Ping timeout: 245 seconds)
02:22:23 × td_ quits (~td@i5387090A.versanet.de) (Ping timeout: 246 seconds)
02:23:52 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23)
02:24:20 td_ joins (~td@i53870939.versanet.de)
02:28:11 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) (Ping timeout: 246 seconds)
02:30:33 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23)
02:35:44 × kritty quits (~crumb@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection)
02:37:23 xff0x_ joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
02:47:50 Sciencentistguy2 joins (~sciencent@hacksoc/ordinary-member)
02:48:28 Feuermagier_ joins (~Feuermagi@user/feuermagier)
02:48:29 × Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 246 seconds)
02:48:29 Feuermagier_ is now known as Feuermagier
02:50:24 × Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 246 seconds)
02:50:24 Sciencentistguy2 is now known as Sciencentistguy
02:52:30 × shiraeeshi quits (~shiraeesh@46.42.244.46) (Ping timeout: 250 seconds)
02:54:08 × fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
02:57:14 × bratwurst quits (~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 246 seconds)
03:09:34 × txaas quits (~txaas@user/jarlg) (Ping timeout: 260 seconds)
03:19:11 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
03:21:31 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
03:23:14 × end\ quits (~end^@user/end/x-0094621) (Server closed connection)
03:23:32 ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
03:23:35 end\ joins (~end^@user/end/x-0094621)
03:23:47 shiraeeshi joins (~shiraeesh@46.42.244.46)
03:25:37 thegeekinside joins (~thegeekin@189.217.90.138)
03:27:58 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
03:28:31 × thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
03:32:38 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
03:33:17 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
03:35:02 cafkafk joins (~cafkafk@fsf/member/cafkafk)
03:35:18 × elkcl quits (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Ping timeout: 252 seconds)
03:39:56 elkcl joins (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru)
03:41:00 × phma quits (~phma@host-67-44-208-102.hnremote.net) (Read error: Connection reset by peer)
03:41:26 phma joins (phma@2001:5b0:211f:e0b8:9211:3daf:2aff:af1e)
03:41:33 smth-42 joins (~smth-42@46.42.244.46)
03:43:18 × it_ quits (~quassel@v2202212189510211193.supersrv.de) (Server closed connection)
03:43:34 it_ joins (~quassel@v2202212189510211193.supersrv.de)
03:44:49 <glguy> maerwald: I think people would take versioning more seriously if it had tigher language integration
03:52:00 <maerwald[m]> I think you can already use hie files today to inspect API, no?
03:52:42 <glguy> I guess since the haddock comments are (can be?) saved in the interface files, then technically you can parse your way to them?
03:52:58 × smth-42 quits (~smth-42@46.42.244.46) (Ping timeout: 260 seconds)
03:56:31 <maerwald[m]> Maybe just needs someone to pick up policeman
03:56:46 <maerwald[m]> https://github.com/haskellfoundation/tech-proposals/pull/51#discussion_r1245182844
03:56:53 <maerwald[m]> There was some critique
03:58:17 × aforemny quits (~aforemny@2001:9e8:6cea:a700:83cb:6a09:250d:e06) (Ping timeout: 246 seconds)
03:59:05 aforemny joins (~aforemny@i59F516EC.versanet.de)
04:00:16 × actioninja quits (~actioninj@user/actioninja) (Quit: see ya mane)
04:00:42 actioninja6 joins (~actioninj@user/actioninja)
04:06:40 _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
04:10:35 <glguy> maerwald[m]: also, while reading through stuff on discourse I saw another thing you wrote mentioning yaml-streamly. since I'm hacking on a toml library I thought I'd see what you had there and I like how you parameterized your key-value serializer on a key ordering function and now I'm trying to decide how I want to incorporate something like that
04:11:21 <glguy> I think I want the key-ordering to be per-type and not per pretty printing, so I'm even less sure how to incorporate that into my current design
04:13:13 notzmv joins (~zmv@user/notzmv)
04:15:10 bgs joins (~bgs@212-85-160-171.dynamic.telemach.net)
04:19:18 × cjay quits (cjay@nerdbox.nerd2nerd.org) (Server closed connection)
04:19:27 cjay joins (cjay@nerdbox.nerd2nerd.org)
04:21:18 trev joins (~trev@user/trev)
04:28:18 × AWizzArd quits (~code@user/awizzard) (Server closed connection)
04:28:31 AWizzArd joins (~code@gehrels.uberspace.de)
04:30:17 foul_owl joins (~kerry@71.212.137.212)
04:30:32 × iteratee quits (~kyle@162.218.222.207) (Read error: Connection reset by peer)
04:30:49 <maerwald[m]> glguy: what do you mean with types?
04:31:45 iteratee joins (~kyle@162.218.222.207)
04:32:43 × foul_owl quits (~kerry@71.212.137.212) (Client Quit)
04:33:03 <maerwald[m]> The type of the value in the key-value pair?
04:33:11 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
04:33:30 <glguy> I mean like each type that gets converted to a key-value mapping might want its own ordering
04:33:54 <maerwald[m]> Ah, sounds like typeclasses, no?
04:35:45 <glguy> Yes, but my current design uses a typeclass to go from application type to key-val mapping, and then my pretty printer goes from abstract toml values to concrete syntax, so the association to the orginal type is lost
04:36:21 <glguy> I need to redo my abstraction so that the typeclass would have to go directly from application type to concrete syntax, or change my abstract toml values to have a key ordering to them
04:37:14 <glguy> anyway, I'll figure *something* out, I just was mentioning that your code sent me into a puzzle :)
04:37:46 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
04:38:29 <maerwald[m]> Not really my code, I just forked the library. I believe Snoyman wrote the initial version
04:38:50 foul_owl joins (~kerry@71.212.137.212)
04:39:00 <maerwald[m]> His coding style is surprisingly close to mine though. I enjoy hacking on his stuff
04:40:31 <maerwald[m]> Just our goals never align 😆
04:41:34 <maerwald[m]> glguy: are you using a streaming library?
04:48:58 <glguy> not yet. 1) I was figuring that most TOML files are in any kind of performance path 2) you can't validate a TOML file until you have the whole thing
04:49:29 <glguy> Is streamly your favorite or is that just an inherited choice from the fork?
04:50:32 bilegeek joins (~bilegeek@2600:1008:b040:7c50:1302:10c:c8e3:2f97)
05:08:58 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
05:10:33 <maerwald[m]> glguy: yeah, I think it has the most potential, but the API churn is depressing
05:10:39 <maerwald[m]> Too many changes in every release
05:12:19 azimut joins (~azimut@gateway/tor-sasl/azimut)
05:14:49 <probie> That's large parts of the Haskell ecosystem in a nutshell
05:15:22 harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
05:15:43 nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
05:18:44 × shiraeeshi quits (~shiraeesh@46.42.244.46) (Ping timeout: 240 seconds)
05:20:07 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
05:20:22 <jackdk> This is why I stay with streaming - seems to be a sweet spot between simplicity/stability/being able to do things I need to do
05:28:58 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
05:30:04 <maerwald[m]> I don't understand how it can be so hard to design an API and stick with it. Do people get new ideas every 2 months?
05:32:51 <maerwald[m]> My guess is this is one of the bigger reasons why Haskell will stay behind rust and other languages. Not the lack of dependent types
05:34:58 cafkafk joins (~cafkafk@fsf/member/cafkafk)
05:37:33 <jackdk> there's nothing wrong with having an experimental streaming library where people can tinker and rebuild the API to make it faster/better/whatever. I choose not to use it because for me the streaming lib is a means, not an end
05:38:11 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
05:39:13 <probie> I wouldn't mind having separate API versions from package versions (that statement isn't restricted to just Haskell)
05:42:13 <maerwald[m]> Breaking API is fine if you actually maintain multiple major versions in parallel
05:42:20 <maerwald[m]> That's actually the point of PVP
05:45:08 <monochrom> Over in Python land these things are not better, probably even worse. I have a friend who is a prof and supervises student projects and gets very dismayed that the code is incompatibility with the libraries just after 6 months.
05:45:22 <probie> That requires maintaining several different versions. In the case where you can still provide the "old" API alongside the new API with the same internals, it'd be nice to only need to provide one package
05:45:24 <monochrom> s/incompatibility/incompatible/
05:45:39 <monochrom> So now you have to explain why Rust is behind Python. :)
05:45:42 <jackdk> At least we have nix now
05:45:47 <probie> I've got Go code I've written 5+ years ago that "just works"
05:46:11 <maerwald[m]> Yes, good tooling can make things worse
05:46:20 <maerwald[m]> Go had no good tooling for a long time
05:46:36 <maerwald[m]> So people just went paranoid over breaking API
05:46:51 <probie> It had great tooling, and then they ruined it by adding modules :p
05:47:31 <maerwald[m]> jackdk: nix is harmful for security
05:47:49 <monochrom> I am cynical and I attribute it to brute shear raw economics.
05:48:50 <monochrom> Python has more instant gratification therefore attracts more people therefore stable libs or not there are more than enough people to fix things and there are more than enough people to move fast break often.
05:49:08 <monochrom> Simply more minions to sustain churn.
05:49:24 <arahael> maerwald[m]: I have to agree, I could not find much in the way of selinux and stuff. Too much magic, too - nix is like, one *massive* program.
05:49:29 <monochrom> Rust and Haskell are less attractive therefore stable libs or not they stay behind.
05:49:50 <probie> Jokes aside, between the standard library's backwards compatibility guarantee and `go vendor` it's easy to have source that you can reasonably expect to compile with later versions of the compiler
05:51:09 <monochrom> OTOH IMO Haskell does not need to enter the popularity contest.
05:51:18 <monochrom> Stay focused, do FP and do it well.
05:51:41 <monochrom> Do not fantasize that attracting more people means more people adopt FP.
05:52:13 <glguy> My experience with Go was that people vendored things which means stuff works after years because no updates occur
05:52:16 <monochrom> No, it is the other way round. Attracting more people means Haskell has to suck up to their simpleton agendas such as giving up on FP.
05:53:00 <monochrom> For example just look at record dot syntax.
05:53:20 michalz joins (~michalz@185.246.207.218)
05:53:55 <probie> glguy: There's no need to update a finished product (just hope that there aren't security issues)
05:54:36 <glguy> Yeah, the trick is just to have no bugs in your code or any dependency
05:55:31 <monochrom> No, the trick is to accept that software is not finished product. :)
05:56:08 <glguy> Once the check clears, what's left to do?
05:56:10 <maerwald[m]> arahael: not just that... the idea of pinning dependencies and reproducible builds stands in conflict with practical software security, which demands always being as up to date as possible
05:57:12 <arahael> maerwald[m]: That can be mitigated with a warning system, at least, there's certainly sufficient metadata in the system for that. They just... Don't...
05:57:24 <monochrom> One should ask "who has time to maintain multiple versions?" and then it's shear raw economics again.
05:57:37 <maerwald[m]> Yes, yeu can do it, but no one does ans the system doesn't nudge you to do it
05:57:44 shiraeeshi joins (~shiraeesh@46.42.244.46)
05:58:34 <arahael> Which is unfortunate. A full 'security scan' after installing any application (and again every day) should be a minimum.
05:58:48 <arahael> I couldn't even find out how to use selinux and the like in a nix system.
05:59:44 <maerwald[m]> And an ecosystem constantly breaking API causes end users to pin dependencies more aggressively, which in turn harms security properties
06:00:13 <arahael> Yeah.
06:00:50 <arahael> Don't get me wrong, nix has some great points, but yeah, this is not one of them, and they don't seem to be taking significant steps to patching the security issues. Plus, I find nix *seriously complex*.
06:02:01 <monochrom> Generally any name ending with "x" refers to complex things. Even when starting with "simple". complex, simplex, unix, nix. :)
06:03:48 <arahael> That... Checks out.
06:04:07 takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:04:14 <probie> LaTeX?
06:05:04 <monochrom> Mirror mirror on the wall, who is the most complex of them all? nix or latex? :)
06:05:41 <monochrom> "Why not both?" :)
06:06:58 johnw joins (~johnw@69.62.207.57)
06:08:35 <glguy> I think a different part of the problem is that it's so easy to pull in libraries in Haskell. My C projects depend on something like 0-2 other libraries with basically no transitions deps. Things in rust or Haskell will pull in over 100 without trying. That's a much greater surface area
06:08:41 <maerwald[m]> Comparing LaTeX with nix is interesting
06:08:49 <glguy> Transitive*
06:09:16 <maerwald[m]> High expressivity and terrible ergonomics describes both.
06:10:20 <maerwald[m]> Ergonomics is undervalued. But it decides how much energy developers invest in certain things and problems
06:10:36 <maerwald[m]> Maintaining PVP bounds is unergonomic
06:10:39 <maerwald[m]> So no one does
06:10:58 <monochrom> This may just go back to: no tooling = no dependency issues :)
06:13:33 fweht joins (uid404746@id-404746.lymington.irccloud.com)
06:15:34 <glguy> On the topic of the language helping with versioning, there are versioned symbols. I haven't knowingly used them in C enough to know how good it bad an idea that is to explore
06:15:41 <maerwald[m]> Yes... bad ergonomics in some areas can have accidental good effects
06:16:51 <glguy> But that seems relevant to enabling maintaining multiple versions of API without having to maintain multiple branches
06:26:25 × asm quits (~alexander@user/asm) (Read error: Connection reset by peer)
06:29:52 × bilegeek quits (~bilegeek@2600:1008:b040:7c50:1302:10c:c8e3:2f97) (Quit: Leaving)
06:36:07 × califax quits (~califax@user/califx) (Remote host closed the connection)
06:36:29 califax joins (~califax@user/califx)
06:38:30 `2jt joins (~jtomas@90.162.208.36)
06:40:11 × shiraeeshi quits (~shiraeesh@46.42.244.46) (Changing host)
06:40:11 shiraeeshi joins (~shiraeesh@user/shiraeeshi)
06:48:10 × zombieface_ quits (~zombiefac@cpe-174-100-19-135.neo.res.rr.com) (Quit: Leaving)
06:53:29 fendor joins (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0)
06:55:57 acidjnk joins (~acidjnk@2003:d6:e707:2f22:393f:c04:2d41:b426)
06:59:32 × mauke quits (~mauke@user/mauke) (Ping timeout: 240 seconds)
07:06:19 Inst_ joins (~Inst@2601:6c4:4081:2fc0:ec2e:6384:903a:129d)
07:06:48 lortabac joins (~lortabac@2a01:e0a:541:b8f0:543f:797f:131:6e30)
07:07:48 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
07:09:35 × Inst quits (~Inst@2601:6c4:4081:2fc0:4ce0:dbb4:3e84:48a2) (Ping timeout: 246 seconds)
07:12:49 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
07:13:26 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir)
07:13:31 misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
07:14:09 chromoblob joins (~user@37.113.180.121)
07:18:08 × shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 250 seconds)
07:19:42 cfricke joins (~cfricke@user/cfricke)
07:19:50 tabemann_ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
07:20:31 × tabemann quits (~tabemann@2600:1700:7990:24e0:cd08:c5bb:9d2b:dbaa) (Ping timeout: 260 seconds)
07:26:54 gmg joins (~user@user/gehmehgeh)
07:32:34 Guest25 joins (~Guest25@162.200.19.223)
07:33:47 coot joins (~coot@89-69-206-216.dynamic.chello.pl)
07:35:54 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
07:37:55 × harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
07:42:24 × m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 250 seconds)
07:42:36 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
07:43:15 m5zs7k joins (aquares@web10.mydevil.net)
07:46:51 CiaoSen joins (~Jura@2a05:5800:28f:600:664b:f0ff:fe37:9ef)
07:47:49 × pointlessslippe1 quits (~pointless@212.82.82.3) (Read error: Connection reset by peer)
07:51:15 pointlessslippe1 joins (~pointless@212.82.82.3)
07:51:49 × pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer)
07:52:10 pavonia joins (~user@user/siracusa)
07:53:05 machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
07:56:50 × pavonia quits (~user@user/siracusa) (Ping timeout: 246 seconds)
07:58:20 × banner quits (~banner@114-129-185-30.ip4.superloop.au) (Ping timeout: 240 seconds)
07:58:30 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:02:13 × Guest25 quits (~Guest25@162.200.19.223) (Quit: Client closed)
08:04:52 jtomas joins (~jtomas@90.162.208.36)
08:07:04 × `2jt quits (~jtomas@90.162.208.36) (Ping timeout: 246 seconds)
08:13:17 pavonia joins (~user@user/siracusa)
08:21:18 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
08:22:31 × shiraeeshi quits (~shiraeesh@user/shiraeeshi) (Read error: Connection reset by peer)
08:26:40 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 246 seconds)
08:27:50 danse-nr3 joins (~francesco@151.54.29.107)
08:29:43 notzmv joins (~zmv@user/notzmv)
08:31:57 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
08:32:35 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) (Remote host closed the connection)
08:35:13 coot_ joins (~coot@89-69-206-216.dynamic.chello.pl)
08:35:29 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 246 seconds)
08:35:59 coot_ is now known as coot
08:40:31 × oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel)
08:41:22 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
08:42:01 × johnw quits (~johnw@69.62.207.57) (Quit: ZNC - http://znc.in)
08:42:30 johnw joins (~johnw@69.62.207.57)
08:47:04 Pickchea joins (~private@user/pickchea)
08:59:41 gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
09:01:42 kenran joins (~user@user/kenran)
09:01:46 × kenran quits (~user@user/kenran) (Remote host closed the connection)
09:03:06 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23)
09:04:08 oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
09:06:59 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
09:07:32 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) (Ping timeout: 246 seconds)
09:08:00 Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
09:16:54 nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
09:17:30 chromobl1b joins (~user@37.113.180.121)
09:18:07 × chromoblob quits (~user@37.113.180.121) (Ping timeout: 246 seconds)
09:20:24 chromobl1b is now known as chromoblob
09:21:32 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
09:24:54 jstolarek joins (~jstolarek@staticline-31-183-152-161.toya.net.pl)
09:25:04 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
09:25:23 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
09:26:20 gurkenglas joins (~gurkengla@dynamic-046-114-179-248.46.114.pool.telefonica.de)
09:27:39 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
09:27:54 Lord_of_Life_ is now known as Lord_of_Life
09:35:14 × fendor quits (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) (Remote host closed the connection)
09:35:51 Midjak joins (~Midjak@82.66.147.146)
09:36:30 fendor joins (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0)
09:40:58 × hyvoid quits (~hyenavoid@222-0-178-69.static.gci.net) (Quit: brb hopefully last time)
09:45:33 cafkafk joins (~cafkafk@fsf/member/cafkafk)
09:46:02 × CiaoSen quits (~Jura@2a05:5800:28f:600:664b:f0ff:fe37:9ef) (Ping timeout: 246 seconds)
09:46:29 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
09:51:30 doyougnu joins (~doyougnu@45.46.170.68)
09:54:16 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
09:55:44 × pie_ quits (~pie_bnc@user/pie/x-2818909) ()
09:56:01 pie_ joins (~pie_bnc@user/pie/x-2818909)
10:03:50 × ft quits (~ft@p508db151.dip0.t-ipconnect.de) (Quit: leaving)
10:04:04 hyvoid joins (~hyenavoid@222-0-178-69.static.gci.net)
10:07:15 CiaoSen joins (~Jura@2a05:5800:28f:600:664b:f0ff:fe37:9ef)
10:20:23 × DDR quits (~DDR@2604:3d08:4c7f:8250:312d:687f:e754:8e86) (Ping timeout: 264 seconds)
10:20:37 × xff0x_ quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds)
10:27:33 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
10:27:50 Pickchea joins (~private@user/pickchea)
10:32:57 DDR joins (~DDR@2604:3d08:4c7f:8250:fb86:6006:3945:ad7c)
10:38:02 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.8)
10:39:56 × caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline)
10:42:44 × doyougnu quits (~doyougnu@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in)
10:52:57 doyougnu joins (~doyougnu@45.46.170.68)
10:55:47 × acidjnk quits (~acidjnk@2003:d6:e707:2f22:393f:c04:2d41:b426) (Ping timeout: 264 seconds)
11:01:52 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
11:02:04 <nyc> I'm hearing -ppr-debug may print uniques in the STG dumps in order to help correlate the STG with the ticky ticky profile.
11:08:12 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
11:08:52 cafkafk joins (~cafkafk@fsf/member/cafkafk)
11:09:26 szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
11:11:06 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
11:13:36 xff0x_ joins (~xff0x@ai086045.d.east.v6connect.net)
11:16:23 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
11:22:31 albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
11:23:32 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
11:25:31 × CiaoSen quits (~Jura@2a05:5800:28f:600:664b:f0ff:fe37:9ef) (Ping timeout: 246 seconds)
11:26:34 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:26:36 qqq joins (~qqq@92.43.167.61)
11:28:52 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
11:29:03 × gurkenglas quits (~gurkengla@dynamic-046-114-179-248.46.114.pool.telefonica.de) (Quit: leaving)
11:29:22 gurkenglas joins (~gurkengla@dynamic-046-114-179-248.46.114.pool.telefonica.de)
11:29:26 cafkafk joins (~cafkafk@fsf/member/cafkafk)
11:30:34 × qqq quits (~qqq@92.43.167.61) (Client Quit)
11:31:12 feliix42 joins (~felix@gibbs.uberspace.de)
11:31:53 qqq joins (~qqq@92.43.167.61)
11:43:57 bontaq joins (~user@ool-45779b84.dyn.optonline.net)
11:46:01 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:53:59 acidjnk joins (~acidjnk@p200300d6e7072f22393f0c042d41b426.dip0.t-ipconnect.de)
11:54:13 × qqq quits (~qqq@92.43.167.61) (Quit: leaving)
11:55:27 qqq joins (~qqq@92.43.167.61)
11:56:31 × feliix42 quits (~felix@gibbs.uberspace.de) (Quit: ZNC 1.8.2 - https://znc.in)
11:58:04 × qqq quits (~qqq@92.43.167.61) (Client Quit)
11:58:32 qqq joins (~qqq@92.43.167.61)
12:03:14 × Teacup quits (~teacup@user/teacup) (Server closed connection)
12:03:25 Teacup joins (~teacup@user/teacup)
12:04:39 × qqq quits (~qqq@92.43.167.61) (Remote host closed the connection)
12:05:13 qqq joins (~qqq@92.43.167.61)
12:05:39 Pickchea joins (~private@user/pickchea)
12:07:12 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
12:08:51 txaas joins (~txaas@user/jarlg)
12:10:42 CiaoSen joins (~Jura@2a05:5800:28f:600:664b:f0ff:fe37:9ef)
12:11:04 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
12:11:30 cafkafk joins (~cafkafk@fsf/member/cafkafk)
12:11:52 <dminuoso_> Why is GHC so repetitive with telling me that postgresql-simple is a member of a hidden package? https://gist.github.com/dminuoso/af001f9ab5482f9ed73292779891b018
12:16:32 <merijn> dminuoso_: you have a billion different versions of it
12:16:50 <merijn> dminuoso_: it just scans the store for matching packages, and reports each one
12:17:17 <merijn> so if you store has a billion different versions, it reports each
12:17:36 <dminuoso_> Ah indeed, good catch.
12:17:49 <dminuoso_> I didnt even notice there was both 0.6.4 and 0.6.5 in that list.
12:17:52 <dminuoso_> Thanks
12:18:59 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds)
12:19:29 <merijn> I'm guessing you haven't cleared the store in a while, while repeatedly upgrading transitive dependencies of postgres-simple
12:26:04 × danse-nr3 quits (~francesco@151.54.29.107) (Ping timeout: 246 seconds)
12:27:28 × qqq quits (~qqq@92.43.167.61) (Quit: leaving)
12:28:05 qqq joins (~qqq@92.43.167.61)
12:31:42 × qqq quits (~qqq@92.43.167.61) (Client Quit)
12:40:55 ub joins (~Thunderbi@p200300ecdf0b57ea084964e545e9929f.dip0.t-ipconnect.de)
12:42:56 × ubert quits (~Thunderbi@p200300ecdf0b57ea084964e545e9929f.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
12:42:57 ub is now known as ubert
12:43:38 waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
12:44:38 × stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds)
12:46:48 stiell_ joins (~stiell@gateway/tor-sasl/stiell)
12:53:51 nick__ joins (~nick@wsip-174-78-110-18.pn.at.cox.net)
12:56:08 × rburkholder quits (~blurb@96.45.2.121) (Quit: Leaving)
12:57:06 rburkholder joins (~blurb@96.45.2.121)
12:58:32 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
13:12:41 × nyc quits (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) (Read error: Connection reset by peer)
13:13:14 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
13:13:58 nyc joins (~nyc@user/nyc)
13:18:25 nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
13:20:51 [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
13:23:14 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
13:28:49 × gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
13:29:49 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
13:36:51 titibandit joins (~titibandi@user/titibandit)
13:47:06 tremon joins (~tremon@83.80.159.219)
13:48:56 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds)
13:53:42 ystael joins (~ystael@user/ystael)
13:55:02 × jstolarek quits (~jstolarek@staticline-31-183-152-161.toya.net.pl) (Ping timeout: 246 seconds)
13:56:07 × puke quits (~puke@user/puke) (Quit: puke)
13:58:23 puke joins (~puke@user/puke)
14:00:50 × ddellacosta quits (~ddellacos@143.244.47.100) (Ping timeout: 246 seconds)
14:03:07 ddellacosta joins (~ddellacos@146.70.185.10)
14:04:30 × extor quits (~extor@ns3018124.ip-149-202-82.eu) (Ping timeout: 252 seconds)
14:05:45 danse-nr3 joins (~francesco@151.54.29.107)
14:09:13 mmhat joins (~mmh@p200300f1c722e493ee086bfffe095315.dip0.t-ipconnect.de)
14:12:35 × ddellacosta quits (~ddellacos@146.70.185.10) (Ping timeout: 264 seconds)
14:15:33 thegeekinside joins (~thegeekin@189.217.90.138)
14:16:48 misterfish joins (~misterfis@87.215.131.102)
14:18:15 ub joins (~Thunderbi@p200300ecdf0b57e5fa440b01d0f4c15b.dip0.t-ipconnect.de)
14:18:25 × ubert quits (~Thunderbi@p200300ecdf0b57ea084964e545e9929f.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
14:18:25 ub is now known as ubert
14:20:10 × dfip^ quits (~dfip@24.125.210.85) (Remote host closed the connection)
14:27:00 shriekingnoise joins (~shrieking@186.137.175.87)
14:30:56 × Pickchea quits (~private@user/pickchea) (Ping timeout: 246 seconds)
14:34:57 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
14:36:05 shiraeeshi joins (~shiraeesh@46.42.244.46)
14:37:49 × shiraeeshi quits (~shiraeesh@46.42.244.46) (Client Quit)
14:39:26 dibblego joins (~dibblego@116-255-1-157.ip4.superloop.au)
14:39:26 × dibblego quits (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
14:39:26 dibblego joins (~dibblego@haskell/developer/dibblego)
14:44:26 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
14:49:25 dibblego joins (~dibblego@116.255.1.157)
14:49:25 × dibblego quits (~dibblego@116.255.1.157) (Changing host)
14:49:25 dibblego joins (~dibblego@haskell/developer/dibblego)
14:49:41 j4cc3b joins (~jeffreybe@2601:98a:4200:4515:d557:f0c9:cfb:3184)
14:54:25 × tv quits (~tv@user/tv) (Ping timeout: 240 seconds)
14:54:27 ddellacosta joins (~ddellacos@143.244.47.76)
14:55:27 <hackyhacker> Hello how do I use a function that returns Maybe in IO?
14:55:28 <hackyhacker> https://paste.tomsmeding.com/qFPfjmtQ
14:55:32 <hackyhacker> like why does this not work?
14:56:40 <geekosaur> because `<-` there requires something in `IO`. use `let` instead
14:56:45 × titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection)
14:57:11 <geekosaur> and I strongly suggest you learn how `do` notation desugars to `>>=`, so you will understand why `<-` will not work there
14:57:27 <hackyhacker> oh ok
14:57:28 <hackyhacker> tahnks
14:57:48 Sgeo joins (~Sgeo@user/sgeo)
14:58:00 <geekosaur> @where iotut
14:58:00 <lambdabot> https://www.vex.net/~trebla/haskell/IO.xhtml
15:00:37 absence_ joins (torgeihe@hildring.pvv.ntnu.no)
15:00:38 × absence quits (torgeihe@hildring.pvv.ntnu.no) (Read error: Connection reset by peer)
15:03:55 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
15:08:19 tv joins (~tv@user/tv)
15:15:00 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:543f:797f:131:6e30) (Quit: WeeChat 2.8)
15:16:22 <hackyhacker> thank you for that resource
15:18:58 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
15:19:14 Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
15:20:41 titibandit joins (~titibandi@user/titibandit)
15:21:29 mechap joins (~mechap@user/mechap)
15:28:49 × titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection)
15:30:01 × thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
15:30:47 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
15:35:36 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
15:36:34 cafkafk joins (~cafkafk@fsf/member/cafkafk)
15:44:10 × danse-nr3 quits (~francesco@151.54.29.107) (Ping timeout: 246 seconds)
15:45:37 × mei quits (~mei@user/mei) (Remote host closed the connection)
15:46:21 __monty__ joins (~toonn@user/toonn)
15:49:18 × peutri quits (~peutri@bobo.desast.re) (Server closed connection)
15:49:27 peutri joins (~peutri@bobo.desast.re)
15:49:55 dispater- joins (~dispater@81.78.253.214)
15:49:55 gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
15:50:25 orcus- joins (~orcus@81.78.253.214)
15:50:46 × michalz quits (~michalz@185.246.207.218) (Remote host closed the connection)
15:50:59 × CiaoSen quits (~Jura@2a05:5800:28f:600:664b:f0ff:fe37:9ef) (Ping timeout: 264 seconds)
15:52:41 _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
15:52:44 mei joins (~mei@user/mei)
15:55:56 × orcus- quits (~orcus@81.78.253.214) (Remote host closed the connection)
15:55:57 × dispater- quits (~dispater@81.78.253.214) (Remote host closed the connection)
15:58:23 econo_ joins (uid147250@id-147250.tinside.irccloud.com)
15:59:01 michalz joins (~michalz@185.246.207.221)
16:01:18 × andjjj23 quits (~irc@107.170.228.47) (Server closed connection)
16:01:35 andjjj23 joins (~irc@107.170.228.47)
16:03:46 × acidjnk quits (~acidjnk@p200300d6e7072f22393f0c042d41b426.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
16:04:59 werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
16:06:58 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
16:07:34 dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net)
16:08:56 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds)
16:09:01 × misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 246 seconds)
16:09:38 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23)
16:10:08 thegeekinside joins (~thegeekin@189.217.90.138)
16:12:06 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
16:12:40 euandreh joins (~Thunderbi@189.6.18.7)
16:13:50 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) (Ping timeout: 246 seconds)
16:16:02 misterfish joins (~misterfis@87.215.131.98)
16:21:08 × fendor quits (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) (Remote host closed the connection)
16:24:44 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
16:29:42 × misterfish quits (~misterfis@87.215.131.98) (Ping timeout: 252 seconds)
16:31:30 misterfish joins (~misterfis@87.215.131.102)
16:31:53 ub joins (~Thunderbi@p548c89d1.dip0.t-ipconnect.de)
16:32:44 × ubert quits (~Thunderbi@p200300ecdf0b57e5fa440b01d0f4c15b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
16:32:44 ub is now known as ubert
16:35:29 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:36:10 eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
16:40:24 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
16:41:35 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:42:10 hiredman joins (~hiredman@frontier1.downey.family)
16:45:29 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
16:56:46 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
17:01:38 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
17:02:06 qqq joins (~qqq@92.43.167.61)
17:04:58 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
17:05:29 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:08:33 × remedan quits (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Quit: Bye!)
17:08:50 remedan_ joins (~remedan@ip-94-112-0-18.bb.vodafone.cz)
17:09:54 acidjnk joins (~acidjnk@p200300d6e7072f22393f0c042d41b426.dip0.t-ipconnect.de)
17:13:17 cafkafk joins (~cafkafk@fsf/member/cafkafk)
17:15:12 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
17:19:56 nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
17:19:56 × Benzi-Junior quits (~BenziJuni@88-149-64-112.du.xdsl.is) (Quit: ZNC 1.8.2 - https://znc.in)
17:20:23 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
17:24:37 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
17:26:29 mauke joins (~mauke@user/mauke)
17:26:32 Benzi-Junior joins (~BenziJuni@dsl-149-64-112.hive.is)
17:27:04 × eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
17:30:39 eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
17:30:40 × hippoid quits (~hippoid@user/hippoid) (Quit: WeeChat 3.8)
17:35:43 × ddellacosta quits (~ddellacos@143.244.47.76) (Quit: WeeChat 3.8)
17:36:01 ddellacosta joins (~ddellacos@143.244.47.76)
17:37:00 `2jt joins (~jtomas@90.162.208.36)
17:38:14 × misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 250 seconds)
17:39:19 × jtomas quits (~jtomas@90.162.208.36) (Ping timeout: 246 seconds)
17:41:04 × ddellacosta quits (~ddellacos@143.244.47.76) (Ping timeout: 246 seconds)
17:41:25 × `2jt quits (~jtomas@90.162.208.36) (Ping timeout: 246 seconds)
17:41:38 `2jt joins (~jtomas@90.162.208.36)
17:43:41 Cale joins (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com)
17:44:07 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:44:13 ddellacosta joins (~ddellacos@146.70.185.100)
17:47:58 Inst__ joins (~Inst@2601:6c4:4081:2fc0:2905:b11f:d5e9:44b9)
17:48:02 × `2jt quits (~jtomas@90.162.208.36) (Remote host closed the connection)
17:48:22 `2jt joins (~jtomas@90.162.208.36)
17:49:26 alexherbo2 joins (~alexherbo@2a02-8440-2241-2a71-e440-8cc8-e4c9-9c8f.rev.sfr.net)
17:51:50 × Inst_ quits (~Inst@2601:6c4:4081:2fc0:ec2e:6384:903a:129d) (Ping timeout: 246 seconds)
17:55:43 harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
17:55:59 Inst_ joins (~Inst@2601:6c4:4081:2fc0:984c:1807:2944:a356)
17:57:45 zwron29 joins (~zwron@2408:8352:205:f2b0:7d16:c1dd:1a36:4fed)
17:58:39 gmg joins (~user@user/gehmehgeh)
17:58:45 <zwron29> ho
17:59:47 × Inst__ quits (~Inst@2601:6c4:4081:2fc0:2905:b11f:d5e9:44b9) (Ping timeout: 245 seconds)
18:01:35 × tabemann_ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 260 seconds)
18:02:07 <ski> lo
18:02:20 <zwron29> >/
18:05:31 × zwron29 quits (~zwron@2408:8352:205:f2b0:7d16:c1dd:1a36:4fed) (Quit: Client closed)
18:06:56 Nate[m] joins (~m52957mat@2001:470:69fc:105::1:591a)
18:09:01 extor joins (~extor@ns3018124.ip-149-202-82.eu)
18:09:26 azr4e1 joins (~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b)
18:10:01 Rydwxz_ joins (~rw@cpe-75-82-51-90.socal.res.rr.com)
18:14:17 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
18:15:48 azimut joins (~azimut@gateway/tor-sasl/azimut)
18:18:37 zwron joins (~xk@110.53.241.151)
18:18:44 <zwron> k
18:21:12 coot joins (~coot@89-69-206-216.dynamic.chello.pl)
18:21:19 × alexherbo2 quits (~alexherbo@2a02-8440-2241-2a71-e440-8cc8-e4c9-9c8f.rev.sfr.net) (Remote host closed the connection)
18:22:16 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit)
18:22:25 <zwron> q
18:22:31 × zwron quits (~xk@110.53.241.151) (Quit: leaving)
18:28:20 zwron joins (~zwron@2408:8352:205:f2b0:7d16:c1dd:1a36:4fed)
18:29:30 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:30:08 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:33:18 danse-nr3 joins (~francesco@151.35.234.186)
18:40:35 nick1 joins (~nick@wsip-174-78-110-18.pn.at.cox.net)
18:40:56 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:43:01 × nick__ quits (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 246 seconds)
18:44:46 × nick1 quits (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 246 seconds)
18:46:01 × driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
18:46:43 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
18:49:01 driib joins (~driib@vmi931078.contaboserver.net)
18:51:08 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
18:52:38 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
18:52:49 × `2jt quits (~jtomas@90.162.208.36) (Ping timeout: 246 seconds)
18:55:49 texasmynsted joins (~username@99.96.221.112)
18:56:12 × texasmynsted quits (~username@99.96.221.112) (Client Quit)
18:59:56 × phma quits (phma@2001:5b0:211f:e0b8:9211:3daf:2aff:af1e) (Read error: Connection reset by peer)
19:00:26 cafkafk joins (~cafkafk@fsf/member/cafkafk)
19:01:07 zwron56 joins (~zwron@213.159.100.34.bc.googleusercontent.com)
19:01:15 alexherbo2 joins (~alexherbo@80.105.204.77.rev.sfr.net)
19:01:21 × zwron quits (~zwron@2408:8352:205:f2b0:7d16:c1dd:1a36:4fed) (Quit: Client closed)
19:02:09 `2jt joins (~jtomas@90.162.208.36)
19:02:09 × zwron56 quits (~zwron@213.159.100.34.bc.googleusercontent.com) (Client Quit)
19:05:13 coot joins (~coot@89-69-206-216.dynamic.chello.pl)
19:05:39 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection)
19:07:40 coot joins (~coot@89-69-206-216.dynamic.chello.pl)
19:09:47 texasmynsted joins (~username@99.96.221.112)
19:09:58 × azr4e1 quits (~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b) (Ping timeout: 246 seconds)
19:10:10 wootehfoot joins (~wootehfoo@user/wootehfoot)
19:10:20 × dtman34 quits (~dtman34@2601:447:d000:93c9:6f54:cf51:938d:ead5) (Ping timeout: 240 seconds)
19:11:11 caryhartline joins (~caryhartl@168.182.58.169)
19:11:54 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit)
19:15:01 coot joins (~coot@89-69-206-216.dynamic.chello.pl)
19:22:32 tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
19:23:21 × caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline)
19:23:24 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:23:47 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
19:26:15 coot joins (~coot@89-69-206-216.dynamic.chello.pl)
19:27:56 <bontaq> ))
19:31:30 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
19:32:16 dtman34 joins (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net)
19:32:37 caryhartline joins (~caryhartl@168.182.58.169)
19:32:39 Pickchea joins (~private@user/pickchea)
19:33:43 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
19:34:59 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
19:35:43 <Athas> So, what's the current state-of-the-art of building statically linked Haskell programs with Nix?
19:35:47 ShalokShalom joins (~ShalokSha@17-14-5.cgnat.fonira.net)
19:35:56 <Athas> I currently have a setup that works reasonably well with a statically linked glibc, but I always wondered whether musl would be better. I never could figure out the necessary Nix magic.
19:36:19 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
19:36:20 × ShalokShalom quits (~ShalokSha@17-14-5.cgnat.fonira.net) (Client Quit)
19:36:29 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
19:39:07 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
19:39:16 coot joins (~coot@89-69-206-216.dynamic.chello.pl)
19:40:21 × alexherbo2 quits (~alexherbo@80.105.204.77.rev.sfr.net) (Remote host closed the connection)
19:45:51 × caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline)
19:49:10 × danse-nr3 quits (~francesco@151.35.234.186) (Ping timeout: 246 seconds)
19:50:24 ss4 joins (~wootehfoo@user/wootehfoot)
19:53:05 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds)
19:56:02 × trev quits (~trev@user/trev) (Quit: trev)
19:59:21 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
19:59:37 machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
20:05:33 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
20:06:44 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
20:07:55 nick1 joins (~nick@2600:8807:9084:7800:f9c4:557:c1bd:d23d)
20:08:32 × CAT_S quits (apic@brezn3.muc.ccc.de) (Quit: Lost terminal)
20:08:40 ft joins (~ft@p508db151.dip0.t-ipconnect.de)
20:09:02 pavonia joins (~user@user/siracusa)
20:11:59 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
20:13:14 × nick1 quits (~nick@2600:8807:9084:7800:f9c4:557:c1bd:d23d) (Ping timeout: 246 seconds)
20:15:29 × ss4 quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
20:19:41 <janus> how do you statically link glibc? i thought that was not possible due to DNS
20:20:09 <probie> A statically linked glibc isn't as statically linked as you might hope. A call to something like `getaddrinfo` is going to make it try and dlopen a bunch of things
20:21:45 <sm> we need a zig generator for ghc
20:22:37 <geekosaur> right, you can "statically link" glibc but you have to provide the matching NSS and locale shared objects at runtime
20:23:24 <geekosaur> and because their interfaces are not part of the public ABI you get zero promises if you give it ones from a different glibc
20:25:24 <probie> geekosaur: and the matching glibc at run time, because those shared objects will want to dynamically link against libc.so.6
20:25:42 <EvanR> statically link the linux kernel with your app
20:26:46 <EvanR> and bundle it with vmware
20:28:24 <juri_> or don't.
20:31:52 <monochrom> Ship the whole computer, hardware plus software.
20:32:05 <monochrom> Now that's what you call a finished product. >:)
20:32:15 <[exa]> and power plant
20:32:24 <darkling> Don't forget the pocket universe to ensure that the physics don't change under it. :)
20:35:31 <EvanR> good call
20:37:55 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
20:38:39 × bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
20:38:53 <tomsmeding> EvanR: I am currently working with software that, I kid you not, ships not only with libc.so and libc++.so, but also with a ld-linkx-x86-64.so -- i.e. a loader
20:39:03 <tomsmeding> they want to keep it closed-source quite badly
20:39:04 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
20:39:05 × `2jt quits (~jtomas@90.162.208.36) (Ping timeout: 260 seconds)
20:39:22 <tomsmeding> *ld-linux-x86-64.so
20:40:48 <monochrom> Like games on Windows shipping with their own DirectX :)
20:41:32 <EvanR> donut steel our code!
20:43:26 <tomsmeding> monochrom: kinda
20:44:08 × Rydwxz_ quits (~rw@cpe-75-82-51-90.socal.res.rr.com) (Quit: leaving)
20:44:24 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
20:47:11 hseg joins (~gesh@46.120.21.117)
20:48:05 × hseg quits (~gesh@46.120.21.117) (Client Quit)
20:50:18 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
20:50:32 albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
20:50:50 hugo joins (znc@verdigris.lysator.liu.se)
20:53:34 × bontaq quits (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 260 seconds)
20:55:29 Lycurgus joins (~juan@user/Lycurgus)
20:58:44 × oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 246 seconds)
21:01:06 <Athas> janus: you just do it. I don't need DNS.
21:01:10 <Athas> It has worked fine.
21:01:45 <Athas> But since everybody says it doesn't work, I suppose I should try something that supposedly does work.
21:03:12 × eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
21:05:20 × Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
21:07:31 × thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
21:08:23 cafkafk joins (~cafkafk@fsf/member/cafkafk)
21:09:06 × dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 252 seconds)
21:12:53 × michalz quits (~michalz@185.246.207.221) (Remote host closed the connection)
21:13:31 × extor quits (~extor@ns3018124.ip-149-202-82.eu) (Ping timeout: 246 seconds)
21:14:31 ShalokShalom joins (~ShalokSha@17-14-5.cgnat.fonira.net)
21:17:01 michalz joins (~michalz@185.246.207.197)
21:17:17 <int-e> monochrom: "Ship the whole computer" - you've just described a smart phone, an electric (and modern non-electric) cars, some fridges, smart TVs... and that's just consumer products
21:19:18 × noteness- quits (~noteness@user/noteness) (Server closed connection)
21:19:33 noteness_ joins (~noteness@user/noteness)
21:21:18 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23)
21:21:27 nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
21:24:17 × mmhat quits (~mmh@p200300f1c722e493ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.0)
21:25:05 × biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer)
21:26:23 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
21:27:06 sm[i] joins (~smi]@plaintextaccounting/sm)
21:28:34 × ddellacosta quits (~ddellacos@146.70.185.100) (Ping timeout: 246 seconds)
21:28:49 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
21:29:56 × michalz quits (~michalz@185.246.207.197) (Remote host closed the connection)
21:32:19 biberu joins (~biberu@user/biberu)
21:37:19 caryhartline joins (~caryhartl@168.182.58.169)
21:39:01 × harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
21:41:19 × ShalokShalom quits (~ShalokSha@17-14-5.cgnat.fonira.net) (Quit: Client closed)
21:43:15 <mtjm> I have a half-put-together library that provides optics for the time library, is this something that people would be interested in using?
21:43:17 <mtjm> https://github.com/mutantmell/time-optics
21:47:23 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds)
21:51:06 × sm[i] quits (~smi]@plaintextaccounting/sm) (Quit: Client closed)
21:51:47 thegeekinside joins (~thegeekin@189.217.90.138)
21:54:02 ShalokShalom joins (~ShalokSha@17-14-5.cgnat.fonira.net)
21:58:29 × ShalokShalom quits (~ShalokSha@17-14-5.cgnat.fonira.net) (Ping timeout: 246 seconds)
22:05:09 stites[m] joins (~stitesbee@2001:470:69fc:105::3:7bdc)
22:05:41 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
22:08:06 nick1 joins (~nick@2600:8807:9084:7800:f9c4:557:c1bd:d23d)
22:09:52 × acidjnk quits (~acidjnk@p200300d6e7072f22393f0c042d41b426.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
22:12:28 bontaq joins (~user@ool-45779b84.dyn.optonline.net)
22:31:13 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) (Remote host closed the connection)
22:32:53 tcard_ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
22:33:11 × tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer)
22:33:26 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23)
22:41:48 × tokie quits (~tokie@tokie.net) (Server closed connection)
22:42:15 tokie joins (~tokie@tokie.net)
22:43:00 tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
22:43:42 × nick1 quits (~nick@2600:8807:9084:7800:f9c4:557:c1bd:d23d) (Ping timeout: 260 seconds)
22:47:20 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:48:58 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
22:50:32 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
22:54:56 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
22:58:51 machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
23:03:08 × gurkenglas quits (~gurkengla@dynamic-046-114-179-248.46.114.pool.telefonica.de) (Ping timeout: 252 seconds)
23:14:48 × nckx quits (~nckx@guix/contributor/nckx) (Server closed connection)
23:15:05 azr4e1 joins (~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b)
23:15:07 × caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline)
23:15:54 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds)
23:16:16 nckx joins (~nckx@guix/contributor/nckx)
23:17:20 bratwurst joins (~dfadsva@2604:3d09:207f:f650::a8c)
23:19:16 × xff0x_ quits (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 250 seconds)
23:20:09 xff0x_ joins (~xff0x@ai086045.d.east.v6connect.net)
23:20:46 × tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in)
23:25:14 Lycurgus joins (~juan@user/Lycurgus)
23:35:39 × gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
23:38:17 mauke_ joins (~mauke@user/mauke)
23:40:56 × marvel83 quits (~marvel83@bcdcac82.skybroadband.com) (Quit: Connection error?!)
23:41:08 × mauke quits (~mauke@user/mauke) (Ping timeout: 240 seconds)
23:41:08 mauke_ is now known as mauke
23:41:44 timetravel joins (~timetrave@bcdcac82.skybroadband.com)
23:48:42 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2d74:68d2:9c5a:cc23) (Remote host closed the connection)
23:53:59 × Katarushisu quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 264 seconds)
23:54:50 × azr4e1 quits (~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b) (Remote host closed the connection)
23:57:48 caryhartline joins (~caryhartl@168.182.58.169)

All times are in UTC on 2023-07-03.