skysight-inc/HackerNews huggingface dataset:
It also lost tracks of who runs Italy, it still reports the Giuseppe Conte government but it is almost an year he has been replaced by Mario Draghi's one.
that Earthship in Canada is owned by my best friends parents! It still get's pretty cold in the winter (Lethbridge winters are incredibly cold and windy) so it took some acclimatizing when they first moved in. I think they have improved it somewhat since then.
If you're not playing with the language itself, but want to finish a project, pick one of the most popular languages and forget about it (so, typescript).

In other words: if Go is good for Google, just go with it...
It seems every project has its own documentation (powered by GitBook), for example https://lagarto.jodd.org/, https://http.jodd.org/ etc.
Hypothesis for why there could be an actual /defense/ for the existence and even utility of flat earthers and similar groups: They act as a continual, low-grade chaos assault on scientific institutions, thus encouraging the institutions to maintain resiliency and not stagnate. The more you simply shut these groups down without tackling their actual arguments, the less benefit you'll receive, and the more likely it is to take on the magnitude of a true threat. On the other hand, too much of this would lead to significant wasted effort.
Summary: For small angles, approximation makes it look like gradients (y/x) add simply (a+b). Similarly low velocity in relativity world makes it look like velocities just add as well. With some insight we discover how it really works, including how the approximation makes it look correct for small values.
I fully agree, but i slightly prefer postgresql over mysql due to their licensing
Everyone already mentioned mathematics but I'd also like to mention Operations Research as a field that's basically all about translating complex business problems into mathematical models that can be efficiently solved.

In practice this almost always means translating to the formats used by (Mixed) Integer Programming (MIP) solvers, Constraint Programming (CP) solvers or SAT solvers.

Satisfiability Modulo Theories (SMT) solvers are used more in the formal verification realm, but they can also be used for the same purpose, the problems solved by these tools are all NP-complete so you can with more or less effort translate any NP problem to them.
Texas abortion law remains in effect after appeals court ruling
> scrapegoating

Is this a typo of "scapegoating", or a conscious neologism to indicate "scraping (the bottom of the barrel) to look for a scapegoat"...?
Don't forget to mention that insulating roof is just as important. Otherwise, heat will happily escape over your head.
A Virtual Memorial Tour of Ebensee Concentration Camp (In a Twitter Thread)
At Symflower we do, one of us has it as its main editor and it looks extremely productive. As a former VIM hardcore user i enjoy the pair programming sessions. I guess these sessions must feel the same way when a non-VIM user watches a VIM hardcore user.

We even have an extension for Symflower https://github.com/symflower/symflower-kakoune that is how much we appreciate Kakoune.
did you include heating costs rate of change growing? (i.e. prices rise more % yoy with each year?)
Low volume market, having to sit on inventory for a long time and high upfront cost ? Sounds like a recipe for cheaper to buy new than repairing.
> When will the discrimination end?

When all developers finally finished moving away from Windows :)
That isn't how the term is normally used. This is a good intro: https://www.scottsantens.com/negative-income-tax-nit-and-unc...

And you can even see on wikipedia that:

> Therefore, a family with $0 income would be entitled to receive $1500 in subsidy.

^ https://en.wikipedia.org/wiki/Negative_income_tax
I don't understand fully your way of reasoning.

A normal house costs - say - 200,000 "units" (dollars, euro, whatever).

Making it "energy saving" costs an additional 60,000 units.

In 20 years time you will be spending 60,000 units (3,000 per year) less for energy costs (and here we are assuming that ventilation and heating/cooling machines in the "better" house have the same maintenance costs than the ones in "normal" house, whilst usually, since they are more complex systems they tend to be more expensive).

You essentially have a "break even" point 20 years in the future, from there onwards you start saving money.

First thing, you need, now, 260,000 units instead of 200,000 (and not all people may be able to afford this).

