skysight-inc/HackerNews huggingface dataset:
I think Robert Anton Wilson is the source of almost everyone familiar with the phrase at this point. But I think when RAW used it it was a less obscure reference than now.

It does stick with you.
He was teaching at UT Austin and Pascal was the CS department's pedagogical language of choice back then, so I presume the answer was yes. Or at least I never heard him say he hated it.
Here are OpenVSP 3.18.0 release notes[0] & downloads[1].

As OpenVSP Workshop 2018[2] was canceled, OpenVSP Workshop 2019[3] program much more extended this time.

[0] http://openvsp.org/blogs/announcements/2019/09/03/openvsp-3-...

[1] http://openvsp.org/download.php

[2] http://www.openvsp.org/wiki/doku.php?id=workshop2018

[3] http://www.openvsp.org/wiki/doku.php?id=workshop2019
Oh, I believe that. My fanless MacBook gets unpleasantly hot enough during gaming that I've never bothered attempting any games on my Pixelbook.
iPhone 5 SE.
Headphone jack: Check.
TouchID: Check.
No FaceID: Check.
Actually fits in my hand and I can reach any part of the screen with my thumb: Check.

I guess it's not a "fast" smartphone anymore but... it's definitely Fast Enough.
I consistently get away with charging every other day with my S2, hoping the S5 performs similarly.
Wkss
Siwiwiow
Auaiaiw
Susiia
> Capitalism will become so efficient at some point that in its quest for more and more efficiency, it will end resource scarcity.

This is honestly one of the most absurd things I've ever heard. I gotta admit, I do envy your optimism.
Noir film, the same deal.

“I know you like a book, ya little tramp. You’d sell your own mother for a piece of fudge. But you’re smart with it. Smart enough to know when to sell and when to sit tight. You’ve got a great big dollar sign there where most women have a heart.” –The Killing (1956; Dir: Stanley Kubrick)
Pride?
Or YouTube, with 1000s of hours of video uploaded per minute.

FWIW an Instagram pic, 1080x1080 is around 100kb.

Uber has to do a lot more processing on it's data. I'm sure there are real challenges and the OSS projects from Uber I've seen/remembered on HN seem to be the type one builds because existing tools don't solve the problem well enough for their cases.
The Beddit devices I tried ended up breaking due to either wireless communication issues or sensor damage. I gave up on it. I’m thinking if I end up with a spare Apple Watch for whatever reason that I’d use the old spare while sleeping.
Is 8M/mo they outrageous a number here? Assuming Lyft paying 200k/year on average to its employees, 8M is about hiring 500 of them.

It is sizable, not ridiculous. And optimizing your cloud cost is definitely your own responsibility and deserves every bit of attention.
My main beef with social media is that you can't have a decent conversation with anyone. Partially because everyone builds a network of like minded people and has little to no tolerance at all to opposite views, and partially due to the real name policy, all conversations seem to derail quite easily. Then you have sites like LinkedIn where everyone presents himself like they invented the cure for cancer. People seem so fixated on being right and pompous to the point that there's no real fun anymore in interaction. And if I can't discuss with strangers I don't see any point of joining social media sites. For me communities is all there is on sites like that.
The importance of experience in tech products
I don't know what I'll do after my Pebble Time Steel dies (hopefully a few years from now). It's so un-intrusive and I want E-ink (reflective LCD) screens on everything.

I even wrote a little JS app for it to pull down transit in real time - I know Apple Watches have Citymapper etc but there's something about being able to hack it on the fly.
So they're paying 26 cents per ride on all compute resources across their entire company?

That doesn't really sound that bad, considering that rides can easily cost dozens of dollars. Just about any other non-tech business would kill for such low overhead.
Seriously, how hard can it be to bring both a personal and corporate card on a trip, and use each as appropriate? I've never had an employer issued cc but it's baffling to me that some employees have no problem personally guaranteeing company expenditures. I can imagine all sorts of scenarios, including a complete unexpected collapse, that would leave the employee out to dry.
I wouldn't have been confused to hear that anarchists were participating in online community. What confused me was because1's statement that anarchists invented the Internet.

