skysight-inc/HackerNews huggingface dataset:
It's deterministic, but it's still a heuristic in the sense that it's a guess at the underlying intent of the code. You can come up with different, perhaps simpler guesses, but they're still guesses.

It's quite common in existing real-world C code to rely on the ability to fill in a variable via a pointer of one type and then access it via a pointer of another type, and you expect the language to properly return the data you wrote to that pointer. The C committee determined that, just about always, that happens when one of the pointers is a char pointer (e.g., you call read() or write() on a struct), and they said that char pointers are allowed to alias by default but others can't. That's their guess, which is mostly accurate. There are much nicer answers here if you're not obligated to be compatible with existing C code - but in that case, especially today, I'd go with one of several other languages that can accurately express intention at the source code level instead of making backwards-incompatible changes to C. :)
You could come up with hardware that does this for any aspect of the spec though. For instance, I could make an ISA whose ADD instruction was normal except that 2+2=5. Adding a check around each add instruction would certainly be very expensive. Does the existence of this mean that we should redefine addition (on _all_ hardware) to avoid the penalty? Would compilers for other architectures be justified in eliding `if(x+y==z) foo();` if it can prove that `x` and `y` are `2`?
What does that mean? Trained 1 DNN and it had good results so it's all worth it?
Winamp Skin Museum
> Trump is so confused and unclear sometimes that it's hard to tell exactly what he's trying to say, hence the "appeared.".

It's irrelevant what he's "trying to say". If he writes "covfefe", the accurate reporting is "he wrote covfefe", not "he appeared to have written covfefe".

Qualifying something with "he appeared to say" is just a way to write anything. Turns out it's not at all what he said? "Well, it appeared that way to me, don't tell me how I have to perceive reality!"
Reminds me of how some games or other sites had an image you could put in your forum signatures. I think Steam had one or some third party built it. Would show like the games you were playing and if in game and not... I think Skype and MSN had icons too that was a image but used your profile id in it.
> Nearly every ruling from any sort of appeals court answers a question of law which is then binding on everyone under the jurisdiction of said court.

While it's true that courts (in the US and similar systems) make law, this specific claim is an exaggeration, at least as regards the US. Full precedential weight generally only applies to published decisions, which are only about 1/3 of decisions of, for instance, the US Courts of Appeals.

https://libguides.law.ucla.edu/c.php?g=183345&p=1208531
"Study the masters, not the pupils." — Abel

Abel evidently had a peripatetic career. For example, going from Oslo to Berlin to meet Crelle was quite the commute.
It's funny to me, because the way I came up in Unix, `utmp` was one of the first things you learned about: you were using Unix not because you installed it but because every system you might want to break into (for instance, to get to IRC through an outdial or a gateway) was running it, and they were all multi-user shell machines, and you wanted to make sure you weren't showing up in `who`. I probably knew the `utmp` format before I knew how to use `find`.

You'll find, in archives from hacking sites of the era, a whole variety of "utmp editors".
I agree the workers should get paid for the security check, but this doesn't seem like a good example. it takes me half an hour to shower and get dressed for work in the morning. should I get paid for that time? does it change anything if I drive to work in my pajamas and shower/dress on premises?
Game Design as a product development framework
Show HN: A GitBot That Writes an API Changelog for Every PR
Yeah, my German-speaking + privacy-minded friends usually have it. I would estimate I can reach about 30% of my German contacts on Threema (if they have any IM at all).

But there's not a single non-German contact on there.
I hope the founder exited well. I remember working with him at Google when he was the PM for Google Optimizer. Nice guy.
So uh, for the most part, $50-$60k/year is a middle class income, and depending on where you live, can be upper middle class (in the US, in USD; in Canada the numbers are lower in CAD).

For the vast majority of workers in North America, $25-$30/ hour is well paid. Many people buy houses and raise families in households with one middle class income and one lower income.
It seems you can already use your own runners.
The idea that they wouldn’t is laughable/horrifying.
Arthur C Clarke posits a consumable shield made of ice in The Songs of Distant Earth [1]

