Newest at the top
| 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 |
| 2024-09-16 20:25:24 +0200 | <slack1256> | I have an app using persistent, I would like to EXPLAIN the queries to add the appropiate indexes. Is there a way to do so by using persistent? If not, how should I get the executed queries to run them myself and EXPLAIN them? |
| 2024-09-16 20:25:12 +0200 | <tomsmeding> | perhaps PhD courses might evolve that quickly |
| 2024-09-16 20:25:03 +0200 | <tomsmeding> | monochrom: right. But those developments don't really happen in 2-3 years for BSc courses |
| 2024-09-16 20:24:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-16 20:24:40 +0200 | <monochrom> | Right? Just 400 years ago, you just needed to do long divisions for BSc, you just needed to solve cubic equations for PhD. We can't always teach the same basic things. |
| 2024-09-16 20:24:36 +0200 | <[exa]> | like, I've got servers |
| 2024-09-16 20:24:24 +0200 | slack1256 | (~slack1256@2803:c600:5111:8029:6e22:e379:7b90:ce92) |