--- Log opened Mon Apr 27 00:00:06 2020 00:15 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has joined ##hplusroadmap 00:47 -!- filipepe [uid362247@gateway/web/irccloud.com/x-qwdzpcmefvwniqxe] has quit [Quit: Connection closed for inactivity] 01:24 -!- mauz555 [~mauz555@2a01:e0a:56d:9090:1b3:7aa3:ea90:e3f4] has joined ##hplusroadmap 04:18 -!- HumanG33k [~HumanG33k@62.147.242.8] has quit [Remote host closed the connection] 04:21 -!- HumanG33k [~HumanG33k@62.147.242.8] has joined ##hplusroadmap 05:49 -!- mauz555 [~mauz555@2a01:e0a:56d:9090:1b3:7aa3:ea90:e3f4] has quit [Ping timeout: 265 seconds] 06:04 -!- L29Ah [~L29Ah@unaffiliated/l29ah] has left ##hplusroadmap ["Disconnected: closed"] 06:07 -!- L29Ah [~L29Ah@unaffiliated/l29ah] has joined ##hplusroadmap 06:36 < nsh> moderately terrifying: https://twitter.com/dwallacewells/status/1254444837186740225 06:36 < nsh> (thread) 06:48 -!- CryptoDavid [uid14990@gateway/web/irccloud.com/x-idsmzrkwtxewlsoo] has joined ##hplusroadmap 06:54 -!- HumanG33k [~HumanG33k@62.147.242.8] has quit [Remote host closed the connection] 06:54 -!- HumanG33k [~HumanG33k@62.147.242.8] has joined ##hplusroadmap 07:46 -!- Malvolio [~Malvolio@unaffiliated/malvolio] has quit [Killed (cherryh.freenode.net (Nickname regained by services))] 07:47 -!- Malvolio [~Malvolio@unaffiliated/malvolio] has joined ##hplusroadmap 07:51 -!- yashgaroth [~ffffffff@172.58.19.137] has joined ##hplusroadmap 08:07 -!- Human_G33k [~HumanG33k@62.147.242.8] has joined ##hplusroadmap 08:10 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has quit [Ping timeout: 240 seconds] 08:10 -!- HumanG33k [~HumanG33k@62.147.242.8] has quit [Ping timeout: 260 seconds] 08:24 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has joined ##hplusroadmap 09:01 -!- filipepe [uid362247@gateway/web/irccloud.com/x-lqjnkwcuzfnyczig] has joined ##hplusroadmap 09:20 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has quit [Ping timeout: 240 seconds] 09:20 -!- CRM114 [~urchin@unaffiliated/urchin] has joined ##hplusroadmap 09:20 -!- Urchin [~urchin@unaffiliated/urchin] has quit [Disconnected by services] 09:20 -!- CRM114 is now known as Urchin 09:26 -!- Netsplit *.net <-> *.split quits: docl, Alchemical, agile_prg3, ptrcmd, aeiousomething, fenn, saurik 09:31 -!- aeiousomething [~aeiousome@unaffiliated/aeiousomething] has joined ##hplusroadmap 09:32 -!- fenn [~fenn@unaffiliated/fenn] has joined ##hplusroadmap 09:32 -!- docl [~docl@159.203.115.16] has joined ##hplusroadmap 09:32 -!- saurik [saurik@carrier.saurik.com] has joined ##hplusroadmap 09:32 -!- Alchemical [~al@unaffiliated/alchemical] has joined ##hplusroadmap 09:32 -!- agile_prg3 [~nyb@50.227.202.42] has joined ##hplusroadmap 09:32 -!- ptrcmd [~ptrcmd@unaffiliated/petercommand] has joined ##hplusroadmap 09:34 < lsneff> .title https://vimeo.com/71278954 09:34 < saxo> Vimeo / 403 Forbidden 09:34 < lsneff> "Bret Victor - The Future of Programming" 09:35 < lsneff> Really recommend watching this 09:35 < lsneff> Kind of a depressing talk 09:52 < L29Ah> > 32 minutes 09:52 < L29Ah> nothx 09:52 < L29Ah> is there a text version? 10:00 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has joined ##hplusroadmap 10:04 < lsneff> Here's a transcription: https://glamour-and-discourse.blogspot.com/p/the-future-of-programming-bret-victor.html 10:21 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has quit [Ping timeout: 260 seconds] 10:24 -!- Urchin [~urchin@unaffiliated/urchin] has quit [Remote host closed the connection] 10:26 -!- Netsplit *.net <-> *.split quits: docl, Alchemical, agile_prg3, ptrcmd, aeiousomething, fenn, saurik 10:28 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has joined ##hplusroadmap 10:29 -!- Netsplit over, joins: fenn, docl, saurik, Alchemical, agile_prg3, ptrcmd 10:29 -!- Netsplit over, joins: aeiousomething 11:20 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has quit [Ping timeout: 260 seconds] 11:28 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has joined ##hplusroadmap 11:45 -!- future [~future@88.230.138.86] has joined ##hplusroadmap 12:23 < L29Ah> https://www.ncbi.nlm.nih.gov/pubmed/21454572/ 12:30 < fenn> the actual "future of programming" stuff doesn't start until 25 minutes or so, the rest is a history summary 12:31 < fenn> tl;dw it's "parallel computing" 12:32 < L29Ah> damn methylene blue has a half-life of 2 hours 12:33 < fenn> it's an oxidative radical generator right? probably for the best that it's short acting 12:33 < fenn> lsneff: here's something i haven't really seen much talk about elsewhere http://web.media.mit.edu/~lieber/Your-Wish-Intro.html 12:34 < L29Ah> scavenger, also modifies mitochondrial function and seems to do a plethora of nice stuff in vitro 12:34 < fenn> "Your Wish is My Command: 12:34 < fenn> Programming by Example" 12:36 < lsneff> fenn: Oh, that's interesting. I'm not sure I'm onboard, but I think all new ideas for programming are worth looking into. 12:37 < lsneff> Often, programming isn't about things that have already happened and already have examples, but things that don't yet exist. 12:37 < lsneff> Maybe I'm misunderstanding the concept 12:38 < fenn> since bret victor is a bigshot UI expert, i expected the talk to be about the human interface of programming 12:38 < fenn> in henry lieberman's system you make new examples to give to the system 12:38 < fenn> i haven't read it, sorry 12:39 < fenn> it's more like "teaching" than showing a neural net a zillion photographs 12:41 < fenn> i guess the closest thing in common use is test driven development 12:43 < lsneff> Ah interesting, okay. 12:43 < lsneff> I'll think more about that 12:44 < lsneff> Of all the evolutionary pathways of computing, I think it's a shame that independent systems being able to communicate very easily didn't really happen. 12:44 < lsneff> The internet of course, but there's so many protocols on top of protocols. 12:45 < lsneff> Json on http2 on tcp on udp 12:46 < lsneff> And if your application needs to communicate to a library written in another language, or even a different version of the same language, it's equally complex. 13:23 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has quit [Ping timeout: 240 seconds] 13:27 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has joined ##hplusroadmap 13:28 -!- future [~future@88.230.138.86] has quit [Quit: Leaving] 13:33 < fenn> unix pipes are ok 13:34 < fenn> and you can pipe over netcat or ssh 14:11 -!- filipepe [uid362247@gateway/web/irccloud.com/x-lqjnkwcuzfnyczig] has quit [Quit: Connection closed for inactivity] 14:11 < lsneff> Well, you gotta come up with a protocol of sorts, and (de)serialize on each end. 14:11 < lsneff> It’s complex and fragile. 14:15 < lsneff> What should matter is the data, not how it the data is formatted or sent. 14:22 < TMA> sadly, there is no _the_ data even in simple cases 14:24 < lsneff> Wasm interface types are an interesting step towards this 14:24 < lsneff> They’ll be able to have wasm modules share rich data without constraining the representation. 14:24 < TMA> yes, standards are awesome. and there are so many to choose from 14:25 < lsneff> They’re not a standard really, since the languages can store data however they want 14:28 < TMA> I was talking of wasm vs. non-wasm 14:29 < lsneff> Oh, sure 14:29 < lsneff> Yeah, wasm is a standard 14:30 < TMA> standards (the useful ones at least) keep their internal consistency. the problem arises with things that are out of scope for them 14:33 < TMA> an then you throw in more standards to tackle the boundary -- ASN.1, XML (with DTDs, xml schemas, relaxng schemas, WSDL (and other WS-*), xmlrpc), s-expressions, fixed-length records in EBCDIC, ... 14:34 < TMA> and there is always an impedance mismatch/leaky abstraction. 14:39 < TMA> on an unrelated note: sometimes, I wonder how strong is the survivor bias in the optimism/pessimism split. I gather that the 'self-help' crowd peddles a panacea of positive thinking and perseverance. I wonder what proportion of persevering optimists never amounted to anything. 14:42 < TMA> I have not chanced upon any paper on that; I don't even know where to start looking. Those sources talking about the survivor bias do take their examples from stock market, where the data are readily available. 15:20 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has quit [Ping timeout: 264 seconds] 15:21 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has joined ##hplusroadmap 16:10 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has quit [Ping timeout: 240 seconds] 16:14 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has quit [Ping timeout: 264 seconds] 16:14 -!- mauz555 [~mauz555@2a01:e0a:56d:9090:b94c:baeb:34ca:6eb6] has joined ##hplusroadmap 16:14 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has joined ##hplusroadmap 16:20 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has quit [Ping timeout: 260 seconds] 16:24 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has joined ##hplusroadmap 16:37 < lsneff> .title https://www.cbsnews.com/news/ufo-navy-videos-pentagon-unidentied-aerial-phenomena/ 16:37 < saxo> Pentagon formally releases 3 Navy videos showing 'unidentified aerial phenomena' - CBS News 17:30 -!- mauz555 [~mauz555@2a01:e0a:56d:9090:b94c:baeb:34ca:6eb6] has quit [Remote host closed the connection] 17:57 -!- Urchin [~urchin@unaffiliated/urchin] has joined ##hplusroadmap 18:19 -!- prometheus [~root@88.230.138.86] has joined ##hplusroadmap 18:39 -!- prometheus [~root@88.230.138.86] has quit [Quit: leaving] 18:54 < kanzure> "multiparticipant coinswap" https://zmnscpxj.github.io/bitcoin/multiswap.html 18:58 -!- LarchOye1 [~gobitch@24.245.5.129] has joined ##hplusroadmap 19:44 -!- CaptHindsight [~CaptHindi@unaffiliated/capthindsight] has joined ##hplusroadmap 19:45 < CaptHindsight> https://www.nature.com/articles/s41596-019-0255-2 19:45 < CaptHindsight> Solid-state nanopore fabrication by automated controlled breakdown 19:46 < CaptHindsight> this is pretty easily done with all open source 19:46 < CaptHindsight> the devs used Windows and some closed SLA printers 19:53 -!- turona [~quassel@2a01:c22:ac52:b100:51ea:8b82:57a:ed6a] has quit [Ping timeout: 265 seconds] 19:55 < CaptHindsight> https://static-content.springer.com/esm/art%3A10.1038%2Fs41596-019-0255-2/MediaObjects/41596_2019_255_MOESM5_ESM.zip 19:55 -!- turona [~quassel@2a01:c22:b02e:2200:530d:7143:b3:3a03] has joined ##hplusroadmap 19:58 < CaptHindsight> >85% yield of low-noise nanopores 20:12 -!- mrdata [~mrdata@unaffiliated/mrdata] has quit [Read error: Connection reset by peer] 20:13 -!- mrdata [~mrdata@unaffiliated/mrdata] has joined ##hplusroadmap 20:33 < lsneff> .title https://www.guru3d.com/news-story/tsmc-starts-development-of-2nm-process3nm-already-in-the-works.html 20:33 < saxo> TSMC starts development of 2nm process, 3nm already in the works 20:37 < lsneff> Wish they would switch to transistors per mm^2 instead of the misleading "nm" size 20:38 < CaptHindsight> easy enough to convert to mm^2 20:39 < CaptHindsight> and it's tradition 20:42 < lsneff> Yeah, but the nm sizes they give are wrong haha 20:43 < lsneff> If transistors were really 7nm right now, computers would be able to fit like hundred times more than they currently do. 20:43 -!- CryptoDavid [uid14990@gateway/web/irccloud.com/x-idsmzrkwtxewlsoo] has quit [Quit: Connection closed for inactivity] 20:49 -!- yashgaroth [~ffffffff@172.58.19.137] has quit [Quit: Leaving] 21:11 -!- Urchin [~urchin@unaffiliated/urchin] has quit [Ping timeout: 264 seconds] 21:24 -!- Urchin [~urchin@unaffiliated/urchin] has joined ##hplusroadmap 21:47 -!- ShellcatZero [~ShellcatZ@cpe-76-93-142-197.san.res.rr.com] has joined ##hplusroadmap 21:50 -!- mrdata [~mrdata@unaffiliated/mrdata] has quit [Read error: Connection reset by peer] 21:50 -!- mrdata [~mrdata@unaffiliated/mrdata] has joined ##hplusroadmap 22:07 -!- namespace [user@2600:3c02::f03c:91ff:fe7b:227f] has quit [Ping timeout: 256 seconds] 22:16 -!- namespace [~user@li72-90.members.linode.com] has joined ##hplusroadmap 22:27 -!- LarchOye1 [~gobitch@24.245.5.129] has quit [Remote host closed the connection] 22:29 -!- LarchOye1 [~gobitch@24.245.5.129] has joined ##hplusroadmap 22:29 -!- LarchOye1 is now known as Guest8792 22:35 -!- Guest8792 is now known as LarchOye2 23:33 < ptrcmd> lsneff: why are the "nm" sizes misleading? 23:40 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has joined ##hplusroadmap 23:57 < mrdata> isnt the name about the minimum size of line you can cut? 23:57 < CaptHindsight> yes, feature size 23:58 < CaptHindsight> not gate or transistor size 23:58 < mrdata> so a transistor has to be larger; a gate larger still 23:58 < CaptHindsight> i think he just doesn't like having to divide numbers --- Log closed Tue Apr 28 00:00:05 2020