skysight-inc/HackerNews huggingface dataset:
Nice.

However, I see that it doesn't have the plane which I usually made as a child.

As an aside, I was a wannabe pilot who never went to flight school. I love aircrafts, and I love long haul flights (I never got tired from the multiple 15+ hour India<->America flights I took).

In India to become a pilot you had to learn math and physics in high-school, and at my highschool, you could either take Math-Physics-Chemistry-Biology, or Math-Physics-Chemistry-ComputerScience.

Computer Science (CS) meant they taught you coding, Boolean algebra (incl. Karnaugh Maps), history of CS and the internet, and we eventually moved onto OOP.

I'm terrible at Biology, so I choose the latter option. I found I liked CS, and now here I am :)

Though I never went to flight school, even today I'm still passionate about it. I follow these youtubers — Mentour Pilot, Captain Joe, Kelsey (74gear), and Dutch Pilot Girl.

And I closely follow the aircraft models and the industry in general. I can tell what model an aircraft is just by looking at it.

I sometimes have those what if moments.

It's like the great American poet Robert Frost's The Road Not Taken, except I took the well travelled road.
Production impact: if you can replace:

if (a == 10)

With

if (true)

Then you're not testing the behavior of your application. If in production `a != 10` and you've never tested that it might be a problem.

Mutation testing can also do stuff like removing entire statements, etc.
And even Abel and Galois completed their most important work near the end of their lives.
DNS Response Size
No argument there. Please feel free to offer an alternative way of saying it, and accept my apologies. I'm about to head to bed.

I sincerely appreciate you calling me out and holding me accountable.

Edit: the better word would have been "narcissist". I've edited the original comment to reflect this.
Looks at date, notes it's 2022. Remind me in 2040.
One bookmark opens one account, the other opens the other account. I use an extension to match URLs to containers. So it's possible to have bookmarks "gmail [work]" and "gmail [personal]" that open in the right container, already authenticated.
As much as I like Mermaid or PlantUML (more familiar with the last one), how is it YAML or YAML-like?
Yep, I get the same. My Gmail is a simple first initial + surname, and I've received payslips, job offers and, most entertainingly, invitations to speak at a neurosurgery conference in Brazil.
The sad part is that the phenols are beneficial for physical, mental and microbiotic health.
Too mediocre to type "deobsfucate" into Google? The first result is a deobsfucator.

https://deobfuscate.io/
What I came to say. Reading the first line I figured this is an Indian ;)
> I am not sure how big of a problem this is in the US/North America

It is, at least in startups. At one startup I worked at, the entire engineering team in the US was Indian. At another one, my counterpart team in the US was almost entirely Chinese. IMHO though, even if the manager/lead doesn't do this intentionally, once there is a "critical mass" of one ethnicity, people of different ethnicities may hesitate to join the team.

I was not in as bad a situation as OP though as we still used to conduct our meetings in a common language (English) only.
Coming back from maternity leave and learning from incidents
Considering that the recently deceased PM Abe Shinzo was well known genocide denialist, who additionally denied the existence of systematic sexual slavery of the Korean population, the answer is probably 'no'
> My codebase(s) already has a standard formatter / package manager / whatever; what do I get by changing?)

I guess you don't get much for yourself, but you get closer to some form of community standard. This ultimately helps your codebase "grow" when you need help from, or need to hire, other people. Other people that know those standards.
I think that you are missing the point...

You should be enjoying coffee - pure and simple joy of the moment - instead of focusing on the technicalities of making your brew ... The marginal gain of weighting, expensive grinders etc. is not worth it.
They made cool stuff but with a complete disregard for a lot of what the rest of the industry has been up to and as a result have and are trying to reinvent wheels they are under-qualified to reinvent. The display server is dope but they don't need to be trying to design a new paradigm of distributed compute in their networking layer, they got beat to that faster and better by other products.
It’s not that we can’t eat it, it’s that in a paleolithic setting we would not have been able to eat banana every day.
Yes, if anything it's over-appreciated in public consciousness.

