2025/02/13

Newest at the top

2025-02-13 03:56:45 +0100JeremyB99(~JeremyB99@2607:ac80:407:7:6510:d227:edce:9484)
2025-02-13 03:56:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-13 03:55:37 +0100justsomeguy(~justsomeg@user/justsomeguy) justsomeguy
2025-02-13 03:49:56 +0100JeremyB99(~JeremyB99@dhcp-251-182.resnet.purdue.edu) (Read error: Connection reset by peer)
2025-02-13 03:45:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-02-13 03:40:56 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-13 03:40:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-13 03:36:41 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-13 03:34:18 +0100JeremyB99(~JeremyB99@dhcp-251-182.resnet.purdue.edu)
2025-02-13 03:30:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-13 03:25:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-13 03:22:15 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-02-13 03:14:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-02-13 03:07:32 +0100ColinRobinson(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-02-13 03:07:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-13 03:06:11 +0100messewix(~jmc@user/messewix) messewix
2025-02-13 02:57:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-02-13 02:53:28 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-02-13 02:52:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-13 02:48:56 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-13 02:47:38 +0100tjbc(~tjbc@user/fliife) fliife
2025-02-13 02:46:33 +0100tjbc(~tjbc@user/fliife) (Quit: ZNC - https://znc.in)
2025-02-13 02:41:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-02-13 02:39:09 +0100tri(~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 268 seconds)
2025-02-13 02:36:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-13 02:34:25 +0100tri(~tri@ool-44c70bcb.dyn.optonline.net)
2025-02-13 02:25:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-02-13 02:25:37 +0100xff0x(~xff0x@2405:6580:b080:900:eaaa:e5a8:7fd2:7c37) (Ping timeout: 248 seconds)
2025-02-13 02:24:33 +0100user363627(~user@user/user363627) (Ping timeout: 248 seconds)
2025-02-13 02:21:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-13 02:21:04 +0100weary-traveler(~user@user/user363627) user363627
2025-02-13 02:19:39 +0100 <monochrom> I use that too.
2025-02-13 02:19:02 +0100 <jackdk> monochrom: `-fdefer-type-errors` is occasionally really useful as a "just let me play with the working bits in GHCi" hammer
2025-02-13 02:14:26 +0100ryanbooker(uid4340@id-4340.hampstead.irccloud.com) ryanbooker
2025-02-13 02:13:26 +0100 <monochrom> Oh, maybe it means runtime type checks for scheme.
2025-02-13 02:11:28 +0100sprotte24(~sprotte24@p200300d16f0a8e003d8337fe7ef7e64f.dip0.t-ipconnect.de) (Quit: Leaving)
2025-02-13 02:10:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-02-13 02:06:41 +0100 <monochrom> err, turns off!
2025-02-13 02:06:31 +0100 <monochrom> would be funny if GHC -Ooo turns on type checking. April 1st project!
2025-02-13 02:05:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-02-13 02:05:18 +0100 <monochrom> You can pretty much analogize ghc : O1 : O2 :: gcc : O2 : O3
2025-02-13 02:04:45 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-02-13 02:00:32 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-13 01:56:54 +0100 <zwro> great thanks
2025-02-13 01:55:11 +0100 <geekosaur> otherwise no, just compilation speed (and performance of the resulting program, which can be pretty bad at -O0 especially if you were relying on fusion)
2025-02-13 01:54:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-02-13 01:54:23 +0100 <geekosaur> it will impact profiling unless you use a sufficiently recent ghc with -fprof-late
2025-02-13 01:54:02 +0100 <zwro> i know i will still get typechecking in haskell :p
2025-02-13 01:53:35 +0100 <jackdk> You'll still get typechecking but your compilation speed may be slower at higher optimisation levels
2025-02-13 01:50:34 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)