--- Log opened Fri May 01 00:00:08 2020 00:07 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has quit [Ping timeout: 272 seconds] 01:17 -!- mauz555 [~mauz555@2a01:e0a:56d:9090:7d8f:ee9e:d28a:4459] has joined ##hplusroadmap 03:56 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has joined ##hplusroadmap 04:34 -!- mrdata [~mrdata@unaffiliated/mrdata] has quit [Read error: Connection reset by peer] 04:35 -!- mrdata [~mrdata@unaffiliated/mrdata] has joined ##hplusroadmap 04:53 -!- CryptoDavid [uid14990@gateway/web/irccloud.com/x-ogmjtqkzdsfsyybe] has joined ##hplusroadmap 05:29 -!- spaceangel [~spaceange@ip-89-177-23-46.net.upcbroadband.cz] has joined ##hplusroadmap 06:02 < kanzure> "Distributed auditing proofs of liabilities" https://eprint.iacr.org/2020/468.pdf 06:05 < lsneff> .title https://urbit.org/blog/introducing-os1/ 06:05 < saxo> Introducing OS 1 - Urbit 06:06 < lsneff> The concepts beneath urbit are very compelling to me, but it's just too weird. 06:10 < kanzure> weird isn't an acceptable excuse, surely there are much better reasons to ignore urbit 06:31 < diginet> ignore urbit because it's rarefied crankery 06:32 < Urchin> SKI combinator virtual machine for neo-monarchists 06:34 -!- d4de [~d4de@197.47.162.164] has joined ##hplusroadmap 06:38 -!- Urchin [~urchin@unaffiliated/urchin] has quit [Quit: Leaving] 06:39 -!- Urchin [~urchin@unaffiliated/urchin] has joined ##hplusroadmap 06:42 < lsneff> Yes, I included that in weird 06:42 < lsneff> But you're right, it's not a good excuse 06:43 < lsneff> The idea of having an entire system built around code being data, everything being serializable, is very exciting. 06:43 < lsneff> It's like a jaunt back to the era of lisp machines 06:45 -!- Urchin [~urchin@unaffiliated/urchin] has quit [Ping timeout: 260 seconds] 06:47 -!- Urchin [~urchin@unaffiliated/urchin] has joined ##hplusroadmap 06:57 < lsneff> The guy who started it is a nutcase though 07:05 -!- Urchin [~urchin@unaffiliated/urchin] has quit [Ping timeout: 256 seconds] 07:06 -!- Urchin [~urchin@unaffiliated/urchin] has joined ##hplusroadmap 07:11 -!- dongcarl [~dongcarl@unaffiliated/dongcarl] has joined ##hplusroadmap 07:12 -!- CRM114 [~urchin@unaffiliated/urchin] has joined ##hplusroadmap 07:13 -!- Urchin [~urchin@unaffiliated/urchin] has quit [Ping timeout: 240 seconds] 07:24 -!- CRM114 is now known as Urchin 07:56 < nsh> rarefied crankery eh? *perks up* 08:00 < nsh> no, Urbit OS is what happens when you create TempleOS but make every decision wrong 08:02 < lsneff> Templeos was really fascinating 08:02 < lsneff> I don't know if I'd call urbit OS an operating system, but I guess it really is, just not in the normal way. 08:17 -!- yashgaroth [~ffffffff@172.58.19.31] has joined ##hplusroadmap 08:27 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has quit [Ping timeout: 240 seconds] 08:43 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has joined ##hplusroadmap 09:09 -!- LarchOye2 [~gobitch@24.245.5.129] has joined ##hplusroadmap 09:52 -!- filipepe [uid362247@gateway/web/irccloud.com/x-qyaolbnzaxyhlkaz] has joined ##hplusroadmap 10:19 < kanzure> "Proof-carrying data from accumulation schemes" https://eprint.iacr.org/2020/499.pdf 10:30 < heath> jrayhawk: re: bluespec, google used it internally. I thought it was for their TPUs, but could very well be mistaken 10:30 -!- Urchin [~urchin@unaffiliated/urchin] has left ##hplusroadmap ["Leaving"] 10:31 < heath> glad to see all the other haskell hdl projects mentioned in here 10:35 < srk> <3 10:50 < jrayhawk> "Urbit IDs are individually represented by non-fungible ERC-721 tokens" oof 11:00 < jrayhawk> i suppose urbit is vitalik's "distributed world computer" promotional horseshit fever dream become unintentionally manifest. tragic that they would become tied to the hip like that. 12:27 < lsneff> Well, it's very much the opposite I think. 12:28 < lsneff> Urbit is inherently local, and for one user only 12:58 < lsneff> .title http://www.paulgraham.com/hundred.html 12:58 < saxo> The Hundred-Year Language 13:18 -!- spaceangel [~spaceange@ip-89-177-23-46.net.upcbroadband.cz] has quit [Remote host closed the connection] 13:20 -!- spaceangel [~spaceange@ip-89-177-23-46.net.upcbroadband.cz] has joined ##hplusroadmap 13:54 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has quit [Ping timeout: 265 seconds] 14:03 -!- mauz555 [~mauz555@2a01:e0a:56d:9090:7d8f:ee9e:d28a:4459] has quit [Ping timeout: 265 seconds] 14:07 -!- mauz555 [~mauz555@2a04:cec0:10c0:6738:a8f9:ed1d:4b49:45f8] has joined ##hplusroadmap 14:15 -!- mauz555_ [~mauz555@2a01:e0a:56d:9090:9c09:7e12:30c0:810] has joined ##hplusroadmap 14:19 -!- mauz555 [~mauz555@2a04:cec0:10c0:6738:a8f9:ed1d:4b49:45f8] has quit [Ping timeout: 272 seconds] 14:23 -!- mauz555_ [~mauz555@2a01:e0a:56d:9090:9c09:7e12:30c0:810] has quit [] 14:23 -!- mauz555 [~mauz555@2a01:e0a:56d:9090:9c09:7e12:30c0:810] has joined ##hplusroadmap 15:07 -!- Netsplit *.net <-> *.split quits: ShellcatZero, kanzure, CryptoDavid, filipepe, faceface, wallet42, darsie, LarchOye2, namespace 15:07 -!- filipepe [uid362247@gateway/web/irccloud.com/x-vqhfcaysnilupddf] has joined ##hplusroadmap 15:07 -!- Netsplit over, joins: namespace 15:08 -!- wallet42 [sid154231@gateway/web/irccloud.com/x-urpzupgpkwkfzymf] has joined ##hplusroadmap 15:08 -!- wallet42 [sid154231@gateway/web/irccloud.com/x-urpzupgpkwkfzymf] has quit [Changing host] 15:08 -!- wallet42 [sid154231@unaffiliated/wallet42] has joined ##hplusroadmap 15:08 -!- wallet42 [sid154231@unaffiliated/wallet42] has quit [Changing host] 15:08 -!- wallet42 [sid154231@gateway/web/irccloud.com/x-urpzupgpkwkfzymf] has joined ##hplusroadmap 15:09 -!- Netsplit over, joins: LarchOye2 15:09 -!- CryptoDavid [uid14990@gateway/web/irccloud.com/x-nuurqpycjkektyxn] has joined ##hplusroadmap 15:09 -!- Netsplit over, joins: ShellcatZero 15:10 -!- Netsplit over, joins: darsie 15:10 < fenn> juri_: do implicitcad.org examples expire? it looks like you've got essentially a content-addressable data store for hosting user created cad files, and the website itself would work as a repository of contributed designs without a lot of extra work. it would be good to get the licensing terms nailed down early. perhaps CC0 15:12 -!- faceface [~faceface@unaffiliated/faceface] has joined ##hplusroadmap 15:12 -!- kanzure [~kanzure@unaffiliated/kanzure] has joined ##hplusroadmap 15:25 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has joined ##hplusroadmap 15:26 < juri_> fenn: the website is licensed under the AGPLv3. I do have a log of all of the objects, but having no way to license the content users have uploaded. I just have logs so i can tell how many people use the site. 15:38 -!- ffranr [~rff@79-64-221-118.host.pobb.as13285.net] has joined ##hplusroadmap 15:41 -!- d4de [~d4de@197.47.162.164] has quit [Ping timeout: 264 seconds] 15:42 -!- filipepe [uid362247@gateway/web/irccloud.com/x-vqhfcaysnilupddf] has quit [Quit: Connection closed for inactivity] 15:42 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has quit [Ping timeout: 264 seconds] 15:45 -!- otoburb [~otoburb@unaffiliated/otoburb] has quit [Quit: leaving] 15:53 < kanzure> https://oztypewriter.blogspot.com/2014/11/last-days-of-speed-typing-glory.html 16:29 -!- mauz555 [~mauz555@2a01:e0a:56d:9090:9c09:7e12:30c0:810] has quit [Remote host closed the connection] 16:29 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has quit [Ping timeout: 260 seconds] 16:43 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has joined ##hplusroadmap 16:56 -!- root____3 [~root@88.230.138.86] has joined ##hplusroadmap 17:01 < root____3> Hello everyone 17:01 < root____3> do you know nootropic that works. 17:01 < root____3> ? 17:03 < kanzure> no they don't work 17:05 < root____3> oh really ? okey. ı did not know 17:05 < kanzure> there's some results. but it's not any significant number of orders of magnitude. 17:05 -!- root____3 is now known as prometheus 17:08 -!- spaceangel [~spaceange@ip-89-177-23-46.net.upcbroadband.cz] has quit [Remote host closed the connection] 17:08 -!- spaceangel [~spaceange@ip-89-177-23-46.net.upcbroadband.cz] has joined ##hplusroadmap 17:14 -!- spaceangel [~spaceange@ip-89-177-23-46.net.upcbroadband.cz] has quit [Ping timeout: 258 seconds] 17:19 < prometheus> kanzure : a small amount of methylphenidate works. May be 17:34 -!- prometheus [~root@88.230.138.86] has quit [Quit: leaving] 17:37 < jrayhawk> https://darktka.github.io/ 2017 Nootropics Survey 17:57 < fenn> they're both gone 17:58 < jrayhawk> oh, right 17:58 < fenn> why did nobody here get into TDCS? 17:59 < fenn> it seems to have some merit and has a very low barrier to entry 18:14 < kanzure> too obsessed with rtms 18:22 -!- ffranr [~rff@79-64-221-118.host.pobb.as13285.net] has quit [Read error: No route to host] 18:23 -!- ffranr [~rff@79-64-221-118.host.pobb.as13285.net] has joined ##hplusroadmap 18:46 -!- ffranr [~rff@79-64-221-118.host.pobb.as13285.net] has quit [Quit: Leaving.] 18:49 < kanzure> hm 18:57 < kanzure> .title https://news.ycombinator.com/item?id=23041747 18:57 < saxo> Repository for Open Source Mouse Firmware and Hardware | Hacker News 19:05 -!- hebelehubehe [~hebelehub@104-188-20-185.lightspeed.sndgca.sbcglobal.net] has joined ##hplusroadmap 19:05 < hebelehubehe> @search 19:07 -!- hebelehubehe [~hebelehub@104-188-20-185.lightspeed.sndgca.sbcglobal.net] has quit [Remote host closed the connection] 19:08 < superkuh> Technically I did TDCS for GVS. 19:11 < fenn> there is that. i was just talking about that yesterday 19:11 < fenn> making people dance in synchrony by blindfolding and stimulating the vestibular nerve 19:12 < fenn> like the DARPA cyborg beetle or that cockroach in the fifth element 19:12 < fenn> but it's a far cry from intelligence augmentation 19:19 -!- CryptoDavid [uid14990@gateway/web/irccloud.com/x-nuurqpycjkektyxn] has quit [Quit: Connection closed for inactivity] 19:39 < fenn> https://blogs.sciencemag.org/pipeline/archives/2020/05/01/why-are-clinical-trials-so-complicated 19:49 -!- turona [~quassel@2a01:c22:b00d:ec00:5825:f85a:1853:fa62] has quit [Ping timeout: 272 seconds] 19:50 < fenn> i had no idea about all this seed crystal polymorph stuff 19:51 -!- turona [~quassel@2a01:c23:6445:3500:4ce:2ce4:1ff6:726b] has joined ##hplusroadmap 19:57 < fenn> Before the hydrothermal method for growing quartz crystals, Bell Labs spent several years producing commercial quantities of the piezoelectric crystals of ethylene diamine tartrate for use as oscillators. Then one day they started getting “parasitic growths” on their lovely clean crystals. Investigation showed it was a previously unknown monohydrate form. 19:57 < fenn> Despite developing a cunning way to reducing the impact of the monohydrate https://patents.google.com/patent/US2592729 volume production never resumed. Partly this was due to the development of ways to grow artificial quartz, but if it wasn’t for the monohydrate it may well have been we’d be using EDT crystals in our digital devices to this day. 20:01 < fenn> "one professor who had a jar full of mixed up dirt he’d collected from all the labs he’d ever worked at. When he couldn’t get something to crystallise, he’d add a pinch from the jar, and surprisingly often those magic crystals would form. The downside, however, with that particular jar would set any geiger counters merrily clicking away, as one of the labs he’d been in dealt with 20:01 < fenn> processing of uranium ores" 20:01 < fenn> maybe the ionizing radiation itself causes nucleation 20:25 -!- Urchin [~urchin@unaffiliated/urchin] has joined ##hplusroadmap 20:35 -!- yashgaroth [~ffffffff@172.58.19.31] has quit [Quit: Leaving] 20:36 -!- Malvolio [~Malvolio@unaffiliated/malvolio] has quit [Killed (orwell.freenode.net (Nickname regained by services))] 20:36 -!- Malvolio [~Malvolio@unaffiliated/malvolio] has joined ##hplusroadmap 20:49 -!- Codaraxis [~Codaraxis@ip68-5-90-227.oc.oc.cox.net] has quit [Remote host closed the connection] 20:49 -!- Codaraxis [~Codaraxis@ip68-5-90-227.oc.oc.cox.net] has joined ##hplusroadmap 20:59 -!- L29Ah [~L29Ah@unaffiliated/l29ah] has left ##hplusroadmap ["Disconnected: closed"] 21:03 -!- L29Ah [~L29Ah@unaffiliated/l29ah] has joined ##hplusroadmap 21:40 -!- Codaraxis [~Codaraxis@ip68-5-90-227.oc.oc.cox.net] has quit [Remote host closed the connection] 21:41 -!- Codaraxis [~Codaraxis@ip68-5-90-227.oc.oc.cox.net] has joined ##hplusroadmap 23:38 < adlai> ionizing radiation is one of the ways of adding a bit (literally, although perhaps not in such a clean base as binary) of randomness to the collapse towards stationary action 23:50 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has joined ##hplusroadmap --- Log closed Sat May 02 00:00:10 2020