skysight-inc/HackerNews huggingface dataset:
I mean we’ve had Bell Labs et. al. and now we have transistors, Unix, CCDs to allow digital cameras, etc…

They can keep on trucking with R&D
I guess this is one of the benefits of having the language direction owned by a single author - they might feel a bit more empowered to make this kind of principled stance in the face of strong incentives to trade funding for corporate guidance.
I agree; I've been trying to get employers/coworkers to look into TLA+ or Isabelle (for different things) for years now, and it feels like only after every cryptocurrency started blogging did they start to listen.

I find it funny that the reason we want the cryptocurrencies to be formally verified is because we want rock-solid financial transactions so that this distributed story is always accurate (which is good), but actual banks don't seem to have these same requirements.

NOTE: Could be wrong on that last point, getting my information about banks third-hand, it's possible that banks are using formal verification. Can someone who works at a bank confirm?
I have a couple Reddit accounts and that is a game you can get caught up in. The trick is that you can always score more points by making a stupid in-group comment on /r/politics or /r/funny than you can being smart. Once you know this the number matters a lot less (at least to me).
Sure, but is this existential? The CoC has platitudes, too. Why is this some scary takeover?
I love the migs and missile submarines
Can you imagine a judge in the US letting someone convicted of sexual assault off with a light sentence because he has a lot of cows? The point is that the elitism is not just relative to other Americans, but to the rest of the world.
>"Corona is in 200+ different ethical and regulatory environments/societies, I think that that is likewise bad for society and hope we get rid of it."

COVID has killed over four and a half million people; about four million people have driven for Uber (worldwide). Do you really think that doing some driving for Uber and dying of COVID are "likewise bad"?
An absolutely fantastic scene about Bach was in the East-German/Hungarian co-production: Johann Sebastian Bach

https://www.youtube.com/watch?v=WdmcabpiGYU

In it he meets Frederick the Great, King of Prussia, then one of the world's superpowers.

https://en.wikipedia.org/wiki/Frederick_the_Great
Lanchester's Laws in AoE2 [video]
hell march is awesome
Let's not forget about the nuclear bomb factories on rails. That story sounded fake from the get-go, and since it wasn't true, they just dropped it and let it slip out of the public's memory.
It confused me for a long time, a gang bang means something quite different in the UK to the US.
They mention how much time he spent on Vivaldi scores, which is really interesting when you listen to Vivaldi's violin sonatas as a Bach fan and hear where Bach added many homages back to Vivaldi in his work.
Sanctioning disability benefit recipients (causing many to commit suicide!) Thank you UK PLC !!11!

> Tasked by the Department of Work and Pensions to investigate the effectiveness of "sanctioning" recipients of disability benefits (punishing them with fines of up to three years ineligibility to benefits for supposed bad attitudes or non-compliance), the nudge unit noted that these methods were ineffective, but rather than recommending they be withdrawn, proposed changes which might make sanctions and benefit conditionality more effective
Well, obviously, since it is not derived work, how would it know how to interface with internal symbols and use internal defines of the linux kernel?

It would not... unless it becomes derived work.
There are too many degrees of separation in Amazon and I suspect Google's situation as well.

Onboarding docs need to be iterative. They need 'user studies' with some of the new employees. If I go through the onboarding docs with a new employee, and they get stuck, either I'm the one who knows how to fix it or I know the person who does, so we can get it fixed. Once that becomes opaque the docs are more of a sick joke than anything.
Administrative minutiae is important. The foundation controls our IP and a large pot of money. How that is used matters. I am not taking any beef with specific moves here, just pointing out that a single organization controls a lot, more than most people probably realize.
No, don't have any.
They are big enough to take the loss. No harm in trying.
Stands to reason. The purpose of commenting is to be wrong, so that someone will correct you, allowing you to learn more about the subject matter. Cunningham's Law.

If you are well versed in a topic there is no reason to talk about it. You are already well versed in it and gain nothing from discussing it further.
Certifications that require lab work tend to be more valued because they show applied knowledge, unlike multiple choice exams where you could cram for the test without applying any of that knowledge. As for requirements the only thing that comes to mind is DoD requirements in the US, a job I worked required me to get Sec+ before they'd give me network access

https://public.cyber.mil/cw/cwmp/dod-approved-8570-baseline-...
A citizenship in a foreign country is not a basic civil right
> Edge is basically just Chrome now no?