Then, if, for whatever reasons, you don't use the house at all times in these 20 years, or you need to sell it before that time you are unlikely to fully get the savings.

Additionally, in less than 20 years time it is possible that someone comes out with a mega-para-hyper-ultra climatization device that makes yearly energy costs go down by (say) 90%.

So, if you want to do the "right thing" from a climate/energy savings point of view, by any means choose to invest in a passive house, but it remains essentially a "philosophical" decision, not an economical one.
Online service that allows drawing a circle on top of a map? (2015)
Fair. I guess the reason I asked is because YAML is a little easier to play with for humans, especially since some sections need things like new lines among other things. Doing a YAML text block is easier to read and write than JSON's quoted string with new lines replaced with `\n`.
Mainland Spain falls into the single digits at night at winter so definitely would need insulation, because there is also no central heating.
People resort to heating with their aircons and portable heaters.
I'm sad because I expected better infrastructure from 45% income tax at the highest bracket.
Mojang services outage impacting Minecraft
My approach for a business solution was to limit volume on a fee account and let their growth tip into paid options. It was clear up front. Never modified it. YMMV
I throw them out. Unless its the one you need for a printer - that one I always keep.
Your comment that "fewer and fewer treat it as their go-to database nowadays" seems odd given the continued growth of MongoDB.

https://db-engines.com/en/ranking_trend/system/MongoDB

https://www.macrotrends.net/stocks/charts/MDB/mongodb/revenu...

https://seekingalpha.com/article/4473768-mongodb-mdb-stock-s...
You can use something like `new JsonParser<Book>(){}.parse(json)`

Not saying that's a good idea, though.
Well that's not really universal by any metric (you have to be an artist, there can't be too many applicants or you'll get subjected to lottery) but I'm still enthusiastic.

It's always nice seeing countries look to support their artists in building their cultural heritage.

These feel more like government artist in residence grants.
The Lost Skill of Algorithm Writing
He is making a joke about how Rupert Murdoch actually runs the UK.
I think this is one of those things where people generally agree that better insulation and lower energy costs is a good thing but who pays for it?

In the UK, there is a constant demand for "affordable housing", which is caused by governments not controlling the housing market from either foreign investors or also people using the housing bubble to buy up loads of properties over time forcing others to rent.

Bearing in mind how much profit a lot of home builders make, increasing the regulations is likely to add at least £20K to a basic house, significantly more if you include mechanical ventilation, triple-glazed windows and heat pumps (perhaps +£50K), which is some cases will be 50%+ of the original cost!

Another major problem is the quality of building in the UK, mainly driven by a lack of tradespeople, and simply not having the skills to install to the quality levels required by thermally efficient houses like installing a membrane with zero holes in it, using the correct tapes, designing, installing and maintaining heat pumpes and various other things.

I think these challenges will get better over time but that is probably why governments aren't keen to make large improvements in energy-efficiency regulations.
Actually, article complains that Building Code is pretty low standard in NZ and that non-wealthy suffers as they live in not-so-well insulated houses.

But speaking from northern EU country - yeah, I don't see anyone here building non-insulated houses.
I'm fairly sure the post you're responding to is an observation on the current state of UK politics, rather than a generalisation.
> I mean the amount of clips I see on the youtubes of people breaking walls make me cringe. A wall should break you, not the other way around

The external wall un old French house can easily reach 55/60cm of pure concrete mixed with stones in cold places.

Trust me, it will break you and specially break your will to make any hole in them ^^
Another category theory resource you may find interesting is Category theory for programmers by Bartosz Milewski. He also has a great video course on youtube. If you want a taste of what category theory is, you can checkout his interview on corecursive.

https://github.com/hmemcpy/milewski-ctfp-pdf
Related minute physics videos:

https://youtu.be/Rh0pYtQG5wI

https://youtu.be/R5oCXHWEL9A

The whole intro to relativity series is worth a watch.
It's probably just you - but it's curious how many brands that are known to millions and export can still be unknown to people.

