skysight-inc/HackerNews huggingface dataset:
> In this case, the author did submit a DMCA takedown request, but the Github user then submitted a DMCA counter notification stating that, under penalty of perjury, they have a good faith believe that the takedown is invalid

Are we sure of that? GitHub publishes the notices and counter-notices. I can't find any notices there that appear to be for that repository, nor any relevant counter-notices.

I wonder if the author may have sent his request through some other channel than GitHub's DMCA takedown request form?
The original link should be replaced with this one. The original is clickbait
The current U.S. President has been doing a lot of peace mongering.

Maybe that helps explain the demand for ejection.
I don't think that's it? "Org chart" describes both charts that identify particular people and also charts that describe the larger organization[1]. When Facebook says they are going to hire 3000 engineers, they are adding 3000 people to the Facebook organization. Even if they don't know what division / project / team / etc those people will end up in.

Edit: Probably a better thing to say is - even if I was using org chart wrong, I don't see how it would make a difference. Hiring N people that fit a set of requirements is seeking to fill N positions.

[1] https://en.wikipedia.org/wiki/Organizational_chart has examples of both. You could imagine the organization chart of Tabulating Machine Co. including headcounts for each division.
Germany is not France in the 60s when it comes to overwhelmingly accepting nuclear in the population. 46 EPRs is crazy considering that currently 446 run world wide, and Germany is only running 28.

Also just betting on one technology doesn’t make too much sense, especially considering that uranium is currently not mined in Germany (hasn’t been since the wall came down because it is not economically viable). So Germany would become dependent on other suppliers.

(I am not against nuclear per se, just wanted to provide some thoughts to the counterfactual)
MSSQL can certainly do all of that. panarky offered one way of doing it, but you can also write a single SQL Function that takes a parameter for filtering by gender (or not), and encapsulates the pagination logic. You will then be able to select form that function passing different parameters for filtering by gender and only adding a sort at the end.

Likewise the business rule validation could be encapsulated in triggers or in a stored procedure that would validate all changes, much like your C# code would.
Tone policing is a common way to silence people though.
I'm not sure we know exactly what kind of review it is. I think it also depends what she signed up for, explicitly or implicitly. What were the expectations around freedom to publish?
Yes I believe the carrier has to go under the seat. It is basically a piece of luggage.
How does this fail after a moments scrutiny? Pet owners have an alternative: put them in cargo. People are categorically more important than pets. To suggest anything else is insulting, frankly.

(Note: putting kids and pets in the same category seems a bit bold.)
US companies definitely make up way more than 4.25% of the global demand for skilled software engineers. The global software industry is highly concentrated in the US, which is why there's a large influx of skilled software engineers into the US.

Without that influx, this concentration would be impossible. If the US heavily restricts immigration by software engineers, the industry will ultimately relocate elsewhere. Europe would love to get all its software engineers back.
Thank you, and sorry for missing the sarcasm in your post. I had interpreted your post as giving a suggestion, rather than as being the inevitable and absurd conclusion of the parent's reasoning.
It seems like only if you are over storage.

Regardless, all you'd have to do is log into it once a year to avoid this. You should probably be backing it up externally at least this often if you care about the content...
Arm doesn't care. Their customers aren't end consumers, their customers are large integrators like Apple.
And many students choose to return to their origin countries... some of these countries are even exerting influence on our academic institutions, e.g., China’s “Confucius Institute” model. If you think that’s in the interest of the U.S. you’re being willfully ignorant.
I'm wondering if the comments in this would be the same if it said '/users/ first, then architecture, then tools'. Or even 'purpose, approach, technique'.

When I read it I wasn't taking it as instruction about the chronically ordering but more a principle above the primacy of factors - what drives the process. I can see good projects iterate through them together but I feel I've had better results when a clear articulation of the user needs provide the momentum.
Yes! I totally get it and love that.

Sincerely,

--A guy who built his own Asterisk PBX-in-a-linux-box that sat on his desk in 2004 and had 2 physical phone lines plugged into it and today, 16 years later, is still running slight variations of the exact same scripts (although now in the cloud w/ VoIP, but same same).
Wow, 4.3 petabytes a day. Operating at Google's scale these days is just nuts.
More than annoying. It crashed my browser.
I would be surprised if they did this for Workspace accounts. Deleting data from a organization would be a disaster for Google. I.e. an account may be at a center of a lawsuit or subject to data retention laws.

Indeed, this says no:

