whatgoodisaroad

Growing up I would read NASA's Astronomy Picture of the Day (APOD) which is still running! https://apod.nasa.gov/

A little language for dimensional analysis programming: https://github.com/whatgoodisaroad/doggerel

Rather than static types, primitive values have static dimensions and (in lieu of objects) complex values are built up into unordered vectors. The core idea being that if the language makes it easy to spin up descriptive purpose-built dimensions, vectors are the only data structure we need!

It started out as a straightforward attempt to program with units and conversions, but slowly generalized to this vector concept. The next steps are about building a static dimension language (like a type language) to slice-and-dice vectors with projections.

So, if the old key is public, we can't use DKIM to verify any leaked emails that were acquired after the publication date?

Sounds suspiciously like somebody's thinking ahead on how to plausibly deny some yet-to-be-leaked emails.

Discussions over what math is worth teaching often focuses on what specific skills end up being used in some practical context.

But my feeling is that the real value of teaching math is how it introduces whole categories of abstract thinking. I've probably never actually used calculus practically, but in school it opened up a whole new world of practical analytical thinking to me, which, in itself, had very little to do with math or numbers.

To me, this isn't a real counterexample, even at the height of MS's EEE, it was never at the expense of developer tooling, it was at the expense of openness. In fact, improving developer experience was the primary lever MS used to achieve it.

When the open components that allow free interoperability with GitHub's competitors are replaced with proprietary components that don't.

It is, indeed really hard to take micro-scale editorial corrections like this while they leave unresolved what is at BEST an eggregious lapse of editorial judgement.

Strictly in terms of appearances, I think Antonovs look really nice. Granted, it was rare to see one in a western airport even in the best of times.

It's increasingly looking like an unpopular opinion, but Quibi to me seems like an obviously sound business strategy. It's seemingly skating where the puck is going through numerous media consumption trends. At worst, this short-term failure seems like the failure of Google Wave, namely that it failed by being too far ahead of its time (and it's ideas will be cannibalized into however many yet-to-be-invented media products).

This doesn't detract from the pleasure I have at seeing it fail, mainly because of the way they wantonly plagiarized Everything Is Terrible with "Memory Hole".

But, to generalize, I think a lot of people have lots of different reasons to feel animosity towards Quibi, and we're all collectively misconstruing that animosity as identification of a weak business model (which I don't believe it is).

I'm not an expert, but I like the question a lot. My best guess from some scrolling through industrial parts ordering websites is that they're called "pistol grip levers".

Here's a couple examples found using that as a query: https://images.app.goo.gl/NRHyawiKxrsvZUhu5 https://images.app.goo.gl/9qyhBAdqBy9Tqxxh9

This discussion always seems to me like such a tunnel-vision engineering mindset. Airlines are companies, they don't optimize for boarding throughout, they're optimizing for revinue. If they can charge more for a ticket that exempts you from a poorly-throughput-optimized boarding procedure, they'd better make sure it's poorly optimized.

This is from 2017. IIRC it was quite widely reported then as well.

I feel like many comments here are taking this story on face value, but the cynic in me reads this as a planned leak to skapegoat a (hitherto unknown) AI system for their existing hiring biases. Public perception of AI is more aware of model biases nowadays, and we seem all to willing to accept this explanation over the simpler explanation that tech hiring at Amazon is broken in the same way it is everywhere.

Although I don't think it's an extraordinarily novel concept, something about the framing of "Gumption Traps" [1] in Zen and the Art of Motorcycle Maintenance resonated with me strongly, and sensitivity to them has helped me get a lot more done.

[1] https://en.wikipedia.org/wiki/Gumption_trap

Since I work in technology, people would sometimes ask for my help fixing a computer, to whom I would clarify: no, no, no, I'm a Software Engineer -- I'm the person responsible for breaking the computers.

I recently wondered this myself. The best I could determine from Wikipedia [1] of what's known publicly is that it's seemingly an artifact of when the project began. The theory being that it was allotted a designation before the "Century Series" ended in the 1960s. (Further suggesting that other secret projects for F112-F116 were also allotted designations.)

[1] https://en.wikipedia.org/wiki/Lockheed_F-117_Nighthawk#Desig...

In tone this reminds me of the fable of the "Cat Town" in the novel "1Q84" by Haruki Murakami.

The response from script.google.com is a 302 redirect to script.googleusercontent.com. IOW, google.com itself does not serve that user content.

Also from that article:

...as Uber has argued that it can’t release documents related to its acquisition of Otto without violating its employee’s 5th Amendment rights.

I'm certainly not a lawyer, but that's not at all how I thought the 5th Amendment works.

Perhaps a better title would be "The Truth About NYT's Level of Scrutiny toward Wikileaks Tweets".

Maybe it isn't practical, but at least it's what I did today.

You can also just switch it back to "Never" when you're done with your trip.

Nintendo tried VR in 1995, but it did not go well.

"A truly minimal markdown editor"

Is less-minimal than nano.

Link to a regular PDF: https://people.csail.mit.edu/rivest/RivestShamir-HowToExpose...

This seems to me like a less-formal (and consequently less powerful) implementation of type completion in dependent-type systems and theorem provers such as Agda or Coq.

I'm going to pedantically nitpick the title, but surely "3D" should apply to "print" rather than "guns". Printing 2d guns isn't a big deal.

Thank goodness 2013 was before I had to change my Tumblr password (and activate 2fa) because of Heartbleed.

Another way to look at this is that Colleges and Universities are now better-aligned with the industry than they were before.

I'm a bit confused how what appears to be an Apple TV would show up here.

http://vncroulette.com/images/91.146.187.140.jpg