skysight-inc/HackerNews huggingface dataset:
Feels like the other thing people do is conflate Silicon Valley the place (in my mind, the Valley of the Heart's Delight) with Silicon Valley the idea, the tech center

There are many tech-y people who move there because it's more open, and it almost feels self-perpetuating. But the rest of the people aren't always that way. My dad grew up around there, he remembers highway 85 as the orchards behind his backyard. I remember the Netflix HQ as a gardening nursery. There are still little farms dotted around, hidden in places people don't normally notice as they zoom by.

It feels like tech transplants sometimes forget that or aren't even aware of it. Tech permeates the whole area, you can't escape it. But there's a lot more to be experienced around if you're willing to search it out. It might be helpful to tone the shop talk down a bit too
Re-usable rockets? Affordable & enjoyable electric cars?

Or, perhaps an oldie, but goodie, “A computer on every desk, and in every home, running Microsoft software.” And believe it or not, there was a time when Bill G. was well on his way to realizing that vision.
That's been my experience, too. It's the little things, like having a built-in HashMap data structure, that I find to be so time saving. Data ownership took a bit of getting use to, but the compiler gives wonderful human-readable suggestions for how to fix errors that pop up, and now I don't have to spend a lot of time reasoning through every decision I've made to make sure I'm not leaking or clobbering memory all over the place.
A Tale of Two Stores
A friend of mine had this happen with a processor card for a telephone switch. A bad software update had hosed up the primary card in such a way that it also made the standby unable to function, and they were capital-D Down for hours. The manufacturer was in Texas, the switch was in Michigan.

The soonest flight was a passenger flight, not a cargo flight, so they bought the box a ticket and sent it on its way. At the receiving airport, a logistics company picked it up and drove it straight to the office in need.

Thing is, the logistics company sent a semi. Because they hadn't been told the size of the shipment, just its declared value, and they reasoned that anything worth mid six figures must be big. So this intrepid truck driver couldn't (in a timely fashion) get close to the building, and ended up jogging across the parking lot with the card under his arm, as the tech headed down the elevator to meet him at the door.

"Sign here. What the heck is this thing, anyway?"

"Twenty thousand people's ability to call 911. Thanks, gotta go!"
If a business doesn't make economic sense without exploiting workers, maybe hat business just shouldn't exist.
"Don't Blockchain Our Babies" screamed a placard at a recent anti-lockdown rally
Unfortunately this doesn't seem as unfounded as I had initially thought: https://web.archive.org/web/20200118060902if_/https://twitte...

Yet I couldn't clearly claim that he does on the basis of this, as it's just confusing to me, no sure whether that's his flavor of irony. Do you have some more evidence to prove that he believes these things? I had previously seen him as weird and provocative, but not definitely right-wing.
I don't think it's 100% failed. While we have settled into being just another equivalent to other similar nations (the governments of UK, Australia, France, Germany, Japan, are all kind of similar to the modern US government), we have retained some QoL things that some people really care about: A hard-to-suppress right to free speech, a right to own guns (which promotes the illusion that the politicians in Washington can't get too greedy or the people will rise up or some nonsense americanist fairy tale).
In some parts of the world this is still the norm. I know someone who sends things to her parents (about a 10-hour drive away, in a village) exclusively by bus. You pay off the driver, tell him/her who's going to pick up the package and at what stop, and off they go.

Seems to work really well, from the POV of the driver, the sender, and the recipient. Cheaper than DHL, more trustworthy than the post office, faster than both!

It's routine enough I can't imagine the bus service doesn't know about it, my bet is they tolerate it because it lets the drivers make a living wage (and thus gets you better drivers) and because most packages aren't big enough to be disruptive.
I don't know details.

GNATprove generates verification conditions (conjectures) from SPARK code and assertations. Then it feeds these verification conditions to proof tool (Why3, Alt-Ergo, CVC4 or Z3).

https://github.com/AdaCore/spark2014
Thanks and you're right, particularly in 1991: games were still fairly niche back then, certainly in the UK, and absolutely not on the radar as a career choice for the vast majority of people.
But for me, there's no guarantee that Apple TV will be around forever, or always be contracted to have the same content. With something like Plex, my library is always my library and I don't have to worry about content disappearing.
But you've omitted the last title in that sequence, which is the one we ended up with (Gertrude Elion's “antiviral odyssey”). There's a partial explanation here: https://news.ycombinator.com/item?id=24359017

What you're seeing in that sequence is trial and error. Sometimes it takes a few tries before we find a solution that feels like it balances the different concerns. That's not particularly common, though, plus most of those exploratory edits are quickly overwritten by later edits, so Peter's app doesn't pick them up.

I'm happy in principle to satiate anyone's curiosity about this kind of thing—the only trouble is that it takes a surprising amount of time to write out such explanations in details, and unfortunately that time is just not often not available. What I can tell you is that (1) there is nearly always a specific reason for every title edit we do, and there are probably at least a hundred different considerations that come into it, based on 10+ years of experience at this point—this is a surprisingly complex subdomain!, and (2) we're highly responsive to user complaints about titles (or mod edits) in specific cases. Not just because we want users to be happy, but also because this has proven to be the only way to minimize the dreaded title fever (https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...) —which, btw, has had an outbreak in this very thread.

I've written longer explanations in the past about how we approach title editing in general. One is https://news.ycombinator.com/item?id=20429573. If there are questions I'd be happy to answer them—but again, the more general the question, the more time/energy it takes to answer, so I may not be able to.

Actually I enjoy engaging with users about HN title edits because, of all the things we do, it's by far the best worked out. It's far more consistent than people think it is. Why does something consistent appear so inconsistent? Because it's more complicated than it seems. Why is title editing so complicated? Because titles are the biggest single influence on the site, and users are astonishingly passionate about them.
Yeah, maybe?
Sqlite has the same as Postgres; INSERT ... ON CONFLICT ... DO ...

It's very ergonomic and intuitive. I understand why SQL Server needs to retain older forms, but why can't they also adopt these new forms that are more pleasant for the end user? I suppose the people buying licenses to SQL Server usually aren't the ones actually using it.
It's Time to Thoughtfully Regulate the Internet
Gov. Newsom signs emergency proclamation amid forecast of extreme heat
As a counterpoint, "Marco Tulio Ribeiro et al.: Beyond Accuracy: Behavioral Testing of NLP Models with CheckList, ACL 2020" is a highly practical paper that should be incredibly useful in helping IT industry professionals to make their NLP/machine learning systems more robust. The more we can move towards software engineering practices of testing and monitoring, the better.

Maybe it's the exception that proves the rule though, I do agree with your point in general!
That is indeed a default browser dialog (unlike the one from the Reddit post). And yes, it's because the new Edge got installed. Helpfully though, it does show your current default on top.

Note that if you install any web browser, Windows will do this.
What makes it all the more frustrating is that Stars and Stripes didn't conduct the poll, they just reported on it. The poll was conducted by Military Times with Syracuse University.

https://www.militarytimes.com/news/pentagon-congress/2020/08...

To note in that poll, ~60% of officers would like to have another Commander in Chief.
From project page:

https://github.com/FiloSottile/age#ssh-keys

> (ssh-agent is not supported.)

There is no way it integrates with smartcards.
Some more microcontroller-friendly pH sensors here -- https://atlas-scientific.com/ph/

Their datasheets are spectacularly well designed and clear! https://www.atlas-scientific.com/files/pH_EZO_Datasheet.pdf
Government AI Stole Hundreds of Millions of Dollars
https://en.m.wikipedia.org/wiki/FIFO_(computing_and_electron...
This header counting is silly. Regular complaints about Rust changing too much have stopped after Rust website stopped having such detailed release notes. Seriously.

People who don't know Rust don't understand how bare-bones 1.0 was, and that Rust is still filling in gaps in basic functionality. Rust is still catching up with features Go 1.0 had, but people praise Go for being small, while freaking out about Rust getting bloated. This doesn't make sense!

Most of the changes can be summed up "previously code that you'd expect to work didn't work for weird complex reasons, but now we've fixed it and it compiles". Things like `clone()` didn't work on arrays larger than 32 elements. Now it works, as it should have since 1.0. But by Drew's header count that's some frivolous added complexity.

> Rust started with threads, and are having "async" bashed into the language as an afterthought.

Afterthought? That feature was over 3 years in the making. It was probably the most scrutinized and bikeshedded feature Rust ever had. Rust team has explored various approaches, with prototypes implemented in the compiler. People have built an entire ecosystem on Futures 0.1 to work out all the kinks of the design in large production-ready projects.

Proto-Rust had green threads and removed them for a good reason. The trade-offs are well understood, and it's not a coincidence that Go doesn't have zero-cost interoperability with C, and Rust has (including cross-language inlining).
Juicero's Story Set the Company Up for Humiliation
Not the person you were responding to, but -

I don't really consume TV or movies.

I do listen to music, and lots of it. I have a YouTube Red subscription (or whatever Google has decided to rename it this week), mostly for supporting small creators on Youtube (when they don't have a Patreon / I don't watch enough of their stuff to fit them in on Patreon). So basically all music from major labels I listen to, I do through Youtube (or Youtube Music, when I remember to open the right app up). But that's a small fraction of my listening habits.

Mostly I like stuff from small, independent artists - a lot of which I've discovered through Youtube, and a lot of those Youtube videos were probably copyright infringement (unauthorized uploads). If I listen to something more than a few times, I buy it on Bandcamp- last month I spent over $100 on Bandcamp purchases.

For creators I really love, as mentioned earlier, I fund them directly on Patreon. This adds up to over another $100/month.

If I dropped the YouTube Red subscription - which is, due to their comically low revenue share, practically indistinguishable from piracy for artists in economic terms - I don't think I'd be in a meaningfully different position, ethically, if I chose to continue consuming music from major labels without a license.

On the other hand, if I stopped buying things on Bandcamp and instead listened to music from small artists through YouTube Red, I'd feel awful, and I'd consider that to be rather unethical, even though I'd have a license.
I do agree. I usually just browse the topics and see if there is anything interesting. Usually there is nothing to see, but sometimes these gems turn out.

But TBH maybe they are gems just because I'm an outsider.
True. Don't use MERGE in MS SQL Server. Use two separate statements.
While that's true, where does that leave the workers? If we consider the benefits of the drivers, does Uber and Lyft going out of business help them? Seems like what they (or at least the driver in the article) wants is for Uber to keep paying him, but just pay more.
I don't know how much or how little influence things like Robinhood and WSB have but it sure is entertaining to read about. I'm just hoping my conservative retirement investments don't get tanked for the lols
I have to admit the web is built on top of hypertext. It creates links and connect everything together!
Wow I've never even heard of these, and I'm subbed to many virtual reality subreddits.

Edit: Upon further research, these are business/enterprise only, so they are not competitors to the Quest which is consumer first.
Pentagon will stick with Microsoft for $10B Jedi cloud contract
Well there’s a reason it’s like that — ALL is actually a value, not just a sentinel or keyword. It’s found at com.rpl.specter/ALL.

Keywords don’t form a DSL in Specter, they just do keyword navigation into maps, the same way ‘0’ navigates into the first element of a list.

This touches upon a really nice element of Specter, which is its pattern for reuse. Here’s a very real but deliberately simple example of using it:

(def chat-threads
{[“sova” “tekacs”]
[{:text [“hey” “you there?”]}
{:text [“line 1” “line 2”]}]})

(def ALL-TEXT
[sr/ALL :text sr/ALL])

(defn text-for [chat]
(sr/select [chat ALL-TEXT]))

(def ALL-CHAT-TEXT
[sr/MAP-VALS ALL-TEXT])

(text-for [“sova” “tekacs”]) ;=> [...]

Here the navigator into a list, then the :text field and then the list is bottled simply by putting several navigators in a vector.

Then, it can be used alongside other navigators in a first class fashion — [chat ALL-TEXT] is just a nested vector. :)
Not only a failed experiment, but a runaway reaction that might damage the whole damn lab.
I hit the scene a decade before you, in the 8-bit world, when all there was, was empty RAM. You had to fill it yourself, or there was simply nothing.

