Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 512 513 514 515 516 517 518 519 520 521 522 .. 18004
— 1,800,392 events total
2021-06-17 16:02:16 × ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds)
2021-06-17 16:02:57 → pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-06-17 16:03:04 → nilof joins (~olofs@45.83.91.180)
2021-06-17 16:03:45 → lbseale joins (~lbseale@user/ep1ctetus)
2021-06-17 16:03:54 × dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 240 seconds)
2021-06-17 16:04:10 × dajoer quits (~david@softbank126019120204.bbtec.net) (Quit: leaving)
2021-06-17 16:04:17 → dunkeln joins (~dunkeln@94.129.65.28)
2021-06-17 16:04:41 → learner-monad joins (~ehanneken@user/learner-monad)
2021-06-17 16:06:41 → jakalx joins (~jakalx@base.jakalx.net)
2021-06-17 16:06:48 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b)
2021-06-17 16:07:00 × azeem quits (~azeem@176.201.4.180) (Read error: Connection reset by peer)
2021-06-17 16:07:05 × BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 268 seconds)
2021-06-17 16:07:13 → azeem joins (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it)
2021-06-17 16:09:44 × maroloccio quits (~marolocci@200.243.99.194) (Ping timeout: 250 seconds)
2021-06-17 16:09:54 × GIANTWORLDKEEPER quits (~pjetcetal@2.95.204.25) (Ping timeout: 240 seconds)
2021-06-17 16:11:59 → amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-06-17 16:12:15 × curiousgay quits (~quassel@178.217.208.8) (Read error: Connection reset by peer)
2021-06-17 16:12:26 → fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net)
2021-06-17 16:12:36 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-17 16:13:03 → xkuru joins (~xkuru@user/xkuru)
2021-06-17 16:14:10 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-17 16:18:11 × benin036 quits (~benin@183.82.204.241) (Ping timeout: 268 seconds)
2021-06-17 16:18:42 → benin036 joins (~benin@106.198.88.222)
2021-06-17 16:20:30 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-17 16:22:30 × monochrom quits (trebla@216.138.220.146) (Ping timeout: 264 seconds)
2021-06-17 16:23:10 → Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:902b:c7e1:d839:7c40)
2021-06-17 16:25:56 → hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com)
2021-06-17 16:26:44 <tomsmeding> gentauro: but if you have a nand gate and _use_ it (your code is really only pattern matching, it never actually uses a nand gate I think), you can reduce the code to constant size in the number of bits
2021-06-17 16:27:02 <tomsmeding> because you can implement a one-bit full adder with a constant number of logic gates
2021-06-17 16:27:17 × nschoe quits (~quassel@2a04:cec0:1017:3105:355d:d344:cd45:a724) (Ping timeout: 244 seconds)
2021-06-17 16:27:59 <tomsmeding> I forget exactly how many gates you need for a multiplier, but if it isn't n log n then it's at most n^2, which is significantly less than 2^n :p
2021-06-17 16:32:17 → benin0369 joins (~benin@106.198.88.222)
2021-06-17 16:32:19 <gentauro> tomsmeding: but when you "code" with NAND gates, is like you are creating a physical "circuit board" (with components)
2021-06-17 16:32:31 × benin0369 quits (~benin@106.198.88.222) (Client Quit)
2021-06-17 16:32:41 <gentauro> so it will become "big"
2021-06-17 16:33:10 <gentauro> I guess is just like "pure lambda calculus" (which isn't reduced)
2021-06-17 16:33:37 <gentauro> but nevertheless, it has been ages since "I played" with FHE so I might not recall why I did what i did
2021-06-17 16:35:21 <tomsmeding> gentauro: an 8-bit adder can be made like this https://www.wolfram.com/system-modeler/examples/more/electrical-engineering/8-bit-adder where FA is a full adder: https://theorycircuit.com/wp-content/uploads/2018/07/full-adder-circuit.png
2021-06-17 16:35:23 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-17 16:35:27 × benin036 quits (~benin@106.198.88.222) (Ping timeout: 268 seconds)
2021-06-17 16:35:30 <tomsmeding> and XOR/AND/OR can be implemented using NAND
2021-06-17 16:35:47 <tomsmeding> you don't need 256 gates to add two 8-bit numbers, even with nands :p
2021-06-17 16:37:24 <gentauro> 15:39 < gentauro> tomsmeding: https://blog.cryptographyengineering.com/2012/01/02/very-casual-introduction-to-fully/
2021-06-17 16:37:27 <tomsmeding> naively converting that full adder to nands following https://en.wikipedia.org/wiki/NAND_logic leads to 15 nands per FA, if I counted correctly
2021-06-17 16:37:34 <gentauro> tomsmeding: I guess I needed `A B : 1+A*B` which is NAND
2021-06-17 16:37:44 <gentauro> and from there i could create all the other logic gates
2021-06-17 16:38:22 → ddellacosta joins (~ddellacos@86.106.121.100)
2021-06-17 16:39:16 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-06-17 16:39:24 → lavaman joins (~lavaman@98.38.249.169)
2021-06-17 16:39:31 <gentauro> nevertheless, I don't remember why I went with the pattern match instead of calculation
2021-06-17 16:39:36 × ph88^ quits (~ph88@2a02:8109:9e00:7e5c:110d:2114:b7bd:a1e5) (Read error: Connection reset by peer)
2021-06-17 16:40:01 <gentauro> perhaps is cos (theoretic) Math doesn't make any calculations, but just maps from one set to another? (most plauseble answer I guess)
2021-06-17 16:40:40 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-17 16:40:56 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-17 16:42:40 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija)
2021-06-17 16:42:40 → leshow joins (~leshow@2607:f2c0:e358:a0:b48e:8758:1530:e1a9)
2021-06-17 16:42:54 × ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 264 seconds)
2021-06-17 16:43:53 → fvr joins (uid503686@id-503686.highgate.irccloud.com)
2021-06-17 16:44:05 × fvr quits (uid503686@id-503686.highgate.irccloud.com) (Client Quit)
2021-06-17 16:44:12 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-06-17 16:46:17 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
2021-06-17 16:48:58 <Boarders> Does anyone know with both stack and cabal how I can pass ghc options to e.g. build all dependencies with -O2?
2021-06-17 16:51:40 → sheepduck joins (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com)
2021-06-17 16:55:48 × dhil quits (~dhil@195.213.192.47) (Ping timeout: 268 seconds)
2021-06-17 16:58:36 × taeaad quits (~taeaad@user/taeaad) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-06-17 16:59:17 → taeaad joins (~taeaad@user/taeaad)
2021-06-17 16:59:41 → Pickchea joins (~private@user/pickchea)
2021-06-17 17:00:05 <kw> Is there a way to fuse list operations that can terminate early, like `delete` , without eliminating the possibility of early termination?
2021-06-17 17:00:32 → boxscape joins (~boxscape@user/boxscape)
2021-06-17 17:03:23 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-17 17:04:21 × fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-17 17:04:30 × pera quits (~pera@user/pera) (Ping timeout: 264 seconds)
2021-06-17 17:04:32 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-17 17:05:44 × marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (Quit: issued !quit command)
2021-06-17 17:07:10 × jao quits (jao@gateway/vpn/protonvpn/jao) (Remote host closed the connection)
2021-06-17 17:08:09 <vaibhavsagar[m]> Boarders: there's a `ghc-options` stanza in `stack.yaml`
2021-06-17 17:08:20 → v01d4lph4 joins (~v01d4lph4@user/v01d4lph4)
2021-06-17 17:08:23 → dhil joins (~dhil@openvpn-125-1024.inf.ed.ac.uk)
2021-06-17 17:08:50 <vaibhavsagar[m]> for cabal there is a `ghc-options` stanza in your `.cabal` file
2021-06-17 17:08:52 → beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net)
2021-06-17 17:08:55 <gentauro> Boarders: like this? https://gitlab.com/spisemisu/arraylog/-/blob/master/arraylog.cabal#L122
2021-06-17 17:10:25 <sclv> well the options in the cabal file are _just_ for that project. to get the deps also -O2 you can pass the flags in the cabal.project file but i don't remember exactly how or also set global ghc options in ~/.cabal/config
2021-06-17 17:10:27 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-17 17:11:58 → econo joins (uid147250@user/econo)
2021-06-17 17:12:34 × jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer)
2021-06-17 17:13:04 × v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 268 seconds)
2021-06-17 17:13:11 → jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2021-06-17 17:13:23 → jao joins (jao@gateway/vpn/protonvpn/jao)
2021-06-17 17:13:46 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-17 17:14:22 → zeenk joins (~zeenk@188.26.30.39)
2021-06-17 17:14:39 → marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8)
2021-06-17 17:15:14 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Remote host closed the connection)
2021-06-17 17:15:32 <Boarders> gentauro: I don't think so because like sclv said that typically only uses those options for your local project
2021-06-17 17:15:57 <Boarders> vaibhavsagar[m]: do you know if that passes those options to the dependencies?
2021-06-17 17:16:24 <vaibhavsagar[m]> I think there's a way to do that with stack
2021-06-17 17:17:50 × marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (Client Quit)
2021-06-17 17:18:05 <sclv> Boarders: so for cabal, create a cabal.project and then I think have a `package *` stanza, and inside that you can put in a ghc flags line
2021-06-17 17:18:16 → marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8)
2021-06-17 17:18:21 × Guest57 quits (~Guest57@cpc157431-lee215-2-0-cust373.7-1.cable.virginm.net) (Quit: Client closed)
2021-06-17 17:19:16 <Boarders> ah ok, thanks!
←Prev  Next→
Page 1 .. 512 513 514 515 516 517 518 519 520 521 522 .. 18004

All times are in UTC.