skysight-inc/HackerNews huggingface dataset:
A (small) minority of mathematicians find it unintuitive too. Intuitionistic mathematics and constructivist mathematics say that if you can't construct an example of it you can't prove it exists. They don't accept a proof that "some X exists such that P(X) is true" as valid unless you can give an example of such an X. "Intuitionist" because it is based on an intuition widely shared by a lot of people, but mostly rejected by modern mathematics.
> At some point there should be a limit on suing the same entities over and over again for the same infringement

There is, and it is applicable after the first time: as a general rule, a claim on which a final decision has been reached by a court between two parties cannot be relitigated between those parties. That’s the principal of res judicata.
I guess that's true. Whats the end state if Apple refuses to pay?
From my support ticket

>As discussed, we found that your case could be part of a global scale incident wherein multiple Dynamics services were rendered inaccessible due to a suspected Azure DDoS attack. This issue started at approximately 21:30 UTC on 1st April 2021 and, along the symptoms, our customers may experience intermittent issues accessing Microsoft services, including Azure, Dynamics, and Power Automate. On this regard, the Microsoft teams involved have rerouted traffic to separate resilient DNS services and are seeing improvement in service availability. With this confirmation, as agreed, I will proceed to lower the severity of this case and transfer it for an agent working in your time zone to continue following up with you and confirm these services have returned to an expected operational state.
China officially bans CRISPR babies, human clones and animal-human hybrids
see my comment for the parent with _a_ solution =)
UK reports 25 fresh cases of thrombosis associated with the AstraZeneca vaccine
>Turkey was a NATO ally and Soviet support wouldn't have done anything

Soviet support could have switched them from a NATO ally to Soviet aligned, and could have potentially fought off a French and British backed invasion as well.
The plaintiff actually had a solid argument, both regarding the literal wording as well as the intent of the law, and it would be hard to fault a court for taking their interpretation, which the 9th Circuit actually did.

To my mind this is an example of the outcome being dictated by the consequences: by the time it reached SCOTUS it had become much more clear how disruptive a contrary ruling would be. The defendant Facebook's argument was just as reasonable, so of course it made sense to choose it. If this case had come 20+ years ago, the plaintiff very well may have won.

SCOTUS Blog's oral argument analysis provides a good summary showing the reasonableness of the plaintiff's argument: https://www.scotusblog.com/2020/12/argument-analysis-justice... At the time it seemed like the justices were quite open to it.

I think it's a funny case because one could easily imagine Gorsuch or Thomas pontificating in a lengthy dissent about how a Real(TM) textual interpretation demands ruling for the plaintiff. I mean, this case is basically a textualist coin toss, but a dissent will always go to the mat. Fortunately or unfortunately, we don't get to enjoy that this time.
Can you please elaborate?

Personal anecdotes, development experiences that made you feel that way.
10x Genomics | Pleasanton, CA & San Francisco, CA | Remote (US Only) or Onsite

We're a rapidly-growing biotech company that develops software, hardware, and chemistry to accelerate humanity's understanding of biology. Fast Company named us as one of the top 10 most innovative biotech companies of 2021 for bringing single-cell genomics into mainstream science [0].

Our software enables scientists to better understand human health. We make it easy for them to run analyses such as pinpointing the differences between a cancer and normal cell. We utilize Go, React, Typescript, and Electron to create intuitive visualization and web applications. Our data pipelines are primarily written using Numpy/Scipy/Pandas stack, but we're making increasing use of Rust [1].

We've always been remote-friendly and are looking for awesome people at various levels for the following roles: Product Manager, Full-stack Engineer, Backend Engineer, Security Engineer, Embedded Software Engineer, Product Designer, Head of Platform, Engineer in Test, and many more.

You can learn more and see our job listings here: https://www.10xgenomics.com/careers/software. Feel free to contact me directly at kevin.wu@10xgenomics.com with your resume.

We look forward to hearing from you and good luck on your search!

[0]: https://www.fastcompany.com/90600141/biotech-most-innovative...