Especially for the lesser platforms of the time that were competing for attention, this was a lesson in frustration. At least you had magazine tutorials. All I could have done, and did, back then, was learn how to disassemble ROM routines, by FIRST writing a disassembler - in BASIC.

So yeah, they were very motivating days.
I mentioned this elsewhere in the thread, but it's frustrating paying for a subscription to a streaming service when there's no guarantee the content - unless it's original content created by that service - will always be there.

We're seeing more and more content getting split up and requiring more and more separate subscriptions as time goes on.
Even if we could agree on what constitutes fairness wherein exactly lies the utility value of fairness?

Scenario A) 5000 people paid and enjoyed it

Scenario B) 4500 people paid and enjoyed it 50000 people enjoyed it without paying.

We can pretend that the percentage lost is equally taken from all people that participated in the production but it beggars belief to imagine bobby the grip got paid less because you pirated Indiana Jones. The reality is that the funds earned from the creative efforts aren't divided like friends sharing a Pizza gains and losses overwhelmingly hit the pockets of those whose interests in the matter are directorial or financial.

Ultimately creative work already enjoy such a ridiculously slanted treatment with insane punishments, public resources invested in policing, and terms that perfect enforcement would yield such a very small increase in utility for companies focused on creative work and much less for those actually engaged in it that it isn't worth the decrease in utility gained by more free distribution of creative works.