Next you'll say you think Whirlpools just exist in oceans. :D
That's awesome. I strongly refute that claim, though! :)
Mind you, this is the Mozilla Foundation. The Foundation does not financially sponsor the development of Firefox. Firefox's development is paid for by the Mozilla Corporation.
We had a strict HR policy of “name, rank, and serial number.”

We were only allowed to confirm dates of employment, and were required to direct all referrals to HR.

Our HR was run by lawyers, and was very tight about all kinds of policies.

In one case, I once had to lay off a couple of employees. HR policy demanded that I do a “perp walk” to HR, before telling them in an HR ambush. I felt that this was unnecessarily humiliating and dehumanizing (I was right. One teared up), and informed them in individual sessions in my office. HR wrote me up for that. They were technically correct, as this gave the employees the chance to cause havoc (except that I immediately walked them up, after informing them. HR was really concerned that I would say something legally liable -I did not). A big part of my job, as a manager, was to act as a buffer between my employees, and a rather coldhearted and dishonest HR department.

I will say that the company I worked at, had a very diverse workplace (below the Executive Suite), and harassment was not ever an endemic problem (of which I am aware). I know of a small number of instances (over 27 years), where people (men and women) were fired for inappropriate behavior.

There was definitely a “the rules only apply to the little people” thing going on, but not in any really significant way. HR tended to look the other way at the C-Suite doing things we mensch weren’t allowed to do, but they kept it quiet.

One of the things that I most enjoyed about leaving the company, was going to my former employees’ and coworkers’ LinkedIn pages, and giving them the glowing references they deserved.
> It is interesting that you insulate under the house.

Near our place in the countryside, required foundation depth is 1.4m to protect from frost heave. Use an insulated slab and that requirement goes away. The insulation keeps the heat in the ground. It protects the ground under the house from freezing.

Nobody cares about regulations here, but they do about getting proper foundations...
Germany as well. Merkel is still running the country according to the CIA.
I would recommend Quakus, Microprofile, Micronaut.,
Adding Indian English was definitely doing the needful.
In e.g. a monarchy, the head of state is the king or queen. In many monarchies these days, this person tends to have very little actual power.

The leader of a country is the person leading it, e.g. a president, prime minister, or similar.

Sometimes the term head of government is also used, which I think is usually the same as the leader of the country.
To turn the question around, what _would_ make it part of the type in your opinion, what criterion do you use to distinguish that from "having a field with the length (the type being the x[] only, without length)"?
There is a simple experiment to show curvature that was actually done by some flat earthers, and it proved curvature, but then they somehow classified it as an interesting but not conclusive result. Here's the experiment: take 3 wood planks, make a hole at the same eight in each of them. Then put them standing in the soil making sure that all have the same height (meaning that the hole is at the same height for all of them). Now use a laser to have a straight line of light (you can observe by other means that a laser beam is a straight line). If the wooden planks are far enough form each other, the laser will not e able to pass trough all 3 holes, despite them being at the same height from heart's surface. This implies curvature.
He’s not. He’s responsible for making sure it doesn’t happen. Create processes and hire people to run them.
From ES6 to Scala: Basics
Interesting react projects for learning purposes
In this repo there are some interesting projects for people learning react. Incomplete list:

- carousel component

- snake game

- minesweeper

- button with ripple effect

- etc.

https://github.com/gmoniava/react-projects
I don't think the parent is saying that this remote computation is to be used for the actual driving, but that data can be sent home to have more usage patterns, to have data about edge scenarios and stuff like that.
From a pure money perspective, let's say a shot is worth about $25, which I think is a low estimate. 8000 shots is $200k. From what I've seen, a hospital stay for covid is about $50k on average.

Of course, it is only when we consider trading between 1 hospital stay to 8000 shots. It assumes the numbers are right and doesn't consider anything else, like potential life-long sequelae, non-hospitalization risks and side effects of vaccination.

