Newest at the top
| 2026-03-27 15:32:58 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2026-03-27 15:30:49 +0100 | <ski> | gentauro : Olivier Danvy,Andrzej Filinski,Julia Lawall,Karoline Malmkjer,Peter Sestoft ? |
| 2026-03-27 15:30:21 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 15:27:48 +0100 | <geekosaur> | advance notice: I'll be taking my laptop down this weekend to replace the battery. the bridge will be down during the repair. |
| 2026-03-27 15:16:21 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 2026-03-27 15:14:43 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) kupi |
| 2026-03-27 15:10:44 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 15:09:59 +0100 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2026-03-27 15:09:48 +0100 | mistivia | (~mistivia@user/mistivia) (Remote host closed the connection) |
| 2026-03-27 15:08:23 +0100 | <gentauro> | probie: my "batch" (at DIKU) did: SML (MoscowML) -> Java -> C -> … -> OCaml but never learned Haskell at uni. Did afterwards (if your uni doesn't teach you to teach yourself complex topics, then they aren't doing it right) |
| 2026-03-27 15:07:28 +0100 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2026-03-27 15:07:13 +0100 | mistivia | (~mistivia@user/mistivia) (Remote host closed the connection) |
| 2026-03-27 15:02:51 +0100 | divlamir_ | divlamir |
| 2026-03-27 15:02:51 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 255 seconds) |
| 2026-03-27 15:02:07 +0100 | hsw | (~hsw@106.104.102.45) (Ping timeout: 264 seconds) |
| 2026-03-27 15:00:39 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-03-27 14:59:32 +0100 | hsw_ | (~hsw@106.104.102.45) hsw |
| 2026-03-27 14:56:18 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 2026-03-27 14:56:07 +0100 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-03-27 14:40:31 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) rekahsoft |
| 2026-03-27 14:35:53 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-27 14:31:55 +0100 | <L29Ah> | Athas: i don't know, i don't want to rebuild my entire haskell ecosystem to check if it works because it modifies a bundled ghc library |
| 2026-03-27 14:28:46 +0100 | <Athas> | Oh, there's a stale one. Does it still work? |
| 2026-03-27 14:24:17 +0100 | <L29Ah> | Athas: https://github.com/haskell/haskeline/pull/148 |
| 2026-03-27 14:21:22 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.2) |
| 2026-03-27 14:20:42 +0100 | <Athas> | L29Ah: PRs welcome! |
| 2026-03-27 14:10:10 +0100 | polykernel_ | polykernel |
| 2026-03-27 14:10:10 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 248 seconds) |
| 2026-03-27 14:08:42 +0100 | czan | (~czan@user/mange) (Quit: Zzz...) |
| 2026-03-27 14:07:16 +0100 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-03-27 14:05:51 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-03-27 14:05:29 +0100 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2026-03-27 14:05:03 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-27 14:02:43 +0100 | <mesaoptimizer> | I think yaml files / kubernetes / system admin would be maximally painful as a second course |
| 2026-03-27 14:02:06 +0100 | <mesaoptimizer> | I considered Agda and then assembler, but assembler does have a coherent semantics in terms of the user facing ISA so that wouldn't count |
| 2026-03-27 14:01:15 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-03-27 14:01:06 +0100 | st_aldini | (~Betterbir@2605:a601:a07c:7426:a9c5:df0c:3e0f:b451) (Ping timeout: 248 seconds) |
| 2026-03-27 13:59:05 +0100 | <mesaoptimizer> | perhaps you could optimize the pain. what is the optimal first language and second language to make uni students use, such that you can traumatize them with the second? |
| 2026-03-27 13:57:21 +0100 | <L29Ah> | https://github.com/haskell/haskeline/issues/5 :_( |
| 2026-03-27 13:57:15 +0100 | <mesaoptimizer> | 'how to torture university students' |
| 2026-03-27 13:56:18 +0100 | <probie> | gentauro: The Australian National University teaches some Haskell, and then moves to Java. Based on my experience tutoring the relevant courses, there's not a huge amount of friction generated by the change in syntax and type systems. This seems a bit like a "premature optimisation" |
| 2026-03-27 13:55:47 +0100 | Guest62t | (~Guest62t@p200300ca8f33c7004094c99c1bc7419e.dip0.t-ipconnect.de) |
| 2026-03-27 13:55:42 +0100 | <mesaoptimizer> | One downside with GHCi and sabela is that they don't have HLS integration but that's a problem anyway if you don't use actual Haskell files, I believe |
| 2026-03-27 13:54:50 +0100 | <mesaoptimizer> | L29Ah: try https://github.com/DataHaskell/sabela if it fits your needs, I've been quite enthuasiastic about it |
| 2026-03-27 13:52:20 +0100 | <L29Ah> | apparently ghci only saves history when exiting :( |
| 2026-03-27 13:51:58 +0100 | <L29Ah> | lost my precious ghci history when power ran out |
| 2026-03-27 13:49:24 +0100 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-03-27 13:48:10 +0100 | danz58683 | (~danza@user/danza) danza |
| 2026-03-27 13:46:10 +0100 | xff0x | (~xff0x@2405:6580:b080:900:695e:e47a:827e:b9ce) |
| 2026-03-27 13:34:01 +0100 | dutchie | (~dutchie@user/dutchie) dutchie |