--- Log opened Sat Jun 13 00:00:48 2020
01:08 -!- ffranr [~ffranr@213.167.139.101] has joined ##hplusroadmap
01:12 -!- ffranr [~ffranr@213.167.139.101] has quit [Read error: Connection reset by peer]
01:12 -!- ffranr_ [ffranr@gateway/vpn/protonvpn/ffranr] has joined ##hplusroadmap
01:28 -!- ffranr_ is now known as ffranr
01:45 -!- Urchin[emacs] [~user@unaffiliated/urchin] has quit [Ping timeout: 256 seconds]
02:20 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has joined ##hplusroadmap
02:49 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has quit [Ping timeout: 258 seconds]
03:37 -!- dr-orlovsky [~dr-orlovs@xdsl-188-154-186-21.adslplus.ch] has joined ##hplusroadmap
05:50 -!- ffranr [ffranr@gateway/vpn/protonvpn/ffranr] has quit [Ping timeout: 258 seconds]
06:21 -!- Human_G33k [~HumanG33k@62.147.242.8] has quit [Ping timeout: 258 seconds]
06:43 < L29Ah> nmz787: but don't you like having some blood supply, X-ray and MRI machine 1km away?
06:47 -!- tommyrot [~unknown@d151056.upc-d.chello.nl] has left ##hplusroadmap []
06:50 -!- HumanG33k [~HumanG33k@62.147.242.8] has joined ##hplusroadmap
06:57 -!- mauz555 [~mauz555@2a01:e0a:56d:9090:4119:c5:9d6c:d2f5] has joined ##hplusroadmap
07:25 -!- mauz555 [~mauz555@2a01:e0a:56d:9090:4119:c5:9d6c:d2f5] has quit []
07:44 -!- yashgaroth [~ffffffff@172.58.22.164] has joined ##hplusroadmap
07:59 < lsneff> .t https://thenewstack.io/microsoft-rust-is-the-industrys-best-chance-at-safe-systems-programming/
07:59 < saxo> Microsoft: Rust Is the Industry’s ‘Best Chance’ at Safe Systems Programming – The New Stack
08:33 -!- CryptoDavid [uid14990@gateway/web/irccloud.com/x-rddfakioxnegdrou] has joined ##hplusroadmap
08:50 < fenn> rust is nice, but why should i care what microsoft's opinion is?
09:26 < jrayhawk> because microsoft is responsible for like half of type theory progress in the past 20 years and has written multiple provably-correct operating systems
09:45 -!- Urchin[emacs] [~user@unaffiliated/urchin] has joined ##hplusroadmap
10:09 -!- ffranr [ffranr@gateway/vpn/protonvpn/ffranr] has joined ##hplusroadmap
10:13 < lsneff> Singularity's os's core kernel was proven I think
10:48 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has joined ##hplusroadmap
11:06 -!- ffranr [ffranr@gateway/vpn/protonvpn/ffranr] has quit [Ping timeout: 240 seconds]
11:12 -!- ffranr [ffranr@gateway/vpn/protonvpn/ffranr] has joined ##hplusroadmap
11:29 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has joined ##hplusroadmap
12:02 -!- dongcarl [~dongcarl@unaffiliated/dongcarl] has quit [Ping timeout: 256 seconds]
12:46 -!- ffranr [ffranr@gateway/vpn/protonvpn/ffranr] has quit [Remote host closed the connection]
12:48 -!- ffranr [ffranr@gateway/vpn/protonvpn/ffranr] has joined ##hplusroadmap
12:55 -!- ffranr [ffranr@gateway/vpn/protonvpn/ffranr] has quit [Read error: Connection reset by peer]
12:57 -!- sharkcano [uid448250@gateway/web/irccloud.com/x-nijaosumtdjeshcd] has quit [Quit: Connection closed for inactivity]
15:09 -!- Human_G33k [~HumanG33k@62.147.242.8] has joined ##hplusroadmap
15:11 -!- HumanG33k [~HumanG33k@62.147.242.8] has quit [Ping timeout: 256 seconds]
15:36 < nmz787> L29Ah: not really
15:51 < L29Ah> do you have a personal helicopter or smth to reach them in need?
15:51 -!- Codaraxis_ [~Codaraxis@ip68-5-90-227.oc.oc.cox.net] has joined ##hplusroadmap
15:55 -!- Codaraxis__ [Codaraxis@gateway/vpn/mullvad/codaraxis] has quit [Ping timeout: 256 seconds]
17:05 -!- filipepe [uid362247@gateway/web/irccloud.com/x-tixjaouqdszcuxbv] has joined ##hplusroadmap
17:53 -!- justan0theruser [~justanoth@unaffiliated/justanotheruser] has joined ##hplusroadmap
17:54 -!- darsie [~kvirc@84-114-73-160.cable.dynamic.surfer.at] has quit [Ping timeout: 260 seconds]
17:56 -!- justanotheruser [~justanoth@unaffiliated/justanotheruser] has quit [Ping timeout: 272 seconds]
18:26 -!- Codaraxis__ [Codaraxis@gateway/vpn/mullvad/codaraxis] has joined ##hplusroadmap
18:30 -!- Codaraxis_ [~Codaraxis@ip68-5-90-227.oc.oc.cox.net] has quit [Ping timeout: 256 seconds]
18:41 < nmz787> L29Ah: well the 80 acres I was thinking about buying a few months ago was only a 30 minute drive from where I am now
19:29 -!- Malvolio is now known as Guest73886
19:29 -!- Guest73886 [~Malvolio@unaffiliated/malvolio] has quit [Killed (card.freenode.net (Nickname regained by services))]
19:29 -!- Malvolio [~Malvolio@unaffiliated/malvolio] has joined ##hplusroadmap
20:20 -!- CryptoDavid [uid14990@gateway/web/irccloud.com/x-rddfakioxnegdrou] has quit [Quit: Connection closed for inactivity]
20:52 -!- yashgaroth [~ffffffff@172.58.22.164] has quit [Quit: Leaving]
21:21 < lsneff> .t https://maggieappleton.com/basb
21:21 < saxo> Building a Second Brain: The Illustrated Notes
21:54 -!- filipepe [uid362247@gateway/web/irccloud.com/x-tixjaouqdszcuxbv] has quit [Quit: Connection closed for inactivity]
22:12 -!- Urchin[emacs] [~user@unaffiliated/urchin] has quit [Ping timeout: 246 seconds]
--- Log closed Sun Jun 14 00:00:49 2020