Fuck fairness if it results in a net negative utility for society I'm not interested in promoting a schoolyard notion of fairness at the expense of society.
> Google has, supposedly, the best engineers in the world

I would say, it's SpaceX. (I wonder what they code in.)
More than once I’ve torrented a movie series because of hostile DRM. I used to play things on a Mac that was connected to a TV. DVDs wouldn’t play on an external screen.
Actively preventing me from viewing the content caused me to just torrent it, then after a few occurrences I stopped buying or renting DVDs.
https://www.google.com/amp/s/www.macworld.com/article/311641...
Genuinely curious, has Buffett said this before in an interview somewhere or have you asked him personally? OP wrote “seems to,” but your response suggests more confidence.
In order for a state to succeed in the long term it needs diplomacy and international recognition.
Thank you for sharing about hydroponics. New rabbit hole to be discovered!
> but now it's not good enough unless it's literally every piece of content from a single origin

subscribing to 3 different streaming services has no benefit for the customer. there's no reason to pay for essentially the same thing 3 times just because some studios decided to have fun with movie rights
“If Lee Had Not Won the Battle of Gettysburg” by Winston Churchill
Nothing wrong with the name ZeroToOneInclusive. Seems like a great type to have around, and a great name for it. UnitFloat or UnitIntervalFloat or other ideas ITT are cuter but not much clearer.
And the feedback loop for loss porn doesn't help either. Oops, I lost 10k, can I have karma pls¿
The simplicity of the C language remains a necessary property for critical industries around the world. These industries are not on social media talking about programming languages either :P