Exactly. MS have given up on the idea of making a better browser.
I played a round or four with my lab last night. Cross platform play, free hosting, good matchmaking and an excellent experience. The computers on equal number and an equal footing absolutely annihilated us. We were easily able to titrate the difficulty to make it fun. Honestly, a great game and very enjoyable (and I won the 6-player death match at the end with a total Deus ex Machina moment made possible by the fog of war, much to everyone's suprise, including mine).

One of the best FOSS games I've ever played, possibly second to Wesnoth.

I second your comments about war.
>I want big companies to be involved in Rust

Why?

Steve Klabnik is one of my favorite technical writers. He is also an anti-capitalist. Early Rust documentation contained a lot of references to influential 20th century Marxists like Rosa Luxemburg.

I feel people like him should increasingly stand their ground instead of being apologetic about their views.
No more than a year ago the little "help" icon in explorer linked to bing with a prefilled search query that didn't even include a guard to make sure only microsoft.com results were returned (that has since been fixed). The results were (predictably) full of blog spam.

Microsoft was deliberately showing blog spam, just to route users to bing. I can't understand how that's a good business model.
> setting DNS servers statically on his clients instead of using DHCP.

Yes, because these personal laptops end up being used in coffee shops or hotels on occasion. So, whatever I do just on my home router doesn't help.
> If that's the case, shut it off.

It should be obvious why "Shut Facebook off" is not in the domain of potential solutions Facebook will entertain to this technical challenge.
"We wouldn't accept that from a manufacturer of a physical product." - why not? I would think that any manufacturer of a physical product is clearly entitled to provide better service or better product versions or better legal conditions or better pricing for some of their customers if they want. And they definitely do so for various VIPs - some people pay to wear Nike shoes, and some people get paid millions to wear Nike shoes, and we do consider that a manufacturer of a physical product has the right to do that.

There is not a trade principle of having to treat all customers equally (the sole exception being not denying service for a specific list of protected groups), and there is a general principle that people can trade with others as they please and provide different conditions for arbitrary reasons.
It wasn't designed exclusively as a federated network, tbh - we've been planning for P2P since pretty much day one; https://matrix.org/~matthew/2016-12-22%20Matrix%20Balancing%... is a talk I gave in 2015 when Matrix was less than a year old on our plans to go P2P.

Personally, I think it's really nice that in P2P Matrix precisely the same client-server API is used as for normal Matrix, so all the work that goes into the Matrix client and E2EE etc is preserved without any changes at all. Instead, it just talks to a server running on localhost, which then replicates traffic around over the P2P overlay (in future using store-and-forward servers if the target server is offline). It's really not a bunch of hacks, thanks to Matrix being architected to make the replication transport & protocol pluggable from the outset.
The desexualization of the Asian American male
>Now if people are worried about employment practices, why not look at Walmart, Amazon, Target, and most retail stores. They intentionally staff people with erratic weekly hours, keeping shifts to 4 hours (no breaks or lunches required) and no one reaches 35 hours to enforce benefits.

Is there Target in the Netherlands?
The fiction is that there's class mobility. That's part of why others commenting here have tilted towards minimizing the eliteness of a criminal convicted of sexual assault: they want to think that his "hard work" landed him where he is and that they, too, might accomplish as much once they grasp their own bootstraps.
It might be different now. I had read up to 2 years. There is a language requirement, but there used to be no test requirement, so the interview was to at least evaluate that.

Now that they require test results, there’s an added cost, but one less thing to evaluate directly in the citizenship process, so maybe they’ll do away with the interview entirely.
I've had the same reaction to watching videos about strategies and combos in fighting games. What I started doing was asking myself how I could have discovered this idea and taking it back to the lab to reconstruct the discovery, so to speak.

What I've found over time is that I got better at discovering what I needed, but that it was still worth looking over some theorycrafting type videos to see anything I might have missed.

This brought me full circle to the point where, even though I was still watching a video, I felt like there was a dialogue going on ("yeah, I know A, B and C, but D is a neat trick. You seemed to have missed E though.").
You can legally download them for free at https://archive.org/details/Red_Alert-Cutscenes, and then install them into open-ra.
I've never really worked on anything safety-critical, but I know that at least one real-time operating has been designed and verified with TLA+ [1]. The book is a bit pricey (and used copies don't pop up that often), so I haven't read it, but my understanding is that the developers felt that TLA+ did find bugs.

That said, TLA+ is written separately from the code. There could of course be bugs in the translation of TLA+ -> C...TLA+ is about checking the design itself, not the code.

[1] https://www.springer.com/gp/book/9781441997357
A large group of units, generally with ranged attacks, where the most effective positioning is clumping them up into a ball. They hit a certain tipping point where fewer and fewer things work to counter them. If both sides have a death ball, then the smaller one loses by a bigger margin the larger the death balls get.

In a made up but typical RTS, one swordsman beats an archer, ten archers are an even match for ten swordsmen, and fifty archers beat infinity swordsmen. In a 10v8 archer battle, the bigger side survives with about 3 archers, but in a 100v80 archer battle, the bigger side survives with over 50. This game has archer death balls.
Who's liable if the driver crashes?

Who's liable if the automated car crashes?

