Logs: liberachat/#haskell
| 2021-06-17 10:32:22 | → | fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) |
| 2021-06-17 10:33:59 | × | fabfianda quits (~fabfianda@net-93-148-121-206.cust.vodafonedsl.it) (Ping timeout: 252 seconds) |
| 2021-06-17 10:34:33 | → | fabfianda joins (~fabfianda@mob-5-90-252-46.net.vodafone.it) |
| 2021-06-17 10:34:42 | × | yd502 quits (~yd502@180.168.212.6) (Ping timeout: 268 seconds) |
| 2021-06-17 10:35:13 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-06-17 10:35:47 | × | shredder quits (~user@user/shredder) (Quit: quitting) |
| 2021-06-17 10:36:06 | → | shredder joins (~user@user/shredder) |
| 2021-06-17 10:36:40 | × | chomwitt quits (~Pitsikoko@2a02:587:dc02:b00:98b0:cd42:bd6f:8295) (Ping timeout: 268 seconds) |
| 2021-06-17 10:38:04 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-06-17 10:40:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-17 10:40:54 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-06-17 10:40:59 | → | boxscape joins (~boxscape@user/boxscape) |
| 2021-06-17 10:41:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-17 10:42:54 | <kuribas> | gentauro: I was expecting you to show me an example from your own code, where you detected a spaceleak and needed a lot of annotations in order to actually make it work, not some contrived experiment under arbitrary restrictions. |
| 2021-06-17 10:43:01 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-17 10:43:57 | × | fabfianda quits (~fabfianda@mob-5-90-252-46.net.vodafone.it) (Ping timeout: 268 seconds) |
| 2021-06-17 10:44:11 | × | _xor quits (~xor@74.215.46.133) (Quit: bbiab) |
| 2021-06-17 10:44:29 | → | fabfianda joins (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) |
| 2021-06-17 10:45:09 | → | trcc joins (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
| 2021-06-17 10:48:18 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 264 seconds) |
| 2021-06-17 10:50:51 | × | azeem quits (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-17 10:53:42 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-06-17 10:54:41 | × | dendru quits (uid503630@id-503630.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-17 10:57:08 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2021-06-17 11:06:03 | → | elf_fortrez joins (~elf_fortr@adsl-64-237-239-58.prtc.net) |
| 2021-06-17 11:06:32 | <gentauro> | kuribas: well it is my code … |
| 2021-06-17 11:06:56 | <gentauro> | and it had a lot of space leaks so I injected `seq` everywhere … |
| 2021-06-17 11:08:07 | → | jalonso joins (~user@90.71.131.151) |
| 2021-06-17 11:08:46 | × | jalonso quits (~user@90.71.131.151) (Client Quit) |
| 2021-06-17 11:08:59 | → | Pickchea joins (~private@user/pickchea) |
| 2021-06-17 11:11:20 | → | azeem joins (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) |
| 2021-06-17 11:13:14 | → | bontaq` joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-06-17 11:14:01 | <kuribas> | gentauro: so... just use arithmetic ops, or Data.Bits? |
| 2021-06-17 11:14:07 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-17 11:14:29 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-06-17 11:19:42 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cded:c7cb:4d63:a64a) |
| 2021-06-17 11:19:46 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-17 11:20:35 | → | maroloccio joins (~marolocci@200.243.99.194) |
| 2021-06-17 11:21:21 | → | chddr joins (~Thunderbi@31.148.23.125) |
| 2021-06-17 11:23:04 | × | chddr quits (~Thunderbi@31.148.23.125) (Remote host closed the connection) |
| 2021-06-17 11:23:54 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cded:c7cb:4d63:a64a) (Ping timeout: 240 seconds) |
| 2021-06-17 11:24:00 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 244 seconds) |
| 2021-06-17 11:24:55 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) |
| 2021-06-17 11:25:39 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-17 11:27:47 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-06-17 11:27:56 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Read error: Connection reset by peer) |
| 2021-06-17 11:28:49 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-17 11:29:06 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 240 seconds) |
| 2021-06-17 11:30:58 | <tomsmeding> | bloody hell that's some large pattern matches :p |
| 2021-06-17 11:31:24 | → | jao joins (jao@gateway/vpn/protonvpn/jao) |
| 2021-06-17 11:32:00 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-06-17 11:32:37 | <tomsmeding> | incidentally firefox has no trouble whatsoever, but I do kind of doubt the utility of this representation of a Word8 :p |
| 2021-06-17 11:32:43 | <juri_> | gentauro: hit it with stan. ;) |
| 2021-06-17 11:33:10 | <tomsmeding> | I know of the existence of homomorphic encryption (if that's what FHE refers to), but not much more, and I don't see the relation :D |
| 2021-06-17 11:33:36 | → | pe200012 joins (~pe200012@58.248.179.150) |
| 2021-06-17 11:33:38 | × | pe200012_ quits (~pe200012@183.63.73.44) (Read error: Connection reset by peer) |
| 2021-06-17 11:34:40 | <int-e> | gentauro: that addition is some truly cursed code |
| 2021-06-17 11:35:01 | <int-e> | (and the remaining binary arithmetic operations) |
| 2021-06-17 11:35:02 | × | pfurla_ quits (~pfurla@216.131.82.53) (Ping timeout: 252 seconds) |
| 2021-06-17 11:36:08 | <int-e> | Though maybe I should've stopped reading after the data declarion. |
| 2021-06-17 11:39:50 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-17 11:40:37 | <tomsmeding> | gentauro: any reason why there should not be any arithmetic operations? |
| 2021-06-17 11:40:38 | × | azeem quits (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-17 11:41:24 | → | azeem joins (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) |
| 2021-06-17 11:41:48 | <tomsmeding> | if you use a binary representation you can implement basic arithmetic ops manually on that in asymptotically constant space instead of exponential in the number of bits |
| 2021-06-17 11:41:54 | <tomsmeding> | s/space/code/ |
| 2021-06-17 11:42:14 | <tomsmeding> | but fromEnum and toEnum will necessarily still have either an enumeration of your data type or usage of Int ops, by their nature |
| 2021-06-17 11:43:09 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 268 seconds) |
| 2021-06-17 11:45:05 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-17 11:46:04 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-17 11:46:26 | → | Guest35 joins (~Guest35@c83-252-118-64.bredband.tele2.se) |
| 2021-06-17 11:47:27 | × | Guest35 quits (~Guest35@c83-252-118-64.bredband.tele2.se) (Client Quit) |
| 2021-06-17 11:51:04 | × | maroloccio quits (~marolocci@200.243.99.194) (Quit: Ping timeout (120 seconds)) |
| 2021-06-17 11:53:59 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-17 11:54:31 | → | Torro joins (Torro@gateway/vpn/protonvpn/torro) |
| 2021-06-17 11:54:46 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-17 11:55:45 | <merijn> | Enum is just a terrible class, tbh >.> |
| 2021-06-17 11:56:37 | × | yoctocell quits (~yoctocell@h87-96-130-155.cust.a3fiber.se) (Remote host closed the connection) |
| 2021-06-17 11:56:40 | <Cale> | It's two okay classes that have been inexplicably stapled together |
| 2021-06-17 11:57:27 | <exarkun> | Why are the links on https://www.stackage.org/lts-16.31/hoogle?q=Test.Hspec.Wai to package versions from lts-18.0 :/ |
| 2021-06-17 11:58:08 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 252 seconds) |
| 2021-06-17 11:59:38 | <Cale> | gentauro, tomsmeding: Whenever you have a type with more constructors than you will ever write case expressions pattern matching on that type, my usual rule of thumb is to consider reworking the type as a record of the conclusions of those case expressions (or possibly less than that, if you can get away with less) |
| 2021-06-17 12:00:00 | <merijn> | exarkun: It says it's searching lts-18 at the top too |
| 2021-06-17 12:00:12 | <merijn> | Why that happens for lts-16.31, who knows :p |
| 2021-06-17 12:00:14 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-17 12:00:50 | <merijn> | Looks like their hoogle install just indexes the latest lts |
| 2021-06-17 12:03:31 | → | tako joins (~user@net-2-34-77-146.cust.vodafonedsl.it) |
| 2021-06-17 12:08:30 | → | jneira[m] joins (~jneira@214.red-176-87-57.dynamicip.rima-tde.net) |
| 2021-06-17 12:10:11 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 272 seconds) |
| 2021-06-17 12:11:22 | bontaq` | is now known as bontaq |
| 2021-06-17 12:11:41 | × | zeenk quits (~zeenk@188.26.30.39) (Quit: Konversation terminated!) |
| 2021-06-17 12:17:34 | → | alx741 joins (~alx741@181.196.68.42) |
| 2021-06-17 12:18:41 | → | ikex joins (~ash@user/ikex) |
| 2021-06-17 12:20:33 | → | chisui joins (~chisui@200116b8664de100493fc86225048b98.dip.versatel-1u1.de) |
| 2021-06-17 12:20:34 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-17 12:24:42 | → | trent joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-06-17 12:27:28 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-17 12:28:58 | × | flukiluke quits (~flukiluke@plum.alephc.xyz) (Remote host closed the connection) |
| 2021-06-17 12:30:05 | → | flukiluke joins (~flukiluke@plum.alephc.xyz) |
| 2021-06-17 12:30:22 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
All times are in UTC.