--- Log opened Tue Jun 01 00:00:25 2021
01:08 < jrayhawk> sweeney also has published papers on dependent type systems, so, at the very least, there's deep safety work being done elsewhere
03:40 -!- thedragon_ [~thedragon@user/thedragon] has quit [Quit: Leaving]
04:35 < abetusk> https://www.researchgate.net/publication/260275150_Interstellar_Travel_-_The_Wait_Calculation_and_the_Incentive_Trap_of_Progress
04:35 < abetusk> .title
04:35 < saxo> (PDF) Interstellar Travel - The Wait Calculation and the Incentive Trap of Progress
05:23 -!- thedragon [~thedragon@user/thedragon] has joined #hplusroadmap
07:47 -!- Agatha [~agatha@50.38.41.156] has joined #hplusroadmap
07:47 -!- Agatha [~agatha@50.38.41.156] has quit [Changing host]
07:47 -!- Agatha [~agatha@user/agatha] has joined #hplusroadmap
10:24 -!- Netsplit *.net <-> *.split quits: berndj, gradstudentbot, maaku, FelixWeis, acertain
10:24 -!- Netsplit over, joins: maaku
10:24 -!- gradstudentbot [~gradstude@bryan.fairlystable.org] has joined #hplusroadmap
10:24 -!- Netsplit over, joins: FelixWeis
10:24 -!- Netsplit over, joins: acertain
10:25 -!- gradstudentbot [~gradstude@bryan.fairlystable.org] has quit [Changing host]
10:25 -!- gradstudentbot [~gradstude@user/gradstudentbot] has joined #hplusroadmap
10:27 -!- berndj [~berndj@ns1.linksynergy.co.za] has joined #hplusroadmap
10:31 < fenn> possibly NSFW http://youtu.be/lnIm-kwKRrg
10:31 < fenn> .title
10:31 < saxo> Robot Dog's First Bath // Scrappy's Adventures - YouTube
10:31 < maaku> .title https://www.microsemi.com/product-directory/clocks-frequency-references/3824-chip-scale-atomic-clock-csac#overview
10:31 < saxo> Chip Scale Atomic Clock (CSAC) | Microsemi
10:56 < lsneff> Do GPS satellites already use atomic clocks?
10:59 < redlegion> https://en.wikipedia.org/wiki/Global_Positioning_System#Accuracy
11:08 < redlegion> man, that's a really good question, i'm not finding a ton of information on the actual electronics involved
11:09 < maaku> lsneff: I believe so
11:09 < maaku> https://www.gps.gov/applications/timing/
11:12 < sknebel> GPS carries caesium, Galileo sats have hydrogen masers (and both probably also rubidium clocks)
11:16 < lsneff> Interesting. I wonder what applications an IC atomic clock has other than gps
11:18 < L29Ah> imagine a digital transmission with no need for clock recovery :3
11:22 < sknebel> could imagine the chip-scale ones are more power-efficient than the larger rubidium-ones? and those are used e.g. all over the place in mobile network base stations
11:22 < sknebel> although the current prices are a bit high for that...
11:28 < maaku> lsneff: accurate timing matters everywhere, but even more so with high-speed electronics
11:29 < maaku> crystal clocks are terrible
12:31 -!- heath [~heath@68.68.64.38] has joined #hplusroadmap
12:31 < heath> https://phys.org/news/2021-05-resetting-biological-clock-flipping.html
12:34 -!- heath [~heath@68.68.64.38] has quit [Changing host]
12:34 -!- heath [~heath@user/heath] has joined #hplusroadmap
13:19 < L29Ah> https://www.nature.com/articles/s41586-021-03486-3?error=cookies_not_supported&code=eb553fbf-3d58-4fa6-9797-e67612427c12
13:41 -!- heath [~heath@user/heath] has quit [Quit: leaving]
13:42 -!- heath [~heath@user/heath] has joined #hplusroadmap
14:22 -!- dustinm [~dustinm@static.38.6.217.95.clients.your-server.de] has joined #hplusroadmap
14:31 -!- yashgaroth [~ffffffff@c-73-147-55-120.hsd1.va.comcast.net] has joined #hplusroadmap
14:49 < Agatha> GPS sats definitely have atomic clocks, and they correct for GR. Some of the major constellations have their own time scales defined, e.g. GPST.
14:55 < fenn> time slows down because the satellites are traveling faster, but time speeds up because there's less gravity at higher altitudes. the net result is that time speeds up a little bit
14:57 < fenn> https://en.wikipedia.org/wiki/File:Orbit_times.svg
14:59 < Agatha> awesome graph
15:11 < kanzure> jrayhawk: bitcoin devs have requested ssl on gnusha.org; i was thinking the hacky way would be a symlink from diyhpl.us and just use that cert and domain instead.
18:22 < L29Ah> .t https://www.nature.com/articles/s41467-021-23545-7
18:22 < saxo> Restoration of energy homeostasis by SIRT6 extends healthy lifespan | Nature Communications
18:36 -!- yashgaroth [~ffffffff@c-73-147-55-120.hsd1.va.comcast.net] has quit [Quit: Leaving]
19:30 < jrayhawk> kanzure: Is there any particular concern with just 301ing http to https?
19:37 < superkuh> Please don't. What's wrong with HTTP? Do you think you're going to get attacked and people MITM'd?
19:38 < superkuh> HTTP always has a place if you want an independent web.
19:39 < jrayhawk> Verification is optional. (???)
19:40 < superkuh> It won't be in the default shipping builds of browsers eventually. Scaremongering won't be enough.
19:40 < superkuh> Anyway, just my 2 cents.
19:44 < jrayhawk> I have every faith in your ability to use curl.
19:44 < jrayhawk> Also I have zero faith in my abilities to keep up with the terrible decision-making of browser makers.
19:45 < jrayhawk> The same people who killed <keygen> and held back transport security for 20 years with !ADH
19:46 < jrayhawk> or !aNull, rather
19:47 < jrayhawk> indistinguishable from hostile state actors
19:53 < lsneff> Using http for nearly anything these days is a bad decision. ISPs readily insert js and ads into unencrypted connections.
19:56 < Agatha> You can also self-sign SSL certs if you don't want to be beholden to a CA
19:57 < jrayhawk> i have implemented the 301 LE approach like a jerk
19:58 < jrayhawk> i am not strictly averse to setting up a long-lived cert to act as stable PSK for people to select with SNI, but i suspect no actual human being would use that
20:06 < kanzure> thanks
20:13 < lsneff> after looking through a lot of the research on software transactional memory, it looks like it's not really viable for really performant systems without hardware implementations
20:21 < jrayhawk> okay, so, mozilla, google, and microsoft killed <keygen> under flimsy pretense about UX problems. google's a data-hoovering SSO company, Microsoft is a data-hoovering SSO company and also provider of overcomplicated ~enterprise solutions~ for authentication, but Mozilla is only a former provider of overcomplicated ~enterprise solutions~ for authentication, so what's their angle?
20:21 < jrayhawk> Meanwhile, Apple, an actual UX company, continues to support it.
20:31 < abetusk> https://www.indiegogo.com/projects/biohack-the-planet-video-series#/
20:31 < abetusk> .title
20:31 < saxo> Biohack the Planet Video Series | Indiegogo
--- Log closed Wed Jun 02 00:00:26 2021