skysight-inc/HackerNews huggingface dataset:
> Furthermore, there are innovations coming that might shorten commuting (e.g. things like Hyperloop, although I have no idea if that's viable)

It's not.

> and self-driving cars (which let you read/work/etc while commuting)

Self-driving cars won't make it better. Induced demand is a well-studied phenomenon and as I and others have pointed out, cars waste absurd amounts of space per person, whether moving or parked.

> The government is not going to be able to deploy $100b better over the next few decades than the private market.

There's a difference here between the well-studied problems of public choice and the well-studied problems of public goods. The former predicts that governments will face a constant battle not to become captured by special interests that drain away public funds. The latter predicts that private industry will never provide these things to a level that maximises net utility.

> Finally, the rise of remote work might mean a lot of professions commute less in the future. My prediction is this just going to be an exercise in setting $100b on fire.

A lot of work is not remote and won't be, plus a lot of folks greatly prefer to leave their homes so that it is only home and not some never-not-working hybrid. There's also the small problem that Star Trek style matter replicators don't exist and it remains necessary to deliver things to people, wherever they choose to be. And it remains necessary for those same people to sometimes go to other places to collect them.
This is why CMake is spectacular (for all of its many, many, many warts): it spits out good, fast configurations for a large number of build runners; and they all tend to work. CMake + Ninja is spectacular if you want to spend less time compiling, but maybe not ideal if you are not familiar with CMake idiosyncrasies and want to configure it for something. I usually find that I can add a pkgconfig-based dependency to a CMake project without much fuss, but anything much more complicated than that I typically do not enjoy.
To clarify: this applies to a Mac that has been locked.

That is, if the Mac is locked with Activation Lock, it wouldn't be possible to install another OS; the firmware itself will lock the user out of the computer entirely until the machine is unlocked. This dissuades thieves from stealing your MacBook as it will effectively be useless for anything other than parts, and most thieves aren't in the tiny-amounts-of-aluminium-relative-to-if-they-just-stole-cars recycling business.

I clarify because I don't want anybody thinking one is entirely unable to install another OS at all. That is possible, but of course you lose out on macOS features like Activation Lock.
Eating disorders can be some of the most dangerous things you can suffer from (anorexia has a mortality of 30% if I remember correctly); however on a population scale the damage is dwafted buy the damage from obesity because so many more people are seriously fat.
> I explicitly brought up wells and septic as an example of having to source your own resources, why is it any different for electricity?

Well rural residents pay to have power run to them and it's only feasible if they develop next to a property that is already wired for power. This means that you can't go move into the middle of nowhere and expect the power company to come to you. Your rural utility options will be limited to what your neighbors already have and any future expansion of the grid will be incremental and paid for by developers. So the claim that urban residents are incurring unjust costs at the hand of rual residens is largely a fiction.

But yes, considering rural residents have largely sourced their own resources, it is likely only a matter of time before rural residents are going off the grid as well. I've certainly seen this trend in many rural areas and as long as the price of solar/propane continues to go down I expect it to continue. But it won't be due to the supposed undue burden they place on society.
Video glosses over an important aspect of balloon mortgages. No one ever really expected you to pay the full balloon. The expectation was that you’ll pay some portion and roll the rest into a new balloon. The problem during the Great Depression wasn’t that the people couldn’t make their balloon payments (they never could) it was that the banks had no money to lend, and they couldn’t roll the balloons.

(An interesting aside, is that during the run up to the crisis, banks reinvented balloons in the form of the teaser adjustable rate. These had a low fixed rate for 2,3 or 5 years, and then would turn into 28,27 or 25 year adjustable rate loans, with they rate much, much higher. The thing is, no one was ever supposed to pay that rate. When the teaser period ran out, the borrower was expected to refi. And of course we know what happened next....)
Where did you take the "Big Belarusian-Lithevian country" from? As far as I know, this name is used neither in Polish, Lithuanian, nor English. The proper name is "the Grand Duchy of Lithuania, Ruthenia and Samogitia" (Wielkie Księstwo Litewskie, Rusi i Żmudzi), that was part of the "Crown of the Kingdom of Poland" and the "Grand Duchy of Lithuania". After the Constitution of May 3 and Reciprocal Guarantee of Two Nations (https://en.wikipedia.org/wiki/Reciprocal_Guarantee_of_Two_Na...), this state became the "Commonwealth of Poland" ("Rzeczpospolita Obojga Narodów" or as referred to in the current Polish constitution "Pierwsza Rzeczpospolita").

And... What belonged to who is quite close to meaningless. When do you want to set the date of the original ownership? Some 35 000 years ago when these lands were probably first settled or at some arbitrary point later on? How do you treat the right to self-determination and regions of mixed ethnicity with no absolute majority?

Lands of current Belarus and Ukraine belonged to Polish–Lithuanian Commonwealth before partitions, then they belonged mostly to Russia. After the first World War, we ended up in a very complex situation with vast regions with populations of mixed ethnicity and conflicting claims that resulted in wars. Poland claimed these lands as did Lithuania, Belarus, and Ukraine based on the wave of the modern ideas of a nation state. Poland managed to overpower them and focused on Polish–Lithuanian Commonwealth as the original ownership.

https://en.wikipedia.org/wiki/Western_Krai

The idea of state ownership of land has really no absolute truth to it. There are no rules that will allow fairly dividing Africa after what was done to that continent during colonialism, Middle East including Palestine or central and eastern Europe. Well, even dealing with Brexit is quite an impossible task.
Disclosure: I'm an automotive diesel mechanic by trade, and chose the anti college 15 years ago.

Trade school cannot continue to be a four letter word in american households. HVAC, plumbers, machinists, welders and electricians are all facing massive shortages and offer a skilled, well paying job with benefits. These are all 1-2 year with an apprenticeship and the opportunity to build something you can be proud of.
The hidden thing about Haskell that makes it super-powerful for expressing safe programs (in my experience) is not only that you can express tight propositions in the types. It's that Haskell makes it very easy to write total functions over wider types.

When writing OOP code you often start with a number of base assumptions about the input and build the code around them. With Haskell, you make no such assumptions initially and either encode total functions (most of them!) or tighten the types until they match the true system requirements.

There are some Prelude functions which violate this understanding (`head` being a classic example). Writing code without these as much as possible makes your code almost guaranteed robust right out of the gate.
This is also why companies should always evaluate using on-prem cloud instead of letting the big 3 host. This is not talked about enough, I think it's because there aren't a lot of people on here that have scaled for Fortune companies
>>while this meeting can be gotten out of, it requires some sort of excuse, and an individual's consistent absence is considered a mild crisis for the group.

>any religious group that considers your occasional absence as a crisis is a group i'd stay away from.

Indeed, which is probably why the poster you're responding to specifically made the point about consistent absence (not occasional absence) and it being a mild crisis.

Most religious communities I've observed are also quite lax about what qualifies as an excuse. For example, any sort of travel (be it vacation, visiting family, going on a business trip, or traveling with the team for little Jimmy's soccer tournament), seems to be accepted as valid excuse. So are other institutional commitments, provided that they don't become regular/recurring reasons for missing religious attendance. "I overslept" or "I was tired after staying up late Saturday night" or "I decided that there were other activities I'd prefer to spend my Sunday doing" are not.

Furthermore, having your absence declared to be a "mild crisis" for the group is not necessarily a bad thing: certain excuses like being sick (or caring for a sick family member) are likely to draw the support of the group; if you're in a small religious community where people hold each other accountable for religious attendance, there's a decent chance that if members of your church know that you missed Sunday service due to being ill or pregnant or recovering from surgery (or caring for a family member who is any of the above), some of them will stop by later in the afternoon (or later in the week) to drop off a home-cooked meal or some other sort of care package.

(I understand that some people might prefer to deal with their health situation in private without having a community of people who take it upon themselves to offer support, and I've always been one to appreciate the benefits of solitude and privacy, but in contemporary society I feel like we may have veered too far in the direction of isolation and atomization.)

>if anything, for things like scouting and sports groups, or any kind of group where you learn something together it is more important that members attend regularly.

Many religious practices involve a service that involves teaching (for example, a "sermon" that is delivered to a congregation by a preacher), so for many people, religious attendance falls into the category of "group where you learn something together." Indeed, I've observed it's common for many churches to have weekly sermons that are part of a "series," offering a sort of week-to-week continuity as they provide a deep exploration of a single topic over the course of a month, so if you miss a single service you might perhaps be inclined to ask a friend what was covered in the sermon later in the week when you meet them at something like a Wednesday Bible study or a Tuesday morning prayer group.
My home directory is currently dotfile hell. I can't think of any reason to implement version control that outweighs the time and effort it would take to properly clean and maintain the directory.
Uh, Firefox already supports WebExtensions and it is like common knowledge. Mozilla barely has the experience to run a sync service, and even that is a disaster.
How do we know? Are you referring to the Borax experiments or the tests on EBR-II? How are they relevant to an AGR?
Not really cool, but also an edge case: afaik either Warcraft or Starcraft crashed after the game ran for three weeks straight.

Thankfully, I can't confirm the bug. Only heard a rumor of it having been fixed.
All true. But they are not what many of us that are used to road bikes would call beautiful.
I feel fortunate to genuine enjoy sugar-free carbonated beverages (from plain carbonated water to the varieties with mild flavorings, e.g., La Croix). So many people can't appreciate the subtleties of these beverages because their high-sugar diets.

I forget what exactly caused me to switch, but I realized in college that buying soda with a meal made it significantly more expensive (e.g., $7.50 meal was now $9.50). Tight on money, it's a quick way to squeeze an extra meal or two. Still wanted something more than water, so I tried the soda machine's carbonated soda water tab. Now, it's my go-to! (Sidenote: a good number of restaurants do not have soda water tabs on their machines. I find it to be a slight annoyance).

Folks that only enjoy sweetened carbonated beverages, I think, can't even imagine enjoyed unsweetened carbonated. But it is totally possible to eventually reach that state.
Secret Archive of Brazil’s Top Prosecutors
Transferable Multi-Domain State Generator for Task-Oriented Dialogue Systems
Neat. What technologies are you using to store and analyze the data? Are you using any graph algorithms, like PageRank, community detection, etc?
Most people dont know they exist. I surely did not just a few months ago about libgen.io.

More importantly, while I can use thesearch to learn something I know quite a lot about already, I would not know where to start in things I know nothing about. And let's not start about things that I don't know they exist (which my school covered).
I really don't want to live in a city designed for cars first, Detroit being one of the poster children of that. But it's actually kind of hard to find a reasonably priced city that's not swamped with cars and car infrastructure, so we could use some new cities that are designed with the realization that cars don't really belong in city centers. I would absolutely move to a well planned new city, especially if cars were banned to the periphery, as in some Dutch cities. I imagine that I'm not alone in that.
> The peak capacity of a mile of track will always be less than that of a mile of highway.

I'd be interested to hear why you think this.
So not only is Google introducing this change into the Chromium codebase, but it sounds like they aren't putting it behind a Chrome-only compiler flag. And if you're satisfied with Chrome as-is then too bad because the GoogleUpdater will automatically update Chrome and is harder to kill than a cockroach, and Chrome will give you an annoying popup 80-some days after that version's build date telling you to upgrade Chrome even if you have managed to block GoogleUpdater.
I don't quite agree... I feel like, theoretically, yes we should feed bad data to all the functions and use property-based tests to ensure the features hold. However, in the real-world if you're using a language like Clojure for day to day development your team is probably skilled enough to write basic functions without meticulously checking every little thing for errors. There has to be a trade off between 99.9999% confidence of your functions and fast development velocity. For most products the application code matters a lot more than tests.

There should still be strong checks on the external interfaces to your system with bad data tests, schemas, property based testing, etc. For a normal function inside your system it's mostly overkill to be testing those things. Integration tests should validate that your functions call each other correctly and some acceptance tests could generate data from one interface and check that it flows through the system well. There could be corrupted types that you use for testing with Clojure's spec library that either return the expected type or a random corrupted type. Those combinations should adequately exercise the functions to find most of the errors.
in many German offices you may find the Snackbox (http://www.snackbox.de/). it's based on trust based payment and they'll cover the difference. i genuinely love those concepts.
Cyberpunk 2077’s April 2020 release date confirmed by, uh, Keanu Reeves
Yelp’s own practices violate its terms of service. Therefore under their own rules their service must be terminated. Wonder how that would play in court.
People were anti-IE because IE was vastly inferior to other offerings. Firefox had been making steady but slow progress as tech-savvy folks would install it for their friends/family.

Chrome came out and it was even better than Firefox on speed (javascript especially, with v8), reliability (process isolation, websites would freeze all of your tabs if not your whole computer at the time), and usability (unified search/url bar). And it had Google marketing behind it, meaning non-tech folks knew and loved the company making it and don’t rely on their tech-savvy friends to hear about it.
I have gone one step further for my computers at home (a desktop and a laptop) and have put most of the stuff in my home directory in a git repository, not just configuration files. That way I keep those two synchronized. The thing I do not have in the git repository is media files because they are too large. Instead I just backup the media files about twice a year.
How about child mortality?
American taxpayers paid over $90B more under Trump tax law
After Amazon-Led Tax Rebellion, Seattle's Homeless Aid Stalls
Yes because I don't trust reviews. I do on the other hand trust specific brands that I've tried before. So if they have a new label I'd like to know it. And the best way to know that is from ads on printed magazines.
I don't know about ICS, but CCTV cameras, HVAC controls, parking gates are too often installed by technicians with little to no IT knowledge. They ask the local IT to open port (ie. port forwarding) for remote management or servicing without knowing the implications. When offered a VPN they often refuse - they do not want or know how to use it.
Serious answer: type theory as a subject almost never discusses any idea like dynamic types (they wouldn't even be considered "types"). Presumably, if you only ever study it academically then you might actually have never even heard of dynamic types.
Some of them manage to combine form and function (lower weight, securely stored and weatherproofed batteries). One of the best review sites is EBikeTips¹¸the sister site of road.cc.

I like the looks of the Ampler range a lot but am sadly not within their distribution area.

1. https://ebiketips.road.cc/content/reviews/electric-hybrid/ri...
Man I'd hate people to just read this summary and not actually watch the talk. There's just so many important points in it and it's laid out so well that it just doesn't do it justice to summarize it here. Like just to give an example, here's another one:

> Even if we emitted no more carbon from this point on, the planet would continue to warm on average and destabilize for about another 500-800 years.

Please go watch it. It's just 30 minutes of your time and it's very unlikely you already know everything he's about to mention.
It seems like a lot of the excess value will be captured by the person who attended college, if that's true aren't they the very person to pay for it? If it isn't why bother with it at all?
I know ab like this lecture a lot. One quote I use from time to time from it:
"As with any good engineering effort when you want to improve something, the first thing you have to do is, measure it" – John Carmack
United States v. Apple Inc.
>My answer to that is that even using a dynamically typed language I don’t have to write the test for nil because I know that nil will never be passed. I don’t need to make states unrepresentable, if I know those states will never be represented.

If only programming actually worked this way... You can never know what "will never be passed" unless you prove it, and types offer that proof.

Tons of bugs in languages that allow null to break their type system, for example, concern null pointer dereferencing...
Cyberpunk 2077 – Official E3 2019 Cinematic Trailer
1) We don't yet have enough renewables for this to be an issue. Even with the most optimistic possible build-out timelines for additional renewable generation, we will not do so for another decade or two. That's why it's important to change building practices for new-build and refurbs now since the incremental cost for additional insulation is much less than the cost of retro-fitting.

2) "base load" isn't the best term here. Base load refers to the load that makes up the bottom of the load curve, basically a straight horizontal line right under the trough in demand. Some of base load actually is flexible load - for instance refrigeration equipment that runs overnight can be timeshifted by an hour easily (although in that case it is rarely done because power prices are cheap at that time). The problem for renewables is not base load but non-flexible / non-dispatchable load that must go on when requested such as lights or televisions.
Alternatively, maybe it has nothing to do with physics, the picture is computer rendered, and the artist found the first of these two alternatives a whole lot easier:

1. model a train that is straight, and then use some tool to bend the entire model to fit a curve.

2. define a curve, then align models of train engine and cars so that they follow the curve.
> surely a web developer isn't supposed to know latency figures

...that's a terrible example, 2007 link nothwithstanding. Nobody cares about AWS unless they use it (and many don't, either because they use something else, or because they're in a different domain), but awareness of true costs of what you're _actually_ doing can be the difference between O(n) and O(n^2).
I think it's straight bullshit. There's clearly a 'Chinese Patriot Squad' that comes through and flags/downvotes sometimes, but generally a fairly balanced opinion comes out eventually.
It's questionable as to what the author means by "Home Directory". If the author has actual binaries rather than just shell scripts in ~/bin for example I agree adding such things to git is not ideal.

I use the same setup (with a similar get of ignores) of my home being the root of a git repo for my dotfiles, but it's dotfiles alone that get added to git.
Plus he's from near Pisa. Historically, modern Tuscany had the reputation of a communist/leftist stronghold where people might go to Sunday Mass, but still swear a lot and not follow the church blindly (when they weren't outright atheists).
Microsoft Flight Simulator – E3 2019 – Announce Trailer
> Maybe jobs that require college degrees pay higher on average, but it's just not true that for a high paying job you need a college degree.

Great distinction to point out and I agree.
Where are you getting your numbers? Are you making them up?

How many passenger cars can you get down a mile of highway per hour?

I love freeways. It’s just that during rush hour (and holiday weekends), they’re extremely congested. We’ve got local lanes, express lanes, and Waze to help figure out which one to take.

Roads don’t scale very well.

Mass transit would more acceptable if we can increase the speed. China has low-medium speed maglevs, for example, that will travel 100-120 miles per hour.

https://www.cnn.com/travel/article/china-driverless-maglev-t...
I live in Zurich (biggest city in Switzerland), and know of several such installations in the city itself. "Cities" in Switzerland are really not that urban ;-)
Different people have different honor systems, different cultures.

Trick or treat? https://imgur.com/KJvJgT2
Project Scarlett: Microsoft unveils next-generation Xbox game console
This is why Consumer Reports doesn't take ads. In any ad-funded review platform, corruption is inevitable. And we could solve it with a simple (but difficult) law: that review platforms may not receive any income from whoever they're reviewing.