I'm rooting for Zig and Odin as the better evolution for C. So is Carmack, at least for Zig [0] it seems.

[0] https://twitter.com/ID_AA_Carmack/status/1300579679951294464
It’s not though because basically every RDBMS does this differently.
IMO "weaving through traffic" is not a skill that makes you a good driver. It might take skill, but it's irresponsible and reckless. A good driver understands that weaving is more likely to result in injury, property damage, or no result (think of the lane-switchers in rush hour traffic that you end up right next to after 30 mins) than an actual benefit. I'm not sure that it should be included in a confidence measure for driving ability.
> In my opinion, such people should be fired, not babysat.

I feel this same way at most places I've worked. But as I've gotten older, I've started to think "how can I level these people up?" and that has gotten me much farther towards my personal goals than the prior thoughts.

Not staying you should or that you aren't already. Just a thought to past me.
Did you read the poll?

The questions were fairly straightforward:

"Thinking about your work driving or delivering with app-based rideshare and food delivery companies, do you prefer to be an independent contractor or an employee?"

"Even though you are not sure, if you had to choose would you prefer to be an...
Independent contractor 58
Employee 42"

"Thinking about your own income, for you is rideshare driving/delivery:
Your only personal source of income 19
Your biggest source of personal income, but not the only source 17
A significant source of personal income, but not the biggest 25
Just supplemental income, not a significant source of personal income 38"