https://support.google.com/a/answer/38173?hl=en
I have this and have been unable to login since 2015 with no ability to recover my account (I know the password, but it's flagged as "unrecognized device"). I also can't turn it off or delete the account.
> Because, as a rule, if you are a researcher in academia you won't be asked to retract your research because it makes someone look bad.

It would be great if this were true. But it isn't.

https://medium.com/@leej12255/the-threat-to-academic-freedom...
This is not my experience. As a PhD student I've already had a (strong) disagreement with my thesis advisor about whether to submit a paper or not. My advisor thought I shouldn't, I thought I should. In the end, I submitted it and it got rejected and that's where the whole affair stopped.

Actually, I really can't think of how my advisor would tell me not to publish a paper, except to suggest that it's not ready for publication.

But perhaps, as is often the case in these conversations, we're talking about different "academia"'s? I think there are differences between fields and between different countries' institutions in the same field etc.
Older Sad Man Syndrome
That's a great point! I actually discuss Czar in the paper, as part of my discussion of structured proofs:

Calculational, structured, and declarative proofs

The tactic-based proof style pioneered by LCF [LCF+Gordon1979] is sometimes called *imperative* or *procedural*, in contrast to the *declarative* style introduced by Mizar [Mizar+Trybulec1985] and later implemented in proof assistants like HOL88 [MizarHol+Harrison1996], Isabelle/Isar [Isar+Wenzel1999], TLA+ [TwentyFirstCenturyProof+Lamport2012], HOL Light [MizarLight+Wiedijk2001]_ and even in program verifiers like Dafny [Dafny+Leino2014].

Declarative proofs tend to more closely mirror pen-and-paper proofs, and are generally more readable in isolation than plain imperative proof scripts. They derive from *structured calculational* proofs [ShapeOfArguments+VanGasteren1990, PredicateCalculus+Dijkstra1990, StructuredCalc+Back1997, StructuredHOL+Grundy1997], in which calculations (sequences of propositions chained by logical connectors, each annotated with a succinct justification of the corresponding step, as in `A = { because X } B ⇒ { because Y } C`) are structured through logical cuts and typographical means such as indentation and explicit nesting marks.

A declarative proof language was added to Coq in version 8.1 [Czar+Corbineau2008]_(2006), but it saw only limited use and was removed in version 8.7 (2017). Coq 8.4 instead introduced structure to imperative proof scripts using bullets and braces, giving scripts most of the *structured* part of *structured calculational* proofs. While it is possible to emulate the *calculational* part in imperative proofs using tactics to re-state the current goal and hypotheses after each step in a chain of rewrites, this “checked comments” style is not particularly common in Coq (rich tooling existed in Isabelle to support this style of proofs before the introduction of Isar and the switch to declarative style [ProofPresentationIsabelle+Simons1997]). Alectryon's automatic annotations, combined with careful structuring of proof scripts and judicious use of logical cuts (`assert … by …` or SSReflect's `have`), offer the readability benefits of declarative proofs without the burden of adding output annotations.
Rural Gentrification: A Minifesto
Can you elaborate on some of those telco superpowers? And perhaps some of the downsides as well? Curious more than anything!
Isn't the opposite also true, that some people would expect them to delete that data?

Seems a damned if you do, damned if you don't scenario.

Plus, unless that was part of the contract, why do you expect it? They're a company, you get what you pay for.
Implementing End-to-End Encryption in the Browser
It’s about balance... what SV is doing with H1B is not about keeping the U.S. at “the forefront of scientific research”.
Well, as a watcher from series is much better to already know how long an episode already take, which is usually around one hour.

And if you release something all together in 16 hours it became harder to go back to where you stopped, in case the software glitches, harder to comment with friends, which maybe would create less hype, and maybe even create a mental barrier, like, "omg, this is 16 hours long in one go!"

And how are you even supposed to know when you should take a break while watching it for the first time?
> Well, geez, I don't know basic human decency probably?

Oh sweetheart, if you expect that under a capitalist system... or really any system run by human nature.
This thread is very specifically about how Amazon workers have agreed to do the job for a certain price, and how Amazon is trying to stop that process from proceeding. Even by your own perception of the situation, Amazon is in the wrong.
I believe what you say that it gets deleted. What I am not sure is whether it gets copied somewhere else for long term storage or some data mining, thing that you may not be aware of. I doubt you know everything that happens at google but I might be wrong there as I don't know who exactly is that I am talking to. Regardless, google has lost my trust completely and am not sure if it is possible to recover it and go back to the "do no evil stage" anymore.
Credit scores + Facebook and ad networks but they're under checks and balances by Congress depending on the administration while funded and siphoned by CIA, together making things muddy.
Don't recursively backtrack. Even if you leave waypoints, there is a chance they get lost. Backups and Redundancy come into play here. But it takes time to comment every line of code, it takes time to read through comments to get to the code the other way. How hard is it to type other way backwards to make a point? It is too hard, I didnd' tant
want to do that, jkust moved on.
You will get typos at your conflict point. You are having a breaskthrpu breakthrough just keep coing. It will not be the final, you will be able to change it later if it is the final.
Stop.
If it is not the final version, and you know it is not the final version, then why treat it like such.?

