Newest at the top
| 2024-09-16 21:21:19 +0200 | <monochrom> | Oh yeah I remember seeing APL "IO" on wikipedia :) |
| 2024-09-16 21:20:02 +0200 | <[exa]> | (APL is underrated) |
| 2024-09-16 21:19:56 +0200 | <[exa]> | probie: o nice |
| 2024-09-16 21:18:40 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-16 21:16:47 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-16 21:16:22 +0200 | <probie> | [exa]: just because monochrom brought it up, this is how you could write `fmap (sequenceA . fmap sequenceA)` in APL `(⎕IO+0 2 3 1)∘⍉` (⎕IO is "index origin". Because APL lets you swap between 0-indexing and 1-indexing, the `⎕IO+` bit it just to make it work with both) |
| 2024-09-16 21:16:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 21:11:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 21:00:38 +0200 | caconym8 | (~caconym@user/caconym) |
| 2024-09-16 21:00:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 21:00:02 +0200 | caconym8 | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-16 20:55:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 20:53:14 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-09-16 20:51:10 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-16 20:48:32 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2024-09-16 20:44:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-16 20:41:21 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-16 20:40:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 20:37:47 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-09-16 20:37:22 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Read error: Connection reset by peer) |
| 2024-09-16 20:37:21 +0200 | slack1256 | (~slack1256@2803:c600:5111:8029:6e22:e379:7b90:ce92) (Remote host closed the connection) |
| 2024-09-16 20:36:22 +0200 | <tomsmeding> | (in fact, all signals point to you making an effort to explain things simply, in proper order, and in a way that makes students happy together with giving them the means to explore the rest themselves) |
| 2024-09-16 20:34:43 +0200 | <tomsmeding> | (and I am definitely not commenting on your teaching itself, not least because I have never sat in your classroom) |
| 2024-09-16 20:34:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-16 20:34:25 +0200 | euleritian | (~euleritia@dynamic-176-003-072-241.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-16 20:34:04 +0200 | <monochrom> | I hate the word "accessible", but I think how I actually teach, and what I mean by "figure out how to tell the story", is exactly teaching things in an accessible way. So e.g., teaching parametricity the same way as the Theorems for Free is still not accessible enough, actually. |
| 2024-09-16 20:33:52 +0200 | <tomsmeding> | mauke: seems like it's himself, indeed |
| 2024-09-16 20:33:05 +0200 | <tomsmeding> | (and also, even if I would disapprove of how you grade -- not sure if you should care very much :) ) |
| 2024-09-16 20:32:40 +0200 | <tomsmeding> | I'm not saying you're doing it, or doing it bad enough that I would disapprove of it, I just don't like it :p |
| 2024-09-16 20:32:23 +0200 | <tomsmeding> | I have a strong dislike for "grading on a curve" |
| 2024-09-16 20:32:18 +0200 | <tomsmeding> | I am indeed not :) But I'm fighting for the students who are |
| 2024-09-16 20:32:02 +0200 | <monochrom> | tomsmeding: You are not my student, you won't get disadvantaged just because I decide to teach full-blown denotational semantics on a whim. >:) |
| 2024-09-16 20:31:49 +0200 | <tomsmeding> | probie: sure. But I can't do much about that cold, usually. The teacher can definitely do something about consistency in grading. |
| 2024-09-16 20:31:15 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-09-16 20:30:57 +0200 | <probie> | tomsmeding: By having a cold on the wrong day you can have your grades disadvantaged by sheer luck. Grades correlate with understanding of content, but it's hardly a 1-1 to mapping |
| 2024-09-16 20:30:28 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-16 20:30:09 +0200 | <mauke> | https://github.com/ndmitchell/hoogle/issues https://ndmitchell.com/ |
| 2024-09-16 20:29:08 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-09-16 20:29:07 +0200 | <monochrom> | Also there is an unsaid premise that I don't teach an advanced topic until I finally figure how to tell the story. |
| 2024-09-16 20:29:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-16 20:28:27 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-09-16 20:28:25 +0200 | <tomsmeding> | so just by joining university the wrong year, I can get disadvantaged in my grades by sheer luck? |
| 2024-09-16 20:27:50 +0200 | <monochrom> | I can still teach the difficult topics, but I can also choose easier or harder questions on homework and exams. |
| 2024-09-16 20:27:44 +0200 | <[exa]> | tomsmeding: exactly |
| 2024-09-16 20:27:27 +0200 | <probie> | Not sure about monochrom, but I recommend "go on a rant about the declining quality of students" |
| 2024-09-16 20:27:18 +0200 | <tomsmeding> | [exa]: who even runs hoogle.haskell.org |
| 2024-09-16 20:26:56 +0200 | <tomsmeding> | monochrom: what will you do if the year after isn't quite so good again? |
| 2024-09-16 20:26:27 +0200 | <monochrom> | OK OK change that to "chatgpt has adanced, students are ready for advanced topics". >:) |
| 2024-09-16 20:26:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-09-16 20:25:29 +0200 | <tomsmeding> | even MSc courses hit that frequency only seldomly |