Uber doesn't want to be responsible for the risks associated with their reward.
There's some way to quote a markdown document stored in Bitbucket in a Confluence page. That's proved to be less of a pain than dealing with Confluence.
You're the one clearly pushing an agenda, I'm just stating facts. IIRC the discussion here at the time about the lawsuit you linked characterized it as "frivolous" and "sour grapes", and other words to that effect.

If I wanted to make claims about saintness, I wouldn't bring up Tempe, I would've brought up the stuff about the CLO leading equality efforts (him being a black person), or the stuff about Afghanistan relief donation matching and other similar initiatives. But like said, I'm not interested in playing good-guy-bad-guy games, and I'm perfectly content w/ characterizing Uber as a company seeking profits just like Microsoft, Google or FB or whoever else is getting a stink eye these days.

You're free to be cynical, but doing so by cherrypicking only stuff that supports "your" side is kinda intellectually dishonest. </two-cents>
> I don't really see how an engineer at Blue Origin is more willing to take risks or has more ownership in the results than say an engineer at NASA JPL

An engineer at SpaceX or Blue Origin is incentivized differently from one at JPL. SpaceX isn't designing rovers for a Titan mission or exploring novel theoretical propulsion systems. And NASA wasn't able to turn its decades of work on propulsive landing into a competitor to the Space Shuttle, Atlas or the SLS.

Note, too, that engineers at NASA are at the whim of Congress. I know several whose life work was cut in a budget negotiation thousands of miles away. I know several more who left aerospace for better pay in other industries.
I am not an expert in the foundation's bylaws, and the only thing they said publicly is "The Rust Foundation Board of Directors also wishes the best to Ashley Williams, who will be leaving the post of interim executive director "[1].

I expect that it was a group decision and not a sole one. But again, my point is not about how that happened, my point is that it has happened, and what that means for the state of the organization as a whole, that is, that leadership is concentrated in a single organization.

1: https://foundation.rust-lang.org/posts/2021-06-25-announcing...
> By fall, 11.1% of households with school-age children reported homeschooling (Sept. 30-Oct. 12). A clarification was added to the school enrollment question to make sure households were reporting true homeschooling rather than virtual learning through a public or private school.

> That change represents an increase of 5.6 percentage points and a doubling of U.S. households that were homeschooling at the start of the 2020-2021 school year compared to the prior year.

I’m skeptical that this represents a durable increase and deeply skeptical that it represents a durable doubling. Once C19 passes, homeschooling rates are more likely to revert to historical norms than to remain at a 2x level.

We could have homeschooled this past year (because of widespread WFH). I think many of these increased rates were similar opportunistic homeschooling.
When the salary is raised, more folks will show up.
They wouldn't let kids go to school. They made them stay home. Is anyone surprised that at least some parents and kids decided they liked that?
Yes, he was recalled. It's unlikely that if he'd been an appointed-for-life judge that the legislature would have removed him.
I think there are quite a few options. It took me about a minute to think of the below, so I'm sure with the resources of Uber they can come up with something better:

- Driver 'clocks in' when they are in the app and ready to receive rides.

- They get paid as normal, however there is a guaranteed minimum which means that they will get paid the minimum wage.

- Driver can decline rides, but there is a % threshold at which point they can be performance managed if required (i.e. warnings for declining too many rides and then removed if required).

- Driver clocks out when they are no longer wanting to receive rides. 3 declines in a row or something similar automatically ends shift. Shift can also be ended due to low demand, unless the driver has signed up for a particular shift ahead of time.

That's not particularly great, and I'm sure some people will have builds/other suggestions, but Uber is a 76 billion dollar company, I'm sure they can come up with something better and a way of operating within labour laws.
> The leaker was easily identified by the names of friends liking the post (that and part of their name was visible).

Well that, and the fact that his face was immediately to the left of his name.
This is true (and rarely mentioned); rodents don't get AD. But they can be genetically engineered to produce the proteins that researchers consider the hallmarks of AD. The fact that this is a circular definition never fails to frustrate me when discussing the misuse of animals for AD research. (and the fact that billions have been wasted on proving that this circular definition doesn't apply to humans is especially sad)
Sure that’s a package manager, but it’s a distro specific one. Now make one that works on all Linux distributions. And now make one that works on all operating systems.

This is the problem that npm, pip, and whatnot solve. They work the same, (almost) everywhere.

C/C++ don’t have a proper answer for it.
Deja vu? This seems like the story of the C++ Committee all over again, isn't it? Maybe this is the price you pay for adoption and popularity..
It was more complicated than that. Some architectures do not support that.

And what's more pressing is, that it is an internal implementation details. Preserving it for ZFS would mean that they have to keep internal implementation detail for an external project, that does not care to cooperate!

