Logs: freenode/#haskell
| 2020-11-11 18:29:06 | <koz_> | (or more precisely, designed anything in their classes around them) |
| 2020-11-11 18:29:17 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-11 18:29:20 | <tomsmeding> | (in particular, I know two teachers well on two very different schools, and there the situation is, at least ostensibly, as I just described) |
| 2020-11-11 18:29:22 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Remote host closed the connection) |
| 2020-11-11 18:29:35 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-11 18:29:37 | <dminuoso> | But this likely varies from state to state across countries even |
| 2020-11-11 18:29:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2020-11-11 18:30:01 | <p0a> | My experience teaching is that we placed large emphasis on testing and teaching for the test |
| 2020-11-11 18:30:05 | <dminuoso> | At least here, education is a federal responsibility, so they decide on the core topics of the curriculum |
| 2020-11-11 18:30:12 | <dminuoso> | the school then outlines the exact curriculum |
| 2020-11-11 18:30:23 | → | Iceland_jack joins (~user@95.149.219.123) |
| 2020-11-11 18:30:26 | <dminuoso> | and the teacher then has, essentially, unchecked and unlimited freedom to plan his or her syllabus |
| 2020-11-11 18:30:33 | <dminuoso> | with the assumption they follow the schools curriculum |
| 2020-11-11 18:30:49 | <p0a> | with the contraint of time, the teacher has very little freedom |
| 2020-11-11 18:30:55 | <Rembane> | So the trick is to not follow the curriculum and hope that noone notices? :) |
| 2020-11-11 18:31:01 | → | ishutin_ joins (~Ishutin@91-83-11-228.pool.digikabel.hu) |
| 2020-11-11 18:31:06 | <tomsmeding> | seems so |
| 2020-11-11 18:31:08 | <p0a> | Rembane: the students will notice and complain :P |
| 2020-11-11 18:31:09 | <tomsmeding> | :) |
| 2020-11-11 18:31:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-11 18:32:10 | <Rembane> | p0a: Ach! Those pesky students! :D |
| 2020-11-11 18:32:10 | → | boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) |
| 2020-11-11 18:32:15 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-11 18:32:22 | <p0a> | It's all off-topic I guess but I have very strong opinions on this and could talk about it forever |
| 2020-11-11 18:32:56 | <tomsmeding> | perhaps indeed off-topic :p |
| 2020-11-11 18:32:59 | <p0a> | I might be making the mistake of judging the entire situation from my own experience... |
| 2020-11-11 18:33:15 | <p0a> | right, I'll go back to the megaparsec tutorial :P |
| 2020-11-11 18:33:50 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 2020-11-11 18:34:22 | × | ishutin quits (~Ishutin@178-164-208-236.pool.digikabel.hu) (Ping timeout: 258 seconds) |
| 2020-11-11 18:36:12 | × | Eduard_Munteanu quits (~Eduard_Mu@5-12-253-224.residential.rdsnet.ro) (Ping timeout: 256 seconds) |
| 2020-11-11 18:36:43 | <dminuoso> | Rembane: she could, probably |
| 2020-11-11 18:36:54 | <cohn> | p0a: do you have a link to that tutorial? |
| 2020-11-11 18:37:16 | <p0a> | cohn: sure |
| 2020-11-11 18:37:20 | <dminuoso> | As long as she doesn't do this in a class that graduates, it will largely go unnoticed. |
| 2020-11-11 18:37:42 | <p0a> | cohn: https://markkarpov.com/tutorial/megaparsec.html |
| 2020-11-11 18:38:10 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-11-11 18:38:11 | <Rembane> | :D |
| 2020-11-11 18:39:16 | <p0a> | cohn: I'm afraid it might be too simple for you :) I am learning the very basics |
| 2020-11-11 18:39:44 | <cohn> | i've never used it so I'd imagine it'll be just right. ; ) |
| 2020-11-11 18:39:47 | <cohn> | p0a: thanks! |
| 2020-11-11 18:41:17 | × | v_m_v_ quits (~vm_v@2a02:aa12:3200:6480:fc4f:fb56:796a:9a4a) (Remote host closed the connection) |
| 2020-11-11 18:43:39 | → | Xu95 joins (~j5@c-73-8-18-136.hsd1.il.comcast.net) |
| 2020-11-11 18:43:44 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-11-11 18:44:49 | <p0a> | cohn: you're welcome |
| 2020-11-11 18:45:00 | hackage | polysemy-vinyl 0.1.0.0 - Functions for mapping vinyl records in polysemy. https://hackage.haskell.org/package/polysemy-vinyl-0.1.0.0 (locallycompact) |
| 2020-11-11 18:45:37 | × | knupfer quits (~Thunderbi@200116b82c3cbf00386ef564a0cbc086.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2020-11-11 18:46:38 | → | kish` joins (~oracle@unaffiliated/oracle) |
| 2020-11-11 18:49:18 | → | chaosmasttter joins (~chaosmast@p200300c4a708720194f08e63d4a8ce76.dip0.t-ipconnect.de) |
| 2020-11-11 18:51:26 | × | datajerk quits (~datajerk@sense.net) (Quit: ZNC 1.7.3 - https://znc.in) |
| 2020-11-11 18:53:18 | → | gecko_ joins (~gecko@2001:19f0:5:10f4:5400:3ff:fe0f:15cb) |
| 2020-11-11 18:53:24 | <gecko_> | clear |
| 2020-11-11 18:53:59 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-11 18:54:00 | × | kish` quits (~oracle@unaffiliated/oracle) (Ping timeout: 272 seconds) |
| 2020-11-11 18:54:21 | → | datajerk joins (~datajerk@sense.net) |
| 2020-11-11 18:54:52 | → | kish` joins (~oracle@unaffiliated/oracle) |
| 2020-11-11 18:55:34 | → | niko joins (~niko@freenode/staff/ubuntu.member.niko) |
| 2020-11-11 18:56:27 | × | p0a quits (~user@unaffiliated/p0a) (Quit: bye) |
| 2020-11-11 18:56:47 | → | alorente joins (~alorente@217.146.82.202) |
| 2020-11-11 19:02:33 | × | timCF quits (~i.tkachuk@m91-129-105-245.cust.tele2.ee) (Ping timeout: 260 seconds) |
| 2020-11-11 19:03:33 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2020-11-11 19:04:30 | hackage | phonetic-languages-constaints 0.2.1.0 - Constraints to filter the needed permutations https://hackage.haskell.org/package/phonetic-languages-constaints-0.2.1.0 (OleksandrZhabenko) |
| 2020-11-11 19:04:37 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 268 seconds) |
| 2020-11-11 19:04:53 | → | knupfer joins (~Thunderbi@200116b82c3cbf0038ffd9fffe08c9b4.dip.versatel-1u1.de) |
| 2020-11-11 19:05:06 | × | knupfer quits (~Thunderbi@200116b82c3cbf0038ffd9fffe08c9b4.dip.versatel-1u1.de) (Client Quit) |
| 2020-11-11 19:05:14 | → | knupfer joins (~Thunderbi@i5E86B416.versanet.de) |
| 2020-11-11 19:06:19 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds) |
| 2020-11-11 19:07:46 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2020-11-11 19:08:25 | hyperisco_ | is now known as hyperisco |
| 2020-11-11 19:09:13 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2020-11-11 19:09:37 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) () |
| 2020-11-11 19:09:58 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2020-11-11 19:11:26 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds) |
| 2020-11-11 19:14:01 | hackage | approx 0.1.0.0 - Easy-to-use reasonable way of emulating approx in Haskell. https://hackage.haskell.org/package/approx-0.1.0.0 (kishaloy) |
| 2020-11-11 19:14:02 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2020-11-11 19:15:25 | × | alp quits (~alp@2a01:e0a:58b:4920:2925:3e55:7d36:aa14) (Ping timeout: 272 seconds) |
| 2020-11-11 19:15:52 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2020-11-11 19:15:53 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2020-11-11 19:19:48 | → | Tario joins (~Tario@37.218.241.6) |
| 2020-11-11 19:19:59 | → | dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) |
| 2020-11-11 19:21:10 | → | borne joins (~fritjof@200116b864a609004fbf5cd6c83663b1.dip.versatel-1u1.de) |
| 2020-11-11 19:23:01 | × | dbmikus__ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds) |
| 2020-11-11 19:24:03 | → | timCF joins (~i.tkachuk@m91-129-105-245.cust.tele2.ee) |
| 2020-11-11 19:25:18 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds) |
| 2020-11-11 19:25:50 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 264 seconds) |
| 2020-11-11 19:25:53 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds) |
| 2020-11-11 19:29:35 | × | ransom quits (~c4264035@undergraduate-jvossen-9690.mines.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-11 19:29:50 | → | avdb joins (~avdb@ip-83-134-202-84.dsl.scarlet.be) |
| 2020-11-11 19:30:27 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-11 19:32:31 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2020-11-11 19:32:57 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 2020-11-11 19:33:35 | × | Tario quits (~Tario@37.218.241.6) (Ping timeout: 256 seconds) |
| 2020-11-11 19:34:23 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-11-11 19:34:31 | hackage | strict-tuple 0.1.4 - Strict tuples https://hackage.haskell.org/package/strict-tuple-0.1.4 (mitchellwrosen) |
| 2020-11-11 19:34:32 | → | dbmikus__ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2020-11-11 19:35:30 | → | stackdimes joins (~stackdime@70.39.102.181) |
| 2020-11-11 19:35:56 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 2020-11-11 19:37:54 | → | thir joins (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) |
| 2020-11-11 19:38:57 | → | ransom joins (~c4264035@undergraduate-jvossen-9690.mines.edu) |
| 2020-11-11 19:38:58 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 2020-11-11 19:39:18 | → | Tario joins (~Tario@37.218.241.6) |
All times are in UTC.