skysight-inc/HackerNews huggingface dataset:
Currently it's built around gnat, not looked at the source, but I hope they've built in portability across compilers.
> Various fairly essential libraries maintained by AdaCore are under GPL, so you could not use them for non-GPL software that is distributed.

That's not true, the AdaCore libraries are covered by the Runtime Library Exception of GPL and available on GitHub: https://github.com/adacore

And soon available in the package manager: alire.ada.dev

> The purpose of this Exception is to allow compilation of non-GPL (including proprietary) programs to
use, in this way, the header files and runtime libraries covered by this Exception.
I'm learning about invariants in a relatively introductory cs course and I've been told they end up being relatively useless in actual practice. When have you found them useful?
Describing and Inventing a New Regular Expression Quantifier
Every major webserver supports resume.
Given "and RNA to form hybrid cells" it would be hard to see them unhybridising; would that even be possible once you've mixed up so much? So I read the former where you read the latter, but it needs clarifying doesn't it.
There is so much rubbish being published nowadays, albeit in complacent journals, that nobody pays attention.

Back in 'those' times, academic research was carried out by respected universities/organizations, and should you publish unorthodox things, you would have received serious scrutiny by peers, coworkers, hierarchy. Now you can publish rubbish, typically in niche psychology journals, and nobody will blame you. Everyone is so eager to publish so why not aiming at easy targets.
> The problem is it takes years to learn one tool,

Somewhat. You can't become an expert in a matter of months, but by the same token, my PHP and Java skills didn't get demonstrably better between years 8 and years 9 of experience.

Other things outside the language got better. One was my ability to understand problems and potential solutions (from both technical and business/operations perspectives). Another was the ecosystems around those languages. Best practices, documentation and tooling all evolved to deal with new needs, new hardware, etc. The ability to adapt to those changes and understand the role of the core language/tech in addressing problems is key. Figuring out which new tools (or language features, perhaps) will bring the most value to you and your projects is as much as a skill as learning the language itself - you'll never know every single aspect of everything, so learn to accept that.
Simple solution:

Donald Trump puts his money where is mouth is, pardons him and repatriates him.
When was that? For a company I know who tried to use Ada a while back, that 5K was too expensive even then.
Gitlab reducing free tier CI/CD minutes from 2000 to 400 minutes
This is exactly what I do too.

I've mentioned before on here; it did come back to bite me once when I had to ring my insurance company and confirm that my mother's maiden name was... er... "Hitler"!
There is nothing truly infinite about human brains - while we don't know how to express it, unless you believe in non-physical minds, there will be physical limits to what the mind can do.

In fact, if the mind color space were actually infinite, it would be essentially impossible that any two organisms would share color perceptions, while in reality we share even the impossible colors.
AIUI, it used to be £5k per seat here.
Creme Puff (Cat)
These are war crimes. Someone convicted of torture in the way that CIA officials have authorized could be sentenced to life imprisonment. The only problem is that the US is not a party to the ICC (probably because so many power holders are guilty of war crimes), so we do not pursue war crime trials.

I would like to see a concerted effort to document these crimes, issue warrants for arrest, and have customs officials in all ICC-party states ready to flag and arrest any suspected war criminal, in order to extradite for ICC trial. Some countries do this already but we need all of the ICC-party states to do it.

And yes, I get that they would likely just never travel to countries where they may be arrested. But for the powerful, that in itself is a punishment. They may not serve prison time, but we can take away their European vacations.
> Hauser says the acquisition would allow Nvidia to swipe “the microprocessor crown from Intel”, and become the chip supplier for 95 per cent of mobile phones, 90 per cent of embedded controllers for the internet of things, as well as taking the PC and data centre markets.