> The scientific community is an anarchy.

The scientific community is an organism that eats government grants and excretes pay-walled research papers. I wouldn't call that an anarchy!
Calling one language better than another is subjective and open to interpretation. Clean might not be as important as critical mass in adoption, letting people more efficiently find people to work on the software.
A random sprint bonus check every now and again wouldn’t hurt, I’m sure.
It's not a sign of growth. Among other things, it's a sign that we have grown complacent about complexity and are not doing our job of keeping it under control.
>> he actual 'bug' was caused by an integer overflow occurring due to the velocity variable not being wide enough to handle the higher horizontal velocities of the newer rocket.

Something all that fancy type system should have prevented. I found it interesting in the Hackaday piece that the C code xample called out the size of an integer while the Ada version did not. The Ada version caught an implicit conversion, but apparently does nothing for overflow.

Every language has it's good points and bad. I still want to learn more Rust. In fact I recall reading recently that some Ada developers want to adopt something akin to Rust's borrow checker. All I know is that C++ is not safe. How well does Ada work with C libraries? Rust is pretty OK at it.
Yes, many people with big-battery electric cars can charge less than daily.
It’s an anxious quest for difference in environments where it is banished.
Yes, I think there was very much a "formal methods winter", say from about 1985 to 2015; the Jargon File alludes to this in the "DWIM" entry, I think. Essentially, proving tiny programs correct became feasible in the mid-1960s, but only tiny programs were feasible to prove correct until the mid-oughts. Dijkstra died terribly disappointed.

During essentially this entire time period, the scale of what people were programming was growing much faster than the scale of what people could prove correct. If the aspirational task in 1995 was to prove correct a telecom switching system, the aspirational task in 2005 was to prove correct an AJAX frontend in untyped JS with its goofy coercion rules speaking over an unreliable network with MITM proxies to a backend written in untyped PHP, storing its data in a MySQL cluster where it would read from a read slave that was different from (and a poorly characterized latency period behind) the master it was writing to. Since then things have gotten more complicated, but I feel that formal methods have closed a bit of the gap.

However, I don't think of Ada as being a promising part of these developments. It isn't especially formally tractable, and it doesn't even attempt to offer the kinds of safety guarantees that Rust does. Rust, CompCert, seL4, Z3, Haskell, OCaml, and TLA+ seem a lot more promising than Ada. Heck, even Hypothesis is kind of in that category for me.

P.S. I miss you. I hope you're doing well.
The problem for me is “putting it down when I get home” as I’m either still using it, or trying to do a workout. Inevitably if I’m not careful about battery life, it will die in the middle of said workouts. I’m honestly thinking I might get a second cheaper Watch just to keep motivated. I just wish there was broader support for fitness equipment compatibility, then maybe it could reduce battery life drain while tracking workouts...
As a person with aphantasia, I will not be able to remember what my children looked like, sounded like, or acted like growing up unless I have pictures and videos.

I don't think it's harmful for me to try to preserve some of that, since I don't have the neurological wiring to use my brain for that job.
> Even on Twitter, perhaps more acutely in certain jobs or industries, it seems like you're competing with other in gaining professional influence.

Interestingly, as someone who uses Twitter for a purely anonymous psychological outlet, I do not feel this at all. Instead, I find it a place of earnest concern and solidarity—when not plagued by trolls.
Elaborated upon here - https://twitter.com/elamje/status/1171591266825592839?s=20
tldr; weather != climate
I really like ello, I have no friends but still get a few random likes and views on the bs I see that feels artsy
In between the SV hivemind posts is distributed just enough nuggets of mindblowing technical, business and even medical wisdom (from insanely switched-on people) that it keeps me checking. It's the ultimate infovore loot box.
Any source?