The Russian revolution and the Great Depression were also crucially important events that explain the rise of the Nazis.
It's changing with the push to Peru and AWS native pipelines. I left last year, but I was very excited to see Peru launch. Oh, and also for LPT to be replaced by CDK.
No, there are many teams on different tooling, like Echo device code that doesn't conform to usual web code workflows of Apollo, Brazil, etc.
Tunneling is tech that goes back thousands of years. The ancient Egyptians cut many miles through bedrock with primitive tools. Musk failing at tunneling, thus, says a lot.

Success with rockets I have to attribute to lucky hires.
You gotta get outside the Portland metro area. Then you'll find normal coffee.
I tell people that losing weight is reverse Pareto. The last 20% of the work is worth 80% of the results.
I'm an ex-Googler too. These days I use bing.
That just makes the bear look even more intimidating.
> but it's very hard to see the change in a mirror unless other people tell me

Losing 110 lbs is going to be very obvious even on someone with a very large frame, but, your perspective may be highly warped preventing you from seeing the weight loss. It might be worth talking to a professional trained in body image issues.

Edit: Oh, and I should say congratulations! That is awesome progress!
Corporate interests.

https://en.wikipedia.org/wiki/United_Fruit_Company
Were you not getting sick before Covid? Lucky you, I got colds a couple times a year, even more often after my kids started attending school. Covid is just another cold for me, why should I care?
I stand partially corrected! Didn’t realize they were acquired but they are still using pocket for revenue.

In fact, this little nugget supports my original post: “the commercial arm of Firefox's non-profit development group”
That has to do with the backing number type in Excel being an double precision float not what the display convention of the value is.
Putin signs law prohibiting crypto payments in Russia
I have a domain I've used pretty much just for email for the past 25 years. The domain is similar in a kinda h4cker l33tsp34k way to the name of a SaaS that started up about 8 years ago and offers a free trial. Now I get multiple emails a day due to people being clever and using their made up name @ my domain for their test accounts.

It was hard to filter it at first since people kept exploring areas of the trial that generated novel message templates and the messages seemed to come from an endless supply of unique hosts.

At one point I contacted the SaaS company about it but they told me there was "nothing they could do" even when I promised I was the only user at that domain and I had no intent to sign up to their service with it.

I used to just log into their trial and delete the account, but while trying to automate this I figured out a better way to do my filters so the emails don't really bug me anymore (except in the cases when someone picks an alias I already have in use).
Sam is attracted to men. Is Sam gay or straight? Or can you not answer that question without knowing Sam's gender?

The sexual orientation categories we generally use only exist as a pair of the person's own gender and the gender to which they are attracted. Therefore discrimination based on sexual orientation is inherently discrimination based on sex (really gender, but the law typically uses sex) because a change in sex would change their orientation.
> It's the BAT idea in particular that I don't like though. It's just a new, more indirect, payment scheme for advertisers.

The advertising monetization model can't be stopped dead in its tracks. The fact is that it's the simplest way for content providers to generate revenue, and that won't change overnight. What BAT is attempting to do is establish a market between content consumers and providers. The BAT wallet is funded either by attention, i.e. consuming ads, or by directly purchasing BAT. In that sense, the advertising middle-man could eventually be removed from the transaction.

Note that I don't use Brave, nor particularly care about the company, but BAT is the best idea that works in practice to overcome the ad business model. It should be celebrated for that, and we need more such projects. We also need them to be friendly for content providers to integrate in order to boost adoption.
It's not a life changing amount of money, and if someone makes a huge finding they will still get tons of recognition and other forms of monetary compensation too. It's not like it's all or nothing.
What leading expeditions taught me about incident management
Or in Germany, it's sometimes called "Lattenzaun" (lattice fence)
We're not talking about "rude to customers" type assholery in facebook's case.

https://www.lawfareblog.com/facebooks-role-genocide-myanmar-...
That's the 'C' code in PIL, but not including mandatory things like libjpeg or optional things like libtiff, libwebp, etc. Libjpeg itself is ~30k lines of C.
Hi Mike! :-) Thanks for the kind words.