Is it a possibility that an acquisition by Nvidia will be blocked due to anti-trust reasons? Who is the authority who has to decide on that? Is it the UK cause ARM is a UK company? Or Japan because SoftBank is the largest shareholder?
No, it sounds like a rogue IC agency. The textbook definition of fascism doesn’t apply here. This word keeps appearing on HN without any reasoning
Show HN: I Build a Alternative CLI for K8s Sealed Secrets Inspired by SOPS
The IP of the machine requesting the certificate is recorded by Let's Encrypt, but it is not (ordinarily) made public and certainly isn't (as you can see by inspecting it for yourself) saved with the certificate information.

ISRG is required to keep enough information about the issuances they make to allow them to usefully diagnose problems after the fact. Ideally when we discover a problem it will be possible for the issuer to go back and figure out which (if any) previously issued certificates were affected so that these certificates can be revoked if appropriate.

But although they had at one point planned to publish more of this information, they do not in fact do this routinely.
Yes, same issue
Canva | Full-time senior hires | Sydney | Permanent, Onsite, VISA, Relocation post COVID. https://about.canva.com/careers/
We're taking on the world of design and content creation with a product loved by millions around the world. If you're a founder have a look at the tool.

Recruiting across the business - including Frontend, Backend and Fullstack Engineering, UX Design, Digital Design, Product Management, Growth, Data Science and more.

Engineering stacks: Backend = scalable Java services, Frontend = React + TypeScript, iOS = Swift, Android = Java & Kotlin, Data = Python.

Feel free to ping me on crowe[@]Canva[.]com for a referral, any questions on what life here is like, and the cool things we're doing.

Permanent & onsite roles only, initially remote opportunities, full relocation provided post COVID.
How Advertisers Manipulate Consumers into Buying Computers
If you have a VR headset, I recommend playing around with showing different colors to either eye. You can get some really nice iridescent effects, very hard to achieve in real life and impossible on flat screen (well, you can cheat a bit by doing a cross-eye 3D image). Be sure to try both complementary and analogous colours and put iridescent objects into ordinarily looking environment, if you simply change colour balance on one eye camera the effect will be too unpleasant.
OpenAI but with propietary code... They don't deserve that name
An amusing anecdote from someone on the other side of this story...

A friend of mine has first@fullname.co.uk, and he's forever getting email intended for first@fullname.com (who is someone entirely different, also in the UK, and works in the military).

One day my friend books a flight and accidentally uses first@fullname.com. He doesn't realise anything is wrong as the flight still shows up in the app. However, the owner of first@fullname.com also sees the flight confirmation and thinks there's some identity fraud going on, so phones it in to the police. So my friend gets to the airport and scans his passport at the boarding gate, but is met with a big red exclamation mark. Next thing he knows, he's flanked by two armed officers who take him away for questioning for an hour!

After working out the mix-up, my friend sent a note to first@fullname.com thanking them for the welcome committee.
That couldn't have worked out better, and was a nice thing for you and your wife to have done.
Snowden is critical of Russia, this comes up in every interview he gives
Thank you for a great comment!, the crisp context is a good gateway for further reading.

Could I ask you for any hints about where/how to learn more? And/or if there's a way to follow your work online?
> for IP I dont think lets encrypt logging the ip address publicly (let me know if I wrong about it), since I use dns-01 I can generate SSL from anywhere.

Yes, if you override DNS (or just provide it) internally then the IP is hidden. The hostname is still leaked though - for example Geodynamics limited have server names of the format fvdcsev01 and fvdccit03 -- https://crt.sh/?id=2381703940
Do users really care about cross platform (as in Windows, OS X, Linux, not Desktop/mobile) consistency?

I believe a lot of the appeal of electron is that e.g. Linux users gets a version at all, which they wouldn't for plenty of products if it would have to be custom built. Most users don't constantly switch the OS platform, consistency across OSes is of little importance to them.
Top Xkcd comics for Linux and Unix fans
Wouldn't you want to run tests in multiple orientations to cancel Earth fields anyway? Similar to how you would run a Michaelson-Morley interferometer experiment.
> 2. some frontends objected to the third level of my domain part, accepting third levels only in such cases as the well know. ".co.uk" for example

