skysight-inc/HackerNews huggingface dataset:
> ... then that person rejects the Axiom of Choice.

You're looking at it from a philosophical perspective where people care about whether the axiom is "true" or not. Other approaches to mathematics don't care, because they view its value not in some metaphysical notion of truth but in utility. They might say: this proof requires the axiom of choice and that proof doesn't, without assigning either one any value beyond utility (where utility might be, in some case, just their intellectual edification). I think this is what the article is trying to drive at as well. We can't "accept" or "reject" the axiom of choice based on some philosophical grounds, because those philosophical grounds would need to involve infinities [1], which, themselves, are not philosophical but mathematical. We either choose to use it or not based not on where we come from but on where we want to go.

[1]: The view that mathematical philosophy could be derived from core basic principles outside of mathematics was called Logicism, and was favoured by Bertrand Russell. Unfortunately, mathematical systems without some mathematical (i.e. non-"logical") axioms are quite limited, and almost all of them include at least one mathematical axiom, usually one that is equivalent to the existence of the natural numbers.
I completely agree about Promissory Estoppel and contract law. I was (perhaps unclearly) trying to demonstrate that other areas of the law do address the principle of relying on a promise when making a decision.

I think the principle could and should apply to some extent in this situation here too.

Something like: if you were misled into making a confession - perhaps relying on a promise or lie told to you by the interviewer - then at the very least that confession should be considered deeply suspect.
Big Pharma says no. The American solution is go to Mexico or Canada (can't right now).
I think it was 4.0 from memory.

I'm not arguing that you don't need to think about your code. The early behaviour was what I would have expected, the change was sensible but it's a long way from what you have to deal with in C++.

My experience with C++ was a lot of study and practice before I started my first project whereas with C# I was able to dive right in to a substantial piece of work and learn the language along the way.
By pretending that this is some kind of common occurrence, you are engaging in fearmongering. You're 10X more likely to be killed by lightning in the US than you are to die due to lack of insulin.

According to this (sympathetic) website[0], ~4 people in the US die every year due to a lack of insulin. Meanwhile, ~40 people in the US are killed by lightning strike[1].

[0] https://rightcarealliance.org/actions/insulin/
[1] https://en.wikipedia.org/wiki/Lightning_strike#Epidemiology
Many IoTs have local search and scan, so block the DNS server at your firewall then provide your own DNS server via your own DHCP server.
You misread their type. There is no bijection N -> (N -> 2); {0,1}* = 2* = N -> 2.

Note that the given proof is a version of Lawvere's fixed-point theorem. The trick is noticing that for some x : N, f : N -> (N -> 2) can be applied onto it twice, giving f(x) : N -> 2 and f(x)(x) : 2.

Note further that infinite binary strings don't just represent natural numbers. Indeed, every natural number has a finite binary string, and that is the bijection that you're imagining. The question is, which natural number is represented by 111...? This leads to the difference between the natural numbers, their one-point compactification, and Cantor space in terms of searchability. Escardó has an article on this: http://math.andrej.com/2007/09/28/seemingly-impossible-funct...

Please read Lawvere's article. Thanks.
I'm a big fan of Arch, but that installer is pretty dodgy. I wouldn't use it (at least in the state it was in a few months back) personally.

However I do welcome an installer, it's fun to install Arch a couple of times, but after that I'm not really learning anything new.
I'd run some sort of startup incubator on the side that I'd be able to funnel HN's incredibly ambitious audience into.

They'd get their angel round sorted in exchange for say, a 10% cut of the business, and in exchange I'd be able to connect them to industry experts that few other investors would be able to offer.

I'd probably also do monthly threads to help those startups recruit others that read HN, maybe drop the occasional in-page ad for jobs.
Bonus: Police lying under oath is a crime, but it's rampant and nothing is changing.

https://www.nytimes.com/2018/03/18/nyregion/testilying-polic...
The State of Developer Ecosystem 2021
At this point, you can just add a key to the column, set it to max(column) + 1 in an update, and forget about the sequence.

Either way, it's better done in a column that isn't the primary key.
It was a nuanced discussion. It isn't a trivial problem. I'm keenly aware of the details. There are clear pros and cons, as you described.

The point is that there are much bigger problems in a worldwide currency than block size. In comparison, block size is small potatoes. And the block size problem split the community into two that hate each other. They don't just disagree, but consider the other side to be actively sabotaging the system.
“Writing very quickly and publishing your first draft” - it’s a popular new technique for increasing productivity.
Thanks for sharing this. I'm not saying this will definitely come up in my day job, but it's at least possible, and now I'll know what to call it. :)
Many quantum algorithms can be iterated to find a solution with arbitrarily high probability. For example, Grover's algorithm has an amplification step, and Shor's algorithm can be repeated (with a different seed guess) creating a new solution with roughly independent probability.
What if the robot fails?
The largest wildfire in the US is only 7% contained
mitmproxy is a great tool, but it lacks upstream certificate lookup and attributes transfer to a generated host certificate. For example, Charles does that. Some applications perform attribute inspection to detect MITM proxies, namely Spotify. Are you planning to implement this feature? Or maybe you already did it in version 7?
Netflix to add video games on its service at no added cost in the next year
Correct. I'm in trad-fi (traditional finance). The job security is fantastic and the offers are plentiful. The community and support groups are quite small, but very supportive. It just requires a lot more research and effort (compared to JavaScript, Python, Rust, etc.) to find solutions to your problems.
We are on the early days of module system, but it kind of works, at least on VC++.

You can get tagged unions via std::variant.
It depends what you mean. They chose very different approaches. Neuralink is much more technically grounded than attempting high bandwidth optical non-invasive decode, and obviously requires implantation.
Plot Twist: The creator made this course as productive procrastination when they were supposed to be working on something else.

</joke>
Not sure what you expect me to say to that
One thing I don't see noted yet in the replies -- ATSC 1.0 (the current US standard) has awful difficulties with multipath signals (reflections off of buildings, terrain, etc.)

ATSC 3.0 is supposed to fix this, but brings with it its own feature bloat.
there has never been and never will be anything like the Apollo or Manhattan projects. They had levels of productivity that are not normally seen.
I very recently (last week) applied some of the "how do I unbreak my system" lessons I learned from back when I was a teenager messing around with AMD's old proprietary fglrx drivers (and screwing things up on my personal machine) to "how do I get back into my work Linux machine after the Active Directory sync got hosed and my login credentials failed?"
But the proposed solution to that seems to be "learn more languages", which is not exactly effortless.

I feel some people love learning new languages, while others just want to get shit done. C++ seems geared towards the latter - I don't (always) want to futz around with a new language, ecosystem, and toolchain when I just want to get something out the door. Programming is a tool, not an end for a lot of people.
> ... other research led to publication in 2019 of America's New Business Plan, which I co-authored as Vice President for Entrepreneurship at the Kauffman Foundation.

https://www.youtube.com/watch?v=55rmagH6GE8
> This assumes we'll discover some magical bullet, that we haven't thought of, that will counteract erosion of topsoil, water shortages, and climate change.

Who says we haven't thought of it? There are plenty of candidates technologies, like moving food production into cities via vertical farms so top soil erosion is irrelevant. Lab grown is on the short-term horizon as well (5-10 years).

Water shortages are a non-issue, as we have an abundance of water. Certainly desalinated water is more expensive than water from fresh lakes and rivers, but it's becoming more cost effective, and if water increases in price, they'll meet somewhere and level off.

Climate change might be a challenge, but people will simply move away from the areas where it's no longer cost effective to live, at the very least because it's no longer cost effective to run businesses there due to insurance premiums.

The "Comprehensive Tech" model isn't too far fetched. It requires some disruptive changes, but not too drastic. Errors bars are wide due to climate change though, since it's effects are still unpredictable.
We have two years of insulin in our fridge, I'm curious what you mean by you can't store large quantities?
This is great! I had signed up for Stadia but the lag was too much to deal with, maybe Netflix can figure it out or at least spur some competition in the space.
Sustainability and Competitiveness Within Agriculture
Natural gas companies were paid to turn off power during Texas winter storm
Ashton Kutcher was set to fly into space. Mila Kunis talked him out of it
Or built the telescope into Starship and use it as an observatory.
Pandemic Silver Lining: Building Better Healthcare Infrastructure in India
Most insulin has a very long shelf life unopened and refrigerated.
Outriders Xbox sign-in bug finally fixed
> ...the market system will naturally, in a million small ways...

You place a lot of faith in it but "the free market" is not a construct that functions according to immutable natural laws. It's a man-made and very much corruptible system.

Nature does not comply with property rights, legal mechanisms, nor quarterly results. People have to force ecological concerns into their markets. That's a tall order and it won't just happen without a serious taste of what is to come, sadly.
Why is this getting downvoted?

Have written code in all the languages mentioned and the performance characteristics of them are not seriously different enough to warrant the decrease in productivity if this was the goal.

The clear usecase for Zig is in resource-constrained environments (it produces the smallest binaries I've ever seen) or when you want a very strict, Rust-esque type system.

I'm not saying you can't use it outside of that, or that it isn't a great language, but that as far as how many braincells and lines of code go in to solving a problem in Zig vs D vs Nim and very different for what is generally a small amount of performance.

(Also both of those languages have no-GC modes, just FWIW)
Beautiful work, I am a little disappointed not to find a video or recording demonstrating the tonality in a dedicated listening setting: I'm curious to hear how it really sounds but perhaps it can only be done in person.

The best of the youtube collection he shares seems to be https://www.youtube.com/watch?v=k54XzhuACrg for judging the quality of the piano - I hear what seems to be a longer than usual reverb on the lower strings but possibly I'm just imagining it: could be the space itself or I'm just paying particular attention to it as a pianist, to compare to my own. Oh, and this: https://www.youtube.com/watch?v=uPb2hMJ9Ojk&t=186s
Light years with the right telescope. It’s just spectroscopy.
What’s the consequence?
US Air Force to send dozens of F-22 fighter jets to the Pacific amid tensions
I think that's a classic "it depends". I see two main challenges for IoT monitoring:

1. Getting the IoT traffic to your proxy machine. As you say this is fairly trivial when you can set a proxy, but a bit tricky otherwise as you need to run mitmproxy in transparent mode (https://docs.mitmproxy.org/stable/concepts-modes/). With some luck you can set a custom gateway on your device which simplifies the setup, otherwise you need to have the capability to set iptables rules on the router. I personally have a small $20 OpenWRT router dedicated for that. Alternatively you can run your own DNS server and point everything to mitmproxy. v7 now also supports SNI/host-header based proxying! The good news is that this setup is the same for all your devices and once it works, it works.

2. Getting the device to trust your (personal) mitmproxy CA cert. This one really depends on the particular IoT device and may involve some serious reverse-engineering if you are unlucky. I wish there would be a more of a "I should be able to inspect my own traffic" movement, but it's a tricky problem to solve.
Dan sounds like an actual decent human being and an effective leader respected and appreciated by those he employs. Deserved success.
IANAL, so take this with the requisite grain of salt, but the justice system has the power to be real dicks about how the right to a lawyer has to be invoked[1]. I would go with a very explicit request for a lawyer.

[1]: https://www.washingtonpost.com/news/true-crime/wp/2017/11/02...
Microsoft didn’t attributed it to an Israeli firm, Citizen Lab did.

Another article on this also showed pricing reported by Citizen Lab, $1.8 per 10 devices if this is true this market will be exploding unless it will be heavily regulated..
NASA was experimenting with this in the past with Robonaut (apparently it also started as a collaboration with DARPA)

https://en.wikipedia.org/wiki/Robonaut
Though the Steam Deck notably doesn't come with a dock. The dock isn't for sale yet, but will be sold separately later.
"Net exporter" in terms of calories and protein or "net exporter" in terms of currency? The Netherlands ag economy is focused on high value crops. But you can't eat tulips.

One-third of the world's exports of chilis, tomatoes, and cucumbers goes through the country. The Netherlands also exports one-fifteenth of the world's apples.

Aside from that, a significant portion of Dutch agricultural exports consists of fresh-cut plants, flowers, and flower bulbs, with the Netherlands exporting two-thirds of the world's total.

https://en.wikipedia.org/wiki/Netherlands
Just because hydrogen is mostly produced from carbon sources right now doesn’t mean it would be with significant scaling of hydrogen as a fuel source, it could be easily produced from electrolysis of water from renewable sources if the investment was there, but you still have the energy costs to produce it
Toddler mobile banking malware surges across Europe
For small organizations, even if they are not tracking or doing anything with data that would need to be changed to comply with GDPR, the couple hundred or so Euros a year to comply with Article 27 [1] might be enough for them to block EU access.

[1] https://gdpr-info.eu/art-27-gdpr/
Have you looked into the gaming NUCs? This thing is probably going to be difficult to get, but those things are competent and expandable in the future.
Ah! Another case of who police the police. The police police the police. Good news that the spare PCU took over and it was good. We all hope that the spare PCU was not part of an unlucky manufacturing batch. Great article.
Branson, Bezos and the pointless billionaire space race
How long does it take until your loan has paid itself off?
For future readers: z cannot return 0.5. z can only return 0 or 1. This is because z is closed over a function which returns 0 or 1, and inverts it to return 1 or 0.

This should remind folks of both Turing's Halting problem and Russell's paradox. z takes some f which claims to be a bijection (claims to Halt, claims to be a set of all sets) and finds a way to call f against a witness constructed from f.
Publishing yet-unpublished works is completely different than generating new work based on the old works.

I suppose our wills now will need to include statements about not allowing family/etc to do things like this, at least under our names.
Could you clarify what you mean by packet? Are you talking about HTTP requests or about the new non-HTTP TCP streams? The UI/UX for the latter is very much work-in-progress.
>does law enforcement in this case really care who did it?

Law enforcement is an organization and all the baggage that usually comes with organizations still applies (eg maintaining the organization is a priority). LEOs are people that want to do people things - it's a job, not a way of life.
If I was a technologically advanced civilization, I would send robotic Von Neumann probes around the galaxy to keep tabs on things at close proximity.

If I was also murderous, I would have programmed the probes to destroy any signs of life.

So, the fact that we are still alive after broadcasting the presence of life through out atmosphere for the last couple billion years is quite reassuring.
I've never used a programming language that is as hostile to programmers who have bugs as C++.
I hear solely through a hearing aid and always thought the low frequencies were just being butchered by my hearing aid. Glad to learn it's not just me!
Pretty sure the whole point of imaginary internet points is so that you can pop people's happy little bubbles of denial when a chance comes along, and James Damore's letter is spot on in that regard.
These things are never cut and dry. This is presenting these absolutely clear-cut stories, but it's not like this sort of thing is accurately tracked in any way.

One in four people who have diabetes report that they take less than they should due to cost. This has knock-on long-term health effects that can cumulate in an earlier death than would otherwise happen. Those effects will never be captured in the way that lightning strikes can be captured.

Others die who were never formally diagnosed, and so wouldn't be captured in statistics like this.

It goes on and on.
Plus the bomb was built with the literal opposite purpose of the JWST: blowing up!

Worst case scenario it doesn't blow up exactly right and you just build another one?
It was the marketing name for IBM AI projects from my understanding

It's also possible that was total BS and they paid to put the "powered by Watson" there
>They did give away their patents under the condition that everybody using them cannot sue Tesla.

Not true: they can still sue Tesla but, then, Tesla reserves the right to sue them too (if they believe the patent is being used as part of an initiative against electrification).

The judge will be the one evaluating the "good faith" argument and Tesla can lose, of course.
Which is why we should push for the stable world (SW) scenario, rather than gambling with our collective future on something that is not a sure bet.

Why do all climate policies currently being adopted allow increased carbon emissions and assume we will have carbon capture technologies to negate them right in the nick of time? This is the kind of irresponsible behaviour that we usually see only in addicts or psychopaths. How are we allowing this?
<pedantic> adverb </pedantic>

The other thing to remember was that Hubble was designed in an era that the Space Shuttle was meant to make manned missions to repair / upgrade commonplace. My understanding is that this was actually done at least once to Hubble (maybe more? I forget); but unfortunately for Reasons, NASA turned out to be incapable of resisting cutting corners which put people's lives at risk (Challenger, Colombia). A system designed today would be designed assuming that it would be robots or nothing.
Well, you do that with the same kind of engines that propels them at relativistic speed.

Anyway, it's not a target and forget situation, because relativistic ships get a (relatively) lot of drag in space.
> Very few actually do integration tests or system tests (this is something I'm trying to change).

Care to expand on what you're trying to do?
A combination of aqueducts, reservoirs, and tunnels supply fresh water to New York City. With three major water systems (Croton, Catskill, and Delaware) stretching up to 125 miles (201 km) away from the city, its water supply system is one of the most extensive municipal water systems in the world.

The water system has a storage capacity of 550 billion US gallons (2.1×109 m3) and provides over 1.2 billion US gallons (4,500,000 m3) per day of drinking water to more than eight million city residents, and another one million users in four upstate counties bordering on the system. Three separate sub-systems, each consisting of aqueducts and reservoirs, bring water from Upstate New York to New York City.

https://en.wikipedia.org/wiki/New_York_City_water_supply_sys...
Steam Deck's Price Is 'Painful' for Valve, Says Gabe Newell
>Microsoft doesn’t name Candiru but instead refers to an “Israel-based private sector offensive actor” it calls Sourgum.

https://blogs.microsoft.com/on-the-issues/2021/07/15/cyberwe...

>We believe Sourgum is an Israel-based private sector offensive actor or PSOA.
Philadelphia’s Proterra Fleet in Complete Shambles
https://im-mining.com/2021/05/06/belaz-electric-90-t-7558e-p...
Nothing stops you from using the "...or more series" part to generate numbers that are specific to the day, the hour or, if you feel like it, the minute.

Today's first invoice could be 2021-07-16-001, the second one 2021-07-16-002, etc.

If you really don't want people to be able to guess your invoice volume from numbers alone, there are various ways to do that while still being compliant to EU laws.
LinkedIn top emerging jobs in the US [pdf]
Doing away with anyone who may possibly commit a crime is even more effective at combating crime than the existing options. Let's go with that. Heck, let's take care of it at birth, most efficient of all! /s
This is not new. It is the same for any computer illiterate person even before this supposed dumbing down.
>You realize how many millions of people live in flood plain

Yes? Building on flood plains has been a bad idea for a while now. (1)

> how climate change means that existing mitigations are not sufficient anymore

Is that not implied by what I already said: "Sadly, "unprecedented" floods should now not also be "unexpected"."

1) https://www.bbc.co.uk/news/uk-wales-51712267

it actually is a floodplain, right?
Calling it "condescending" to mention that many people are in that known bad situation, will not in itself make them safe, will it?
The US isn't a democracy of course. By design. Who's writing this? Ah, yes. Every single time.
It took 25 years to replace the SF Bay Bridge, a much less complex endeavor.

It’s simply how things are done around here these days.
They both seem fine to me. Rent seeking keeps system stable. It keeps a balance between crash-and-burn vs absolute no risk types by taking little risks to collect rent and providing some useful service.

As a third world native I find corruption works better than everyone mindlessly following law under one self-righteous government becomes illegal under the next one, thereby making citizens life hell.
There will be masses of climate refugees fleeing tropical countries and heading towards the poles. Which countries will let them in and which will push them back into the sea?
What would be the difference between those two things? As in, what would a police who’s job it was to “protect society” do that current police do not? Or vice-versa, would such a police still protect from theft or violence?
You don’t destroy the system because you want to inhabit it yourself. This assumes that life is looking for similar habitats and that it’s not simpler to create an artificial planet anyway.