I don't know much about atmospheric science, but the canonical "real" example of Bayesian reasoning is a diagnostic test for some disease, where you are told that X% of the population has the disease, where X is typically a small number, so the "surprising" result is that your odds of having the disease are low even if you test positive and the test is generally accurate. The problem is: how can you possibly know what percentage of the population has the disease? To determine that you'd need a reliable test, but there is no such test. That's the whole point! If there were a 100% reliable test you wouldn't need to do any math.
I've heard the "huge performance boost" argument before, and in my experience it's often kinda marginal, or even negative because the native build tools have been optimized for their specific task. (Sure, I'll give you that it's better than Make, but is it faster than the Go compiler?)

I wasn't familiar with EngFlow; it looks like it's a startup that raised seed funding less than a year ago. I think what you're referencing with "Google RBE" is a Google Cloud project now rebranded to "Cloud Builds" — which supports the underlying native tools like npm, pip, etc without requiring you to switch to Bazel.

Bazel is better than Make for building large C/C++ projects (although it's hardly the only game in town for "better than Make"). But aside from that use case, in my experience it's not really worth the hassle. You can get most of the benefits you want without using it, and people are already going to be familiar with the tools native to the ecosystems they work in like pip, npm, etc.
Forgive my ignorance but why does local roast matter?
There is one, a big and huge one. Don't worry, you will find out on your next electricity invoice that gas is used to produce electricity and by letting nuclear power plants run a little bit longer, we could save huge amounts of gas.
> argument about how it lead to wokeness.

Ok, so there was no point in responding to you.
Get a PPL if you really want to fly. It is much more accessible and you can make your dream come true.
It's also 80% of the effort.
Community Coffee makes an excellent instant.
> initial vaccine trials are not performed against menstruation age (aka likely to become pregnant) women

that's false.
I find wine to have more of an elitist twinge vs whisk(e)y - bourbon especially. I don’t think a fifth of Wild Turkey 101 is particularly elitist.
If you mean a basic calculator in the URL bar, Firefox has that too (also a simple units converter) but off by default. They do that because people use search engines for that kind of stuff. The implementation (at least the Firefox one) is quite simple.

browser.urlbar.suggest.calculator

browser.urlbar.unitConversion.enabled
Crash – A real-time creative coding environment for robot arms
This looks nice. Personally, I use vimwiki as a personal desktop wiki. But it would be nice to have a better mobile client.
Ah yes, the really really hard-to-get-to nuclear power. Always good to make things sporting.
>PB Swiss center punch with tungsten carbide point for hard metals

I feel like anyone drilling stuff that's harder than 40 HRC, or worse yet, 40+ HRC stainless steel; will be worrying more about bit choice or feeds and speeds than choice of center punch.
I would say, medium roast is difficult to get right, too often, the inside part of the bean is like charcoal. Dark roast is plainly bad, when I see really shinny beans, I know it'll be awful. I rather have robusta blend then a dark roast or badly roast medium.
Popular culture mis-informs a lot of things. Look at how people understand 'Turing Test' -benedict cumberbatch did an awesome job of being AT. Does that mean everyone understands the turing test? No.

So blame Russell Crowe for mis-understanding of the fields medal.
https://mobile.twitter.com/luismbat/status/13611279484016148...

Grabbed a relevant reference from Wikipedia: https://archive.ph/tL5oD

Perelman solved the Soul Conjecture. Then he wanted a tenured/research-only position, but Princeton only offered a tenure track job, so he declined. And then he took a (research-only) job elsewhere (in Russia), which gave him requisite time/space to prove the Poincare conjecture. So Princeton would have benefited from giving him tenure when he asked for it.
That what he wrote was written after he knew from personal experience the reality of Communism, which converted him from a supporter of Communism into an opponent of it.
Would be cool to see two comparison pictures (no head needed). 110lbs is a fantastic result, I wonder if it’s hard to see for you because it was a gradual change?
Yeah, for me "Uber" is shorthand for an unethical, poorly run company. Takes me a while to work out what the OP meant to convey in each case.
Depends on which Make we are talking about, commercial Make tooling like ClearMake certainly can do it, since the late 1990's.
Here at croit.io everyone instantly switches to english as soon as a non native language speaker is joining a chat. There is active inclusion and not exclusion. However I would say it's totally OK and understandable that if they are alone, they speak their mother language for more efficient conversations.
A bit? "A lot" clickbait :-D
depends on your starting too. 110 lbs will not look like that much if you started at 400 vs 230
Obnoxiously, the vast majority of mind mapping SW is subware crap, which is a totally inappropriate model for document creation SW.

I'm on Mac and ended up getting Writemapper as the pricing was reasonable and it had export to word functionality. Unfortunately, it is very mouse heavy.
Their ability to succeed is given a boost by newfangled math frameworks like the one CA is trying to ram through (public comment be damned).
In Europe we don't really have such variety of roaster in the cheap... So modded popcorn roaster, considering the current way u roast, I am unsure if modding was needed... So $20 for 80-90gr roaster
I think this is an under-rated side of the entire process. Things like "jenny craig" waitloss work because of the huge psychological investment and support, the managed dieting is in some ways, the side issue that goes with a collossal amount of CBT.

Bariatric surgery is fantastic, but I know people who learned how to eat "around" it and the net effect was to undermine the "win" -If the same $ went into the psychology of food, into support, into dietary interventions AND exercise AND mental health, as went into the surgery, I wonder if that would have been true?

And then in the end, you have self-ideation, how you look at yourself in the mirror. Maybe others see change you can't see or maybe you see change you do not see in the reaction(s) from others. Its hard.
> Ok, so there was no point in responding to you.

Maybe, as your comment had little content (except showing contempt). But there might be a point in reading Hanania's argument: https://richardhanania.substack.com/p/woke-institutions-is-j...
> waiting 15 minutes for my morning caffeine fix

I can prepare a homemade cappuccino in 5 minutes - with milk froth, from freshly ground beans, using an improved version of the classic Moka Express. While i empty and clean the pot, the water is boiled in an electric water cooker and the beans are ground. Then the milk goes in the frother. Hot water and beans go in the pot which goes on the stove. Froth into cups, a quick rinse of the frother and then the coffee is already ready to be poured.

The quality is not that of an espresso made with a high-pressure espresso machine but it's still pretty good.
Fellow Blackadder lover here. Agree that the first season was not that great compared to the subsequent seasons. The big change was a smaller budget (indoor shoots only) and bringing in Ben Elton as a writer. Also of course the Blackadder character was revamped from village idiot to Machiavellian antihero. It's a shame that most people recognise Rowan Atkinson for only the former kind of role.
Don't know why you were downvoted. Induced seismicity is indeed a real issue with this form of geothermal energy, with prominent events in South Korea and Switzerland.
I am very surprised at the article as the Fields medal has always been promoted as such: encouraging promising young mathematical talents.

I am even more surprised that,of all places, here on HN I get to be the first to comment that.

How did the general audience get such a poor perception of the medal? Is it scientific communication gone wrong?
As a mere spectator, I am aware that a lot of work may be required to make this work at scale and it’s possible that this research/approach stalls due to unknowns or some long pole. But readings like this give us all a hope that there is a better world possible!
> It is pretty interesting question, but I am still missing the answer for it!

In a very literal sense, the answer is trivially yes, because the compiler can be forced to generate any instruction sequence in an inline assembly block.

But assuming that isn't what you mean, there are plenty of instructions that the compiler will never emit when compiling CPU-independent C code (i.e. no inline assembly or CPU-specific compiler intrinsics). These fall into a few general categories:

1) Privileged instructions, like IN/OUT, WAIT, or SGDT. These instructions aren't even usable outside the kernel, and there's no way to represent their effects in pure C anyway.

