2026/02/15

Newest at the top

2026-02-15 12:55:58 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-15 12:51:06 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-02-15 12:50:52 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds)
2026-02-15 12:50:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-15 12:39:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-15 12:39:12 +0100divya(divya@140.238.251.170) divya
2026-02-15 12:34:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-15 12:28:42 +0100ft(~ft@p4fc2afab.dip0.t-ipconnect.de) ft
2026-02-15 12:26:51 +0100digitteknohippieDigit
2026-02-15 12:26:45 +0100Digitdigitteknohippie
2026-02-15 12:24:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-15 12:22:27 +0100emmanuelux(~em@user/emmanuelux) (Quit: bye)
2026-02-15 12:21:34 +0100karenw(~karenw@user/karenw) (Ping timeout: 245 seconds)
2026-02-15 12:19:31 +0100karenw_(~karenw@user/karenw) karenw
2026-02-15 12:18:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-15 12:18:09 +0100natto17(~natto@129.154.243.159) natto
2026-02-15 12:16:40 +0100natto17(~natto@129.154.243.159) (Ping timeout: 256 seconds)
2026-02-15 12:16:10 +0100divya(divya@140.238.251.170) (Ping timeout: 245 seconds)
2026-02-15 12:08:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-02-15 12:03:05 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-15 11:56:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-15 11:54:11 +0100omidmash0(~omidmash@user/omidmash) omidmash
2026-02-15 11:53:54 +0100omidmash(~omidmash@user/omidmash) (Killed (NickServ (GHOST command used by omidmash_!~root@user/omidmash)))
2026-02-15 11:53:14 +0100__monty__(~toonn@user/toonn) toonn
2026-02-15 11:51:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-15 11:41:41 +0100Guest83(~Guest83@182.48.209.54) (Quit: Client closed)
2026-02-15 11:41:26 +0100 <tomsmeding> it has only llvm 15 for now, which means it ought to work for GHC >= 9.6
2026-02-15 11:41:16 +0100ames(~amelia@offtopia/offtopian/amelia) {ames}
2026-02-15 11:40:49 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-15 11:40:46 +0100 <tomsmeding> bug reports welcome
2026-02-15 11:40:30 +0100 <tomsmeding> I guess also int-e ^ :p
2026-02-15 11:39:07 +0100 <Guest83> Guys thank you for your help. I will come back with m learnings shortly
2026-02-15 11:36:52 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-02-15 11:35:48 +0100srazkvt(~sarah@user/srazkvt) srazkvt
2026-02-15 11:35:24 +0100srazkvt(~sarah@user/srazkvt) (Read error: Connection reset by peer)
2026-02-15 11:35:11 +0100 <tomsmeding> probie: the playground now has experimental support for {-# OPTIONS -fllvm #-}
2026-02-15 11:34:11 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2026-02-15 11:33:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-15 11:28:16 +0100 <ski> you're welcome
2026-02-15 11:27:42 +0100 <Guest83> Thank you for making me feel so welcome here. I am curious to start my journey.
2026-02-15 11:27:07 +0100 <ski> (well, maybe a variant of it ? .. "1940" ?)
2026-02-15 11:27:01 +0100divlamir(~divlamir@user/divlamir) divlamir
2026-02-15 11:26:51 +0100 <srazkvt> yea, from my experience haskell people are generally nice when it comes to helping out newcomers
2026-02-15 11:26:47 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-02-15 11:26:43 +0100 <ski> yea, that's the first lecture of the CIS194 course
2026-02-15 11:26:24 +0100 <Guest83> I found this resource. Looks like a good start https://www.seas.upenn.edu/~cis1940/spring13/lectures/01-intro.html
2026-02-15 11:25:42 +0100 <ski> asking people for help can be quite useful, when you'tr stumbling over something
2026-02-15 11:24:59 +0100 <Guest83> Thank you, Ski. I am liking the functional programming approach. I hope I stick around with Haskell for long because i easily get demotivated if I hit a roadblock in my learning.
2026-02-15 11:24:48 +0100 <srazkvt> but i don't go much outside of those
2026-02-15 11:24:29 +0100 <srazkvt> i have a few usernames i switch between, either this username, or a variant of it, or just my first name for more casual chats with friends