Logs: freenode/#haskell
| 2021-03-08 14:55:40 | <dolio> | Domain theory is the most fleshed out stuff I know of that studies more detailed accounts of what is going on here, though. |
| 2021-03-08 14:55:42 | × | {abby} quits (~{abby}@unaffiliated/demhydraz) (Quit: Ping timeout (120 seconds)) |
| 2021-03-08 14:55:51 | → | roconnor joins (~roconnor@host-104-157-194-235.dyn.295.ca) |
| 2021-03-08 14:57:25 | → | mmmattyx joins (uid17782@gateway/web/irccloud.com/x-clfenppapebihjat) |
| 2021-03-08 14:57:38 | × | khisanth_ quits (~Khisanth@24.sub-174-244-147.myvzw.com) (Read error: Connection reset by peer) |
| 2021-03-08 14:57:58 | → | bitmagie joins (~Thunderbi@200116b806c05f001879c69ab5903a67.dip.versatel-1u1.de) |
| 2021-03-08 14:58:28 | → | ADG1089__ joins (~aditya@223.226.235.12) |
| 2021-03-08 14:58:44 | <dolio> | And I'm not sure they use 'total' and 'partial', since things can generally be a lot more complicated than e.g. 'sets and total/partial functions' in that setting. |
| 2021-03-08 14:59:05 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-08 14:59:10 | <dolio> | The set setting is only really adequate for very simple, flat domains. |
| 2021-03-08 14:59:24 | → | gitgoood joins (~gitgood@82-132-219-97.dab.02.net) |
| 2021-03-08 15:00:26 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2021-03-08 15:01:42 | × | b3z quits (~b3z@vmd41962.contaboserver.net) (Quit: cya) |
| 2021-03-08 15:01:55 | × | gitgood quits (~gitgood@82-132-219-133.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-08 15:02:04 | → | {abby} joins (~{abby}@unaffiliated/demhydraz) |
| 2021-03-08 15:02:52 | × | SlashLife quits (~slashlife@stienen.name) (Quit: Baking more cake ...) |
| 2021-03-08 15:04:03 | × | {abby} quits (~{abby}@unaffiliated/demhydraz) (Client Quit) |
| 2021-03-08 15:04:28 | → | {abby} joins (~{abby}@unaffiliated/demhydraz) |
| 2021-03-08 15:05:03 | → | SlashLife joins (~slashlife@stienen.name) |
| 2021-03-08 15:05:33 | × | jtcs quits (~jtcs@vmi359854.contaboserver.net) (Ping timeout: 256 seconds) |
| 2021-03-08 15:05:40 | → | b3z joins (~b3z@vmd41962.contaboserver.net) |
| 2021-03-08 15:05:52 | × | bitmagie quits (~Thunderbi@200116b806c05f001879c69ab5903a67.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-03-08 15:06:48 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-zwhkjwvkwzspfstr) |
| 2021-03-08 15:07:54 | → | jtcs joins (~jtcs@vmi359854.contaboserver.net) |
| 2021-03-08 15:08:12 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Remote host closed the connection) |
| 2021-03-08 15:08:17 | → | bitmagie joins (~Thunderbi@200116b806c05f001879c69ab5903a67.dip.versatel-1u1.de) |
| 2021-03-08 15:08:30 | × | ADG1089__ quits (~aditya@223.226.235.12) (Read error: Connection reset by peer) |
| 2021-03-08 15:08:31 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 2021-03-08 15:08:36 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-03-08 15:08:38 | × | bitmagie quits (~Thunderbi@200116b806c05f001879c69ab5903a67.dip.versatel-1u1.de) (Client Quit) |
| 2021-03-08 15:08:57 | × | [exa] quits (exa@unaffiliated/exa/x-5381537) (Ping timeout: 256 seconds) |
| 2021-03-08 15:09:47 | → | [exa] joins (exa@srv3.blesmrt.net) |
| 2021-03-08 15:12:49 | × | ft quits (~ft@shell.chaostreff-dortmund.de) (Quit: leaving) |
| 2021-03-08 15:12:59 | × | thunderrd quits (~thunderrd@183.182.115.72) (Read error: Connection reset by peer) |
| 2021-03-08 15:13:08 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-08 15:13:13 | → | ft joins (~ft@shell.chaostreff-dortmund.de) |
| 2021-03-08 15:14:02 | → | thunderrd joins (~thunderrd@183.182.115.72) |
| 2021-03-08 15:18:01 | <d34df00d> | siraben: https://github.com/bos/vector-binary-instances/blob/master/Data/Vector/Binary.hs#L91-L99 — that's re unsafePerformIO. |
| 2021-03-08 15:18:12 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-08 15:20:24 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 260 seconds) |
| 2021-03-08 15:22:43 | → | bitmagie joins (~Thunderbi@200116b806c05f001879c69ab5903a67.dip.versatel-1u1.de) |
| 2021-03-08 15:23:19 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-08 15:24:33 | × | atraii quits (~atraii@c-174-52-203-201.hsd1.ut.comcast.net) (Ping timeout: 264 seconds) |
| 2021-03-08 15:25:39 | × | bitmagie quits (~Thunderbi@200116b806c05f001879c69ab5903a67.dip.versatel-1u1.de) (Client Quit) |
| 2021-03-08 15:28:16 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:e8a1:9714:9398:d20d) |
| 2021-03-08 15:28:18 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-08 15:28:29 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) |
| 2021-03-08 15:29:09 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-03-08 15:31:20 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-cqtgrbgbxdwdpiqe) (Quit: Connection closed for inactivity) |
| 2021-03-08 15:32:13 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-03-08 15:33:19 | → | hiptobecubic joins (~john@unaffiliated/hiptobecubic) |
| 2021-03-08 15:34:24 | gitgoood | is now known as gitgood |
| 2021-03-08 15:36:04 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-03-08 15:36:19 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 245 seconds) |
| 2021-03-08 15:38:40 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-08 15:39:43 | → | aggin joins (~ecm@103.88.87.36) |
| 2021-03-08 15:40:24 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-08 15:41:52 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection) |
| 2021-03-08 15:43:45 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-03-08 15:43:57 | <Gurkenglas> | Shouldn't https://www.cs.ox.ac.uk/jeremy.gibbons/publications/fast+loose.pdf -> (69) use Nu rather than Mu? |
| 2021-03-08 15:44:31 | <dolio> | Depends. |
| 2021-03-08 15:45:05 | <dolio> | Oh, you're talking about a specific equation. |
| 2021-03-08 15:45:47 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 256 seconds) |
| 2021-03-08 15:45:59 | <dolio> | ν does seem more appropriate for that. |
| 2021-03-08 15:47:00 | <dolio> | Oh, but they say why just after. |
| 2021-03-08 15:49:17 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-08 15:50:21 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-08 15:53:07 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-08 15:53:26 | × | xff0x quits (~xff0x@2001:1a81:5322:b100:9b6e:8f76:bdb6:eb49) (Ping timeout: 264 seconds) |
| 2021-03-08 15:53:30 | → | shellin joins (bab72422@186.183.36.34) |
| 2021-03-08 15:53:54 | → | xff0x joins (~xff0x@2001:1a81:5322:b100:e05:b719:4bf6:4ca9) |
| 2021-03-08 15:54:33 | → | crobbins_ joins (~crobbins@2601:2c1:200:ec50:5478:59f2:999b:c6a1) |
| 2021-03-08 15:55:51 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-08 15:56:31 | × | graf_blutwurst quits (~user@2001:171b:226e:adc0:e1ff:3bfc:b92a:8a8d) (Remote host closed the connection) |
| 2021-03-08 15:58:05 | <Gurkenglas> | i think i see... but if they were gonna cheat like that, shouldnt they have more explicitly said "since we are now reasoning partially, μ = ν" and used their own unfold? |
| 2021-03-08 15:58:05 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-08 15:58:14 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:e8a1:9714:9398:d20d) (Ping timeout: 264 seconds) |
| 2021-03-08 15:58:56 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-08 16:00:32 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) |
| 2021-03-08 16:01:30 | <dolio> | Well, they're not equal. Just isomorphic. |
| 2021-03-08 16:02:05 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) (Remote host closed the connection) |
| 2021-03-08 16:02:44 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) |
| 2021-03-08 16:05:50 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:11c5:786:f774:d85e) |
| 2021-03-08 16:07:12 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-03-08 16:07:14 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) (Ping timeout: 264 seconds) |
| 2021-03-08 16:08:04 | ← | shellin parts (bab72422@186.183.36.34) () |
| 2021-03-08 16:08:38 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 2021-03-08 16:09:18 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-03-08 16:10:41 | ← | linux_party parts (~linux_par@adsl-62.176.58.193.tellas.gr) () |
| 2021-03-08 16:10:44 | × | b_ee quits (~b@static-87-75-97-107.vodafonexdsl.co.uk) (Quit: Leaving) |
| 2021-03-08 16:11:23 | <Gurkenglas> | ah they say in 10.3 that 10.2 could "go for coinductive instead of inductive lists, and replace the approximation lemma with the take lemma" |
| 2021-03-08 16:12:19 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-03-08 16:16:00 | → | hoppfull joins (55e07729@c-2977e055.19-9-64736c10.bbcust.telenor.se) |
| 2021-03-08 16:17:32 | × | JokerAscensionEx quits (~egp_@2.95.74.168) (Remote host closed the connection) |
| 2021-03-08 16:18:26 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-03-08 16:18:47 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-08 16:19:00 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-08 16:21:04 | → | Tesseraction joins (~Tesseract@unaffiliated/tesseraction) |
| 2021-03-08 16:21:34 | → | gitgoood joins (~gitgood@82-132-219-97.dab.02.net) |
| 2021-03-08 16:21:36 | × | gitgood quits (~gitgood@82-132-219-97.dab.02.net) (Read error: Connection reset by peer) |
All times are in UTC.