This is actually not such a rare edge case. My university, for example, uses <name>@students.<university>.de . So there's really not much excuse for not handling this.
LFS and buildroot taught me a lot about how linux is build from scratch. A very valuable learning experience. Thanks to both projects for their work.
Which guy?
Quatico.com |Senior Software Engineer (Java), Fullstack, Frontend (React) | Zurich, Switzerland | SALARY: 90k-130k CHF | ONSITE | Swiss or EU member-states passport-holders only

We are a 20-person team building tailored web apps with heavy number crunching on the server. Our products are analyzing the weather data in Switzerland, running the trading dashboards of small private banks and do much more.

Our interview process:

1) Phone screen with our CTO

2) Two sessions of remote pair-programming with our engineers (no algorithmic questions but reasonable pair-programming tasks).

3) Onsite half a day with us.

We'd like to hear from you:

iwan.gulenko@quatico.com (Please use "HN Sept" in the subject line to help us filter out spam)
Show HN: A shorter way to write your basic CRUD controller actions in Laravel
My email account got 'hacked' by the Chinese (not really hacked, just reused the same password). From there they broke into multiple other accounts by password recovery. I got control of the account back. But few years later, someone used my email to register at some Singaporean university. Since then I keep receiving emails from multiple departments telling me about exams and my lack of attendance.
Cloudfair is anothers solution i think.
I think people just need to realise that depression is going to come from when the stressors in our environment overwhelm our ability to cope. It's not just something that arises from out of nowhere for most people. For instance I bet a great swathe of the unemployed would not be depressed if they had a job.

Sounds like you were able to adapt and start doing things that would reduce your stressors.

However I don't think its a 100% correct to equate therapy with medication. If you visited a clinical psychologist they would have probably worked on increasing your awareness of stressors, thoughts and how to increase your ability to cope with them.

Edit: And I just realised you may not have actually had a disorder of any type. A psychologist would have been able to assess you and see if you were just in an acute situation or not.
I think you word you’re looking for is educated. Small but significant difference.
That's one difference about Russian and American citizens -- the Russians have pretty much accepted this, and reserve all anti government talk to private conversations or avoid it altogether, while Americans are generally in denial or just ignorant about it.
1) A lot of manipulation happens outside of ads. For example, fake news sites being shared widely or private groups spreading anti-vaxx propaganda.

2) Most of the people being manipulated haven't been children for decades. Educating children better is already happening, especially as children grow up knowing that you can't believe what you read on the Web.
This is impressive. It launches and runs in Windows 10 - can not not figure out how to use it thought :O
Stylight | Full Stack Engineer - Python/JS | Munich, Germany | Onsite | Relocation + Visa Assistance

Stylight is Europe’s leading search engine for fashion & design available in 16 countries worldwide. The team behind Stylight are 100 style geeks and tech professionals, a data-driven lifestyle force, coming from 25 nations all around the globe (company language is English). Also we love to be deeply involved in the local tech community, hosting meet ups in our amazing office on a weekly base. Together with Bits & Bretzels we organize daho.am, our own annual developer conference. As we appreciate Learning & Growing very much, we’ll give you a personal development budget to go to conferences, buy books, etc. We are looking for engineers who want to make an impact, having experience e.g. in Javascript, Python, Java, AWS, etc.

Check out our Jobs Page: http://jobs.stylight.com/Jobs/ Tech Blog: https://tech.stylight.com/

https://about.stylight.com/full-stack-engineer-python-js-d-f...

https://stylight-jobs.personio.de/job/227369?_pc=8639#apply

We're looking forward to meeting you! :)
> 425 24351073 Most favorited Hacker News posts of all time

Interesting that a post about most favorited Hacker News posts is itself one of the most favorited Hacker News posts.
The SMTPUTF8 RFC to support non-ASCII local parts is from February 2012 and thus fairly new [1]. Postfix supports it since July 2014 [2] and to the best of my knowledge Dovecot still does not yet support SMTPUTF8 for LMTP.

Personally I did not enable SMTPUTF8 support in my Postfix due to the lack of Dovecot support.