[1]: https://www.nature.com/articles/d41586-020-03382-2
What I truly don't get is everyone compares piss poor on-prem servers with premium cloud offerings.

Sure, you can screw up on prem. But if you are only marginally competent spinning up services/servers/clusters takes but an instant, it's dirt cheap, and vastly more reliable.

Our only significant outages in the past 10 years have been our services dependent on big clouds. Including the Pre-Thanksgiving AWS one last year.

AWS outage history here https://en.wikipedia.org/wiki/Timeline_of_Amazon_Web_Service...
Integration with Microsofts Stack, 365 offers lots of services, vertical integration can bring lots of benefits.
> Or in your working copy has my authorship info been lost?

Well, none of the text that you originally wrote in the comment you're referencing wasn't preserved on the working copy. And, unless it's quoted, and one could search for when it was introduced by running git log -S"a line from your comment", no one is going to search for it specifically. IOW, the thread moved on :).
Tell me one avenue where employees have complained ? Satyas QnA ? And like you said no one does anything there. You really believe 150k people are all aligned with military contracts ? At Google there are at least 4 company level avenues to raise your voice. You can Google them. And Google has walked back on contracts after backlash on employees. So clearly there is more proactive action here. At Microsoft there is both employees are too meek or don't care and employees can't even voice their concerns. Cycle keeps going on and on.
Why isn't webapp preferred over native app?
As mentioned by https://news.ycombinator.com/item?id=26588480

Webapp nowadays has access to plenty of permissions. In addition, it can be updated freely and automatically.

For native app to update, you need to get Google and Apple to approve your updates and wait for their distribution network to propagate updates.
Time is local to a region though - there isn't any "Solar System Coordinated Time".
It's gone way, way up in dollar terms over that time frame, in a low-inflation economy. Abrams tanks aren't billed by '% of GDP'.

I'm not questioning anyone's morale or dedication, but I AM questioning competence at the top levels when it comes to spending all that money wisely. You can blame 'political footballs' for some of that but there are plenty of failures where the military and their contractors have straight squandered fortunes. And it's not because of "too much democracy", it was after the money was allocated to a purely military-contractor relationship where nobody's voting on anything.
Considering that OpenTTD is a remake and expansion of "Transport Tycoon Deluxe" which was released in 1995, which itself was an expanded and improved version of "Transport Tycoon" which was released in 1993. That's a 28-year lineage now.

Few games still receive updates like that...and maybe OpenCiv which was remake of the 1996 Civ 2 which was a new version of the 1991 Civ. Maybe NetHack which was started in 1987 and a fork of the 1982 game Hack has the record for longevity of continuously-updated game.
I dont think apple is entitled to that information on any basis, and i dont think its a legitimate threat to expose actual ill behaviour
How would price discovery work to "correctly price bugs"

What is a bugs correct price? The price that a bad actor would pay for it?
Posted earlier by one of the creators: https://news.ycombinator.com/item?id=26666142
I cobbled in a spreadsheet, where one page convers numbers to words (10 to Ten) any amount till $1,000,000. No vba. One sheet is database for cheques. One sheet has three pages, each printing a version of cheque on bank cheque leaves. One other prints an electronic cheque. One last one prints complete cheque on blank stock paper.

All of these sheets gets all data from cheque database & bank database.
Mona Lisa with pure CSS in a single div
It's common for international cargo rail to switch out locomotives and re-split wagons according to where they need to go - there's absolutely no need for a single locomotive to handle all the differences accross countries, switching locomotives between (long) electrified and (long) nonelectrified segments is relatively cheap and fast. Track gauge is a different issue, in transit between China and Europe you'd have to switch somewhere, which takes some effort.
I hadn't realized hackernoon wrote parody pieces.
USA stopped being a democracy a long time ago. It is a country run by large corporations and billionaires. If you want to experience well functioning democracies then you need to look at European countries like Norway, Denmark, and Sweden.
So Google should make new app category something like "Very sandboxed app", rather than this.
That has nothing to do with emphasis though.
That's a hot take
In representative democracies with regular elections? They kind of are.
A fast static web server with routing, templating, and security
> How does making Optionals allocated on the stack (value types) prevent this?