I recommend reading through the entire thing: https://ac32b1ba-8f5b-411f-91ab-b7ae9a046606.usrfiles.com/ug...

To reiterate, there is no substitute for a full election, and the design of polling questions will be litigated forever. But it's still better than a single heartfelt anecdote.
Ought vs Is, my friend. You are making a moral/ethical claim about how the world OUGHT be while he is making the distinction about how the world IS today.

Some patterns are illegal by the way. However proof is still quite difficult to come by.

For instance, it's market manipulation to place large orders continuously and then cancel those orders continuously.

It's also market manipulation to place both LARGE buy and SELL orders at the same time in order to fake volume for a particular stock.

However me as an individual or private entity can at any time go place an a LARGE as fuck order for what ever I want.

In fact if you look back and study old stock floors ect. traders started to learn what the people at the large banks/intuitions looked like. When they saw them walk up with their stack of PHYSICAL orders, they'd try and step in front of them because they knew the market was about to move as a large order was about to be placed.
Your comment literally begins with "We've lost so much".

"We" haven't. The websites and blogs and desktop applications that you're talking about still exist, as does the general computing hardware to work with it.

What's happened is that newer, more vapid content has emerged. Along with more locked-down hardware for working with that. Aimed at a totally different audience of non-technical people, that never would have been "us" anyway.

It's the argument of an old white guy, who's mad that immigrants have changed the neighborhood. Yeah, maybe so. But our favorite old restaurants are still there. The bridge club is still open, right next to the bingo hall. It's just that we're a subculture now, instead of the dominant scene.
But at least for black car drivers, there was a sustainable business in place before Uber. Why does Uber get to destroy that?
If we had universal healthcare, it would be easier for companies like Uber to hire people on a full time basis, while also making full-time status less important to workers; a win-win as I see it.
What change happened yesterday? I've seen something about changes made yesterday a couple times now and I'm not really sure what to search for.
Improving Veterans’ Digital Experience Across Presidential Administrations
Are you looking for a list of feeds to subscribe to?
So we finished our GCSEs in 1992 and, as is often the case at that age, we just kind of lost touch. I didn't see Chris again until the Christmas holiday period in 2018.

I was hunting for retro games in a charity shop in our old hometown. I didn't notice him come in but we recognised eachother pretty much straight away and had a good chat outside.

He didn't go to work for Bullfrog. In fact neither of us went into the games industry at all. But he did find his way into programming, and had spent a few years before we bumped into eachother doing a lot of fairly close to the metal work in C.
“Low code” sounds super compelling. Give people with a little HTML and CSS experience a platform to build real things. I’m talking about the people that hacked at My Space back in the day because they wanted to. They didn’t really care about learning to code, it was all about the results.
Prop 22 is the ballot initiative in California that will overturn AB5, the law that Uber is fighting against.

They have a huge uphill marketing battle ahead of them. Every time I see an ad for prop 22, almost all the comments say roughly: "I'm voting no because drivers deserve health care and sick leave!"

These folks don't realize (because the prop 22 people are doing a terrible job at marketing) that prop 22 actually requires those things to be provided. I think a lot more people would favor prop 22 if they actually read it.
What motivated people in the piracy "Scene", knowing they risk jail time ?
I guess the funny thing about this EU law is, does Facebook know any less about you when you don’t sign into Oculus with your Facebook account? They are the same company.