skysight-inc/HackerNews huggingface dataset:
If everybody does it, absolutely. But, curiously enough, we do actually need more people to hunt deer, because their populations are exploding (since we wiped out the predators that kept them in check, like wolves), while the popularity of hunting is plummeting.

https://blog.nature.org/science/2013/08/22/too-many-deer/
Can I dismiss this outright as highfalutin blabber for using "endocast" instead of "skull" (by which it seems implied that it's the space inside a skull where the brain resides is the object of contention) ?
Unveiling new details for Playstation 5: Hardware Technical Specifications
I wish I could stop using WhatsApp. It's the only FB service I use, and I because everyone else in my life relies on it, I can't just uninstall it and get away with it :(
what about Spirited Away?

4K makes cheaply animated content look cheap. Sometimes that's ok, other times viewers want more.

Another example outside anime is Fantasia 2000 on Disney+. That kind of content requires high fidelity. Disney+ looks and sounds bad and it harms the content.

I think it's fantastic Netflix is doing what they can to make fidelity a competitive advantage for content creators, especially the ones that can't spend as much on it.
Tell HN: Zoom runs application from Time Machine backup when uninstalled on Mac
I noticed something really peculiar this morning when I was invited to a Zoom meeting. I had uninstalled Zoom the night before but when I clicked the Join Meeting link, I was still prompted by the browser to open the zoom.us application. I went ahead and clicked OK to open it and I got the OSX popup: "You're opening the application "zoom.us" for the first time. Are you sure you want to open this application?" (https://imgur.com/nsOV3d5)

I checked my Applications folder and didn't see Zoom there so I clicked the "Show Application" button in the popup and it ended up opening the Applications folder from one of my Time Machine backups with Zoom installed.

I tested this with both Firefox and Chrome with the same results. Now I don't know if this is an OSX specific issue, a browser issue, or a Zoom issue.

Can anyone else confirm the same or similar behavior on Mac? If anyone can also shed some insight about this behavior, it would be much appreciated.
If we are spending billions or trillions on keeping existing companies intact, surely it's because letting them fail and then rebuilding would be more expensive. If it made sense to just start new businesses, then we wouldn't even be trying to save the old ones.
I suppose what I meant to ask is, does anyone have any evidence of this being actually true? If so, how would one specifically mimic a closed lid? In lieu of us doing our own experiments, has anyone discovered the appropriate size/strength magnet, and precisely where it could be placed, or whatever other tactic, to activate this hardware switch?
The Feed: Illusion there is something interesting everyday
I don’t use APFS on the big spinning drives where the pix are. But they definitely are on my iMacs and MacBook ssd’s. Yea Lightroom has a Validate dng feature... of course it locks you into Adobe.
We must have a terrible lack of commercial capacity for such measures to be taken.
There was a thread like this a little over two weeks ago, but things are moving so quickly that perhaps another is ok.

https://news.ycombinator.com/item?id=22618788
If many people at your company have been laid off it might be a good idea to check with a lawyer to see if the company has complied with the requirements to be exempt from WARN act compliance. Here's some relevant analysis from California:

https://www.californiaemploymentlawreport.com/2020/03/govern...
This is an awful "gotcha" straw man. It's not reasonable to expect every person in every response to cover every case. No communication would occur if we held everyone to that bar.

If a person needs a prepared meal they can go to a soup kitchen which is also funded by taxes. Forcing everyone to that model would be really authoritarian. I'd much rather let people get what they want to the extent possible.
...A fact which has only tenuous relevance to a small part of Piketty's argument.

There are critiques of the work that make some reasonable points, but this is not how they start.
> attention to details such as these

Don't a nontrivial amount of people use their macbooks closed in a vertical docking stand? This will require them to use an external microphone.

That said, my experience with similar laptops (XPS 15) has been that closing it just exacerbates the shitty thermal limitations so it's not really practical. Not sure whether this mode of usage is viable on newer macbooks.
Could we create like a hiring thread for floss contribution?
I already asked about this yesterday but since my account is new it got marked as dead.
Argh. Just what I don't need. _More_ things to make me want to play Factorio. The factory must grow....
How to Make a Torus from Villarceau Circles (2015)
You should be able to still use it. Just set `runtime: false` for the dep entry in your `mix.exs` file and only start what you need.
Covid-19 in Iceland – (Beautiful) Statistics
> Hopefully this is one time

> congress won't sell us out.

Uh, didn’t it already happen, again?

Propping up aerospace and banks again with taxpayer money, sending only a fraction (call it a “token”) to SMBs, with near unchecked disbursement powers, seems like they’ve continued on their same general strategy of wealth consolidation.
Was ordered at the end of last year.
Agreed. The meat of the tutorial is the Vulkan aspect. The final render is just scene composition and easily changed.
None of this seems to refute OP's comment.
This is a great article, but as an educational provider it fails to answer one question: Why should I care?

The only concerning thing for me is, why would they lie about using AES-256 when none of my users (and I assume most of their users) would care in any way about AES-256 vs. AES-128 in ECB mode. Why would they lie?

Even after this, having my users conducting university lessons over something that might be decrypted in China is honestly not that big of an issue. I would of course prefer it if these meetings would be private from the PRCs scrutiny but at least in my situation (and I think most educational contexts) this is not really that important.
The grass is always greener. I've been doing embedded for 13 years and it's not peachy. You use C mostly, or C++ that looks like C. You write bootloaders and same drivers over and over. There's constant diagnostics and same arguments - is it SW issue or HW issue? How can we work around HW issue with SW patch? Embedded development is more about engineering than about software development. Memory and space constraints are harder, shipping errors is so much more expensive and you spend about 50% of time in datasheets and schematics.

I see no reason why you couldn't make the switch. It is I think less lucrative than some other branches, and far fewer people apply for embedded position. As long as you demonstrate that you are reliable and interested, you should have no problem getting the position with no previous experience. Of course, this depends on your location. There are far less job offers for remote work, and it would complicate the learning process.
Curious on this food desert thing. Is access to food less than it was 50 years ago? Access to fruits and vegetables during winter/fall months is a new thing since now we have better supply chains and international trade(winter crop is from Mexico).

Its weird to me since i grew up in Saudi Arabia on a compound, a true food desert and lived off powdered milk, ramen, and other non perishable foods we could buy from the commissary store. There is something like 5000 Walmarts in the US that covers 90% of the population. They have fresh vegetables and fruits all year round.
Good thing those flights are frequent, and the passengers are all screened for COVID-19 before departure.
so there is no nice message on eve of this. he could chose not to give this but he did. thats nice of him right ?
I just heard of this a couple weeks ago and almost got bit by it.

I was reading the console.log while debugging some code with the Opera browser and it contained a message warning me they were going to implement it in just a few weeks.

For me it had to do with delivering .js app code from one server that connected to a CouchDB server running on a different vps, so the impact would've resulted in users calling and me having no clue about why things were broken.

I don't know how I missed hearing about it before but the CouchDB team had already done what was needed on their end. Finding out how to implement it was a bit difficult for me though, but I got lucky when someone brought it up on the CouchDB users email list and their message pointed me to what I needed to do. I generally just glance at those emails.

I suppose I ought to bookmark web.dev and make a point to visit it. Thank you for sharing that link dmix.
I cannot replicate this at all. I'm running the latest version on a freshly rebuilt Mac (MacBookPro15,2).
https://en.wikipedia.org/wiki/Villarceau_circles,

Link to the printable pattern is in the description of the YT video
At the moment in Alberta, they are testing about 4K people per day, and only those showing significant or serious symptoms. Even with that filter for serious symptoms, only 2% of tests are positive. Unfortunately, this probably means that most of our flus this season, that we got over, was not us building up immunity to Covid - where I live at least.

I worry about people catching Covid and another flu simultaneously
Could someone who is upvoting this explain why it's newsworthy, either in general or on HN?

I read the article, but I don't know why I should care. The spokesperson's explanation that "A detailed analysis demonstrated conclusively that it would be more cost effective to own the aircraft directly" seems reasonable - all but guaranteed - for a company with as many very expensive employees as Goldman has.
iOS Keyboard Shortcuts in SwiftUI
I don't even know how this is controversial, and yet here we are. You said the Mx word, I guess.
The line for essential is blurry. If I need a keyboard and a monitor to work from home and Amazon won't sell it, I'll unfortunately just go somewhere else, putting a different company's employee at risk.
How does it differ from previous IndieBound efforts?
I'm interested in this for general "eat the rich" reasons
I think the discussion is becoming complicated, but I think my key points are this:

1. One can be apolitical by being socially apathetic towards the influences of other people. This describes myself: I am alabellist and as a general courtesy to other mathematicians (as a group in particular) allow them the benefit of the doubt that they would prefer me to not label them either. This is my approach to Grothendieck: I think it's perfectly consistent to have complicated views on politics, but to still remain apolitical in the sense that you don't try to propagate your views other than their inherent merits. Going to live as a hermit in the mountains is the evidence that I use for this; I haven't heard that he tried to lure other people into the mountains or forced an agenda on other people from his stay there.

2. Mathematicians are often an oppressed group of people, as are all scientists, sometimes become oppressive themselves and often have serious mental health issues or other social risks. For this reason one should approach other mathematicians with empathy. It also suggests to not judge people by their worst, but by their best. For me, the best of Grothendieck is not a political environmental crusader, it is a great mathematician with certain idiosyncratic tendencies for isolation and statements on politics. That does not mean that his actions have a political undertone in the sense that they try to exert influence without permission. Such actions to me are apolitical by nature; Youtubers are not all political, but I would have called them so if we were all forced to watch their channels.
It's visible in both languages these days, since both have exception filters. The difference is that VB had them from the very beginning, and C# only got them 5 years ago in version 6.
Thanks for the great summary. I should've been more clear. I've learned a lot about OBS in the past couple of weeks and it really seems to be the king (for streamers).

I'm already familiar with XMPP but feel Matrix is a much better and more modern successor.

I grew up on IRC but it probably needs a lot of modern security enhancements.
Ask HN: Why can't computer verify Mochizuki's proof of ABC conjecture?
I'm not mathematician, but I remember from my logic classes that proof in mathematics is very well defined: it consists of either axioms or their consequences according to set of inference rules.

I understand that it is very hard for computer to generate such a proof, but shouldn't it be very easy to check if proof is correct?

I've recently read an article about Mochizuki's proof and all the controversy, discussions and lack of understanding by community.

Beside it's huge volume (~600 pages) and huge work necessary to transform it to format understandable by appropriate software - are there any other reasons that prevent automatic verification of that proof?

(for those who don't know what I'm writing about: https://www.quantamagazine.org/titans-of-mathematics-clash-over-epic-proof-of-abc-conjecture-20180920/)
I don't think it is different. At the same time, I wouldn't think most firms accrue as much debt normally as PE firms do when they buy them out.
Agree, but I want to add something: the usability of Zoom is good, even for casual computer users. Strategically, they focussed on what they considered to be the things that would give them sales. Not saying it is good, but it certainly worked for them (at least until now).
>Stated even more bluntly, it is essentially whether you believe customers or assets are most important for business.

No I think the last four words of this quote are the problem.

This needs to be more about humans and less about corporate entities. And I'm not talking socialism here. We just need to move away from economy = listed companies and more towards economy is the aggregate of people's actions.

>These two options for saving the economy: corporate bailout vs social safety net essentially correspond with belief in trickle down vs Keynesian stimulus.

What?

Social safety net: Here is a place to sleep tonight Mr Homeless

Keynesian stim:

>Keynesian fiscal stimulus is a decision by the government to increase government spending financed by government borrowing

Quite a far stretch equating those.
One of my favorite bagel shops is barely making payroll during this shutdown, and only because they are heavily innovating how they keep customers.

They are now offering meal kits, so you get a meal for two to four people in one easy go, they started shipping via USPS, and they are doing local deliveries. They make their own in-house butter, cheese and cream cheese so their kits do fairly well.

They are also increasing what other items they are selling, such as adding bread to their lineup. Which is absolutely fantastic.

But it's still hard for them, with the reduction in people coming in and sitting around they don't get people buying a bunch of coffee or having breakfast and then lunch while chatting. They have had to furlough some of their staff, and I really hope they make it through, because another favorite restaurant of mine is going under, they simply can't afford to keep going, even with a loan that would help pay salaries, there are other contracts and payables due that simply can't be covered with enough loans... loans against what collateral?
It is not the same thing but kind of reminds of my naive and obvious(meaning something that came up when drinking beer) idea of generating bunch of variations of your labeled data in cases when you do not have enough.

Let's say you only have one image of dog, you generate bunch of color variations, sharpness adjustments, flips, transforms, etc.
Voila you have 256 images of the same dog.

EDIT: I noticed that this is definitely a common idea as others have already pointed out.
Because a company doing an RFP with a checklist of features is going to rank them against their competitors, and it would look bad in the spreadsheet.
I think the issue is, a) We reopen early, transmissions rates rise again, we have to go through another shutdown, let's say that's another month and a half. b) We wait an extra two weeks, things reopen, no cascade in transmissions.

In either case, "Wall street" will do fine, in case (a), "Main street" gets extra dead.

(time spans are made up, but the idea that a relapse would be longer I think is solid)
>There was a time when business weren't leveraged to the max and the profit taking during good times was not squeezed to every cent

Can you cite such a time when businesses, especially small, could survive in a competitive market without taking on debt and redirecting profits to the business? Because this hasn't been true ever. Small businesses need every edge they can get to survive, and that means not having gold-laden chests lying around waiting the the 100-yearly plague to come.
I'm pretty happy with my Herman Miller Celle. And it comes in one size only so you don't have to guess anything.
FDIC announces first bank failure of coronavirus crisis
This is a bad point. The difference between using AES-128 and AES-256 from a code standpoint is trivial. The only explanation for this is either gross incompetence or malevolence. Personally I don't use Zoom, nor would I recommend its use for even personal conversation.
Yes, one of the things we need to do to get past all of this is to widely test for antibodies. I am really hoping that comes soon.
No all these companies in need of a bailout are suits without skin in the game. Elon took a big risk with his own money which means you as shareholder of Tesla are shielded from the classic agency problem.

Suits empty the company in good times and when shit hits the fan they put their hands in the air and say "well I did my best".
Oh cool, I didn't know that. Good to learn!
There is uLisp for IoT Arduino, ESP8266 and MicroBit

http://www.ulisp.com/show?3J
Sorry, what’s the connection here?
I lived a mile from this bridge pretty much my whole life, I've never heard it called Sturdy Gertie, it's always just been "the narrows bridge", not "the narrows", "the narrows bridge".

Fun facts, the wreckage of the original bridge is in a couple hundred feet of water, and a bunch of red-orange pacific giant octopuses live in the wreckage as if they were a network of caves. I think I read somewhere that the concrete pedestals that the towers sit upon, are nearly 200' tall. The part you can see above the water is about as tall as the part below it.
You do get to write-off your gambling losses, though.

Not sure why, but there it is: https://turbotax.intuit.com/tax-tips/jobs-and-career/can-you...
More generally, there is a culture of celebrating rule-breaking or even law breaking within the startup community. As long as you get away with it, and make money off it, then it's totally cool...
> Having been working on open banking for the past 12 months

What are you working on?
The Microsoft bashing was better on slashdot though </joke>

I'm still getting used to the idea that Microsoft might not be all evil. It's a weird feeling :)
There are various sprite sets for OpenTTD that provide much higher resolution sprites for everything so that you can zoom further in and everything is still rendered using unscaled sprites. You could probably use one of these on a high DPI screen and use a higher zoom level by default.
I more suspect it is a problem stemming from hiring people who are all new to professional programming. Avoiding these issues means hiring some older, experienced professionals.
I am a "wealth holder" who has been working and saving up to buy a house but still can't afford it. So my money should now be worth even less.
Yes you can construct an IV from other state, though it's not ideal. Another good fit might be modes designed for disk encryption as those are designed for cases where you can't pad (e.g. disk blocks).

There's also AES-GCM-SIV and its relatives which construct the nonce from a MAC of the plaintext and technically do not require a separate IV, though if you don't use one any duplicate message will be obvious.

Those are somewhat more complex but honestly even if you don't get those perfect it's almost definitely better than ECB.
Mortgage Firms Teeter Near Crisis That Regulators Saw Coming
Enter: Snake Calculator
> Saddled with as much debt as possible, the business by design has been put in a position such that it cannot survive even a modest decline in revenue without raising significant additional capital.

I agree, but I think it's important to qualify what you mean when you say the "business can't survive". Because this implies that if a company can't meet its debt obligations that it will cease operations.

As long as operational cash flow is positive, then no amount of leverage or debt distress will halt the continued operations. The business might "fail" in the sense that the entity is legally re-structured and the equity owners, or even junior debt owners, are zeroed. But there's no reason in a country with well-developed bankruptcy law for this to have any impact on the employees, customers or operations of the business.

The issue with coronavirus and failing businesses is that it's causing many businesses to have negative operational cash flow. In this sense the business may fail and the operations discontinued simply because revenue is no longer exceeding expenses. But if the operations are cash flow negative (and capital markets are unwilling to extend financing in the hope of future cash flow) then the business will fail regardless of its capital structure or leverage.
I do love browse with Safari from time to time, but it would not take long for me to notice a site's behaviour being "different" because of it. Use hn.algolia.com as an example, on Safari 13.1, the site currently renders differently to Chrome (black background?) and the time range filter (Past Year/Month etc) text are missing...
Facts do not cease to exist because they are ignored.

- Every PL ranking from RedMonk to TIOBE index indicates that what I'm saying is true;

- Clojure today has more conferences, books, podcasts, jobs and meetups. More than any of other language in its category of languages with strong FP emphasis. It is more popular than Haskell, Elm, Purescript, F#, Elixir, OCaml. Latest JVM survey indicates that it surpassed Scala and has become third most popular JVM language after Java and Kotlin;

- Clojurescript is the most popular alt-js choice (if you don't count Typescript as alt-js). Elm and ReasonML are far less popular;

- If you count by lines of code on Github and Gitlab, Clojure potentially may come second after Emacs Lisp (which is almost four times older than Clojure). Other Lisps wouldn't even be near their numbers.

- And please stop calling it an "improper Lisp." None of the authoritative Lisp scholars have ever indicated this even remotely to be true, in fact many have endorsed Clojure. Clojure can be viewed as a next evolutionary step in development of Lisp. Whether you like it or not, it is slowly spreading wide and beyond JVM (the platform it was initially intended to run on)
Thank you so much Peter. If you have a moment - do you know if any impact to Adjustment of Status applications? I've been waiting for my EAD and Advanced Parole for 4 months. Thanks.
Note that is the easy scenario for a bank failure: they merge with a moderate sized bank and life goes on.
It's being tested right now. How many people are using their newfound quarantine free time to do creative work vs. watching trendy documentaries on Netflix? I have friends collecting unemployment benefits complaining on facebook how bored they are and playing WoW all day.
Getting Serious About Ventilation