--- Log opened Sun Jan 16 00:00:31 2022
00:11 -!- Codaraxis__ [~Codaraxis@user/codaraxis] has quit [Quit: Leaving]
00:23 -!- Hooloovoo [~Hooloovoo@hax0rbana.org] has quit [Remote host closed the connection]
05:39 -!- spaceangel [~spaceange@ip-78-102-216-202.net.upcbroadband.cz] has joined #hplusroadmap
07:10 -!- justanotheruser [~justanoth@gateway/tor-sasl/justanotheruser] has quit [Ping timeout: 276 seconds]
07:52 -!- yashgaroth [~ffffffff@2601:5c4:c780:6aa0::f2f0] has joined #hplusroadmap
09:12 < lsneff> Dependent or refinement typing would be great for hardware description
11:52 -!- Malvolio [~Malvolio@user/malvolio] has quit [Ping timeout: 250 seconds]
12:13 -!- Malvolio [~Malvolio@user/malvolio] has joined #hplusroadmap
12:26 < kanzure> https://vcg.seas.harvard.edu/publications/a-connectomic-study-of-a-petascale-fragment-of-human-cerebral-cortex
12:26 < kanzure> "We acquired a rapidly preserved human surgical sample from the temporal lobe of the cerebral cortex. We stained a 1 mm3 volume with heavy metals, embedded it in resin, cut more than 5000 slices at ~30 nm and imaged these sections using a high-speed multibeam scanning electron microscope. We used computational methods to render the three-dimensional structure of 50,000 cells, hundreds of ...
12:26 < kanzure> ...millions of neurites and 130 million synaptic connections."
15:43 < fenn> .ety dude
15:43 < saxo> "dude (n.)1883, 'fastidious man,' New York City slang of unknown origin; recent research suggests it is a shortening of Yankee Doodle, based on the song's notion of 'foppish, over-fastidious male' (compare macaroni). The vogue word of 1883, originally used in reference to the devotees of the 'aesthetic' craze, later appl..." - https://www.etymonline.com/word/dude
15:43 < fenn> i thought a dude was a horse's butt
15:43 < fenn> or something on a horse's butt
15:45 < kanzure> elephant's butt
15:47 < kanzure> get your butts straight
15:47 < fenn> wiktionary claims "The common claim that the term derives from a hair on a cow, horse, donkey, or elephant's bottom) is false."
16:22 -!- Malvolio [~Malvolio@user/malvolio] has quit [Quit: nemo mortalium omnibus horis sapit]
16:35 < fenn> "a 10 tome lexicon of technology" (now 17 supposedly) http://www.zeno.org/Lueger-1904 https://en.wikipedia.org/wiki/Otto_Lueger
16:59 -!- spaceangel [~spaceange@ip-78-102-216-202.net.upcbroadband.cz] has quit [Remote host closed the connection]
17:10 -!- adlai [~adlai@80.244.243.194] has quit [Ping timeout: 252 seconds]
17:46 -!- webmeister [~webmeiste@192.182.148.163] has joined #hplusroadmap
17:46 -!- webmeister [~webmeiste@192.182.148.163] has quit [Changing host]
17:46 -!- webmeister [~webmeiste@user/webmeister] has joined #hplusroadmap
18:35 -!- Malvolio [~Malvolio@user/malvolio] has joined #hplusroadmap
18:49 -!- yashgaroth [~ffffffff@2601:5c4:c780:6aa0::f2f0] has quit [Quit: Leaving]
20:44 -!- Malvolio [~Malvolio@user/malvolio] has left #hplusroadmap []
20:51 -!- Malvolio [~Malvolio@user/malvolio] has joined #hplusroadmap
21:36 -!- katie_webmeister [~webmeiste@192.182.148.163] has joined #hplusroadmap
21:38 -!- webmeister [~webmeiste@user/webmeister] has quit [Ping timeout: 250 seconds]
22:54 -!- L29Ah [~L29Ah@wikipedia/L29Ah] has quit [Ping timeout: 240 seconds]
--- Log closed Mon Jan 17 00:00:32 2022