[1] https://tools.ietf.org/html/rfc6531
[2] http://www.postfix.org/SMTPUTF8_README.html
Why is the parallax so crazy?

What is the behind/top?
Between the htop author's gracious response to his project having been forked, and now this, the internet has made me feel better about humanity twice in one week. That cover of Jolene is magnificent. This is how you keep old music alive!
I wonder if the people at Hey thought about this, and what the experience is like for their users that are getting destroyed by spam like this, or will be like.
Mighty: Making Chrome faster and lighter by streaming it from the cloud
Would be curious on any Brits' opinions on if this (failure to support revolutionary technology) happens more there, and if so then why.

Recognize biases of hindsight, but it seems like private equity markets in Britain aren't interested in technology at the requisite scale.

There's an incredible historical tradition [1], but the majority tend to be either developed with the help of a (1) few angel investors (and the luck and smaller scale that entails) or (2) government contracts (and the politics that entails).

[1] https://en.m.wikipedia.org/wiki/List_of_British_innovations_...
USB connectors have a terrible plug/unplug lifespan.. I have a few computers where the USB ports can't be used because they have been unplugged too often.

Might just be USB-A, I haven't looked at the other specs
It shrinks spreads saving investors money. It increases liquidity for smaller orders at least (good for retail investors).

There are complex reasons why improving price discovery and price harmony between markets is good for the wider economy but they're a bit more hand-wavey...
US Navy vessels named after women – USS Hopper
Was thinking about this in reference to yesterday's post of the Grace Hopper nanosecond video, couldn't think of another US Naval vessel named for a woman, and found this -- which is quite a trip down memory lane for an old Navy guy.

Only four modern combatant craft built -- USS Higbee from WWII (and now a newly planned DDG with the same name) named for a Navy nurse who was awarded the Navy Cross, USS Roosevelt (Eleanor Roosevelt is listed as one of the people it was named after), USS Gabrielle Giffords and USS Hopper from 1996, currently in service.

So technically the Navy only has had two modern combatant craft named after female Sailors, one not yet in service, and one of them named for Commodore Hopper.

https://en.wikipedia.org/wiki/USS_Hopper
Here's the rules and regulations: https://www.bmas.de/DE/Themen/Arbeitsmarkt/Infos-fuer-Asylsu... TL;DR: At least 3 month in the best case, never in the worst case. Many cases require explicit permission from the authorities. Even if you're allowed to work before your application has been approved, you still face the problem that your refugee application might not be approved. Few employers will risk investing substantial amounts of education into a person with such a risky status. Once you have a permanent residence status things get easier.

Generally, a major problem is that practically no education that refugees may have is recognized in Germany. So even if the person is a doctor, baker or whatever, even if they speak proper German, they're not permitted to work in the job that they're educated for - so even if there's a lack of qualified workers on one side and qualified workers on the other side, you'd still need to go through at least large chunks of the education. My wife who has a full teacher education from a neighboring european country (ECTS credits and all) still had to go back to university before being allowed to teach in Germany. There's also language barriers (obviously)

It's also the case that in 2018 43% of the refugees had a job - that's certainly less than everyone would have wished for, but it's not as if all refugees are out of work.

Since you cited the case of having to import foreign workers for field/harvest work: That's something that the farmers prefer. The imported workers are unorganized, often speak no German and have little to no knowledge of their rights. They're kept in containers under the farmers control. They're easy to exploit in ways that people with even the least bit of local support network are not. They'd not take natural Germans either if they applied.
I'm thinking misinformation on social media is just something we're going to have to learn and live with. Its like advertising, my grandparents believed when some infomercial says this product will make your life better where younger generations know its junk. Pretty soon people will be equally skeptical of random things on social media soon.
They are starting to:

https://www.adacore.com/press/adacore-enhances-security-crit...

https://www.adacore.com/press/iso-26262

https://www.adacore.com/press/jtekt-spark-pro-automotive

https://www.adacore.com/press/denso-spark-automotive-researc...

