Newest at the top
| 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 |
| 2026-03-27 13:33:29 +0100 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2026-03-27 13:31:32 +0100 | gentauro | Athas are you guys still doing this at DIKU? |
| 2026-03-27 13:31:24 +0100 | <gentauro> | it's a good approach to teach the diff paradigms and not get lost in translation |
| 2026-03-27 13:31:14 +0100 | gentauro | https://www.version2.dk/artikel/funktionelle-sprog-er-tilbage-efter-aars-automatisk-brug-af-objekt… (Danish) |
| 2026-03-27 13:31:08 +0100 | gentauro | `"They start with functional programming, so imperative and so object-oriented. With F# you can better show the differences between the approaches. Otherwise it could drown in different syntax and type systems between the languages," explains associate professor and study leader Torben Mogensen from the Department of Computer Science at the University of Copenhagen to Version2`. Source: |
| 2026-03-27 13:28:31 +0100 | <gentauro> | basic .NET (C#) programming can easily be taught with `dotnet` (as in `core`) which runs on most OS/devices |
| 2026-03-27 13:27:54 +0100 | <gentauro> | tomsmeding: are they teaching Windows Forms? |
| 2026-03-27 13:27:19 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-03-27 13:27:19 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-03-27 13:27:19 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-03-27 13:06:55 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 13:05:07 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 268 seconds) |
| 2026-03-27 13:01:32 +0100 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2026-03-27 12:59:46 +0100 | dutchie | (~dutchie@user/dutchie) (Ping timeout: 248 seconds) |
| 2026-03-27 12:57:53 +0100 | kronicmage | (~kronicmag@high-fructose-corn-syrup.csclub.uwaterloo.ca) (Quit: WeeChat 4.6.3) |
| 2026-03-27 12:54:59 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-27 12:53:52 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-03-27 12:52:28 +0100 | wbrawner | (~wbrawner@129.146.105.153) () |
| 2026-03-27 12:49:34 +0100 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen |