skysight-inc/HackerNews huggingface dataset:
6tisch.arpa. [RFC-ietf-6tisch-minimal-security-15]
10.in-addr.arpa. [RFC6761]
16.172.in-addr.arpa. [RFC6761]
17.172.in-addr.arpa. [RFC6761]
18.172.in-addr.arpa. [RFC6761]
19.172.in-addr.arpa. [RFC6761]
20.172.in-addr.arpa. [RFC6761]
21.172.in-addr.arpa. [RFC6761]
22.172.in-addr.arpa. [RFC6761]
23.172.in-addr.arpa. [RFC6761]
24.172.in-addr.arpa. [RFC6761]
25.172.in-addr.arpa. [RFC6761]
26.172.in-addr.arpa. [RFC6761]
27.172.in-addr.arpa. [RFC6761]
28.172.in-addr.arpa. [RFC6761]
29.172.in-addr.arpa. [RFC6761]
30.172.in-addr.arpa. [RFC6761]
31.172.in-addr.arpa. [RFC6761]
168.192.in-addr.arpa. [RFC6761]
170.0.0.192.in-addr.arpa. [RFC8880]
171.0.0.192.in-addr.arpa. [RFC8880]
254.169.in-addr.arpa. [RFC6762]
8.e.f.ip6.arpa. [RFC6762]
9.e.f.ip6.arpa. [RFC6762]
a.e.f.ip6.arpa. [RFC6762]
b.e.f.ip6.arpa. [RFC6762]
home.arpa. [RFC8375]
example. [RFC6761]
example.com. [RFC6761]
example.net. [RFC6761]
example.org. [RFC6761]
invalid. [RFC6761]
ipv4only.arpa. [RFC8880]
local. [RFC6762]
localhost. [RFC6761]
onion. [RFC7686]
test. [RFC6761]
Not necessarily. Tax carbon heavily and then redistribute the tax equally among all citizens. Anyone using above average carbon net pays into the system, anyone using below average gets a net payout.

Then markets, our most advanced coordination/optimization method can be utilized to figure out how to reduce our carbon emissions.
I used this as my email address just yesterday to avoid getting on yet another list.

The shortest bar joke is missing here (or I missed it) - Man walks into a bar. ... Ouch!
Currently my greatest concern is the inability of Julia to provide stability even after they've reached 1.0. On paper 1.0 is a LTS release and still supported, but how many packages actually support it anymore? There seems to be no guidelines either, the official stance is that "we move on and drop LTS when the package developers move on."
That's ten+ years of wasted resources due to "intellectual property". Imagine the total global losses due to this coercive construct.
billions of years are certainly present in current geologic history, including ancient soils.
> And no one with kids is going to voluntarily accept living in cramped apartments while other countries have individual houses on lots.

Families with children all over the world have been accepting that. The urbanization of the developing world is mainly people moving from villages where they had their own home (or at least a family compound) to cities where they live in modern blocks at best, shantytowns at worst. Once the first generation gets installed in that modern block, successive generations simply accept living in a block as normal – yes, some might dream of their own home on their own land, but that is regarded as something available only to a select few, not a mainstream thing.
This Week in Elixir and Erlang
Which ones did you work for? I think we'd be better off knowing which ones were outright scams so we can avoid them.
I was actually thinking of writing "as a non-driver..." at the beginning of my post. Dude. I'm 20 and I don't own a car, I take public transit and bike everywhere. But I also have traveled to rural areas and I see how they use automobiles and it doesn't seem feasible to implement a system like this to me.
I find that if you spend a lot of time on conflict resolution, it may be an indication your workflow is fighting git.

There is a lot of really bad advice on git workflows out there and even worse workflows in the real world.

I think gitworkflow(7) should be required reading, as it explains not just how, but why the kernel uses git the way it does
> No

I'm confused, don't you go on to say the same thing as GP?
A lot of the CVE's there are pretty minor. There hasn't been a serious but in Bitcoin core that I know of since 2018, and the one before that was in 2016.