Anyways, while my intuition is that vaccinating kids is worthwhile, it isn't as obvious as it is for adults.
> That is, its default operating mode is to leave multiple cursors all over the buffer when you’re trying to jump around your file.

That's not true, motion commands don't create new selections. Search will create a new selection only if you explicitly ask for that by pressing shift N.
Netflix has by far the best UI but the same can't be said about content. When you start using a streaming catalogue app like JustWatch, the UI becomes less important and content becomes the main focus. I think content is what we are looking for at the end of the day, right?

It's getting hard to justify Netflix price because they have a great UI and a few interesting shows. IMO, the best bang for your buck today is Prime Video, Disney+ and CuriosityStream, all wrapped up by JustWatch.
Netflix signed the agreement in the first place, they clearly knew what would happen: important and large parts of catalog was only temporary, until the competition started their own services or otherwise pulled content. They knew their catalog was going away, yet they offered it to attract users, who are now increasingly becoming disillusioned and leaving the service with a bitter aftertaste. See sibling comments.

I also did not pin this on Netflix, though I did say users -- it is in the rights holders' interests that their content gains popularity so they can sell merchandise, and produce more content. They are pulling the rug out from underneath that audience too.
That would be nice, but ‘%x’ — date(1): locale's date representation — is also acceptable.
Given the revolving door that is UK cabinet positions over the past 5 or so years, I don't blame them.

Pure chaos.
They're not really a part of "pwsh", the SecureString type is built in to the .NET Framework, and has been before PowerShell existed.

One of the many reasons I detest stringly-typed programming is that many small things become difficult, including (but not limited to) the handling of secrets.
That's why I use Firefox. Though I rarely use YouTube anyway. I just don't like this conflict of interest. It's bad enough that Mozilla is dependent on Google for income.
>>Some houses used to be built on nice plots of land with non-shoe-box design,

Yes, but I feel like even "back then" that was an exception rather than the norm. There is a LOT of very poorly built houses around, and it's not just the problem with modern construction. Modern house prices and scarcity has made it worse, sure, but it feels like "built to the cheapest possible standard" was always a thing.
I guess one has to ensure that they don't leave a company the same time such firings happens
> I know about Qubes, but that's more like a heavy layer on top of a heavy duty GUI

Actually Qubes has relatively small CPU overhead due to its utilization of hardware VT-d virtualization. RAM usage is huge though. Source: using it as my daily driver.

I wonder if I can have a Qubes VM with Essence working.
If dealing with potentially hostile data, Zig certainly isn't more appropriate than Rust in my opinion, try maybe WUFFS.

Suppose we have been given a 32KB data structure with some "step" bytes - in a conforming input these should always sum to less then 32768 and thus the total will easily fit in a 16-bit unsigned integer, so that's what our naive program does. Unfortunately attackers provided a structure whose step bytes sum to more than 65535...

Zig will panic here if using default arithmetic with default release builds. If the attacker wanted to cause a Denial of Service, job done already.

Rust will panic if explicitly told to enable checked arithmetic on release but it also provides explicit checked, wrapping, saturating and so on variants of the arithmetic operators if you want them for this part of your software (perhaps anticipating the risk) you can just have that without touching the behaviour of all other arithmetic in the program. 65530u16.checked_add(255u16) is None even in a default release build of Rust, what you do with that None (silently abandon this input? log the error?) is up to you and of course may not be adequately tested.

However, in WUFFS we simply can't write the erroneous program. It doesn't compile because WUFFS can't see why it's safe. Because it isn't safe. WUFFS requires the programmer to spell out what's going on, and so either you have to realise what might happen ("Oh, it can overflow, I should handle that") or choose a strategy that can't suffer the problem, ("Let's not sum up those steps, I see a different way to handle valid input").
Location and climate are very big factors when it comes to home insulation.

The South African Highveld for example has an extremely mild climate.

