2026/03/15

Newest at the top

2026-03-15 20:30:00 +0100tomku(~tomku@user/tomku) (Ping timeout: 246 seconds)
2026-03-15 20:29:53 +0100diabloblanco(~diablobla@user/diabloblanco) (Remote host closed the connection)
2026-03-15 20:29:43 +0100 <Rembane> \o/
2026-03-15 20:29:40 +0100somemathguy(~somemathg@user/somemathguy) (Remote host closed the connection)
2026-03-15 20:28:09 +0100 <gentauro> lets hope they join the FP-madness !!!
2026-03-15 20:26:39 +0100 <gentauro> btw, actually the kidos I will teach in april are all girls :o
2026-03-15 20:25:55 +0100 <tomsmeding> lol
2026-03-15 20:25:41 +0100gentaurokido was playing 4D chess
2026-03-15 20:25:31 +0100 <gentauro> at least the kid got his own laptop after that
2026-03-15 20:25:00 +0100 <tomsmeding> oh no xD
2026-03-15 20:24:55 +0100 <gentauro> tomsmeding: nope
2026-03-15 20:24:40 +0100 <tomsmeding> no backups?
2026-03-15 20:24:22 +0100 <gentauro> yeah, kido decided to make it all go away (as you do) xD
2026-03-15 20:24:12 +0100 <gentauro> ijouw: one kido borrowed his fathers (work) laptop (he is a cook that also does accouting and order stuff and such)
2026-03-15 20:23:39 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-03-15 20:23:37 +0100 <haskellbridge> <ijouw> Yes
2026-03-15 20:23:04 +0100 <tomsmeding> the workshops, that is
2026-03-15 20:22:57 +0100 <haskellbridge> <ijouw> Someone ported microhs to web (search xeus-haskell)
2026-03-15 20:22:56 +0100 <tomsmeding> fun!
2026-03-15 20:22:29 +0100 <haskellbridge> <ijouw> I do workshops in schools and most have centrally administered computers. Installing something is a matter of years.
2026-03-15 20:22:17 +0100 <gentauro> hw + os + sw :(
2026-03-15 20:22:05 +0100 <gentauro> wasn't it Joe Armstrong that gave a talk about how they setup two identical machines with Windows. 20 mins later, they had a totally diff setup
2026-03-15 20:22:00 +0100 <tomsmeding> I co-ran a course using haskell for ~190 students for 3 years, and I think 2 out of 3 times we had a student where we just gave up
2026-03-15 20:21:08 +0100 <Rembane> The hardware is simply cursed by an old witch
2026-03-15 20:20:00 +0100 <tomsmeding> or not that but something unfathomable that nobody can figure out
2026-03-15 20:19:41 +0100 <tomsmeding> true, there most students figure it out, but there's always a couple with a sufficiently aggressive virus scanner that breaks ghcup or something
2026-03-15 20:19:06 +0100 <tomsmeding> it's true even in a university bachelor
2026-03-15 20:19:05 +0100 <gentauro> tomsmeding: exactly
2026-03-15 20:18:55 +0100 <gentauro> I tried the `F# + Fable` approach (heavily dependant on `npm`) and that was NO BUENO :'(
2026-03-15 20:18:50 +0100 <tomsmeding> the "you spend all time setting up infra" is true though
2026-03-15 20:18:35 +0100 <gentauro> geekosaur: xD
2026-03-15 20:17:38 +0100 <geekosaur> . o O { famous last words }
2026-03-15 20:17:18 +0100 <gentauro> Ellie SPA "just works" (Y)
2026-03-15 20:17:09 +0100 <gentauro> I've tried other ways by using local setups and you spend all time setting up infra (IDE, compilers, … and cross devices -> Apple, Windows and Linux)
2026-03-15 20:17:01 +0100diabloblanco(~diablobla@user/diabloblanco) diabloblanco
2026-03-15 20:15:54 +0100 <Rembane> That sounds like a nice way to work
2026-03-15 20:15:15 +0100 <gentauro> It's quite nice as it stores state. So kidos can work when going home and send link when asking for help
2026-03-15 20:14:45 +0100 <gentauro> Rembane: yes
2026-03-15 20:14:37 +0100 <Rembane> This Ellie? https://ellie-app.com/new
2026-03-15 20:14:21 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-03-15 20:14:14 +0100diabloblanco(~diablobla@user/diabloblanco) (Remote host closed the connection)
2026-03-15 20:12:35 +0100glguy(glguy@libera/staff/glguy) glguy
2026-03-15 20:12:10 +0100diabloblanco(~diablobla@user/diabloblanco) diabloblanco
2026-03-15 20:12:09 +0100glguy(glguy@libera/staff/glguy) (Ping timeout: 615 seconds)
2026-03-15 20:09:32 +0100merijn(~merijn@62.45.136.136) (Ping timeout: 268 seconds)
2026-03-15 20:09:31 +0100 <gentauro> once they grasp the notions, we move to Elm (Ellie to be more precise)
2026-03-15 20:09:02 +0100 <gentauro> 20:06 < EvanR> I was sure you were going to have kids typing into a terminal emulator
2026-03-15 20:08:21 +0100 <gentauro> hehe
2026-03-15 20:08:18 +0100 <gentauro> then I tell, go home and tell your (dev) parents that you are doing concurrent FP :P
2026-03-15 20:07:58 +0100 <gentauro> when you put 5-6 kids to work concurrently with that, they actually do a good job