https://www.adacore.com/press/adacore-tools-streamline-devel...
I think these two sentences are different: it's analogous to treating a symptom vs treating an underlying condition.
Which is why I would have thought SoftBank selling ARM to Huawei would be an absolutely perfect strategic move.
I believe Pinterest use machine learning to generate labels for images for SEO purposes, which I imagine has an enormous impact.
They glide for most of the flight.
You know, Snowden has recently wrote and published something of an autobiography called "Permanent Record". You don't need to think or guess, he explained his motivations, thoughts and feelings fairly well there, and they don't quite align with your comment.
Thanks for the detailed dive into this! I found it really interesting.

> The bigger concern here is not sample size, it's whether the sampling was random

This confuses me a little. Aren't both of those things pretty important? To go back to your first sentence, a sample size of one could be perfectly random, but it will be pretty useless at telling us anything interesting about the population. Obviously that's a silly case, but what about 10 people? 100? I would venture to guess that a random sample of 100 out of 80,000 people would be unlikely to tell you anything useful about those 80,000 people, at least not without a margin of error much higher than the effect being measured. So that suggests to me that sample size is pretty important too.

> If we discovered that, say, every person above 40 hours a week wanted to be an employee and every person below wanted to be a contractor, it'd be an error to present a weighted average of the groups versus exploring policy solutions that reflect that heterogeneity.

That's a really good point. It's possible, and likely, that any single chosen classification is going to make a lot of people unhappy. Better might be to develop new rules and classes that fit the situation and different drivers' needs better.
Onion has 9.3g carbs per 100g [1]. I add few small slices, no more than 1/4 average onion, so that ~30g of onion and 3g of carbs. Absolutely meaningless. I add that just for the taste and it is an amount that does not have any serious effect. I ate small but significant amount of nuts before, but not now so that's also not a factor now.

You may consider that 99% carnivore diet and that's absolutely ok. Another thing is that carnivore diet is not vegan-like in its choice of food products. It's all about health benefits and adding minimal amounts of vegetables that someone has no problem with isn't a big deal.

On carbs on carnivore: Honey is also considered as an animal product by most carnivore people and it has a lot of carbs obviosly.

[1] https://nutritiondata.self.com/facts/vegetables-and-vegetabl...
What they really need is someone to tell them to add less than they probably need, then taste, add more, taste, add more, and expect to over-season and under-season some dishes as they get experience. Salt quantities in recipes have to be short, sometimes way short, so you're stuck learning the process with or without the quantities. I've never seen this explained in a cookbook, at least not in a way that made an impression on me.

Edit: A piece of advice that has stuck with me for a long time, long after I forgot where it came from, is it's a mistake to look for the state in between "not salty enough" and "too salty." That state doesn't really exist, especially when you're feeling nervous! Instead you should look for the overlap where you can perceive the dish as alternately "not salty enough" and "too salty," like that ambiguous drawing that your brain can resolve to either an old woman or a young woman[0]. That advice really works for me, but my wife, who seasons like a pro, thinks it's nonsense, which I think illustrates how subjective the process is and how it isn't information you can impart but rather experience you have to guide someone toward.

[0] https://en.wikipedia.org/wiki/My_Wife_and_My_Mother-in-Law#/...
I also did it 20 years ago, but I got a lot more out of it. As each piece went in, I looked at it and what it did, and understood it as part of the whole that was built at the end.

If you don't do it reflectively, and simply copy and paste command lines, then I agree, you're not going to get anything out of it.

As it was, I had to debug a few build issues here and there, with version drift; that too was educational.

The biggest thing to come out of it for me, apart from understanding the Linux boot process better and a greater appreciation for chroot, was getting comfortable with ./configure [options] && make && make install for installing software from source.
How does Lorentz invariance guarantees that no conservation law is broken?
Presumably the best way to determine animal welfare would be to not eat them in the first place?
This is great! Nice work. I would add one feature request which is the ability to monitor from multiple locations. Otherwise it's a SPOF and you'll never receive a notification if your whole cluster is down.