Not perfect, but overall I think that's a pretty decent track record.
Funny, I was thinking of the exact same thing as a side project, even using the name Lancer! Good luck on yours though, looks good.
Exclusive licenses for MSFT to tech invented at GOOG isn’t “democratization”
Jackfruit is also a part of eastern indian cooking. It is an awesome vegetable, I wish it was more available in the US.
Model Y is $44K on Tesla's website.
I get that the "top 1% average" will be pulled up by extreme cases. But I'm surprised at the divergence in the graph between the 99th percentile and even the 95th percentile. Even at the beginning of the period, the difference between the 99p and 95p looks larger than between the 95p and 25p.

A mostly unrelated thought is how stable is the membership in each quantile bucket over time? This is maybe a tone deaf question, bc clearly income inequality is very extreme. But for a tech readership, especially those in startups ... One could earn near the 95p level most years, but when you finally liquidate stock that took you years to acquire, your income can jump up for a year. Similarly, if you're a high earner but you take a year away from work to travel and think, your income drops precipitously. If some fraction of the top k% in any given year were people with infrequent windfalls (selling real estate which appreciated over decades, inheritance, maybe legal settlements?), and some fraction of the lower quantiles is people who are temporarily not working ... then the income distribution is a combination of long term inequality between people, and variability across people's lifetime, which might be hard to disentangle.
The only proper way to do internal DNS is to register a domain. Even a free one will do.

The more people follow decent practices at home, the fewer businesses will accidentally break because on of the admins thought it'd be alright because it works for them at home. If you set your DNS domain correctly you can also save yourself some typing effort because DNS will automatically append the network name (so you can http://test instead of http://test.internal or http://test.hamu.co). As an added bonus, you can get valid TLS certificates for your internal network devices without messing with a certificate authority of your own!
I work on the big data side of Automattic, so I tend to work with PHP, Typescript/JavaScript, Python, and Scala, but I also work with C# for fun. When you work with and without types often, you realize that it doesn't matter. Types are great for expressing constraints on the code, but you can do the same thing with conventions in non-typed code.

IMHO, type-less provides some resiliency. If you write code for a "string" anything that satisfies "stringiness" will still run just fine. This lets you build types that "trick" the code you're calling, which can be useful sometimes. I think I've abused this capability less than 3 times, but more than once. Mostly it allowed me to significantly change behavior without rewriting huge chunks of core code. However, these were all proof of concepts. Don't get it twisted, working with no types is pretty annoying sometimes.

Types, on the other hand, are great for most things, but I do find they get in the way sometimes. It's annoying when you look at the code you're calling and see that it only uses `.x` on a type you pass it, but you have to completely build a type just to create a `.x` on the type you pass in. I once found a NullPointer bug in HDFS with a static type (very strange) and had to work around it doing exactly this. Anyway, I think I'd like Go's approach to interfaces.
Podcasts on Spotify Across Countries
> "It's easier to achieve the American Dream in China, South Africa, and Brazil than it is in the US." South Africa and Brazil are two of the most unequal countries in the world as measured by the Gini Coefficient. I think the author is reading the data backwards.