Let's not confuse language specification issues with implementation issues. Both value and object types can be allocated on the stack. Both can be allocated on the heap. Both can not be allocated at all and can be scalar replaced. So this isn't the meaningful difference!
Rockwell Automation Retro Encabulator PR
Kensho Technologies | Data Scientists/Engineers across the stack | Full-time/Onsite | (Cambridge/Boston)/NYC/DC

At Kensho, we leverage S&P Global’s world-class data to research, develop, and implement leading AI and machine learning capabilities that drive fact-based, objective decision making. From deep learning speech recognition and transcription to advanced visualizations, entity recognition, state-of-the-art search, and an AI-driven research platform, the Kensho team brings actionable insight and order to complex data. Our products power S&P Global and deliver innovative solutions and capabilities to their clients.

Founded in 2013, Kensho is headquartered in Cambridge, Massachusetts with offices in Washington, D.C. & New York City. In 2018, S&P Global acquired Kensho for $550M, the largest AI acquisition in history to date.

We are currently looking for a • Sr. Software Engineer - APIs • Sr. Back End Engineer • Software Engineer - Data • SRE's • and more!

To see all open positions visit https://www.kensho.com/careers
From one creator to another, intended to be constructive:

* I need to see samples on the homepage (I know what LaTeX is capable of but many don't and it would be nice to see what I'll get)

* I am not signing up just to test it, too much friction.
OpenMW got me and a friend back into Morrowind. It plays really well across most platforms.

OpenMW-CS is also really well done, to the point where we ended up maintaining our own collection of plugins in its new format for ourselves. [0]

[0] https://morromod.netlify.app/
Well Checker framework to check nulls will limit you to Java 11 or earlier, at least until sometime after Java 17 lands. Also it is a constant pain having it guess wrongly about map value nullability based on key provenance which its not really smart enough to track, and it gets some Java api nullabilities wrong which need correcting here or there at annoying times. Better than nothing but nowhere near as good as proper language support IMO.
You can also imagine an executive team trying to shift suspicion towards the whistleblower, who happens to be an individual with intricate knowledge of their cloud infrastructure.
See also: "Words that do Handstands" (2019), where similar tricks are used to hallucinate an ambigram font!

https://news.ycombinator.com/item?id=20820036

http://hardmath123.github.io/ambigrams.html
Don't try to surf the web because you're feeling down. It will only make things worse.

Might be worth a try to talk to your manager. "So I've got these deadlines, but I'm in meetings all morning. Which is more important? Because if I'm in the meetings for four hours, I'm likely to miss the deadlines." If your manager gives you a clear priority, you can either skip the meetings or use them as a "get out of deadline free" card. If your manager says "Just stay late", then put your resume on the street, because it's time to get out. (At least, it's time if it happens very often.)

As others said, take breaks. Look out the window for five minutes, go for a walk, lean back and close your eyes. Don't try to do even the afternoon as one continuous slog.
take a look at taskipy https://github.com/illBeRoy/taskipy as it resembles npm scripts.
Funny, I misread the comment the exact same way. He was not suggesting that “ok” is derived from “poppycock”
Oh man, this is still my favorite game 27 years later.

Chris Sawyer (the original developer) is one of those OG 10x developer. Built an entire game + AI + windowed GUI in Assembly in 1992! Even before Windows 3.11 came out.

I still remembered my first impression back in 1994 distinctly.
I can open 20 different windows in Transport Tycoon and each window follows its own respective vehicle like a drone cam.

The GUI windows themselves can be resized smoothly and piled on top of each other. Something that older version of Windows couldn't do.

Also, the game was fairly small in size and incredibly stable.

I thought to myself, this developer was a mega genius!
TIL apps on Android can see what I have on my device. Is iOS the same way? That is pretty abhorrent. You can tell a lot about a person looking at what apps they have installed.
10.11 is unsupported since September 2018. This is definitely not the only security issue you have.
This thread made my day – thank you so much for sharing!
I’m glad I read it through to this gem:

https://futureboy.us/frinkdocs/#FartJokes
It's so 2003...

For some detailed information about previous round http://www.groklaw.net/staticpages/index.php?page=ProjMonty
Planetists!
It's not _quite_ the same, but I find that Factorio with the Logistics Train Network (LTN) mod leads to an extremely OpenTTD-like experience. Quite fun, though OpenTTD performs far better (not throwing shade at Factorio, it performs great, but somewhere around the 100 SPM mark you'll start to see performance massively drop and I haven't seen anyone able to maintain 60+ fps past 1000 SPM without massively changing the design to optimize around Factorio's performance bottlenecks).
> The current (public) system has evolved to be frugal

Oh no it hasn't.

California averages $12k per student on an annual basis. Illinois averages $15k per student. Both are more than the median for private schools, and in a private school, you're getting a smaller classroom size as well (average of 19 vs 25 students).

Now, this wouldn't be a problem if the results were in-line with costs, but they aren't, not by a country mile -- public schools drastically underperform, and by a wide margin.

I know why, but find that immaterial next to the outcome, which is this weird sort of social Darwinism which sorts students into roughly two buckets: "wealthy with a largely successful peer-group" and "poor with a largely unsuccessful peer-group".
Mostly re-posting from my comment on another discussion of this, but editing and adding a bit:

OK, looking a bit at their filing, their claim is on code written after the sale by Novell.

For those with less-than-perfect memories: AT&T sold UNIX (all of it) to Novell. Novell sold some pieces to the Santa Cruz operation, who sold everything they had of UNIX to Caldera, who became SCO, who went bankrupt and sold off the remaining assets to Xinuos. Code written by AT&T and Novell remained with Novell (this was the topic of the SCO v Novell case). Code written after the sale is the topic of this case.

It is also the topic of the last remaining claim in the SCO v IBM case which, if I understand correctly, has still not been settled, even though the stay on the case has been lifted for just under three years. (If it has finally been terminated, and someone could point me to the resolution, I would be grateful.) I don't know if this is Xinuos claiming that they bought the right to sue when they bought the rest of SCO's assets, or if they don't actually have the right to sue, or if both suits can actually go forward. But the claim seems to be the same: IBM got access to the code through Project Monterrey (and only through that), didn't meet the terms of the agreement, and kept the code anyway.

The only thing new is the claim that IBM's purchase of Red Hat was anticompetitive. I'm not an antitrust expert, but that merger was a year and a half ago, and it seems to me to be a bit late to complain about it. Where was their complaint when the merger was going down? This seems like just throwing more mud at the wall to see if it will stick. "Hey, since we're filing a lawsuit anyway, let's throw this in!" As I said, not an expert (nor any kind of a lawyer), but I suspect that part won't fly.

