--- Log opened Tue Oct 05 00:00:27 2021 00:12 -!- rndhouse_ [rndhouse@gateway/vpn/protonvpn/rndhouse] has joined #hplusroadmap 00:14 -!- rndhouse [rndhouse@gateway/vpn/protonvpn/rndhouse] has quit [Remote host closed the connection] 01:12 -!- Netsplit *.net <-> *.split quits: streety_ 01:24 -!- Netsplit over, joins: streety_ 02:09 -!- darsie [~darsie@84-113-55-200.cable.dynamic.surfer.at] has joined #hplusroadmap 03:56 -!- mechadense [~mechadens@dynamic-2k1yomdcnyhwd0t7cz-pd01.res.v6.highway.a1.net] has joined #hplusroadmap 04:21 < fenn> dump for the archives http://fennetic.net/irc/apm.bplaced.net-20211005110721.nohistory.mediawiki.xml.xz http://fennetic.net/irc/apm.bplaced.net-20211005110819.history.mediawiki.xml.xz 04:22 < fenn> amazingly it comes to under a megabyte, about a megabyte and a half with history 04:22 < fenn> almost makes me wonder if i did something wrong 05:38 < lsneff1> Did you skip images? I’d be be surprised if it came at under a MB with them 05:38 < lsneff1> I shot the author an email and invited them here 06:06 -!- faceface [~faceface@user/faceface] has joined #hplusroadmap 06:32 -!- chiastre [~chiastre@user/chiastre] has quit [Ping timeout: 252 seconds] 06:35 -!- chiastre [~chiastre@user/chiastre] has joined #hplusroadmap 06:41 -!- Malvolio [~Malvolio@user/malvolio] has joined #hplusroadmap 07:18 < archels_> kanzure: next Monday, Stephen Larson is going to hold a lecture titled 'OpenWorm's first decade: accomplishments and the roadmap ahead'. registration is free at https://combine-org.github.io/events/ 07:19 < archels_> I'm curious to hear about progress on the Geppetto engine there 07:59 -!- pasky [~pasky@nikam.ms.mff.cuni.cz] has joined #hplusroadmap 08:59 < kanzure> archels_: take a transcript? 11:11 -!- justanotheruser [~justanoth@gateway/tor-sasl/justanotheruser] has joined #hplusroadmap 15:55 < archels_> I'm too lazy. it may or may not be recorded 16:51 -!- srk [~sorki@user/srk] has quit [Ping timeout: 260 seconds] 16:52 -!- srk [~sorki@user/srk] has joined #hplusroadmap 16:59 -!- mechadense [~mechadens@dynamic-2k1yomdcnyhwd0t7cz-pd01.res.v6.highway.a1.net] has quit [Ping timeout: 256 seconds] 17:08 -!- darsie [~darsie@84-113-55-200.cable.dynamic.surfer.at] has quit [Ping timeout: 250 seconds] 18:43 -!- justanotheruser [~justanoth@gateway/tor-sasl/justanotheruser] has quit [Ping timeout: 276 seconds] 18:46 -!- justanotheruser [~justanoth@gateway/tor-sasl/justanotheruser] has joined #hplusroadmap 19:43 -!- superkuh [~superkuh@user/superkuh] has quit [Excess Flood] 19:44 -!- superkuh [~superkuh@user/superkuh] has joined #hplusroadmap 20:11 -!- mrdata [~mrdata@user/mrdata] has quit [Read error: Connection reset by peer] 20:16 -!- yuanti [sid16585@id-16585.tinside.irccloud.com] has quit [Read error: Connection reset by peer] 20:16 -!- yuanti [sid16585@id-16585.tinside.irccloud.com] has joined #hplusroadmap 20:18 -!- mrdata [~mrdata@user/mrdata] has joined #hplusroadmap 20:18 -!- lsneff1 [~lsneff@2001:470:69fc:105::1eaf] has quit [Ping timeout: 265 seconds] 20:32 -!- lsneff1 [~lsneff@2001:470:69fc:105::1eaf] has joined #hplusroadmap 21:21 < ^ditto> [freenode] my [possibly wrong] usage of the term "quotient" was to claim that it's not possible to cleanly distinguish between IA and AI 21:22 < ^ditto> [freenode] I should probably ease off the algebraic topology for a while, and review general concepts again. 22:50 -!- justanotheruser [~justanoth@gateway/tor-sasl/justanotheruser] has quit [Ping timeout: 276 seconds] 23:53 < ^ditto> [freenode] * adlai wonders how many folks consider low-tech intelligence augmentation, i.e. improving the mind's ability to learn ideas and perform computations unaided, to be any sorta hplussery 23:55 < ^ditto> [freenode] it is probably possible to strengthen the definition of hplus in a manner similar to how a ~proper~ subset is not an improper subset of the proper superset, by defining 'proper hplus' as techniques and technologies that were not possible before a certain point in the past. 23:57 < ^ditto> [freenode] brainfart: s/improper subset/improper superset/ 23:59 < ^ditto> [freenode] ... and in the interest of rough consensus and minimal bias: a reason to remain on this side of the Libera-Leenode bridge is that from here, my connection is spared the congestion of /join and /part notifications. 23:59 < ^ditto> [freenode] "sure is quiet in here", though! --- Log closed Wed Oct 06 00:00:27 2021