I'd kill for a flagship iPhone with plain rectangular screen (no notch or rounded corners!) and with an USB-C port. If it is also vactually rugged then I'll wet myself.
Cafe Press Data Leak
Disabled Bluetooth in certain decision trees leads to spinning up more expensive radios, when passive Bluetooth would have worked effectively, for less power.
iPhone 11: Retro Encabulator. Funny Parody
You can do both. You’re worth more than that. It doesn’t need to be one or the other.
Great dialog makes any movie, even ones you wouldn't expect.

For example, people love to quote lines from Star Trek TOS.

From TNG, or the movies? Nope. The dialog is pedestrian and forgettable, and the shows are boring.
We open sourced my team's project a few years ago ( https://nomulus.foo ) and it was a substantial amount of work. There's everything you're saying plus a fair amount of engineering to get the darn thing working externally; we were built/hosted within the Google monorepo which is obviously not externalizable. And you end up spending lots of time writing documentation that you hadn't ever gotten around to when it was just a project being worked on by a handful of engineers all sharing adjacent desks.
I did indeed sign-up with Lively. A few minor hiccups with their iPhone app but things still worked out.
But what does Chameleon say?
https://www.youtube.com/watch?v=VNkDJk5_9eU
"How does it work?

xip.io runs a custom DNS server on the public Internet."

Is there a way to provide wildcard DNS without sending internal LAN IP addresses to a closed source "custom DNS server" over the public Internet?

Yes. If you are a djbdns^1 user, and you wanted all subdomains of xip.io to resolve to 10.0.0.1:

# Assuming _dnscache and _tinydns are the configuration folders and tinydns listens on 127.0.0.1

cat << eof > _tinydns/root/data
.xip.io.
&*.xip.io:127.0.0.1
=*.xip.io.:10.0.0.1
eof

cd _tinydns/root
make
cd -

echo 127.0.0.1 > _dnscache/root/servers/xip.io

If you are an unbound user, you can put dnscache in front of unbound:

# Assuming unbound listens on 10.0.0.2

echo > _dnscache/env/FORWARDONLY
echo 10.0.0.2 > _dnscache/root/servers/@

1 http://cr.yp.to/djbdns.html
I generally didn’t use xip.io in the browser bar, the use cases are more commonly putting the address in web forms for things that return a wildcard address but need to be a well-formed domain name. I’ve used xip.io for AWS security rules, CORS rules, Google API redirects, mobile app testing against a local server, stuff like that...
> what are you fighting for?

Simple: Freedom to be who the fuck you are. I don't know why that's so damned difficult to understand.
This nails it. Dijkstra sort of hated computers; he always hand-drew overhead projector transparencies for his lectures. He's also famous for saying we should call our field "Computing Science" because "Computer science is no more about computers than astronomy is about telescopes."
Well said, finding compelling info on here is such a dopamine rush. Receiving a dopamine rush from learning something interesting is probably a good thing though.
I am also paranoid... I copy all the photos to my computer hard drive every few days, and use backblaze to back up my hard drive. I also have a local backup drive.

I also periodically upload archives of my photos and videos to Amazon glacier
Market cap is almost never used as the valuation of a privately held company. Their valuation which since around $17B has almost solely been funded by SoftBank and the venture fund? SoftBank took them from a $20B valuation with others to solo pushing them up to $47B over the course of less than 2 years. That doesn’t count as a market cap.
I don’t follow. What bad guys? A significant effort has been put out by the United States to undermine socialism and communism. In a lot of other places socialism has been effective.
And the negative externalities of all those additional cars on the road are far worse than if you just have more people using the existing subway, too.

If you're going to do a full accounting of all the costs of all those additional cars on the road, and all that additional congestion, then rideshare doesn't come out looking so rosy.
Care to give any example of this happening?
Interesting, I am highly interested in convincing NASA to start using Rust for their embedded systems they use on ISS experiments and such. I would love to get more widespread adoption at the embedded system level.
Best illustration ever for the saying, "Give me 19 parameters and I'll fit an Elephant!"
Some interesting pieces in this article, but also a lot of cringe. It also seemed to be 3x longer than necessary.
I'm also LGBTQ - and I believe effectively we're being used a pawn to score points with the conservative base. Employment protections I believe do very little, because in most states you can fire someone for any reason, or no reason at all. It's a law that effectively only punishes stupid people.
I stopped having good rest at around 25, a year or so ago. Cause unknown as of yet. I miss feeling well rested for sure.
None of the top comments respond to or discuss the actual content in the post (e.g. "my ..."), and instead focus on their own anecdotal experiences, based on the headline or social media in general.

