Logs: liberachat/#haskell
| 2026-03-15 18:11:18 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-15 18:11:36 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-03-15 18:12:13 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-03-15 18:13:21 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2026-03-15 18:16:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 18:20:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-15 18:31:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 18:36:13 | → | califax_ joins (~califax@user/califx) |
| 2026-03-15 18:36:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-15 18:37:13 | × | califax quits (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2026-03-15 18:37:25 | califax_ | is now known as califax |
| 2026-03-15 18:38:48 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-03-15 18:39:11 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-03-15 18:46:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-15 18:50:45 | → | sm__ joins (~sm@66.8.200.171) |
| 2026-03-15 18:52:14 | × | sm__ quits (~sm@66.8.200.171) (Client Quit) |
| 2026-03-15 18:53:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-15 18:53:20 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-03-15 18:53:40 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-03-15 18:53:53 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-15 18:53:54 | <haskellbridge> | <sm> mesaoptimizer: > a really nice essay |
| 2026-03-15 18:53:54 | <haskellbridge> | +1 |
| 2026-03-15 18:55:23 | <haskellbridge> | <sm> "stealing learning" was an interesting concept |
| 2026-03-15 18:58:12 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-03-15 18:59:48 | <gentauro> | Rembane: you can teach basic operation precedence with pattern matching ;) |
| 2026-03-15 19:00:03 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-03-15 19:00:16 | <Rembane> | gentauro: Are you thinking about the mnemonics or something else? :) |
| 2026-03-15 19:01:54 | <gentauro> | 18:55 < Rembane> Math is ... math is never easy to learn nor to teach … |
| 2026-03-15 19:02:27 | <Rembane> | gentauro: Ah. Got it. |
| 2026-03-15 19:03:55 | <gentauro> | I'm going to teach kidos (in April) how to make a basic calculator with FP ;) |
| 2026-03-15 19:04:07 | <Rembane> | Exciting! :) |
| 2026-03-15 19:04:08 | <gentauro> | (among other things) |
| 2026-03-15 19:04:18 | <Rembane> | Will it involve RPN? |
| 2026-03-15 19:04:51 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-15 19:05:51 | <EvanR> | is this calculator going to have a GUI |
| 2026-03-15 19:05:51 | <gentauro> | Rembane: we will start with an analog approach to MVU ;) https://imgur.com/a/bXA0MSw |
| 2026-03-15 19:05:54 | <gentauro> | xD |
| 2026-03-15 19:05:59 | <gentauro> | EvanR: it sure will |
| 2026-03-15 19:06:01 | <gentauro> | :P |
| 2026-03-15 19:06:03 | <EvanR> | wow what |
| 2026-03-15 19:06:19 | <EvanR> | I was sure you were going to have kids typing into a terminal emulator |
| 2026-03-15 19:06:31 | <gentauro> | EvanR: that would be to easy |
| 2026-03-15 19:06:50 | <Rembane> | Sweet! :D |
| 2026-03-15 19:06:51 | <EvanR> | as a kid who was typing into an apple II BASIC thing, was life changing |
| 2026-03-15 19:06:54 | <gentauro> | 3D printed numbers and (basick math) operations |
| 2026-03-15 19:07:05 | <gentauro> | a notebook for immutable traces |
| 2026-03-15 19:07:15 | <gentauro> | and then a marker to update state |
| 2026-03-15 19:07:21 | <EvanR> | whoa |
| 2026-03-15 19:07:24 | <gentauro> | oh, the buttons are just post its :D |
| 2026-03-15 19:07:58 | <gentauro> | when you put 5-6 kids to work concurrently with that, they actually do a good job |
| 2026-03-15 19:08:18 | <gentauro> | then I tell, go home and tell your (dev) parents that you are doing concurrent FP :P |
| 2026-03-15 19:08:21 | <gentauro> | hehe |
| 2026-03-15 19:09:02 | <gentauro> | 20:06 < EvanR> I was sure you were going to have kids typing into a terminal emulator |
| 2026-03-15 19:09:31 | <gentauro> | once they grasp the notions, we move to Elm (Ellie to be more precise) |
| 2026-03-15 19:09:32 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 268 seconds) |
| 2026-03-15 19:12:09 | × | glguy quits (glguy@libera/staff/glguy) (Ping timeout: 615 seconds) |
| 2026-03-15 19:12:10 | → | diabloblanco joins (~diablobla@user/diabloblanco) |
| 2026-03-15 19:12:35 | → | glguy joins (glguy@libera/staff/glguy) |
| 2026-03-15 19:14:14 | × | diabloblanco quits (~diablobla@user/diabloblanco) (Remote host closed the connection) |
| 2026-03-15 19:14:21 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-15 19:14:37 | <Rembane> | This Ellie? https://ellie-app.com/new |
| 2026-03-15 19:14:45 | <gentauro> | Rembane: yes |
| 2026-03-15 19:15:15 | <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 19:15:54 | <Rembane> | That sounds like a nice way to work |
| 2026-03-15 19:17:01 | → | diabloblanco joins (~diablobla@user/diabloblanco) |
| 2026-03-15 19:17:09 | <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 19:17:18 | <gentauro> | Ellie SPA "just works" (Y) |
| 2026-03-15 19:17:38 | <geekosaur> | . o O { famous last words } |
| 2026-03-15 19:18:35 | <gentauro> | geekosaur: xD |
| 2026-03-15 19:18:50 | <tomsmeding> | the "you spend all time setting up infra" is true though |
| 2026-03-15 19:18:55 | <gentauro> | I tried the `F# + Fable` approach (heavily dependant on `npm`) and that was NO BUENO :'( |
| 2026-03-15 19:19:05 | <gentauro> | tomsmeding: exactly |
| 2026-03-15 19:19:06 | <tomsmeding> | it's true even in a university bachelor |
| 2026-03-15 19:19:41 | <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 19:20:00 | <tomsmeding> | or not that but something unfathomable that nobody can figure out |
| 2026-03-15 19:21:08 | <Rembane> | The hardware is simply cursed by an old witch |
| 2026-03-15 19:22:00 | <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 19:22:05 | <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 19:22:17 | <gentauro> | hw + os + sw :( |
| 2026-03-15 19:22:29 | <haskellbridge> | <ijouw> I do workshops in schools and most have centrally administered computers. Installing something is a matter of years. |
| 2026-03-15 19:22:56 | <tomsmeding> | fun! |
| 2026-03-15 19:22:57 | <haskellbridge> | <ijouw> Someone ported microhs to web (search xeus-haskell) |
| 2026-03-15 19:23:04 | <tomsmeding> | the workshops, that is |
| 2026-03-15 19:23:37 | <haskellbridge> | <ijouw> Yes |
| 2026-03-15 19:23:39 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-15 19:24:12 | <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 19:24:22 | <gentauro> | yeah, kido decided to make it all go away (as you do) xD |
| 2026-03-15 19:24:40 | <tomsmeding> | no backups? |
| 2026-03-15 19:24:55 | <gentauro> | tomsmeding: nope |
| 2026-03-15 19:25:00 | <tomsmeding> | oh no xD |
| 2026-03-15 19:25:31 | <gentauro> | at least the kid got his own laptop after that |
| 2026-03-15 19:25:41 | gentauro | kido was playing 4D chess |
| 2026-03-15 19:25:55 | <tomsmeding> | lol |
| 2026-03-15 19:26:39 | <gentauro> | btw, actually the kidos I will teach in april are all girls :o |
| 2026-03-15 19:28:09 | <gentauro> | lets hope they join the FP-madness !!! |
| 2026-03-15 19:29:40 | × | somemathguy quits (~somemathg@user/somemathguy) (Remote host closed the connection) |
| 2026-03-15 19:29:43 | <Rembane> | \o/ |
| 2026-03-15 19:29:53 | × | diabloblanco quits (~diablobla@user/diabloblanco) (Remote host closed the connection) |
| 2026-03-15 19:30:00 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 246 seconds) |
| 2026-03-15 19:37:59 | <gentauro> | 20:22 <+haskellbridge> <ijouw> Someone ported microhs to web (search xeus-haskell) |
All times are in UTC.