--- Log opened Mon Jun 15 00:00:51 2020 00:04 -!- Codaraxis__ [Codaraxis@gateway/vpn/mullvad/codaraxis] has joined ##hplusroadmap 00:08 -!- Codaraxis_ [~Codaraxis@ip68-5-90-227.oc.oc.cox.net] has quit [Ping timeout: 260 seconds] 00:34 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has joined ##hplusroadmap 00:38 -!- Codaraxis_ [~Codaraxis@ip68-5-90-227.oc.oc.cox.net] has joined ##hplusroadmap 00:42 -!- Codaraxis__ [Codaraxis@gateway/vpn/mullvad/codaraxis] has quit [Ping timeout: 265 seconds] 00:51 -!- ffranr [~ffranr@213.167.139.101] has joined ##hplusroadmap 01:27 -!- ffranr_ [~ffranr@213.167.139.101] has joined ##hplusroadmap 01:28 -!- ffranr [~ffranr@213.167.139.101] has quit [Read error: Connection reset by peer] 01:31 -!- Codaraxis__ [Codaraxis@gateway/vpn/mullvad/codaraxis] has joined ##hplusroadmap 01:35 -!- Codaraxis_ [~Codaraxis@ip68-5-90-227.oc.oc.cox.net] has quit [Ping timeout: 260 seconds] 02:49 < nmz787> juri_: what model is it? LaB6? 03:07 -!- ffranr_ [~ffranr@213.167.139.101] has quit [Ping timeout: 258 seconds] 03:08 -!- ffranr [~ffranr@213.167.139.101] has joined ##hplusroadmap 03:15 -!- mrdata [~mrdata@unaffiliated/mrdata] has quit [Ping timeout: 256 seconds] 03:22 < juri_> nmz787: cambridge stereoscan 2000. 03:24 -!- mrdata [~mrdata@unaffiliated/mrdata] has joined ##hplusroadmap 05:43 -!- ffranr_ [~ffranr@213.167.139.101] has joined ##hplusroadmap 05:44 -!- ffranr [~ffranr@213.167.139.101] has quit [Ping timeout: 240 seconds] 05:55 < docl> I'll take a look at ivory. last week I decided to learn category theory, so haskell based stuff will be good to be thinking about 05:56 < docl> this guy is pretty good: https://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_ 05:56 < docl> .title 05:56 < saxo> YouTube 05:58 < srk> docl: I like these as well https://www.youtube.com/watch?v=ZKmodCApZwk although whiteboards are hard to read at times 06:00 < docl> srk: thanks! 06:01 < srk> yw! 06:02 < srk> docl: if you're into these things I can recommend peaking at Agda as well :) 06:02 -!- hehelleshin [~talinck@cpe-174-103-159-2.cinci.res.rr.com] has joined ##hplusroadmap 06:04 -!- helleshin [~talinck@cpe-174-103-159-2.cinci.res.rr.com] has quit [Ping timeout: 256 seconds] 06:06 < docl> couple things got me interested in category theory recently: 1) just read Peak by Ericsson, and the description of how expertise forms has a lot of emphasis on mental representations, so this seems like a good meta-skill (skill to learn a skill), 2) this reminds me a lot of Eder's (systems engineering based) work on Seed Factories, so it could be helpful for designing/contributing to self replicating s 06:06 < docl> ystems. 06:06 < docl> will do :) 06:08 -!- CryptoDavid [uid14990@gateway/web/irccloud.com/x-xlhsmxevorjvevmo] has joined ##hplusroadmap 06:12 < srk> nice, these are new to me 07:23 -!- HumanGeek [~HumanG33k@62.147.242.8] has quit [Remote host closed the connection] 07:24 -!- HumanGeek [~HumanG33k@62.147.242.8] has joined ##hplusroadmap 08:18 -!- L29Ah [~L29Ah@unaffiliated/l29ah] has left ##hplusroadmap [] 08:18 -!- z4k1 [29f9a259@41.249.162.89] has joined ##hplusroadmap 08:19 -!- L29Ah [~L29Ah@unaffiliated/l29ah] has joined ##hplusroadmap 08:30 < lsneff> Got atomcad rendering 80 million atoms 08:52 -!- yashgaroth [~ffffffff@172.58.22.164] has joined ##hplusroadmap 08:55 < srk> pics? :) 08:58 -!- z4k1 [29f9a259@41.249.162.89] has quit [Remote host closed the connection] 09:15 -!- yashgaroth_ [~ffffffff@172.58.19.200] has joined ##hplusroadmap 09:17 -!- yashgaroth [~ffffffff@172.58.22.164] has quit [Ping timeout: 264 seconds] 09:28 < kanzure> what can you do with 80 million atoms 09:36 -!- justan0theruser [~justanoth@unaffiliated/justanotheruser] has quit [Ping timeout: 260 seconds] 09:50 -!- justan0theruser [~justanoth@unaffiliated/justanotheruser] has joined ##hplusroadmap 10:45 < lsneff> Not a lot. 10:46 < lsneff> Scale it up to a billion or so and you can design a molecular assembler 10:51 -!- ffranr_ [~ffranr@213.167.139.101] has quit [Ping timeout: 240 seconds] 10:51 -!- ffranr [~ffranr@213.167.139.101] has joined ##hplusroadmap 12:00 -!- ffranr_ [~ffranr@213.167.139.101] has joined ##hplusroadmap 12:01 -!- ffranr [~ffranr@213.167.139.101] has quit [Ping timeout: 240 seconds] 12:27 -!- L29Ah [~L29Ah@unaffiliated/l29ah] has left ##hplusroadmap ["Disconnected: closed"] 12:27 -!- L29Ah [~L29Ah@unaffiliated/l29ah] has joined ##hplusroadmap 12:27 -!- CryptoDavid [uid14990@gateway/web/irccloud.com/x-xlhsmxevorjvevmo] has quit [] 12:38 -!- pompolic [~A@unaffiliated/pompolic] has quit [Ping timeout: 260 seconds] 13:08 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has joined ##hplusroadmap 13:10 -!- justan0theruser [~justanoth@unaffiliated/justanotheruser] has quit [Ping timeout: 256 seconds] 13:15 < L29Ah> i hope you're gonna start with rhibosome simulation first 13:25 -!- dongcarl7 [~dongcarl@cpe-72-226-84-63.nyc.res.rr.com] has joined ##hplusroadmap 13:27 -!- dongcarl7 [~dongcarl@cpe-72-226-84-63.nyc.res.rr.com] has quit [Client Quit] 13:49 -!- ffranr [~ffranr@213.167.139.101] has joined ##hplusroadmap 13:51 -!- ffranr_ [~ffranr@213.167.139.101] has quit [Ping timeout: 265 seconds] 14:27 < lsneff> Traditional molecular dynamics simulations won't really work at scales this large. 14:48 -!- dongcarl [~dongcarl@unaffiliated/dongcarl] has joined ##hplusroadmap 15:08 -!- Human_G33k [~HumanG33k@62.147.242.8] has joined ##hplusroadmap 15:12 -!- HumanGeek [~HumanG33k@62.147.242.8] has quit [Ping timeout: 256 seconds] 15:21 < lsneff> .t https://dl.acm.org/doi/abs/10.1145/3385412.3386007 15:22 < fenn> emmy is on vacation 15:22 < fenn> also ACM are bastards 15:23 < fenn> "Silq: a high-level quantum language with safe uncomputation and intuitive semantics" whatever that means 15:24 < lsneff> Sorry to hear that 15:25 < fenn> "Uncomputation is a technique, used in reversible circuits, for cleaning up temporary effects on ancilla bits so they can be re-used.[" 15:27 < lsneff> That sounds useful for conventional reversible computing. 15:28 -!- ffranr_ [~ffranr@213.167.139.101] has joined ##hplusroadmap 15:30 -!- ffranr [~ffranr@213.167.139.101] has quit [Ping timeout: 246 seconds] 15:36 -!- ffranr_ [~ffranr@213.167.139.101] has quit [Ping timeout: 240 seconds] 15:42 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has quit [Ping timeout: 260 seconds] 15:46 < kanzure> postgresql history https://arxiv.org/pdf/1901.01973.pdf 15:47 < kanzure> "Netezza was a startup founded in 1999, which forked the PostgreSQL codebase to build a high-performance parallel query processing engine on custom FPGA-based hardware. Netezza was quite successful as an independent company, and had its IPO in 2007. It was eventually acquired by IBM, with a value of $1.7B [IBM10]." 15:47 < kanzure> well that's cool 16:02 < fenn> ... and was never heard from again 16:04 * fenn puts on his electromagnetically shielded cranial protection layer 16:17 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has quit [Ping timeout: 260 seconds] 16:18 -!- juri__ [~juri@79.140.114.222] has joined ##hplusroadmap 16:18 -!- juri_ [~juri@178.63.35.222] has quit [Ping timeout: 246 seconds] 16:31 -!- juri__ [~juri@79.140.114.222] has quit [Read error: Connection reset by peer] 16:31 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has joined ##hplusroadmap 16:35 -!- juri_ [~juri@178.63.35.222] has joined ##hplusroadmap 17:16 -!- dongcarl [~dongcarl@unaffiliated/dongcarl] has quit [Quit: The Lounge - https://thelounge.chat] 17:17 -!- dongcarl [~dongcarl@unaffiliated/dongcarl] has joined ##hplusroadmap 17:53 -!- yashgaroth_ [~ffffffff@172.58.19.200] has quit [Ping timeout: 264 seconds] 18:02 -!- Urchin[emacs] [~user@unaffiliated/urchin] has quit [Ping timeout: 246 seconds] 18:27 -!- dongcarl [~dongcarl@unaffiliated/dongcarl] has quit [Quit: The Lounge - https://thelounge.chat] 18:29 -!- dongcarl [~dongcarl@unaffiliated/dongcarl] has joined ##hplusroadmap 20:30 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has quit [Ping timeout: 260 seconds] 20:54 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has joined ##hplusroadmap 22:16 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has quit [Ping timeout: 256 seconds] 22:58 -!- pompolic [~A@unaffiliated/pompolic] has joined ##hplusroadmap 23:04 -!- ffranr [~ffranr@213.167.139.102] has joined ##hplusroadmap 23:22 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has joined ##hplusroadmap --- Log closed Tue Jun 16 00:00:52 2020