[1] https://en.wikipedia.org/wiki/The_Songs_of_Distant_Earth
The Technology Behind Our Recent Improvements in Flood Forecasting
Actually, using Ada + SPARK, there are many static properties that can be verified which would be unverifiable in Haskell, and would be awkward to verify even in Agda or Idris.

But you've got your mind made up already -- please just enjoy your tools, and let others enjoy theirs.
Where I live if you are registered to vote by mail and you show up at the polling place on election day, you have to vote provisionally, which means that you have to make a sworn statement about why you are weird, and your ballot will be subject to additional verification to make sure you had a right to cast it.
CNN-News18 allegedly breached by hackers to refute PayTM attacks
These are the same hackers who had hacked Indian Prime Minister's Modi twitter account today.
This is really great. How did amazon’s case manage to get the opposite ruling, years ago?
Musk can take decisions that a board of directors would never approve. :)
Maybe the right test hasn't been applied yet. If one is at work say at a burger place, and were working as a cashier, then need to go back to do food prep and need to wash your hands, are you suddenly off the clock while washing your hands? Are you working the whole time? If you travel to your work, and get in line at work to get security screened or wash your hands why would it be different in the middle than at the start of the day?
Is there anyone who would argue that React Hooks are "intuitive", or at least become that way after you've used them for long enough? Genuinely asking.

I worked with React for several years and I've worked with the web for almost a decade, but when hooks came out I immediately "noped" out of there. Not that I couldn't learn them, but they just felt like a deeply contrived way of managing state changes. I'm comfortable with a functional style for lots of things, but when it comes to your actual core application state, FP has always seemed very out of place to me. It's almost antithetical: FP's whole thing is being stateless! It feels like a square-peg-in-a-round-hole situation.

By contrast, using something like MobX for reactivity combined with as-stateless-as-possible class-based React components (and some totally-stateless functional components!) was extremely easy to reason about and scaled really well for us with almost no boilerplate.

I realize that doing something like concurrent-mode requires some unique accommodations, but I just don't understand the big push for hooks. Do they only exist because of concurrent mode? And if so, was there really no other option for getting the same results?
Noted: Take Notes on Figma
Hmm.. "The game is lost when those who're winning in it aren't given the lead" ?

Then reconjugate to be a thing you can do -

"If the game's being lost, and you're winning in lane, ask to be given leadership. It's when /that/ comes back 'no' that it's time for you to find a new game."