this also is mirrors the lack of discussion and engagement often associated with social media.
They can, but of course the mapping is not always 1-1.
DontDuo: Bypass 2FA with DTMF Tones
We was already being valued at around $17B in 2016 and 2017 before Masa came in and took it all the way to $47B. That $17B valuation was likely too high too so all the enabling blame isn’t on just Masa.

Side thing. I don’t know how things will work out, but SoftBank put in $9B and owns like 30% of the company. It’s valuation is below $20B now and who knows how low it’ll go. Or what will happen with them needing money. SoftBank and the fund are at best going to be out $4B. Is that what’s likely the case? That money is essentially flushed down the toilet for SB and their fund?
It depends on the situation. Ariane 5 was destroyed because its inertial reference system (written in Ada) died early instead of soldiering on, and as it turns out, it would have been fine if it had soldiered on.

Really, there's a certain amount of software, like the Ariane 5 SRI, for which the only acceptable outcome is not to have the error in the first place — there's no acceptable way to handle it once it happens. That software is very expensive to write, so you want to keep it to a minimum in the overall system, but sometimes you cannot avoid having some of it.
A side-project isn't by definition irrelevant, and of course by sheer probability the engineers at those companies are, on average, going to create things that are within their area of expertise which is usually related to what the company they work at does :).

The motivations for making software OSS are varied and often strategic. For example software is often open sourced to:

* deliberately commoditize it - to eliminate competition and differentiation in that area / stack layer
* leverage additional (free) testing and development.
* Drive ecosystem / platform adoption
* Literally free up customer budgets to be spent with them, rather than on licensing 3rd party software
* Intangible benefits like community image, employee satisfaction, etc.
* Some combination of above when the software is useful internally, but simply not in a market that the company wants to compete in, or a market worth their time

In any case, the point was that they are "side-projects" from a business perspective in that they cost money but don't generate revenue - the benefits are hard to quantify. Successful, stable companies have much more breathing room for strategic and the "hard to quantify" ROIs than does a company on a trajectory towards bankruptcy. It is kind of like an individual out-of-work engineer with a month's expenses left in the bank choosing to contribute to OSS instead of seeking out paid work. It is not that contributing to OSS is wrong, it is that the priorities in that situation are backwards.

RE: "Nobody is forcing Uber to employ people in California." That is entirely true, but I'm not sure what your point is. My comment is a post-mortem on what led to the layoffs. It is a priori that nobody has forced Uber to do anything that it did...
You don't need immensely challenging technical problems to make hiring good engineers worthwhile.
That's amazing. Talk about synchronicity.

I have been rummaging through Klemperer's diary of WW2 for the last week or so and kept running into this 'LTI' and wondering what it was.

Today within two hours I found the meaning of that abbreviation TWICE! Both within a random book and also on this website. Just unbelievable!
I was thinking it must be that, but I was too lazy to try to quantify it. Thank you.
I have no idea why this would be downvoted. The question at hand is one of the most contentious and important in the history of the 20th century and the answer largely redounds to what you do and don't consider communism.

If you consider any wealth redistribution communism then you would have to consider most or all industrial states in part communist and the premise of the question itself becomes dubious.

If you consider any kind of far left redistributive movement communist then again the merit of the question is dubious because there have been many such movements that remained peaceful.

If you restrict the definition to only actors that call themselves communist even then the question is complicated by the fact that there have been many such actors that call themselves communist yet do not adhere to any communist doctrine. Just as there are many "Republics" which are not at all republics in reality.
He wasn’t completely wrong. When we read what others have written we give them our own interpretation —which of course is unavoidable, but it lacks context and the “here and now” of the speech or conversation. The simplest example is the need for emoticons and tags to express figurative and emotional aspects in the writing. But there is no give and take or asides, exploration and further explanation, etc as happens in face-to-face discourse.

