I'd have to look at what it looked like before, but when I visited there earlier this month, I didn't see any restoration in progress and the star map was open. I didn't take a ton of photos in that area, and here are the only two of the monument I grabbed:

https://photos.app.goo.gl/qgJ3x5za82EiFz5P7

From my cursory web searches, your photos may be the first online evidence that the restoration project was indeed completed.

This is the second-best way to doxx HN users I've ever seen.

And the best way is...?

Job ads. It's job ads.

Thank you for the confirmation! This is so good to hear.

I definitely wouldn't pay $1600 but I like the idea of an ultra-modular and configurable desk. I wonder if you could build something similar with 80-20 extrusions (and/or similar knock-off) and an Ikea desktop. There's a huge ecosystem of ways to integrate/extend these and you could do some cool things with them.

This looks really cool. I need to dig through some more examples before I'd take anything I say without a massive grain of salt. :)

Maybe I've been writing too much React and Android Compose UI lately, but instead of a declarative structure, have you considered a functional structure? That seems to be a create way to build composable components and add enough programmability (e.g. loops, conditionals) and keep a nice one-way flow down the line.

Something like

``` import {Resistor, Signal, Ohms, Float} ...

def VoltageDivider(totalR: Ohms, ratio: Float, signal1: Signal, signal2: Signal, signalOut: Signal) { r1 = Resistor(totalR/ratio, signal1, signalOut) r2 = Resistor(totalR(1-ratio),signal2,signalOut) }

def MyBoard() { s1 = Signal() s2 = Signal() s3 = Signal() div1 = VoltageDivider(totalR: 100_000, ratio:.33, signal1: s1, signal2: s2, signalOut: s3)

}

It's similar to what you have but maybe a bit more of a programming language than a declarative format. The trade-off is that tooling support gets harder as you add some basic language features, but the upside is a more powerful language.

For sure, we have been pretty focused on the low level part of the language, I think it will be interesting to see how our language evolves as we are able to abstract away more of the low level connectivity and configuration. I think eventually we will end up building something like a python library on top of ato to get the best of both worlds.

This road trip video does a good job showing the papercuts and more significant issues that make a non-Tesla road trip painful.

https://www.youtube.com/watch?v=92w5doU68D8

Good story about that decision here (they did think about making it reversible): https://www.theverge.com/circuitbreaker/2019/6/25/18744012/u...

You can run WSL on any version of Windows (including Home Edition). Docker can also use WSL2 as its backend, so I rarely need to run VMs on my Windows dev machines anymore.

QEMU and Docker under WSL just seems like it should not work, but it does, and it works well.

WHO had a good section in their situation report a few days ago comparing Covid-19 and the standard flu: https://www.who.int/docs/default-source/coronaviruse/situati...

A good analysis on this point from a public health perspective: https://www.flattenthecurve.com/

I have noticed this as well. I keep a set of "mildly interesting" podcasts for when I want to occupy mind enough to help me fall asleep, usually on airplanes.

I agree, as a mostly C# developer for years, then Typescript (Node, Angular and React) for the last couple of years, when I go back to C# projects, I feel like I'm doing a lot of work for the compiler. And really elegant use of the TS type system doesn't translate well into C# many times, forcing me to write boilerplate.

I've been eyeing F# for more elegant managed code, but that's going to take me a little more up-front investment to get productive.