These two symbols were obsolete for almost two decades. Should they keep them just for ZFS? Or should ZFS switch? If it were GPL project, or better, part of the kernel, it would be already fixed and everyone would go on with their lives.
Looks like he likes to write articles and has been featured by some Postgres related Twitter accounts like PostgresWeekly (https://twitter.com/PostgresWeekly).

This is the guy in question:
https://twitter.com/ahachete
Who will pay for all the social services required? The existing tax paying citizen via increases taxes and lowered standard of living.
We already have a shortage of housing, overcrowding in schools & major budget deficits. No, open borders are not the answer - no country has/allows them because of the reasons above.
Charming. Just grabbed the first link that described the issue. But yeah, the Spanish organization seems... confused at best regarding its own role.
At least how I see it, many of the problems are that the company is not giving the protections that they've historically supposed to have given. I think one option is to extricate those protections from the employers and bring them to a different level. It could be a union, it could be a local/regional/national/(dare I say global) government, it could be some other org that provides those services. Then the employer could still give the flexibility and not have to worry about providing those extra benefits.
Dangerous vulnerabilities in Android applications 2021
Ben Stein's IMDB page: https://www.imdb.com/name/nm0825401/

His use of "sieg heil" seems to be towards the authoritarian YouTube moderator bots.
Do you mind if I ask your methodology for the $42/hour number? Do you take your vehicle's depreciation into account?
SC2 having larger groups has allowed a different focus of micro though - stutter-stepping marines is a tactic that was out of reach of most players in SC1 but an absolute necessity in SC2 and the addition of unit abilities has decreased the utility of giganto deathballs - the micro is still very much a requirement.
That’s a ridiculous interpretation of what was said.

“There are 2 entities which make decisions...the contract for the person holding the post of 1 of those 2 entities was not extended by the other entity, and the other entity has not given any timeline on when they expect to fulfill that position, therefore leading to a situation where it’s the only entity with power” is not “I want it run by my pal”.
Reaching People on the Internet in 2021
I find that scattering rocket soldiers randomly about the map and one's base is a far better and cheaper anti-air defense than building dedicated SAM sites. A small investment makes aircraft almost useless. But I'm pretty inexperienced at the game.
Trains solve all of those issues: short haul, high capacity, electric
Well, Fortran was intended for use in scientific computation. In the 1950s and 1960s, the percentage of computing time spent on scientific computation was much larger than it is today. So, naturally, Fortran had a much more prominent position back then.

These days, scientific computing is a relatively minor niche, because people have found so many other things to do with computers that science is just one of many use cases.

Fortran was aimed at a specific audience, scientists and engineers, and that audience seems - AFAICT - happy to keep using it. One may consider it an impressive success story.

Personally, I have never used Fortran for anything beyond the hello-world-level, so I have no strong opinion on the language as such; I do know it has evolved a lot, probably more so than C.
They're currently prioritizing moving to proof-of-stake (which will end the need for ethereum mining and its high electricity usage globally) and sharding (which will solve the congestion that's causing very high transaction fees). Using WASM would be nice in some ways but it doesn't solve any high priority problems. Maybe it will happen later once some attention is freed up by these main problems being solved.
Since the industrial revolution, all knowledge work has required remote collaboration. If your company has multiple physical offices, or if you have a supplier or a customer that's not colocated within walking distance, you've been collaborating remotely, whether by mail, telegram, telephone or computer. Maybe that's slightly "inefficient" - or maybe it's a good thing with full-remote working that we get to refine it so well?
Depends how good or useless your existing passport is. Travelling as a French national is a lot easier than travelling as an Algerian or Lebanese national. If you’re a Canadian or USian, it’s largely meh to get your French citizenship to travel.
Matrix's existing E2EE has identity verification as effectively one- or two-hop web-of-trust using QR codes or emoji comparisons. It's not impractical for users, because everyone's familiar these days with scanning a QR code as a mechanism for logging into an app (c.f. Discord, WhatsApp, Signal etc). So as long as you scan the people whose identity you care about, you're sorted, and it's much easier for normal users than the clunky old PGP signing parties of years gone by (plus it doesn't leak as much metadata, given it's just one or two hops of trust).
> a string of prior cases where they were let off with almost no punishment

Ever tried to get a job with a string of convictions? The criminal justice system in the US doesn't need to imprison a person for them to be punished.
i know this is political for americans, but going forward i can only see homeschooling via remote schooling becoming more and more prevalent as families move away from dense cities, and others choose travel as a long-term living situation. it even makes ecological and epidemiological sense and i think more and more countries will warm into it. As for the socializing aspects of school, they 'll be replaced with neighborhood socializing, like it used to be
You also have very likely no intention of having an accident and needing repairs.

And while their service might be fine for you individually, right to repair is about all customers having the choice to go to a contractor of their liking when needed.