Gini Coefficient and social mobility aren't perfectly correlated. I.e. imagine a society where people's accumulated lifetime wealth is highly unequal but where a 100% inheritance tax effectively resets familial wealth every generation.
Has to be household income, or tech workers working two tech jobs?
I used to work for a company named Foo Bar Solutions with the public website foobarsol.com, but that used foobar.com for the internal AD name for some reason (which they didn't actually own). That was ... interesting. Microsoft clearly did not do their due diligence in explaining that the domain configured in AD must absolutely, positively, 100% no bullshit, be a real domain name that you actually own and will never relinquish. I'd argue they should have gone so far as WHOISing the domain name in question and failing outright if it didn't exist, and displaying the Registrant/Organization information if it did and prompting "Is this you?" before continuing. Would have saved so many sysadmins so much grief over the years.

And to be clear, Foo Bar is a placeholder here, not the actual name.
A lot of people are making comments about how they can code "faster" without types.

But for the majority of the code we write, inital speed isn't that important. Understanding the code and maintaining it are orders of magnitude more important for any non-trivial code.

Types are not only a way for the compiler to understand your code and impose constraints. They're also your API to other programmers. When they see a sum type, they can understand its possible states. When they see a product type they can understand its possible values.

Understanding other people's code is at least half the job of a programmer, whether it's understanding a library or understanding code you have to maintain, or understanding your own code that you wrote 6 months ago.

Types help you do that.
That's why the countries with the most resources and technology have to graciously give those things to developing nations. Lead by example, but make sure that any nation can also have nuclear power, electric vehicles, etc. It's simple really, you stop letting any one person or family hoard massive pipes of resources. Yes this is something like socialism, but with everyone finally realizing that acting in their own self interest is identical to fixing the climate problem. No one can escape that. I assure you Elon doesn't want to go live on Mars by himself.
Someone has stolen my Instagram account
You would think it would also be a matter of which parts would most likely cause the plane to fall out of the sky if hit.
The odds of getting pulled over in the western US for going less than 10 MPH over the speed limit are minute.

As is the extra fuel cost to driving 10 over.

And when it’s 500 miles to the next national park, that’s another hour of hiking. Let me know when you have to drive from London to the northern tip of Scotland for an event, that’s just an average day on our summer vacation trips.
It’s not resilient to outside forces. I would argue strongly that it’s a huge risk to the majority of the population under the consideration of computation complexity.

The computation stack end to end has alarming risks. If the average user can’t read code, then anything they use is a form of delegated trust.

The users trust the wallet software that it’s doing the right thing. The average user does not even know what validation means.

Additionally what is known about computation is public knowledge. What secrets exist within state actors or even possible ET tech that could be used to influence truth with advanced computation?

There’s certainly no guarantee of security within Bitcoin or the network. It shifts the trust model at the most.

In another perspective, the amount of individuals who understand cryptography are quite low for the entire human population. Combine cryptography with hardware and software and that’s the small percentage of people who truly “get it” and are also specifically the ones entrusted as the leaders of all. The attack vectors are large.

In order to fix this we need to reduce complexity across the stack end to end. Every individual should know how to build their own computer without having to trust any hardware or software manufacturing.

I’d argue the stack is needlessly complicated end to end. Individuals add complexity by allowing the conceptual model of computation to remain complex within their tooling and then adding their own esoteric layer on top. It’s a house of cards.

Here’s a good post by Bruce Schneier https://www.schneier.com/blog/archives/2019/02/blockchain_an...

Would I keep a significant portion of net worth in bitcoin? No.

Would I use it to make a payment like PayPal? Yes.

I do not trust anything with computation today. It is compromised end to end.

As long as the Internet depends on BGP and ISP’s there’s no true decentralization. We need ad-hoc mesh networking with deterministic address spacing. Doing so behind some type of one-time cryptographic address that maps to an IP would be interesting. A few projects are experimenting in this path. Yggdrasil looks promising as an algorithm. Ouroborus has an interesting novel stack based on recursion.

I mention all these things because it’s exactly the reason why bitcoin is not safe or to be trusted. The cult behind it doesn’t help the fact of the fragility of the situation. Much of the cult are increasing the risk of other individuals by preaching trustless models.
And now instead of

$body = Http::request('GET', 'https://example.com')['body'];

You have to do this?

$body = Http::request(new Method('GET'), new URL('https://example.com'))->body;

And you have cuttered the global namespace with "Method", "URL" and "Option"?
Given that Tesla's battery capacity is a small fraction of that already purchased by legacy OEMs, any pricing advantage will accrue to these larger OEMs.
How is this any different? His tweets quoted in the article are literally representing himself as a cloud flare employee (the CTO even) to the public. I fail to see any difference between a public tweet discussing cloudflare business and a post written by him on their website (or a press release). It would be different if he didn't discuss company business in Twitter, but at the point of saying he will look into customer support issues in response to complaints about the company, it certainly seems reasonable to assume that his tweets represent the company.

For example, at no point on HN have I even stated who my employer is, much less responded to a customer and said I would take action on their behalf. The reason is that, once I did so, it wouldn't be unreasonable to assume that anything I post under this account represents a company position.
Is that like a hashed array you’re implying? In that case, the type wouldn’t be string anyway, but something like HashMap, Object, Dict, etc. More commonly though, something like HTTP options would be its own type, with defined properties, which you could browse via autocomplete or your IDE’s hover/peek functionality. That type would then specify the types of its values, so you can be certain that options.status is an integer, for example.

You’d generally only use an otherwise untyped array of strings when you can’t know beforehand what their values can be.
Obviously a tweet can be used by court. And Musk tweets can move billions.
For what it's worth, a quick test of Hugo with 10K posts with a minimal theme takes 40 seconds to build. Speed isn't everything but x10 faster is nice.
I published a paper that was effectively not reproducible by third parties, simply because nobody else in the world had the computing power to reproduce it. In fact, several of my papers have this problem. It's entirely unclear what to put in a methods section. Note that in at least one of the papers, the results are now used in nearly all protein design projects, so hopefully they were right.
I generally agree, but I think we also have to look at total comp. Healthcare costs have risen faster than inflation, eating into take-home pay.
Dialyzer is a static analysis tool.

https://erlang.org/doc/man/dialyzer.html
Most deadly plagues then as now came from the east which had both the human density and practices of domesticated animals while also eating a huge variety of animals that was natural reservoirs of pathogens. Pretty much every plague with the exception of 1918 flu can trace it roots eastwards.
I wanted to use web components for our current project but, as the OP points out, there's no help for iterating through data or even binding data to a source, which is where most of the useful part of a UI comes from. We went with Angular because the components all include data binding and iteration and data testing attributes.
So why were Elon Musks tweets regulated then?
Just make sure you aren't tithing to the Kenneth Copeland Ministries or other "prosperity gospel" preachers. That money is going straight to their private jets.

I could be wrong though, it looks like they might be helping getting rid of COVID-19[1].

[1](https://www.youtube.com/watch?v=O2rFiDbB6hE).
That misses the point entirely that most people that actually use bitcoin don’t even use bitcoin core’s wallet. They use other wallets and trust that software and the hardware they are on to be doing the right thing. The average person not only does not understand this distinction, they don’t even know how to validate their own transactions let alone know how to read code.
Are consciousness and free will the same thing?
CEO of Shopify and few others do the same. Although not after 2 weeks, more like 6 months or a year.
When you mix political power (depending of your positions, you might meet presidents, diplomats, terrorists or people that could barely survive for one more day) and money, you create a field full of frauds, favors, harassments and so on.
I feel sorry for my ex-colleagues being exploited and in burnout as what they idealized was totally different than reality.
Did you benchmark PyPy against numba?
That's the GOP plan, classic horse and sparrow economic policy (old name for "trickle down").
That follows from the definition being tagged 'Left'/'Right':

Either a b = Left a | Right b
Speaking of the US.
My understanding is that the halting problem is not computable even given infinite time.

It might be possible to show that with some degree of infinity the halting problem is solvable, but giving yourself infinite tape and time emphatically do not solve the problem.
How Taiwan's 'civic hackers' helped find a new way to run the country
This is, IMO, the real test. Can most people support their family and do the needed a, b and c with a salary?
> Fast iteration is the thing that I like

> haskell since 2000,

Things changed a lot in 20 years.

Thanks for noting down something about your age; I have always been a bit ageist about 'fast iteration' as I never met someone close to my age (been devving professionally for 30 years this year) that cares too much about it. I am not a very good programmer, but a very experienced one and i'm consistently faster at delivering than my 'fast iterating younger peers' as I simply know what i'm going to type beforehand, I don't need too many iterations to get it right and I have enough experience to know that i'm close to what we need after it compiles. The people who just type/run 1000 times/minute get stuff done, but it's not the way I would ever like (or liked) to work.

> It will necessarily be slower,

GHCi is fast but other avenues can be explored as well, like creating a real interpreter just for development , like Miri for Rust. Only for faster iteration of logic, you forgo some of the type benefits, but when you are done iterating, you compile and voila. I guess the merging of incremental compilation, jits, interpreters etc will evolve in something that might not run optimally but gives blazingly fast iteration up to perfect performance after deployment. And anything in between.
I'll let Pieter Wuille explain: https://twitter.com/pwuille/status/1297630790713348096?s=19
What’s a “station wagon”?

They are called “SUVs” today Mr Griswold.
Using interfaces/traits/protocols don't preclude strong typing.

If you write code for a type that "has" stringiness, as expressed by a trait, then anyone can build a variant of their types that expresses that trait.
Reading Documentation Upfront
What's the material advantage of Wayland? I've done a tiny bit of research on what it is, but not how it materially provides a better UX to the end users. Thoughts?
That's a weird way to see it though. Historically some humans have struggled to acquire the basics of survival, but actually the planet we live on is a bastion of low entropy in a sea of chaos precisely because of "life". Better to go a little hungry and keto than be constantly choking on noxious fumes and fishing nothing but old boots and cans out of the ocean.
I owned forexample.com for 15 years or so and saw all kinds of mail but the most persistent was a record company owner who, from time-to-time, wrote semi-deranged angry emails demanding that I turn the domain over to him. I always had grand plans for the domain but never acted and, a couple years ago, I forgot to renew and the domain is now in someone else's hands. I don't miss it, especially the record company guy.
If you believe that it's morally dubious to accept and repay a government loan, then I don't think you can buy a car from anybody.
Ask HN: What are proven ways to solve hard problems?
By hard problems, I referring to ones that stand in the way of progress.
I'm usually decent at mental-typo-correction and typically won't point it out, but is 'Beardsley' supposed to be 'ordinary?'
Economic mobility in the US is the lowest or 2nd lowest among all OECD nations. I think this means that what anecdotal stories one can tell or find about economic mobility ("Look! Kid from poor impoverished rural town made big bugs as a software developer!" or whatever), the more important reality is that Americans do not move between quartiles or quintiles as much as people in other OECD countries, let alone as much as they like to imagine happens.

[ Edit: as of 2020, the US is roughly middle of the pack for economic mobility among OECD nations, and was not lowest or 2nd lowest, but 4th lowest in 2012 ]
You could hardly get worse fit and finish than on a Model Y.
Well, it is just the cloudflare propaganda corps, it seems... They are strong on HN.
The majority of families are 2 income now, but family income did not double at any point in the last 30 years. Ask yourself why.
Does the word "charity" imply, that the funds are used for caring for humans?

If so, is there something similar, but instead of being for humans, being about nature preservation?

I know, that there are many organizations trying to save parts of nature and endangered species etc. But it would be great to have a movement like this caring about nature, not humans. Humans only as a by-product of saving nature. Personally I have become skeptical of saving humans in numbers anywhere and donate more to nature saving organizations.
During Covid-19, Engineers Work Longer, Less Regular Hours
March may seem like cherry-picking, but for those in the US managing their household finances, March is when everything went belly up.
Porsche Taycan, Audi e-tron, Jaguar I-Pace, Mercedes EQC. While Tesla arguably still makes the best EVs, these are all certainly good EVs with proper luxury interiors and features.
I encountered a similar problem with technically open source MAPS.ME app ( https://github.com/mapsme/omim ).

I tried building it and I kept failing. Eventually I gave up.

I am not sure why it is even published as an open source project.
No the question is why are you hectoring other people with different use cases for how they choose to drive their cars?
Yes, EV’s have fewer parts so the actual building of an EV should be easier than ICE in a general sense.

That doesn’t automatically mean that legacy auto can build EVs better and more profitable than Tesla can. In fact the switching costs will be quite high and trying to do both at the same time may be a boat anchor on many of the legacy companies.

The legacy companies that are mostly run by the finance types are the most in trouble. This transition will require a significant pivot back to engineering focus from the top down.
India's First Experiential School for Product Management Aspirants