My house has no insulation in the ceilings, single pane windows, double brick walls with no insulation and air vents all over the place to the outside.

The house was built in the 70s I think, using construction methods appropriate for that time. So ot very modern.

I have no climate control in my house. And I don't need any. At the moment I'm considering some ceiling insulation, because in the middle of summer things can get toasty in the evening when the hot roof radiates back into the cool house.
I’m curious how many instances of the gear warning horn going off is about forgetting to extend the landing gear compared to the plane being about to have a CFIT. Maybe it would be wise to always treat it as a GPWS “pull up” command and only try to troubleshoot at a safe altitude.
The problem is - explanations for each of these demand different flat earth models. Often several different flat earth model for several cases of one of these points.

For example to make 10 different flight paths over the pole make sense on flat earth you need 10 different flat earth maps contradicting each other. The only way to make all the flight paths make sense is round Earth.

Same with weather, day-night and seasons - you can get some of them with different flat earth models, but these models contradict each other. To get all the daily and yearly patterns at the same time you need round Earth.

As for tides I'd like to see even one good flat earth model where moon is visible in the correct place on the sky at the same time looking from equator, north hemisphere and south hemisphere. Most flat earth models put moon 180 degree away from "center of flat earth" opposite of the sun, which is obviously wrong (cause you can see moon and sun at once in many places).

And there's such problems with each point. But that's not a problem, because flatearthers don't want to have a consistent model of reality, they just want to think The System is out there trying to deceive them. So it's fine having 100 different contradicting models that explain one thing each.
I use http://sparkjava.com in my hobby project. It mostly does what I want, but I had to hack it a bit to be able to stream responses. It's also crazy fast and about as lightweight as these things get.
Honestly the esteem of peer-review does not hold up to the reality of peer-review. It's elevated to this gold standard for quality science, but in practice, it's just not. Not only is some of the real landmarks in science older than peer review as we know it today (until the middle of 20th century, articles were reviewed by an editor), in several fields, 50-90% of peer-reviewed studies fail to replicate.

It's very possible to just keep submitting papers to journals until you get someone who shrugs and lets it through. Reviewers aren't paid, and while reviewing is encouraged it basically does bupkis to further your career (and academia is very cut-throat).
You’d need a separate legal contract that was valid in whatever jurisdiction saying the owner of an NFT owned the copyright. At which point the NFT is basically superfluous, because the contract is doing all the work and at that point you may as well just have the contract itself.

An NFT is more like an autographed photocopy of something. Except apparently a lot of NFTs on popular platforms are created from stolen digital art, so you get the fun of not even being completely sure if the autograph is actually by the creator of the art (but it’s verifiable that is is by the creator of the token).
Can't edit anymore, but of course I meant that GPS LPV approach on final will be a copy of ILS :)
I love the name of the scientist Al Unapietra. The thing is very well explained, but it's very sad to see it as a twitter thread, which is a mostly unreadable format.
I'd love to have a lot of bandwidth on my phone but the pricing in my country is tied to data usage and ridiculously high. 5G is essentially useless here except for a dozen customers or so who are willing to spend absurd monthly fees for an unlimited data plan (which probably isn't even unlimited if you look at the fine print).
Military gets more time resolution as well as no deliberate clock skew. Airliners won't have military GPS. Gps receivers for surveying require on the order of hours to resolve to "centimeters" using civilian GPS.

The highest resolution GPS receiver I have still has +/-15ns jitter, which over the course of a day is good enough for maybe 12-20cm resolution, but the first hour the track is wild, 50-80 meters off in varying directions.

My GPS is used as a time stamp source for lightning detection and location, so in aggregate with other detectors it can pinpoint a strike to within a meter or so anywhere in my hemisphere.
Name a product you use daily which you’d switch if better alternative existed
> 7. I've observed the direction of the toilet swirl, and whirlpools in lakes.

this is not an indication of a round earth. the coriolis effect on this is negligible.
https://archive.is/byqPQ