Logs: freenode/#haskell
| 2021-03-23 20:27:46 | <dolio> | Most domains are not like that. |
| 2021-03-23 20:27:47 | → | jneira joins (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) |
| 2021-03-23 20:27:54 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-23 20:28:10 | × | apeyroux quits (~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 258 seconds) |
| 2021-03-23 20:28:34 | → | vnz joins (~vnz@2001:bc8:604:94f::1) |
| 2021-03-23 20:28:34 | × | vnz quits (~vnz@2001:bc8:604:94f::1) (Changing host) |
| 2021-03-23 20:28:34 | → | vnz joins (~vnz@unaffiliated/vnz) |
| 2021-03-23 20:28:37 | × | Nahra quits (~Nahra@unaffiliated/nahra) (Ping timeout: 260 seconds) |
| 2021-03-23 20:31:04 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-23 20:32:31 | <dolio> | If you use lattice theory instead you'd have that, but I don't know as much about lattice theoretic semantics. |
| 2021-03-23 20:33:17 | <wz1000> | I would really like to mask in ConduitT |
| 2021-03-23 20:33:31 | <wz1000> | but I don't think there is a way |
| 2021-03-23 20:34:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-03-23 20:35:05 | <dolio> | I think prima facie you'd have a better story for lub, too, because it would exist even if the values mismatch on the 'well-defined' parts. But I think you need to wait for all branches to complete, so that's bad. |
| 2021-03-23 20:37:56 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) |
| 2021-03-23 20:38:35 | → | ozataman joins (~ozataman@pool-151-202-25-12.nycmny.fios.verizon.net) |
| 2021-03-23 20:39:48 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-23 20:42:31 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Ping timeout: 244 seconds) |
| 2021-03-23 20:44:46 | → | apeyroux joins (~alex@78.20.138.88.rev.sfr.net) |
| 2021-03-23 20:54:12 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-23 20:55:28 | × | fuzzypixelz quits (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 245 seconds) |
| 2021-03-23 21:00:32 | <monochrom> | Lattices are nice in giving you a sense of symmetry in "both join and meet exist, not just biasedly one of them". In the same sense classical logic is more symmetric than intuitionistic logic. |
| 2021-03-23 21:01:03 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 256 seconds) |
| 2021-03-23 21:01:25 | → | farzad joins (~farzad@5.234.226.127) |
| 2021-03-23 21:01:45 | <monochrom> | But I learned it the hard way, even resisted for a while, that once computation is involved, that nice symmetry has to be broken. Necessarily one side is much more computable than the other. Too bad, but c'est la vie. |
| 2021-03-23 21:01:54 | <ski> | @hackage lvish |
| 2021-03-23 21:01:55 | <lambdabot> | https://hackage.haskell.org/package/lvish |
| 2021-03-23 21:02:55 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-23 21:03:19 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-03-23 21:05:00 | <monochrom> | You will find lattice theory --- admitting both join and meet --- more popular in semantics of stateful programming, e.g., most spaces of Dijkstra's weakest preconditions. But immediately you will also find that one of them stands for angelic non-determinism, a miraculous notion that is nice to have in math but everyone knows it is unimplementable. |
| 2021-03-23 21:05:22 | <ski> | being able to have multiple stages (more than just "not forced", and "forced, possibly containing unforced components") could also be useful. an example is "improving intervals", where one attempts to represent real numbers, by successively better rational interval approximations. you can e.g. write a binary-search of a root, using a `clamp' (`clamp lo hi x = max lo (min hi x) = min hi (max lo x)'), with an |
| 2021-03-23 21:05:28 | <ski> | implementation that at first looks like it can't terminate, due to no base case. calling `>' will force successively better approximations, until (if) it can tell the answer |
| 2021-03-23 21:06:13 | <ski> | (another possibility for multiple instantiation states would be something like splay trees, or other such things, where you can switch to an alternate representation, based of usage patterns) |
| 2021-03-23 21:07:47 | ski | idly recalls browsing a paper about using topological methods to analyze concurrency, e.g. deadlock. avoiding "forbidden regions" of a multidimensional state-space, where one traces out a monotone/increasing path |
| 2021-03-23 21:10:41 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 256 seconds) |
| 2021-03-23 21:11:43 | → | fuzzypixelz joins (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2021-03-23 21:12:08 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 2021-03-23 21:12:08 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 2021-03-23 21:12:46 | <farzad> | hi guys, is ClassyPrelude still a thing? im having trouble setting it up in a fresh project |
| 2021-03-23 21:12:57 | × | geowiesnot_bis quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-03-23 21:14:13 | <monochrom> | ski: In the case of improving intervals, I think we can fake it with [(Rationa, Rational)] as lists of successively improving intervals. To be sure, as usual, encodings suck. |
| 2021-03-23 21:14:29 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-03-23 21:15:30 | <monochrom> | Haha great, improving intervals and splay trees are advocates of mutable state. >:) |
| 2021-03-23 21:16:01 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-03-23 21:16:49 | × | codygman` quits (~user@209.251.131.98) (Ping timeout: 272 seconds) |
| 2021-03-23 21:17:00 | × | v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Ping timeout: 265 seconds) |
| 2021-03-23 21:17:53 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-23 21:19:04 | → | DTZUZU joins (~DTZUZO@207.81.119.43) |
| 2021-03-23 21:19:15 | × | DTZUZU_ quits (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-03-23 21:20:37 | → | farzad_ joins (~farzad@46.100.80.143) |
| 2021-03-23 21:23:02 | → | Vadrigar_ joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-23 21:23:09 | × | farzad quits (~farzad@5.234.226.127) (Ping timeout: 256 seconds) |
| 2021-03-23 21:23:46 | × | DTZUZU quits (~DTZUZO@207.81.119.43) (Ping timeout: 265 seconds) |
| 2021-03-23 21:25:32 | ← | solidus-river parts (~mike@174.127.249.180) () |
| 2021-03-23 21:25:35 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-23 21:25:41 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 272 seconds) |
| 2021-03-23 21:25:54 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 2021-03-23 21:26:31 | → | forp joins (57e3c46d@87.227.196.109) |
| 2021-03-23 21:26:42 | <ski> | monochrom : yea. the same mutability of the heart of by-need |
| 2021-03-23 21:26:52 | <ski> | s/of/at/1 |
| 2021-03-23 21:27:38 | × | Vadrigar_ quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2021-03-23 21:28:26 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-23 21:28:51 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2021-03-23 21:29:38 | × | forp quits (57e3c46d@87.227.196.109) (Client Quit) |
| 2021-03-23 21:30:13 | <redmp> | logs for this channel stop march 13 http://tunes.org/~nef/logs/haskell/?C=M |
| 2021-03-23 21:30:23 | → | solvr joins (57e3c46d@87.227.196.109) |
| 2021-03-23 21:31:31 | × | solvr quits (57e3c46d@87.227.196.109) (Client Quit) |
| 2021-03-23 21:31:48 | → | solvr joins (57e3c46d@87.227.196.109) |
| 2021-03-23 21:33:02 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-03-23 21:33:23 | × | redmp quits (~redmp@172.58.38.247) (Quit: leaving) |
| 2021-03-23 21:34:08 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-23 21:34:32 | <monochrom> | Hrm, yikes. |
| 2021-03-23 21:35:28 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) |
| 2021-03-23 21:38:32 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Remote host closed the connection) |
| 2021-03-23 21:38:40 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) |
| 2021-03-23 21:38:52 | × | forgottenone quits (~forgotten@176.42.23.95) (Remote host closed the connection) |
| 2021-03-23 21:40:56 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:acf0:35a9:d96b:256f) (Ping timeout: 240 seconds) |
| 2021-03-23 21:42:26 | → | shellin joins (bab7266a@186.183.38.106) |
| 2021-03-23 21:43:30 | → | coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-23 21:43:52 | × | Sathiana quits (~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.1) |
| 2021-03-23 21:44:10 | <ski> | @tell redmp try <https://ircbrowse.tomsmeding.com/browse/haskell> |
| 2021-03-23 21:44:10 | <lambdabot> | Consider it noted. |
| 2021-03-23 21:47:37 | × | _flow_ quits (~none@salem.informatik.uni-erlangen.de) (Quit: WeeChat 2.9) |
| 2021-03-23 21:48:15 | ← | shellin parts (bab7266a@186.183.38.106) () |
| 2021-03-23 21:49:13 | <falsifian> | @help tell |
| 2021-03-23 21:49:13 | <lambdabot> | tell <nick> <message>. When <nick> shows activity, tell them <message>. |
| 2021-03-23 21:49:22 | <falsifian> | Cool! |
| 2021-03-23 21:50:32 | → | acidjnk_new joins (~acidjnk@p200300d0c72b958398d78e73e557de79.dip0.t-ipconnect.de) |
| 2021-03-23 21:51:11 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) (Remote host closed the connection) |
| 2021-03-23 21:51:19 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds) |
| 2021-03-23 21:51:22 | × | ubert1 quits (~Thunderbi@p200300ecdf25d9f2e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-03-23 21:56:28 | <lukelau_> | Are there any http libraries that allow me to stream http responses in a lightweight manner? |
| 2021-03-23 21:57:08 | <lukelau_> | everything I’ve seen so far either involves setting up conduits or io-streams, but what I really want is just a lazy bytestring that just streams the response |
| 2021-03-23 21:58:23 | × | Noldorin quits (~noldorin@unaffiliated/noldorin) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-03-23 22:02:24 | <__minoru__shirae> | @help untell |
| 2021-03-23 22:02:24 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
| 2021-03-23 22:04:29 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-03-23 22:04:43 | → | forgottenone joins (~forgotten@176.42.23.95) |
| 2021-03-23 22:05:38 | <__minoru__shirae> | lukelau_: how about using network package directly? |
| 2021-03-23 22:05:58 | → | Noldorin joins (~noldorin@unaffiliated/noldorin) |
All times are in UTC.