However, those are small drawbacks and are overwhelmed by the benefits.
Frankly I'm a little bored at these "quit social media" articles. They look sort of all the same to me. Quitting altogether is simple, because there's only one way to do it; quitting altogether. Moderation, on the other hand, is more interesting because there are a number of ways to moderate its use; not just limiting time but also limiting use cases. I'd like to know more about the latter.
I disagree, but that's just me and my opinion.
It probably comes down to personality type.
For me Facebook/Instagram is simply a form of communication, where am just seeing pictures of family and friends.
Again am ruthless about pruning my contacts ( will hide all the narcissistic ones).
LinkedIn - only active when am looking for a job, I'll post from time to time.
I think they designed it to be used with a case. It feels badly designed without one because it can’t even lie flat on a table without wobbling, but with a case everything is flush.
That's a very cool site!

I'm not sure that "notebook" and "reactive" are the two main features I would use to describe Eve, the one language I sort-of know on that list. I think its most distinctive characteristics were that it was synchronous and logic-programming-based (reactive might well imply synchronous, as it indeed did in the '80s and '90s, but I think these days many people think of something else when they hear "reactive" and know little about its original, fundamental aspect -- the so-called synchrony hypothesis).
Can you give a concrete example? This seems counter to my personal experience.
> Do you ever find it odd that the "bad guys" always seem to subvert these movements?

I don’t think it’s odd at all. The murderous revolutionaries I can think of (Bolsheviks, Mao, Mugabe...) were won against regimes just as bloodthirsty as they were. The peaceful revolutions I can think of eg South Africa happened because both sides were willing to negotiate fairly.

He who fights with monsters might take care lest he thereby become a monster. And if you gaze for long into an abyss, the abyss gazes also into you.

> It seems to me that socialism has a 100% failure rate

Adopting socialist policies while keeping a market economy has worked out ok for most developed nations.

Communist USSR was able to educate its population and rapidly industrialize while fighting off two invasions by forces that, on paper, should have been able to beat them without much trouble, and emerge as one of the most powerful nations in the world. I’d consider that a success
If you're not at least mildly afraid of the cops when being pulled over, you're not paying attention. My whiteness (in my opinion) does very little for me in a situation with such a large power imbalance.
I stopped having regular good night sleeps starting in February of 2016.

The reason is definitely genetic, and started pre-k last week.
I might quit soon too. To be honest - seeing my peers buying homes (with, of course, no discussion about how they made it happen), getting married, traveling a lot, enjoying nice things, and having kids is kinda putting a sour taste in my mouth. It's a very biased feed. It's basically an endless feed of the highest points of everyone in your entire social circle. I do some of it but I tend to balance it out with, "I don't think I'm ever gonna fucking make it in this area."

Social media is a bit like the news but on the opposite side of the spectrum. "Yes, yes, I get it. The world is ending." I care but I don't care to where I need to have it shoved in my face where I'm going to do things to make the world even worse. (What good is a world that survives if it is full of anxiety?)

I'm not reading the general news generally anymore when I can and maybe I'll transfer that to social media soon. (Today was a bad day - a peer of mine who is younger than me just bought a place in SF; I'm struggling to make it in a 400sqft in-law unit) I notice I feel better and it's not like anything I missed is of real substantial importance to my daily life. It's just filler. I know my core political philosophy - so it's not like it'll affect my voting decision much. Reminds me of the article someone posted in response to the 8 year old dying. Something about ignoring the bullshit in life because you don't have time for it. You don't have time for bullshit and most of social media and the news is full of bullshit. I think it could be really great but most of the time... it's just bullshit. Here it is - life is short: http://www.paulgraham.com/vb.html
"Krita has proven relatively successful in the domain of "open-source painting app""

Ok, but is there a good alternative to GIMP as an open source photo-editing app? Which is automatable? You use the past tense as though everyone already stopped using it.
I fully agree. Unfortunately most wouldn’t.