skysight-inc/HackerNews huggingface dataset:
I have a dream that some day we have statically typed language which would have first-class types with some compile time meta programming.

For given example data, type providers output just something and typically it's 95% what you want. But how to fix that 5%? You cannot just say that "Type.Property, could you please be an integer". Instead of you have to tweak example which in some case is just fine but on some cases it's not possible at all.

Example: you use these SQL libraries which are based on type providers. You have some clear schema and it's just works. Then some day you would like to use runtime defined columns but at that point you have to opt out from that type provider library (at least for queries related to that table).

I still love working with F# but I don't use much of type providers. I think they are like proof of concept that compile time meta-programming can be provide real value but it need still more freedom.

Edit:
I use SQL library called Rezoom and while it has it's limits it has given great benefit during development. When you change DB schema every effected query and model transformation gives compile time error. Value there is real.
Even better, a good CA will actually ask the TLD operator's own authoritative name servers directly for this record - so they can lie specifically to the CA and nobody else, the only record of this bogus response is held by the CA that will be accused of mis-issuance. It's like a locked room mystery.

Nobody has admitted to doing this at the TLD level, most of those people take their jobs too seriously to mess with some nobody, but it has been done down at eTLD+1 several times, and of course it's effective. So yes, there is every reason to expect that this could be done by a TLD registry operator.
I don't understand. That happened when US military might was at an all time high. We are talking about fears about future weakness here. Why do you think an even larger lead (compared to the next few countries taken together) than the US already had (and still has at this point) would have made a difference? Additional question, do you think the US would have/should have sent troops to Ukraine?
But they die later. No one’s dying of obesity in childhood. This is still an improvement.
Reflect on the fact that 'didn't vote recently' is being used as we speak to suppress voting in the upcoming election. For non-US readers, every state has a Secretary fo State who rather than doing any kind of foreign affairs work like the federal office of that name, primarily oversees paperwork and particularly elections. These Secretaries of State are elected offices and highly politicized, since officeholders can heavily impact the conduct of elections. In Georgia, for example, one of the candidates for Governor is currently Secretary of State, and has put the eligibility of tens of thousands of voters into question in a way that just happens to massively impact likely voters for his opponent.
To say "short term murder rates are down" and then show a graph ending in 2015 is pretty dishonest. (There was a sharp uptick in '16.)
If the humanity is trending to have on average 1.9 testicles, you can safely assume that there are many more males than females.
By law in most places it is frozen to at least -31F for between 15 and 72 hours and sometimes up to a week. Apparently for best quality retention the fish is 'superfrozen' as soon as it is caught by packing it in dry ice 'snow' and chilling it with liquid nitrogen to get it down to -80F or so, and it can be stored up to two years at this temp.
...Maybe Bret Victor's Inventing on Principle will give you some ideas/a new angle on life.

https://vimeo.com/36579366
Squatting in a residential building is also illegal: https://www.gov.uk/squatting-law
Microsoft mourns the passing of co-founder Paul Allen
Some state laws do not restrict commercial usage [0] amd AFAIK, there is nothing in the federal FOIA law that prevents using information for marketing or other commercial purposes. That wasn't my point, though. The parent commenter talks about the potential danger of phishers using public data as being "against the spirit of FOI". Yes, I agree that using FOI to find info that facilitates a crime is not FOI's intended usecase. But the potential drawback has not been determined by legislators to outweigh all the potential benefits of transparency.

[0] https://www.mcall.com/news/watchdog/mc-nws-open-records-busi...
That is a fair point, though it was a different dynamic. For example in rural farming areas they were an extra set of hands to work on the family farm etc..
I always find it fascinating when someone says they've "only recently found" something that I see even at places like gas stations and liquor stores. There's cheese EVERYWHERE in the midwest US.
I stopped reading when they started blaming video games. It's such a tired excuse. Sure, a few would rather play games than work, but most play games to escape their lack of real-world opportunities.
If you want to read some interesting dissent to the Pinker-esque positivism, try Nicolas Guilhot's review of 'enlightenment now': https://networks.h-net.org/node/28443/discussions/1993064/h-...

"There is a lot that is wrong with this line of thinking. But what is truly disturbing is not so much the methodological fallacies due to scale as their ethical implications: the ‘big picture’ rhetoric obfuscates massive disparities but it also denies their systemic character."
Open platforms like Android unlock potential
I’d love to see the vintage synth!
> These are all served better by cryptocurrencies than other alternatives.

Excuse my ignorance, but why would that be the case?
Why is this on HN with already 9 points?
The fact that google is your goto method shows that the discoverability is poor. I could code in JS offline for hours if needed, because all the information is there in the objects, but I would hit a wall in 5 minutes with elisp because this "object oriented" concept and console.log(anyObject) simply do not exist.
>We distribute the votes so 1 vote = 1 BankID vote. It's also technically possible to allow users to change their vote if done before the deadline.

You're describing a system where the government has a list of IDs and associated Private Keys and therefore knows who everyone votes for. That IS NOT OK.
> What about all the 1024 bit keys that litter the DNSSEC PKI?

You’re moving the goalposts. The parent comment was explicitly about the root key. Yes, there are still weak keys below the root, just as there are still weak certifikates with MD5 hashes out there, but that is neither here nor there.
> I think the modern approach is much clearer - the geometric ideas appear more directly, and the algebra is far less messy.

Can you show us an example?
I don’t understand why this is only a problem in the US.
Are people so sick over there, are they continuously poisoning or shooting each other? Heck, even their life expectancy is not top notch.
I live in a small town in Germany and we have five of these in one year, with 20-30 devices coming in each time. We can fix most of them, even with fairly basic tools. Some observations:

* One of the worst things to repair are electric shavers. It feels like horology, but dirty.

* Sewing machines are suprisingly complex. The electrical issues are easy to fix, but the internal mechanical parts are really unfarmiliar.

* Outright hostile designs are rarely found in cheap products. The main problem is usually worn out platic threads or breaking clips.

* People almost never bring in smartphones or computers.

* Many visitors are very interested in what we are doing and often suprised how simple a repair can be.
This guy's argument is basically good coders should be allowed to be garbage people and require others to put up with them because they open source the code he relies on.

To be fair, I mostly tuned out the moment he mentioned Jordan Peterson.
Going behind the design of the new Chromecast
> Disutility of labor is the discomfort, uneasiness, inconvenience or pain inherent in human effort. Because of this quality men regard labor as a burden and prefer leisure to toil or labor.

Until they "solve" this then taxing leisure -- which is actually a good, economically speaking -- will merely cause people to spend their leisure time on some other untaxed activity instead of video games/netflix.

Or tax the 78% of women to make the 20th percentile males less desirable on the Tinder so those other slackers will get out and work harder...don't actually know how Tinder works so just spitballing here.
I find it amusing that he posits that poor young men stay at home playing video games because the 1% have rendered status signaling worthless and then suggests, rather than a tax on yachts and private jets that we tax video games.

He then unsurprisingly posits that it would be pointless/a bad idea to raise wages coincidentally mirroring the opinion of just about every other member of the share owning 1%.
Great Lakes Super to Remove Islands of Compute
> He coined the term >common knowledge game< as the "information, public or private, that everyone believes is shared by everyone else".

Nitpicking here, but "common knowledge" with such definition goes back to late 60s at least [1]

[1] https://en.wikipedia.org/wiki/Common_knowledge_(logic)
Good point. I'd forgotten all about it. Sorry to hear it's dormant; I might have to take another look at it anyway.
According to https://en.wikipedia.org/wiki/Project_Looking_Glass, it was killed by Apple (thanks software patents). It is open source though.

That page lists some descendants.
Alone maybe they are "good stats". The trend doesn't bode well for a sustained livelihood with our planet when fishery stocks are being exploited and depleted at an equal rate.

Of the 600 marine fish stocks monitored by FAO:

3% are underexploited

20% are moderately exploited

52% are fully exploited

17% are overexploited

7% are depleted

1% are recovering from depletion

Further troubles exist on land, with global deforestation increasing YOY.

How will more people living longer benefit from these factors?
M-x elisp-index-search casts a wider net the M-x apropos does (but relies on the Elisp manual's being installed).
Nit: It should be "wantapreneur" instead of wantrepreneur.

And I'm in the same boat you. I am so tempted to go off on my own.

edit: fixed my typo or your term :-)
This reminds me of those 'And we can be confident this bull run will last forever!' financial sermons you see just before a major crash.

There are huge, huge problems in the medium/near term. Faith, hope, and what used to be called boosterism are a poor substitute for active, tangible solutions.
That’s the IPCC estimate assuming we take urgent global action now.

But instead of taking urgent global action, Brazil are about to open the rain forest to agri-business; the White House does not believe it is possible to stop climate change and is rolling back environmental protections and pulling out of the Paris Accord (which was nowhere near enough in the first place, and which none of the other signatories were achieving anyway); and Europe is distracted by Brexit and demagoguery. China are looking more serious, but are also pissing in the wind at current levels of effort.

The IPCC report is in any case probably extremely optimistic on the impact of releasing the methane stored in permafrost. That could catapult temperatures up far too quickly for the ecosystem to adapt to, or even humanity to adapt to, even if we science very, very hard.

So 1.5 degrees is what we get if we put in unprecedented effort that none of the important countries are showing any signs of doing, and also if we use probably-optimistic models.

At least 4 degrees is more likely on current trajectory, and that is absolutely terrifying. North of that we get into the end of civilisation in anything like its current form.

Also, arguably the most important gains of the last decades are from what used to be called the developing world dragging itself out of poverty. A disproportionate share of the economic and human cost of climate collapse will fall on those countries. Which doesn’t seem very fair because they haven’t had enough time to significantly contribute to or benefit from burning hydrocarbons.

It is quite frustrating because doing what we need to do to stop all of this is relatively simple, if quite difficult, is basically inevitable anyway because
renewables are increasingly cheaper than fossil fuels, and will make the world better in all sorts of other ways.

Get your shit together humanity.
Rollout the "non-military stuff" and move the "wide variety of administrative, management, financial and medical tasks" into a proper group like the State Department or some new group with no final militaristic consideration. Doing this would take political capital, which is why it's not popular practice.

The issue is that the military takes on so many roles that it becomes our first choice in dealing with problems, whether they require the military or not. So we go at problems with the military mindset, then we're surprised when we find a military solution.

Let's go in for peace, diplomacy and honest-to-god negotiation instead of imposing our will on countries with air superiority and more guns than people. Maybe we'd foster a little less resentment in countries we're in if we stopping occupying their airspace and bombing them 10,000 feet and 400mi away.
Nope. Nothing new here. I remember SOA very well as the buzz word du jour back then. It sounds less cool than micro services though. At least we got our buzz words through the PR & Marketing departments in this decade.
Brexit Provides Early Proof of Deglobalization’s Costs
"One view of the status quo is that media companies are aggregating human attention and selling it at a discount–far below minimum wage–to advertisers in a massive arbitrage on human capital."

When I say "what is happening" I am referring to the status quo stated here.

The view stated is that media companies are "buying" human attention with cheap entertainment and selling it to advertisers (the portion not taken up by the content).

The contradiction I am putting forward is that the people seemingly most susceptible to withdrawing some of their time from the workforce to pursue leisure and media are also consuming far fewer advertisement-hours in an absolute sense and as a proportion of time of multimedia consumed.

---

As for the lack of outrage, that's a cultural shift not a media access shift (primarily at least). It's true that 15 years ago people were generally consuming a much more homogeneous set of media, but the driving factor of outrage is every age group was born 15 years later. Things aren't so shocking when you grew up with them. Fifteen years ago it was also a lot more outrageous to be gay; the extremely diminished outrage reaction to that isn't just because people are consuming different media.
Currently living in a lively midwest town, 10 minutes walk from downtown and three separate centers of attraction. 500/month. It's possible.
That is one of my favorite videos.

However, in this context, what do you propose? WWII was a "real war", it was easy to see you were on the good side and that it was worth fighting. Besides, that huge ("world") war already was in progress. Right now the situation is not exactly comparable?

What I see from this is that somebody else - government or whatever - has a function, and relying on business alone won't work. They won't fund when returns are uncertain, no crazy ideas, no unlimited "costs don't matter" funding. What I also find interesting is that that was unlimited debt-based spending, anyone who had something that looked like an idea got funded to do whatever it took. And it worked, or is anybody still concerned about the amount of debt the US took on during WWII? So either we find a way for similar initiatives in peace times - or we wait for another huge war (or a similarly bad crisis) to convince the tax payers, but also motivate those doing the research, to get another round of innovation started with a similar disregard for debt, cost and plannability?
> Tbh, taking the example of a country that didn't disappear, very few people in France would know who the first Frenchman in space was.

At least in Germany, Alexander Gerst

> https://en.wikipedia.org/w/index.php?title=Alexander_Gerst&o...

who is currently on the ISS

> https://en.wikipedia.org/w/index.php?title=List_of_Internati...

has quite celebrity status. Also "nearly everybody" in East Germany knows the Siegmund Jähn from the article and because of the movie "Good Bye, Lenin!", he also became quite well-known in West Germany (see my post https://news.ycombinator.com/item?id=18268728). I openly admit that I had to look up the first West German and second German in space (Ulf Merbold; he is also mentioned in the Zeit article). In my defense, this was before my time. On the other hand, I can immediately additionally name Gerhard Thiele (SRTM - Shuttle Radar Topography Mission)

> https://en.wikipedia.org/w/index.php?title=Gerhard_Thiele&ol...

and Thomas Reiter (ISS)

> https://en.wikipedia.org/w/index.php?title=Thomas_Reiter&old...

So from my "sister posts" seems to me that in Germany, astronauts have more appreciation from fellow-countrymen than in many other countries.
> But it’s weird how you think “tolerance” for camps causes homelessness. Last I checked SF was short on shelter beds.

All Bay Area cities are short on shelter beds. There is a reason the homelessness problem is much worse in SF than in other Bay Area cities.
I forgot to mention Australia, which is trying to expand coal because it is currently governed by absolutely awful people.
You have a youtube channel in the making right there...
When you're making a decision to take investment, the assumption is that they may get 10-100x that amount of money back if the company succeeds. So taking investment from a bad regime might give them another billion to work with 10 years from now. That's a different scale from consumer purchasing decisions, where your decisions might move a thousand dollars from the worst regimes if you're careful about investigating the supply chain of everything you buy.

So rather than disingenuous, it seems extremely pragmatic to worry about the $billions more than the $thousands. You should worry about it literally a million times as much.
Saying "giving a shit involves compromise" is exactly the kind of thing that venerates the idea that conscious capitalism is impossible. The irony of this post is that he lists the pension fund of the police, who are responsible for some of the most brutal human rights violations in the US, as a wholesome LP, when for some of us it's just the opposite.

Fundamentally everyone in the business community is worried more about ass-covering as it pertains to their bottom-line, not to any real concern about the implications of who they enrich. That's not to say that there's nothing to be done, but anyways... I won't talk about that here since HN has a pretty nasty reflexive response when you talk about the S word.
Forcing somebody out of their jobs/hobbies because you disagree with their political views is absurd.

As long as the person who is an amazing coder contributes great code I honestly couldn't care less if they eat meat, support Trump or do sports in their own _private_ lives and I advise you and the rest of the community who want to force their own views upon others do the same.
Its a zero sum game. You might reject the investment but others wont
Corroboration from a more reliable news source than Bloomberg: https://m.indiatimes.com/health/buzz/this-blue-pill-has-been...
But we aren’t average are we, Bruce?
Primaries aren't enshrined in the Constitution, but they became state business in the 1970s because there was a desire to let the average voter have more say in the selection process, which had previously been done via party conventions.

https://www.washingtonpost.com/news/monkey-cage/wp/2015/05/1...
I think, this is actually a missed business opportunity - companys that remove planned obsolescence from a product.

Take the razors of electrical shaver- imagine if you could order something and put it through a up-value pipe- basically add a re-sharper to the docking station, replace cheap plastic connections to the e-motor.
I'm a huge fan, and was shocked when Rosling died last year. Educating people about these basic facts is important; who will take his place?
Not just farms, large companies like Walmart have killed off a lot of multigenerational family business. At the same time people are changing jobs far more fequently so working for 40 years without any unemployment has become unusual.
release only anonymized data to protect the identities of the people working for the city

No thanks, that's an invitation to further corruption. Let me put that in context; recently a group of people were pushing a local authority to adjust its policy on the public release of arrestee's photos (aka mugshots). The group felt it was being selectively used for political purposes which the police and city council denied.

FOIA requests revealed that the authorities were unhappy with their public image as it related to law enforcement and decided to use mugshots as part of a social media campaign to change public perception. Can't have a social media campaign without any content, so people were arrested on nonsense charges that were subsequently dropped, so as to generate mugshots that could be publicized.

Thanks to the FOIA requests members of the public were able to confront the city council with specific names and dates of the people who drafted, approved, and implemented this policy, which information will also be central to future litigation on the topic.
What is your use case for external GPU? If you need a good GPU for gaming on Linux, it is better to sell your 1080ti and get a AMD RX580 or even AMD Vega. If it is for CUDA, you can use your CPU's IGP or buy a cheap AMD GPU for desktop and only use NVIDIA for CUDA.

So unless you don't have a IGP and your motherboard doesn't have spare PCI-e slots, it is better to use a dual GPU approach of if you really need a NVIDIA card. Otherwise selling your NVIDIA card and buying a AMD one is a good choice.

Of course, YMMV and you know better than me what is good for you.
Direct link, for those who prefer not to click on affiliate/referral links: https://www.amazon.com/gp/product/1250107814/
Raikoth – Laws, Language and Society (2013)
Ban on foreign buyers seen poor answer to New Zealand's housing shortage
"wantrepreneur" sounds way better to me.
This version is closer to the dtic.mil OP version: http://www.bitsavers.org/pdf/mit/lcs/tr/MIT-LCS-TR-205.pdf

It looks visually almost identical; one neat thing about the dtic.mil version is that it is a reproduction from the microfiche scan of the document (!).

The version at dspace however is paginated and laid out very differently. The TR/dtic.mil version has around 187-188 pages, depending on how you count; the dspace version has 217.
Where in Vancouver? My wife's parents live in Richmond and three houses in their block are vacant most of the year. I have a relative that lives near Oak and King Ed. and it's similar there too.
Does anyone have a good idea of the environmental effects of reducing waste that this would cause? Or maybe just more generally the environmental effects?
Creating a successful business is DEFINITELY not the only viable career path for you or anyone. I'm not sure where you're getting that idea but, luckily for you, it's super super wrong.