(I'm noticing this is begin to look like "Winners want the ball.")
I skimmed this. It doesn't seem realistic at all. If you have police they will have discretion. It's unavoidable.
The examples seem to mostly be looking at cooling and dehumidifying. What do radian floors for heating have to do with that?
Percival Everett, the Art of Fiction No. 235 (2017)
A sobering and depressing read. What’s even more depressing is we’ll probably stumble through this, get past it (hopefully), and nothing significant will change before the next pandemic, which might be dramatically worse.
Creator of TwitHub here. AMA!

Also have an article about cobbling it together here for the curious: https://www.takeshape.io/articles/introducing-twithub/
Apple Delays Anti-Ad Tracking Features in iOS 14
Are iranian court rulings open for public reading? If yes, at least we can look at the evidence being presented.
Socialinks – best linktree alternative for bio links
Our site is built by influencers for influencers, I use now we can only put a link in our instagram bio, but that time is over!

Thanks to socialinks, the best alternative to linktree you can add as many links as you want and even more thanks to our personalized links pages
38 degrees is the opposite of refridgeration, crazy!
Ok, so misinformation may be too strong a word - really it's just unfounded, so that labeling IS wrong. I still think we need to treat it as false until we have evidence it works. I'm sure you wouldn't treat my farts as curing cancer if I made the claim unless there was proof.
We will publish a comprehensive overview of our approach to security, which I'll link to this thread for posterity. Frankly, we just ran out of time to publish this in time for the launch.

To compliment our architecture, I should mention we also also have strict company policy around general IT security and any type of customer data access. Security is an evergreen problem here.
That's a lot.. an hour a day is 1/8th of your pay. If this was year around, that would be (260 work days) $1600.. out of $12800/year total gross pay for full time.

You say it's not a lot, but that's only because the job doesn't pay a lot and (I assume) it was short term.
Show HN: Modeling Covid-19 with Z3py
Yeah when I learned Ada in college it seemed like it was a better Pascal, including fixing the quirky inconsistent termination.
I agree, its despicable. I would also suggest there is an enormous opportunity to make money for an organization that pursues and documents the truth, with integrity and to the the best of their ability. Society cannot possibly work if its members inhabit vastly incoherent bullshit bubbles and deep down inside we all know it.
@dang, this is a great policy and should be incorporated explicitly into the guidelines, IMO. I would also suggest applying this to scientific articles, given how fluffy university press releases can be, as well.
Study suggests that fresh asphalt is a significant source of air pollution
At least jetbrains has a vim plugin for all it's IDEs, you know?
If the Bay Area (population density 1,113/sq mi) were as concentrated as Paris (8345/sq mi), the Bay Area would have a population of roughly 68 million, rather than 7.5. Yeah –– we could technically fit 20% of the US Population in the Bay Area if we wanted to!

I say Paris because it's a dense city, yes, but it's also designed at such a human scale so that it doesn't feel "crowded" (and, at a uniform imposed building height, looks more like SF than Manhattan, because we know Californians love their sunlight).

Even if the Bay Area couldn't realistically be as dense as Paris, the point is that the Bay Area is nowhere near not having "enough room". There's plenty of work to be done, and I think the whole Bay Area could easily densify from 7m to 14m without even a notable change in layout or roads.

There's a whole country, yes, but the rich should not be the only ones who can afford to live comfortably in a city when so many other people want to (and have, before they were displaced), too.
It’s the sights on the AK platform. They’re awful and they always have been. Not getting into vodka-specials or bent barrels, poorly pressed trunnions or eccentric cut chambers, none of which are uncommon. They have a reputations not because of FUDDs but because 95% of them ARE bad.
"The goal is not to hold the garrison, but to render the enemy unable or unwilling to take the garrison" (Erfworld)
What should change?
As a teenager, I worked at a Kmart. It didn't take too long to be "promoted" to cashier. They never let anyone near the money room without already being on the clock.

You got your till loaded with cash, counted it out, and walked to your register. All on the clock. When done, you took your till back, counted it out, and handed it back in. All on the clock.

I'm only writing this as a counter example - not every place was awful about it.
Zocdoc is hiring Senior Software Engineer(s) to give back power to the patient
> Is there a name for the opposite effect? If not, I propose the "Sinclair Effect" after "It is difficult to get a man to understand something, when his salary depends on his not understanding it."

I think this is a fantastic comment, especially given the cavalcade of robotic quotations of that "Gell-Mann Amnesia effect" passage that happen whenever the press comes up. One should definitely read the newspaper with a certain degree of skepticism, but I feel that people who take the "Gell-Mann Amnesia effect" to heart often get into weird places (like thinking that reading raw scientific papers is somehow a replacement for reading the newspaper, as if anyone could actually keep up with them in more than a narrow area and science is the only thing that matters).

While I think the self-interest from the Sinclair quote is definitely a reason to doubt "Gell-Mann Amnesia effect" dismissals (i.e. maybe the story actually is right, but you think it's wrong because you have biased take), I think the problem you're getting at is ego. A lot of people want to be the guy who is smarter or sees things more clearly than others, so they latch on to ideas that let them superficially dismiss things that others trust as a way of proving their greater insight (maybe only to themselves).

I think it's useful to just see the news for what it is: a timely first rough draft of history. First rough drafts are always going to have errors, but you'll be the last to know if you wait for those to be corrected before reading. If you keep up with the rough drafts, you'll see the corrections as the stories unfold.
I have definitely needed this exact functionality in the recent past.

We had an application where a canvas-based editor was used to create diagrams, and then these diagrams were saved to a library. We wanted to have each saved diagram to have a preview image to better visually distinguish between them while scrolling. The ability to render a png on the server from the canvas would have saved us a lot of trouble.
Drone drops hundreds of bags of cannabis in Tel Aviv
> It was explained to me once that there are Asian (specifically, Chinese) attitudes towards thrift that make it inconceivable/impossible to pay for AC that someone else might be using (or misusing). I don't know how true that is.

I don't know how true it is either, but I can provide some mild support.

Several years ago a vicious heat wave hit Shanghai, and the subway stations filled with people taking advantage of the air conditioning. I asked a friend about this -- I don't see the subway station as a particularly nice place to hang out, since it's loud -- and the response was "they all have air conditioning at home, but they don't want to pay for it".
Fahrenheit, which is ~3 degrees Celsius.
SEO Expert – Buy TrustPilot Reviews – Buy 5 Star TrustPilot
That's probably 38 degrees Fahrenheit (~3 degrees Celsius).
But this boils down to initially defining the "purpose" of education. The US can't even agree on what the purpose of education is. Many see it as you do - broaden minds and encourage thinking. Many others see it as life-skills 'training' designed to teach adult survival skills. Still others think education should point specifically, and directly to work, or, in other words, be 'job-skills' based.

We don't even have a clear understanding of what is best, nor do we have an agreement on when each serves its best purpose. The whole thing is a mess.
I was specifically responding to a comment talking about the 2020 primaries, and I talked about the 2020 primaries.

It's really an amazing system we have. The government and media tell you how free you are and how wicked all these other people are, and everyone just eats it up. Anyone who questions is ostracized and sidelined. Way more effective than a brute dictatorship.
had to pay union dues out of that

Rhetorical question, but what the hell was the union doing while this wage theft was going on?
Some places can’t be changed. You’ll have to fire the entire executive team and the board to get a change.

It’s important to recognize when that’s the case and get out.
If this is not dictatorship, I don't know what is dictatorship then. The Iranian regime or the CCP regime are like ticking bombs on this planet. You have no idea how ridiculous they can be.
I too would love a plugin for this.. I'd like to run the LSP server in a Fedora toolbox, then some sort of property in the project's compile_commands.json or .vimrc that tells it where to find the LSP server. (Fedora toolbox mounts your home directory, so paths etc shouldn't be a problem.)

At the moment, I run everything (toolchain, LSP server, nvim) in a toolbox. Works well, but it feels unecessary to have a copy of vim in every container.
"GitHub restricts developer accounts based in Iran, Crimea, and other countries under US sanctions"

https://www.theverge.com/2019/7/29/8934694/github-us-trade-s...

Accounts from such nations have their functionality restricted, commercial use in any form is not allowed.
This reminds me of a T.S. Eliot quote

> Where is the wisdom we have lost in knowledge?

> Where is the knowledge we have lost in information?
This isn't wrong, but isn't really actionable either. I get that this article is marketing for the author's services, but we can take these kinds of problems and think more directly about how to fix them.

As an example, if the CEO (or any other leader) says "No" I'd suggest exploring further the communication patterns that can help change a "No" answer into a productive discussion -- splitting fact from opinion, understanding the motivations of all the players, and knowing the leadership team to understand what communications styles work best on each of them.

Likewise, when the team doesn't agree on what is important, making some members feel like the others don't care about the product and/or the quality... make sure you are working towards the same goals, and measuring each other on activities that support those goals. If your team isn't defining the product correctly, or working on the right items, maybe there was never any solid alignment on the product direction in the first place. Do you put the customer above the tech? Are you in a place where you need to speed to market and tech debt is acceptable? Are you still seeking product-market fit, so experimenting on new tech and approaches does have more value than adding a new feature to a mismatched product?

Those are the types questions to ask - and again, it will lead to understanding the motivations of all players involved and syncing up with the higher-level business strategy.
Didn't this already get ruled the other way by scotus?
It really is. They copied the FoxNews formula in 2008. Fired anyone who could edit or fact check anything. They then turned the formula up to 11. Most of the 'news' is pick your flavor and enjoy the editorial. Because that is about all you are going to get out of them. News comes way down on the list of what you get out of them.
After following Pachyderm for a long time, the docs and everything finally look to be at a point where I really want to try it out!

There is no point though in hiding the pricing behind the signup, especially if it's the direct first step you see after you signed up. All you are doing is inflate your signup numbers (and maybe even deter a few people).

PS: The link under "Resources -> What's the typical developer workflow?" is broken.
It was intentional, but the intention was feature discovery. We did it that way in the hope that people would get to know the favorites page and start browsing the favorites of others. It doesn't seem to have had that effect; it's just a pain. I suppose we could put up a confirmation screen first: "Do you want to add 'foo' to your favorites?" But that might just be a pain too.

There's another discovery issue, which is that not everyone knows that favorites are public. Publicness was the primary reason we built the feature: the hope that it would be a new way of finding interesting stories. One can see that happening in this thread to some extent. Overall, though, I was disappointed that it didn't have more of this effect, which is why I considered removing it.

Perhaps we just didn't do enough to promote it. Someone suggested having a quarterly post about the most-favorited stories. That might be a good way. We could have different most-favorited lists based on different subsets of users. We could ask people which accounts have the most interesting favorites. and so on.
Ada is/was heavily used in the defense/aerospace industry. Most of these legacy maintenance requests come from defense contractors who do not want to pay top-dollar for expertise. They want to put butts-in-seats to soak up billable time and keep the govt customer just content enough not to cancel their contract.

So they'll happily hire anyone with a clearance. If they can't find someone who already knows the language they'll eventually just hire someone who doesn't and let them figure it out on the job. Defense contractors do not pay big bucks for niche skills on legacy maintenance programs. Not to mention, it is some of the most boring work in the industry.
Because the op stated his gym specifically I have credence for this comment.

Good gyms for your build come with the all essential all pervading membrane osmosis crossing competitive atmosphere written by generations (gym generations of cohorts joining and competing really is a interesting subject and I think non builder scientists won't get any results from studying builders till one if them gets into the scene. It's not too hard I nearly did and back pedalled deliberately to later frequent regrets because the community just blows away any other uncontrolled self select non vocational grouping of ambitious men I have even heard about: I have even thought about fictionalizing a extrapolation of my experience how a depressive won't-dignify-brogrammer-hegemony nerd got his balls back thanks to the downright amazing decent people who inhabited my local gym. This was before gyms hardly existed in London and the nearest was called MuscleWorks. Nice pics of Sly and Arnie above the reception counter I thought, learning only years later both worked out there for Mr Universe... Not anybody said anything about those pictures but I soon noticed that same reverent upward gaze and nod like the Catholic genuflect, by the one time it wasn't observed by a visiting engineer... At any rate. I got the best wake up to life in human terms and the subsequent 14 years simply rocked...

Second confidence I take from the op that's being downplayed here is the idea that the op couldn't have built naturally

Well if my pair didn't already clang like bowling balls of solid steel just from meeting some of the regular guys who clearly had enough of my insecurities within ten seconds of observing me and put that Bs straight out the nearest window in the least painful major bsectomy of my life, I have to put the rest down to something about the sheer ts you create after spending time with a bunch of real sound alpha guys carrying less attitude than they let on fat competition days. Immense ts boost. All natural. 5 stone differencs for this otherwise unhappy skinny 6'4" nerd..