2) Instructions which interact with specific hardware capabilities of the CPU, like the AES/SHA instructions, CPUID, RDTSC, or PREFETCH. Much like the privileged instructions, there's no way to represent their effects in C.

3) 8086 legacy instructions like ENTER, LOOP, or XLAT, which operate on 16-bit registers in highly inflexible ways, making them awkward for a compiler to generate code around. Most of them are also microcoded, making them slower than equivalent code sequences -- so there's no reason to use them anyway.

4) Instructions which interact directly with the flags register, like LAHF or PUSHF. C code doesn't have any concept of the flags register, and most compilers only generate flag-dependent instructions immediately after setting flags (e.g. in CMP/Jcc sequences), so they never need to save/restore flags.

5) Complex SIMD instructions like PSHUFB or PUNPCKxx which modern compilers can't reason deeply enough about your code to use effectively. (I'd love to be proven wrong on this one!)
What a great feeling that must have been.

It's funny, it's kind of similar to walkie talkie transmissions in the summer. They can get tunneled through the troposphere and suddenly you are talking to people you never expected to contact.

A couple summers ago I was out in my yard, called out randomly on my little 5W handheld, and the signal went just over 8 miles through flat, forested city neighborhoods into the back end of a guy's directional antenna on his house. We had a good laugh at that. I've run tests in the neighborhood and I'm usually lucky to get out a single mile.