The other twist is that SCO, in the maneuverings of their case against IBM, either got too clever or too slow to state what the case was actually about, and wound up unable to bring a copyright claim on this issue, and settled for a breach of contract claim (or something like that - it might not technically be breach of contract, but it's in that neighborhood). If I read this correctly, this new case is a copyright case, so it's a technically a bit different from the SCO case.

One nice thing about this case is that Xinuos seems to actually state what the case is about. That was what was so frustrating about SCO - you could never pin down what the case was actually about with any specificity.
How much water is used to produce one DRAM stick?
On an asset that has changed in value 3% or 10% in one day, 1% slippage is pretty tolerable, to me. On an altcoin pair that's fantastic.

Filecoin is listed on over 100 trading pairs across exchanges.

If hitting the tape simultaneously sounds like a contrived rebuttal to you, I guarantee you I could get a quote from three OTC desks that will take $10,000,000 in Filecoin today and wire transfer $9,900,000 in a few hours.
Dry Bean Dataset: Images of 13,611 grains of 7 different registered dry beans
Goal seek does this. It is a built in capability.
Significant life extention will start with slowing the biological clock completely. Someone who is 60 will be like someone who is 30 today. If we do this right this include can er. It's not like cancer is a biological imperative.

I don't see any other way we can achieve life extention.
Wework, Identity and Access Management | San Francisco, CA | Onsite |

WeWork is hiring an engineering manager and a backend software engineer to build and maintain our core services for internal and member products. Hundreds of thousands of members around the world rely on these applications to book spaces at WeWork locations, get support, learn about and gain entry to their building, invite guests, and work efficiently while in our spaces.

https://careers.wework.com/job-search-results/?keyword=Softw...

Tech Stack: Ruby on Rails, Java Spring Boot, Golang
>Nuclear armed countries fighting direct hot wars will be decided in a few hours.

I think it's astounding that people still think nations will just hit the Doomsday Button willy nilly. Low yield tactical nukes were always a part of any response to a Russian invasion of Poland. And they will be again as well, in a hypothetical CCP invasion of Taiwan.
Oh gosh I just watched the YouTube video and laughed until I hurt.
Japan sees another option for China. In today's news:

https://asia.nikkei.com/Politics/20-000-Chinese-residents-on...
It works whether you do that or not though, and the audio quality is reportedly decent or very good.
I agree. Racketfest Amateur Night happened last Friday and Saturday and many cool projects were show cased.
The whole premise of this line of thought is faulty because everybody seems to assume that you're entirely either a door-open person or a door-closed person.

The point is choice. There are door-open and door-closed times of every day. In an open office, there is no choice, it's door-open always, and that sucks.
What are the tradeoffs between MOXIE.

And harvesting ice from mars polar regions to generate O2 via normal electrolysis.

MOXIE seems like a more inefficient and energy intensive process.
Alacritty has this feature too (and much more) with vi mode [0].

0: https://github.com/alacritty/alacritty/blob/master/docs/feat...
Gmail potentially could defeat tracking pixels by loading all linked images regardless of if the user actually opens the email, but they do not.
Is it illegal to sell products with known defects without disclosing them? Don't many products have known defects that aren't fixed or advertised when shipped (presumably because they're not deemed severe enough)?

(Not defending Apple here, just wondering what the laws around this are.)
Just skimming it and it seems cool. What's the max file size?
"Niche" in the sense of one of the hugest industries in the world - Android mobile development.
> It is absolutely not hubris to encourage people to take the vaccine available to them now, rather than wait a month for the one with 90%.

Who is to say it’s a month wait? That’s the issue.
Still, solving upload is likely much easier than solving the thousands of different fatal ailments out there altogether.

These individuals are going to die of some ailment within a few decades regardless of whether breast cancer is cured. Consciousness upload is the only thing that enables a real difference for humanity.
Care to provide any reasons?
Well, that's one way to dodge the "uploaded mind is a copy" problem.
Ask HN: A Teachable, Shopify, Circle in one platform
I was wondering if there's a all in one community platform that combines all of them. I've a client who runs an interesting foundation where they do physical classes, sell physical products and digital courses, do food delivery, allow teachers to sell their courses under their brand, etc.
Because it's not very intuitive to most people that things like zoning, rent control, and laws against gentrification are anti-renter.
It really has almost nothing to do with money, friend. It's about the direction the elite class and folks in government give to the military. Some people in the Pentagon will whine about money, I'll give you that, but the people that are whining about money are not serious about preparing for the next war. Those who are, are busy in the basement working with some engineers on trying to figure out what new technology beats what.
> Apple's behavior has been decreasingly auspicious in places like Russia and China, where they've started preinstalling state-sponsored apps and relocating servers to government-controlled provinces, respectively.

This is a legal requirement to operate the service in China. Apple’s choice is between offering iCloud in China or not offering it at all in China, not between offering it with local servers or with out-of-country servers.
I got curious and looked it up. I found this[0]:

> As the storage miner receives each piece of client data, they place it into a sector. Sectors are the fundamental units of storage in Filecoin, and can contain pieces from multiple deals and clients.

> Next, a process called sealing takes place. During sealing, the sector data is encoded through a sequence of graph and hashing processes to create a unique replica. The encoding process is designed to be slow and computationally heavy, making it difficult to spoof.

[0] https://blog.coinlist.co/deep-dive-into-filecoin/