Thats the same as the war analogy. analogy. This conflict can manifest itself at many levels.
you do this when you rtype
ing
just keep going, don't stop. ssertainly don't delere the
whole line
that will be goign to far. backtracking Vrom lost? skip
maze
Besides, I don' teven know it is going to be my final piece of the code. But this way at some point I will reach my objective without sweating the small stuff. That is looking at the comparison twice.
Marx and the Birth of Modern Society: Interview with Michael Heinrich
Sourcegraph raises $50M to tackle big code problems with universal search
A short time ago I finally found my Geocities webpage (from 1999) in the archive just by chance [It is in Spanish]:

https://web.archive.org/web/20010718195237/http://www.geocit...

It was a blast from the past for me, amazing times for the internet.
Why isn’t this post titled like the article („ Germany's Energiewende, 20 Years Later“)?
The author's twitter account: Location: "Amsterdam & Everywhere"

https://twitter.com/DANNYonPC
200ms is really, really slow. You almost certainly type familiar words faster than at 5cps. You'd notice and feel it, even if you don't. The thresholds are obviously different for what one typically perceives as slow or insufficiently responsive but at 200ms, almost everything stops feeling responsive.
Looking at the comparison twice?
Hello world.
Greetings programs.
Have two things look at the comparison.
I think it's a holdover from when movies were 1) cheap, and 2) a warm place to make out in the dark for singles who lived at home or in small rented rooms that didn't allow guests. People do it now because they're told it is a thing that is done.

They're also good as a lead-in to a dinner date, or drinks. Gives you conversation material.
This is after a couple hours of use. It stays high until quitting - closing all tabs doesn’t budge it.

Happy to file a report. Any special instructions to make sure it gets to you? edit: Filed one; FB8927230.
Oh, this is great. Sorry I missed that in my related work section :/
https://en.wikipedia.org/wiki/Coffeeshop_(Netherlands)

Seems to say it's illegal but tolerated as long as you don't cause a fuss.
How could a lower velocity of money be a good thing when there's still underemployment?
Just dont delete the emails from your sent folder... But of course still back it up
Location: Miami, Florida
Remote: Yes
Willing to relocate: Yes
Technologies: Python, Node, Pytorch, Tensorflow
Résumé/CV: https://stevenbas.art/resources/resume/
Email: xksteven@uchicago.edu
Software Engineer
I have been working on machine learning problems in computer vision and natural language processing for my PhD over the past 5 years.
> You can't keep up with people that work harder than you

Hmm. In history, I think this also applied to workers' advocacy of the 40 hour work week.

"Don't blame others you can't do your 70 hour work week. There's plenty of others we have to replace you if you won't."

Regulation was the developed world's answer to a race to the bottom.
Sleep; <interrupt>
Advent of Code solved in TypeScript type system
I've always loved the low latency of Terminal.app (particularly over iTerm2, which I find unusable), but recently noticed that it has gotten a little worse in Big Sur now that the "Antialias Text" option is broken on non-retina displays.

I assume the extra forced compositing/rendering/whatever being imposed by antialiasing is to blame, though I could be wrong.

Catalina: https://i.imgur.com/G66HpJ6.png

Big Sur: https://i.imgur.com/R5dlzdj.png

rdar://FB8901170 if any apple employees happen to see this :)
Yes, certainly it is and she undoubtedly knew that, but her job was guiding her employer to make ethical decisions / build an ethical framework. If you expect your ethicists to prioritize having a stable career and avoid potential career-limiting moves, I'm not sure how they're supposed to do their job. I would honestly be skeptical of a self-declared ethicist who's very good at climbing corporate ladders and has never gotten themselves in trouble with those more powerful than them.

Whether she was overly saber-rattling is, I think, not a meaningful discussion. "How could this ethicist have managed to keep her job" is a straightforward and uninteresting question: don't make any waves, don't challenge anyone too senior, make the company look good in public. "Does Google value talented AI ethicists who are genuinely committed to their work and are willing to sacrifice their career over it" is a much more interesting question.

Google found that there was a credible allegation that Andy Rubin raped another employee, and they figured out how to keep him around for years, until word got out, because he was valuable to the company. (And then they gave him a $90M exit package.) Timnit Gebru got fired while she was on vacation for simply being impolitic. That shows how much Google valued her work.
This is actually standard practice (in the U.S.), and there are official procedures to recover unclaimed assets. See: https://www.usa.gov/unclaimed-money
I don't see how that has anything to do with stored procedures. For such large changes, your schema and application logic both need to be changed anyway. So if you're already changing the schema, why is it easier to change the application logic if it lives in a separate codebase?

If anything, it seems like it would go the other way around: With stored procedures, you're guaranteed that any application logic is at least consistent with the current database schema, whereas with separate services, you need to maintain that consistency yourself. Not that I'm advocating for stored procedures in general because they come with a mountain of other drawbacks, I just don't buy this particular argument.
Well, I guess this is the kick in the arse I need to finish changing email addresses from gmail to my "new" email address in the approximately 9 billion websites where it exists.
I tend to agree, but the following paragraphs suggest that had she not resigned she might have found herself on the wrong end of some sort of disciplinary process:

> However, we believe the end of your employment should happen faster than your email reflects because certain aspects of the email you sent last night to non-management employees in the brain group reflect behavior that is inconsistent with the expectations of a Google manager.

> As a result, we are accepting your resignation immediately, effective today. We will send your final paycheck to your address in Workday. When you return from your vacation, PeopleOps will reach out to you to coordinate the return of Google devices and assets.

Her resignation certainly gave Google an easy out of all that hassle, but would I call this a firing? Perhaps not.

If you're the employer you have to figure that if somebody's pissed off enough to (i) sue you whilst employed by you, (ii) write that kind of message to others working in their function or group, and (iii) now they've delivered an ultimatum you're unable or unwilling to meet, they're only going to cause more trouble if you make them work their notice period.

If it were me in her boss's position I'd have got her out the door as fast as possible.
That's a neat idea, but I'd be really, really distrustful of putting an effort of genuine feelings into a platform hosted by somebody else. That's a long time for Google not to screw it up, and it'll be sad when they do screw it up.
What if I use only imap clients? Is that considered "not logging in"? Haven't seen them address this
Love it. I am working on a similar but different concept for a prototype I am working on. The project requires many document/NoSQL style micro services, and I had the idea to do this directly with the file system and JSON serialisation, with thread locking on appropriate read/write calls (some calls that are read only don’t require locks). It is extremely fast and performant, and given the way I’ve delineated the block storage that the file system runs on, my hope is it will also scale reasonably well.

I have also implemented a message queue using the same design/infrastructure.
When Yahoo bought rocmketmail the same happened to me but I think it was 6 months
Yes, I think this is the right intuition. Given the size and weight of the hull, physics is operating at a different scale and “sharp” looks quite different from our daily experiences.

It reminds me of a Fermi estimate that my physics professor presented of how tall the tallest mountain on Earth or a generic planet of mass M could be. He started with the intuition that when the weight of a mountain overcomes the typical strength of chemical bonds, what we typically experience as “solid” rock will behave like a liquid and collapse.
The article you publish is attempting to assign various incidents of forced retraction to political prejudice, but I don't see how any of those cases "makes someone look bad", as per my comment.

Mostly, I see in the article an attempt to engage in the usual online culture war, but I can't say what is reported in the article is making me concerned about academic freedom. To be honest.
For years I've wanted to try the idea in the article, particularly for a data intensive but not high scale project. It's never been worth the hassle though.

Still, thinking about it has led me to see how we are not really leveraging the capabilities of feature rich RDMSes like Portgres. A judicious use of user defined functions can help, particularly for polyglot companies/microservices where the database can ensure certain routines are standardized across all apps.
Freedom is over rated.
"while her lawyer was threatening to sue the company"

My reading is that the situation you're describing is resolved, and has been for quite a while. Thus no lawyer is currently threatening to sue, nor have they for quite a while.

Thus: an employee asserted her rights under the law in the past, and the situation was, apparently, resolved to everyone's pleasure. "recently conspiring a legal battle against Google" is a misrepresentation of that.
Sleep. Wake, get out of bed, sound familar?

Sleep. Wake, PMU, havcker news brothers, you can do it from
here.

We are now in lockstep.
The problem is that the Visa CEO allegedly believed the potential technology was coming soon, and allegedly told the Board of Directors to acquire Plaid so Visa wouldn't have to compete with its new technology. If the Justice Department were just randomly speculating, that'd be a different story.
They've been saying these things for a long time FYI.
It works well until you've got an issue, and then you're completely fucked.

I think the sense of the comment was "how can I deploy or test anything once it goes in production". You know, were starting again from scratch is not an option ever.

Using the database as a service layer is dumb for non-trivial scenarios were you need garantees that your service keeps running, or when you want to test new code with the production data.

It's interesting, and probably useful to have a set of functions with the database, but there is real problems once your database stops being a dumb store.
Eh... yes and no. There is the convenience and comfort of one's own home. Plus, of course, for a single $20 payment you could have several family members and friends participate in the viewing experience.

On top of that, of course, you get the benefits of home-movie watching generally, such as being able to pause or reverse the movie back or forward if you wish, cheap snacks and candy (since you're not paying movie theater prices), and so on.

$20 is definitely not a terrible deal, especially if more than one person might be watching.
Passed US in GDP? Where did you find those numbers?
They should rewrite it then, they'll have to in 30 days anyway