During the same season I also like that I can pick up Indian music from an FM radio station 150+ miles south of me (KSJO), using a small pocket radio. Searching around for those signals is also kind of like fishing.

Anyway. I think it's pretty neat how different seasonal conditions change the dynamics of a hobby interest or a science.
'freely' is being a bit generous, they're all destined for the slaughterhouse or glue factory. Dairy cows are routinely bred to keep them producing milk and their calves taken away for other purposes such as veal.
The subset that most have is going to be pretty broad. These days, you'd definitely assume that processors have SSE2, for example.

However, most SSE2 instructions won't be emitted by GCC until you crank things up to -O3.
SpaceX’s latest Starlink launch successful
PayPal let someone else add my Gmail address to their account, so I have to use a +paypal in my own account email.
How did you jump from your stated number of 17 colonists per ship to 10 launches needed per colonist? If it’s 5 starships of cargo, then you need 10 Starship launches including the refueling. So in total that’s 12 launches to transport 17 people. That number 17 is what you randomly came up with. So really, it’s about 20 launches for a 100 colonists which is pretty reasonable really.

Why would the bones dissolve, astronauts spends many months at a time on the ISS with relatively minor consequences.
The most recent Australian experience is that this demands more $ than you think, and invokes more engineering risks than you wanted, and in economic stress can wind up almost there, but a million miles away.

https://en.wikipedia.org/wiki/Geothermal_power_in_Australia#...

It's really sad. It should work, and it had massive upsides. I don't think the investment was a waste, where I do think CCS for sequestration is generally a giant boondoggle by the oil and gas extraction industries.

There is a lot of emotion around fracking. Given its almost exclusively used to enhance well extraction, and against local farmers wishes, its hardly surprising. Water tables are complex, and people visualise them as something different: I was told by a geologist sleeving a drill through the water table is normal and common and there should be no necessary pollution of one by the other (deep fracking) but there's a lot of nervousness about it. They use heinously wierd mixtures to force the fracking.

A lot of power investment decisions are basically linear optimisation: there are umpteen competing tensions, financial, political, energy cost/benefit, pollution, distance to consumer, longterm future, royalty, capex, opex, it's not that unusual for good science to be drowned out by politics (for instance). Right now, my sense is that Wind and Solar are in the ascendent, and that the politics of looking at other forms of energy involve most of the non-tech, political, layer 9 aspects of energy planning. I truly believe other forms of energy are worth exploring, but not if they interfere with deployment of low-carbon wind and solar and battery, and are just being used as a battering ram to preserve oil/coal energy income streams.
Yeah, but half of the HIMARS have been destroyed, Russia kept its pace and slowly but surely is winning. And as Putin said, they hasn't started and we believe him.