Logs: liberachat/#haskell
| 2021-06-12 23:38:05 | <DigitalKiwi> | ohi cale haven't seen you in while. so tell us cale what have you been working on lately? ;p |
| 2021-06-12 23:38:16 | → | shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-06-12 23:38:22 | <Cale> | In my spare time, mostly music |
| 2021-06-12 23:38:35 | <Cale> | I've got a Lumatone (lumatone.io) |
| 2021-06-12 23:38:50 | <janus> | but most of them do not have overlay networks, so why would they need a routing table? bitcoin can use torv3, but then if you're attacking tor, that is not really specific to cryptocurrency |
| 2021-06-12 23:39:04 | <DigitalKiwi> | is music the codename for your botnet that attacks p2p networks |
| 2021-06-12 23:40:04 | <Cale> | janus: I mean like the Kademlia stuff that nodes use to connect themselves to other nodes |
| 2021-06-12 23:40:15 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-06-12 23:40:52 | <DigitalKiwi> | "no of course not you idiot bird (whispers "lumatone is the codename")" |
| 2021-06-12 23:40:55 | <janus> | but is Kademlia/DHT used in cryptocurrency? i thought it only really made sense for long-time immutable data that isn't replicated across the network |
| 2021-06-12 23:41:27 | <janus> | in bitcoin, everybody syncs the whole thing, so you don't need a DHT to find where the pieces are, because they will be with almost all your peers |
| 2021-06-12 23:42:19 | <Cale> | janus: For many networks, yeah. Bitcoin is mostly ad-hoc configurations that can't be gamed, but a lot of networks use a DHT to make it easy to find peers to get connected to. |
| 2021-06-12 23:42:46 | <Cale> | I believe Ethereum still does, unless something has changed. |
| 2021-06-12 23:43:28 | <janus> | ok, so sounds like you'll be helping to establish Bitcoin-hegemony. A crypto-bitcoin-maximalist, i see ;) |
| 2021-06-12 23:43:48 | <Cale> | Bitcoin, we'll have to find some other solution to |
| 2021-06-12 23:44:28 | <Cale> | I want it all gone ;D |
| 2021-06-12 23:45:16 | <janus> | the bitcoin blockchain contains links to child porn. so you just need a few million to establish court precedence for that constituting child porn possetion |
| 2021-06-12 23:45:59 | <janus> | sadly, i can't tell you where they are, that would be criminal ;) |
| 2021-06-12 23:46:26 | <janus> | hmm , but then again, i already did... damn |
| 2021-06-12 23:47:39 | <DigitalKiwi> | very sus |
| 2021-06-12 23:48:17 | <Cale> | amogus |
| 2021-06-12 23:50:02 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-06-12 23:52:35 | × | yoctocell quits (~yoctocell@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 268 seconds) |
| 2021-06-12 23:52:43 | → | kluk joins (~kluk@2603-7000-9b3f-6934-65d8-64d7-b633-c7a9.res6.spectrum.com) |
| 2021-06-12 23:54:31 | × | kluk quits (~kluk@2603-7000-9b3f-6934-65d8-64d7-b633-c7a9.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-12 23:55:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-12 23:56:24 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-13 00:02:11 | → | hmmmas joins (~chenqisu1@183.217.200.246) |
| 2021-06-13 00:11:58 | × | pkkm quits (~pkkm@dgs4.neoplus.adsl.tpnet.pl) (Ping timeout: 272 seconds) |
| 2021-06-13 00:13:53 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-13 00:14:01 | DigitalKiwi | trolls ethereum twitter https://twitter.com/ArchKiwi/status/1403867746635558914?s=20 |
| 2021-06-13 00:14:43 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: leaving) |
| 2021-06-13 00:14:58 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-13 00:29:04 | → | Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-06-13 00:29:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-06-13 00:29:14 | × | Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-06-13 00:35:31 | × | pe200012_ quits (~pe200012@183.63.73.36) (Read error: Connection reset by peer) |
| 2021-06-13 00:35:37 | → | pe200012 joins (~pe200012@183.63.73.36) |
| 2021-06-13 00:37:26 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 245 seconds) |
| 2021-06-13 00:38:13 | → | sekun joins (~sekun@180.190.155.195) |
| 2021-06-13 00:40:23 | × | swistak quits (~swistak@185.21.216.141) (Ping timeout: 252 seconds) |
| 2021-06-13 00:41:00 | × | hololeap quits (hololeap@user/hololeap) (Quit: Bye) |
| 2021-06-13 00:41:32 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) (Remote host closed the connection) |
| 2021-06-13 00:50:20 | × | sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 245 seconds) |
| 2021-06-13 00:58:24 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-13 00:58:40 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 245 seconds) |
| 2021-06-13 00:59:26 | × | chisui quits (~chisui@200116b8666c8300147e1d1a4c512cff.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 2021-06-13 01:00:28 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2021-06-13 01:04:44 | × | killsushi quits (~killsushi@user/killsushi) (Quit: Leaving) |
| 2021-06-13 01:08:01 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-06-13 01:10:24 | × | kw quits (~user@152.1.137.158) (Remote host closed the connection) |
| 2021-06-13 01:11:59 | × | xff0x quits (~xff0x@2001:1a81:5382:9400:bf95:26e2:74b9:5674) (Ping timeout: 272 seconds) |
| 2021-06-13 01:13:30 | → | xff0x joins (~xff0x@2001:1a81:53bf:ae00:b6fb:e579:3973:61d4) |
| 2021-06-13 01:15:19 | → | johnw_ joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2021-06-13 01:15:46 | → | dcoutts__ joins (~duncan@94.186.125.91.dyn.plus.net) |
| 2021-06-13 01:15:55 | → | tzh_ joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-06-13 01:16:01 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Remote host closed the connection) |
| 2021-06-13 01:16:01 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2021-06-13 01:16:01 | × | dcoutts_ quits (~duncan@94.186.125.91.dyn.plus.net) (Remote host closed the connection) |
| 2021-06-13 01:16:09 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-13 01:16:24 | × | justBull quits (~justache@user/justache) (Remote host closed the connection) |
| 2021-06-13 01:17:13 | → | justBull joins (~justache@user/justache) |
| 2021-06-13 01:17:16 | <janus> | i am looking at http://www.vex.net/~trebla/haskell/cont.xhtml and it defines `fmap = liftM` |
| 2021-06-13 01:18:15 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-06-13 01:18:40 | <geekosaur> | historically Monad didn't require Functor, so it was common to get the Functor instance that way |
| 2021-06-13 01:19:00 | <janus> | right! but let's say i wanted to define fmap myself, i could take the solution for monadic bind, and substitute that into the law "fmap f xs = xs >>= return . f" from Control.Monad |
| 2021-06-13 01:19:13 | <janus> | then i would have an fmap implementation that didn't rely on Monad, right? |
| 2021-06-13 01:19:27 | <geekosaur> | yes |
| 2021-06-13 01:19:37 | <janus> | i feel a bit dirty defining Functor in terms of Monad, since i feel like it is the wrong way around |
| 2021-06-13 01:19:41 | <geekosaur> | you're looking at a historical accident, basically |
| 2021-06-13 01:20:40 | <janus> | but there is another problem: that line also uses `return`. so i'd have to find a law on Control.Applicative that defines fmap in terms of "pure", right? |
| 2021-06-13 01:21:32 | <geekosaur> | pure is the same as return |
| 2021-06-13 01:21:43 | <janus> | right, that's why i mention it |
| 2021-06-13 01:21:48 | <geekosaur> | you should be able to use them interchangeably |
| 2021-06-13 01:21:57 | × | theproffesor quits (~theproffe@2601:282:847f:8010::3a29) (Changing host) |
| 2021-06-13 01:21:57 | → | theproffesor joins (~theproffe@user/theproffesor) |
| 2021-06-13 01:22:15 | × | nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 272 seconds) |
| 2021-06-13 01:22:48 | <janus> | right, so i showed the law that defines fmap in terms of bind and return. but i can't find a law that defines fmap in terms of applicative's pure, and surely there can't be |
| 2021-06-13 01:23:30 | <geekosaur> | right, Applicative relies on having Functor as a superclass |
| 2021-06-13 01:23:39 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-06-13 01:24:07 | <janus> | but then how do i do this, is it better if i just start from scratch with the fmap laws and my Cont definition? |
| 2021-06-13 01:24:16 | <geekosaur> | probably yes |
| 2021-06-13 01:24:35 | <janus> | ok lemme try, thanks :) |
| 2021-06-13 01:25:17 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-13 01:26:30 | <DigitalKiwi> | for some reason i'm remembering a slide dibblego had where he (ab)used return lol |
| 2021-06-13 01:27:09 | <DigitalKiwi> | yes i could be more vague ;( |
| 2021-06-13 01:27:35 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-06-13 01:29:16 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) |
| 2021-06-13 01:38:03 | × | benin036 quits (~benin@183.82.205.218) (Ping timeout: 252 seconds) |
| 2021-06-13 01:39:54 | → | benin036 joins (~benin@183.82.176.84) |
| 2021-06-13 01:43:17 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-06-13 01:45:55 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-13 01:46:56 | × | unyu quits (~pyon@user/pyon) (Quit: WeeChat 3.1) |
| 2021-06-13 01:50:30 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:6149:a9e8:86ec:e649) (Quit: Leaving) |
| 2021-06-13 01:51:36 | × | jiribenes quits (~jiribenes@rosa.jiribenes.com) (Ping timeout: 268 seconds) |
| 2021-06-13 01:51:57 | <DigitalKiwi> | now i have to watch all of his videos on youtube until i find it ;( |
| 2021-06-13 01:52:11 | <Henson> | Cale: the lumatone looks interesting |
| 2021-06-13 01:53:16 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-06-13 01:53:54 | <DigitalKiwi> | if only i could limit it to the subset of videos i have watched before that would reduce the search space... |
| 2021-06-13 01:54:44 | <DigitalKiwi> | oh wait that's all of them LOL <3 |
All times are in UTC.