skysight-inc/HackerNews huggingface dataset:
but my understanding is that this paradox (and others like it) sparked a crisis in mathematics that led to the creation of ZFC and others. ZFC is not known to be inconsistent (due to deep and technical reasons, I can't claim positively that it is consistent), and it was designed to avoid the paradoxes that plagued naive set theory.

That was my understanding as well. Axiomatic Set Theory, with ZFC, doesn't suffer from the same problems as Naive Set Theory, which is why it was developed. Or so I've read.
As so many undergraduate math textbooks say, "No background is assumed beyond sufficient mathematical maturity."
Worth noticing - literally every single of Putin's potential serious opposite candidates dies before elections in suspicious circumstances
According to the newsletter there'll be a second, slightly different print coming out later this year. So you might be able to!
Or just ignore warnings if you know they're from a temporary change that wont ever be committed?
Not illegal (even though it should be) unless they prevent you from flying without it. Currently you can go through security with no identification at all as long as you answer their questions and they can verify your citizenship some way (which can add a few hours to your tenure at the airport).
Very nice service. Added to https://privacytoolslist.com/
Flu is very dangerous. I have two friends: one who suffered kidney failure and is on dialysis and the other with myocarditis that caused arrhythmia which transformed healthy marathon runner into miserable man barely has energy to leave his home.

When people think flu they usually "oh, that's a bigger cold". No, it isn't. It's serious condition and you need a lot of rest after that. There are many complications that can be had and a lot of them will go undiagnosed or misdiagnosed (who does the CT scan after they had flu?)

That's where the resistance came when people said that Covid is like flu. It's not like "Covid is like a common cold". It was more like "Covid is a serious disease that you need to be aware of, that can leave your organism devastated, but ultimately that's a pathogen that most of you are going to live through, just as flu".
From a quick read, in case anyone is wondering, this is built on the latest-gen 10nm process which is a refinement on the previous 10nm process. Intel's goal was to focus on clock increases, so the instruction per clock is apparently not much changed. From looking at the tables, the whole line of processors appear to have nicely improved one core max clock speeds, which should hopefully help single core performance, which isn't something that has been increasing much lately.

Anecdote: a family member and software dev just bought the latest macbook pro coming from about an 8 year old macbook pro. Apparently he doesn't perceive much real world performance difference between the 2 machines. He said single core synthetic benchmarks were higher, but not by much.
> For example checking for signed overflow must be done carefully:

Right, but we're talking about a simple bounds check. There should be no need for any arithmetic, just comparison.

> "Design philosophy"...oh please! C was designed for transistor- and memory- scarce microcomputers.

Right. Hence its design philosophy.

> Nowadays there is defacto supercomputer in every phone and runtime bounds checks are cheap.

Cheap, but perhaps not cheap enough to dismiss entirely. Bounds checking costs a few percent of performance [0], enough to put some people off in some domains such as in the kernel.

It's a pity C makes it difficult to automate just about any kind of check. Checking whether a pointer overruns a buffer that was returned by free, for instance, requires quite a bit of cleverness, as the system has to track the size of the allocated block.

You have to rely on optional compiler features, elaborate static analysis tools (often proprietary and expensive), and dynamic analysis tools like Valgrind. Ada on the other hand enables all sorts of runtime checks by default, but it's easy to switch them all off if you're sure.

> CPU to know the size of memory chunk pointed to could enable optimization which would make the code actually faster (not even talking about security benefits)

What kind of optimisation do you have in mind? Pre-caching?

> But you C programmers insist tooth an nail against that...

'Fat pointers' of this sort have been tried with the C language [1] but I can't see the committee adding them to the standard. Part of C's virtue is that it's extremely slow moving.

I'm not advocating continued widespread use of C though. I hope safe-but-fast languages like Rust do well. We all pay a price for the problems associated with C and, perhaps to a lesser extent, C++. For what it's worth I haven't written serious C or C++ code for a long time.

[0] https://doi.org/10.1145/1294325.1294343 (An old source admittedly)

[1] http://libcello.org/learn/a-fat-pointer-library
To JSC or not to JSC: running JavaScript on iOS in 2020
India is a huge market. Wouldn't other local companies in other domains see how much money Jio is making and try to compete with them? Tata, etc.?
Not like you're 5 and I'm definitely not an expert on this project but here's my best shot...

Most programs are loaded into memory and parts of those programs are moved to registers and are used to load data into other registers. That data is, in turn, sent to logic units like adders that add two registers together or comparators that compare to register's values. The generality comes at a cost in terms of power and time but offers flexibility in return.

That is very different from something like a light switch where you flip the switch and the result continuously reflects that input within the limits of the speed of light.

If you are willing to sacrifice flexibility, translating your code into hardware gives you a device that runs the same processing on its inputs continuously at the speed of light subject to your information processing constraints (e.g. derivations of the original input still need to be calculated prior to use).

Traditionally, separate languages and greater hardware knowledge requirements made custom circuits less accessible. This project brings more standard, higher level languages into the set of valid specifications for custom electronics.
I can empathize with your comment insofar that simply interacting with others for me has been difficult at times because of the whole 'how does that thing you say relate to that thing I saw online'.

There are times where it feels like every observation I make is related to a reddit comment. The comparison is not inaccurate, but it destroys or at least harms the implicit contract of me having a conversation with someone else.

I can definitely imagine this problem is even bigger for a creative writer, when both parties have more time to compare things to other things.

I hesitate to say this is /bad/. Perhaps I'm just getting old. But it's definitely /different/ and quite often unpleasant to me.
SEKING WORK | Toronto, Waterloo | Remote

Solution Architect / DevOps Engineer. I develop CI CD pipelines, automation cloud infrastructure and focus on highly resilient available systems. Feel free to PM via LinkedIn below.

I am looking for a remote work opportunity, part or full time focused in AWS Cloud services.

Skills:

𝐃𝐞𝐯𝐞𝐥𝐨𝐩𝐦𝐞𝐧𝐭: Python, SQL, PowerShell, Bash

𝐀𝐫𝐜𝐡𝐢𝐭𝐞𝐜𝐭𝐮𝐫𝐞: Amazon Web Service AWS

𝐃𝐞𝐬𝐢𝐠𝐧: SDLC (Agile/Waterfall), UML , Togaf, Data Modeling, ETL, Data Visualization

𝐓𝐨𝐨𝐥𝐬: Ansible, Hadoop, Tableau, Confluence, Jira

Contact:

LinkedIn: https://www.linkedin.com/in/jazark/
Next of kin.
Some things don't change: https://en.wikipedia.org/wiki/And_you_are_lynching_Negroes

> use of phrases like these, exemplifying the tu quoque logical fallacy,[13][9] was an attempt to deflect criticism of the Soviet Union by referring to racial discrimination and lynching in the United States. [snip] Former Czech president and writer Václav Havel placed the phrase among "commonly canonized demagogical tricks".[7] The Economist described it as a form of whataboutism that grew ubiquitous after the dissolution of the Soviet Union.[5] The book Exit from Communism by author Stephen Richards Graubard wrote that it symbolized a divorce from reality.[8]
Fun with SAML SSO Vulnerabilities and Footguns
Ask HN: What service(s) need significant improvement?
In your daily day-to-day activities, what service(s) do you think need significant improvement and/or you wish an alternative to it existed?

OR

What service do you wish existed that would make your life a bit easier?

I'm thinking of a [tech] startup.
US rejects global Covid-19 vaccine effort
I worked various crummy retail jobs for 4 years.

In my experience, the problem of needing to go to the bathroom while also needing to man a register was overcome by a quick "yo, could you cover me for a sec?" to a coworker.
The reason why identifying bots on social media is so hard is that many propagandized humans act indistinguishably from bots on social media.
You aren't eliminating projections. You are just settling into the one kind of projection given to you by a lower level layer.
The election results had him at ~80% votes, if he is really rigging elections, would he really go for such unrealistic numbers. If I have just 40% support, I might go for showing it to be about 55%, so that it at least looks close.

I think he did rig elections but he might have had majority already, which makes his numbers look so unrealistic or he is just plain stupid to not even rig elections to make them look believable.

I do really sympathize with the Belarussian people though, every community should get a say on who represents them.
I don't see how any of the points in the article are relevant to the symmetric encryption method I posted. Yes, GPG can do a lot, and yes, some parts of it are kinda ridiculous. But symmetric pre-shared-key encryption/decryption is a solved problem, and I'd much rather trust GPG than some random's git repo.
> Killing a member of the opposition is pointless

Disagree. Proactive removal of charismatic rivals is essential for cutting off potential opposition at the knees.

You always see Russian media claim that they were a "nobody" or had no chance in the election, and that might have been true today but they could be a serious threat in a few years.

The second advantage of killing off potential rivals is that it discourages smart people from running against you.

The downside is brain drain. You end up filling your organization with toadies and with no reasonable alternatives your regime falls into chaos when you die, and usually your successor is less competent and has to be more ruthless. It's a downward spiral and after a couple of generations the whole thing collapses.
> Bin Laden’s Al Qaida was very unusual in its long term planning. Most terrorist attacks by other groups have been unsophisticated.

And, IIRC, most recent terrorist attacks have been committed by isolated individuals who radicalized, and they only used means that a motivated regular person could assemble. They didn't have the material backing of any organization sophisticated enough to manufacture a military nerve agent.

Though, I suppose if a specialist like a chemist got radicalized, then we might have a lone-wolf attack with a sophisticated poison.
I'd like to point out that "revisionism" is even scarier in the digital age.

Once you print a book/magazine/newspaper. It's done and locked down on what you said. You can't exactly take it back. Other than saying, "Hey, I was wrong" or whatever. I'm not talking about small errors or whatever. More, the general topic. Like, in the USA during the Bush 2 administration and prior, Democrats were against illegal immigration and Republicans were for it. Now, it's reversed. Hell, even Obama was for a lot more border security during his Senate days. But that changed during his run for presidency. (Broad brush strokes on the issue, obviously far more nuanced of a topic, I'm not on a hill for one or the other right now. This is strictly about the fact of their standpoints changing, nothing else. Calm your political panties.)

In the digital age of easy deleting and altering information, are we going to get to the point on trouble judging what is "historical fact" even more so than ever?

One simple thought, think of all the old racist cartoons from the Disney, Looney Toons era. Some more racist than others. But, lets say all of it is burned, deleted and gone. Hell, the old film reels aren't going to last too much longer anyways. 40 or 50 years from now, there's no actual proof of it existing except for some articles saying "there were racist cartoons by XYZ creator". Alright, prove it. "Well, it says here." But where is the actual cartoon? To be fair, a lack of evidence makes it hard to believe it ever happened. It's pretty fair, at that point, for someone to deny the cartoons ever happened. Especially since we're becoming a far more "evidence" based culture with a lack of anecdotal belief. A random blogger saying "XYZ existed" isn't proof either... because obviously you can't lie on the internet... cough cough. Photoshoping, deep fakes... the whole think of what "happened" is a scarier concept. At some point, do we just not trust a single damn thing on the internet?

I do know it's difficult to really wipe anything off the internet. Mostly due to the distributed nature and freedom of speech aspect of it... but I think a lot of people have to agree, both of those attributes are being threatened. Preserving history, no matter the sensitivity of it is pretty important.

Weird rant that's marginally related, but it's something that's been bothering me a lot the past few years. The "book burning" problem is going to get worse at this rate unless some major cultural changes happen.
Circuit Topology
That's kind of bad, but I think that for regular users, it's a non-feature. They don't care. They only care about traffic not being snooped in along the way. They will trust the messenger company.

I'd imagine JioChat is encrypted in transit, isn't it?
How else will you get web scale security breaches?
You can now find a pdf version of the book at https://github.com/dafriedman97/mlbook/blob/master/book.pdf. JupyterBook is still working on the PDF creation, so this doesn't have any of the images unfortunately. That said, most of them aren't too important (until the neural net chapter, where they get a little more important)
But if you have serialized code tree navigation isn't needed, the whole point was to make it graphical.
Until we have evidence that would carry in a court of law and assign blame at a person/country - divides in opinion will prevail and assigning those divides into categories serves no constructive purpose beyond distract from debate upon the facts.
1 tweet with no verification by the HN poster or confirmation from Slack. Suddenly:

"Slack no longer supports PDF uploads".

Slack responded within 20 minutes of the tweet [1]:

> Hi Eric, we do still support PDFs! Can you try a different PDF and let us know if it gives the same error?

I checked myself - I can upload PDFs to slack still.

[1]: https://twitter.com/SlackHQ/status/1301217226507325443
TSA was intentionally designed from day #1 to cause so much of a burden that people would willingly give up absolutely everything with regards to personal privacy in exchange for saving time.
Here's a good article [1] on some of the differences between classical workers' unions and American police unions. Many reasons but a few takeaways:

"... the agendas of police unions mostly reflect the interests of the institution (the police department) rather than those of the working class."

"Labor unions exist to protect people; police exist to protect property."

[1]: https://www.teenvogue.com/story/what-to-know-police-unions-l...
I saw your other comment after posting this. I checked against a wikipedia list of recent terror attacks and I am mostly convinced. the only attacks with comparable death counts from a single bomb seem to be car bombs, which I gather are considerably more difficult to source material for and deliver in a developed country.
It was an in-house device, not something HP sold as a product.
I would like to point out that there is a plethora of literature and research which defines and studies "systemic racism", not to mention many people who have spent their entire careers on the topic, and have done so while being "honest, precise, and consistent."

The way you have worded your comment implies that those who use the term are doing so to weasle out of honest debate, and I think this is a very uncharitable characterization. Furthermore, the dialogue you've used to exemplify the debate does not seem to honestly reflect what any reasonable expert would actually say. At best, it's what a person might say if they were poorly informed and had an incomplete understanding of systemic racism.

Really, this makes me question whether you are being honest with yourself about your own understanding of systemic racism, and the body of work upon which we draw when discussing the topic. I feel that if you had a more accurate understanding, your response to the parent comment would be quite different in its priorities, so I would highly recommend you reflect on this, and perhaps read a bit more deeply on the subject.
Yep and this is true in the USA too.
Yes! Identity is at this weird place where the goal of the solution (to have the same thing work everywhere instead of the status quo) cannot gain adoption organically, you need browser buy-in first. Which nowadays basically mean to convince Adam Langley.
I remember using this technique to get US content on Netflix while sitting in Canada
I particularly liked the description of the HP clock module referenced in the article:

>The design of the clock module was rather unusual. To preserve the time when the computer was powered-down, the clock module was built around a digital watch chip with a backup battery.17 Inconveniently, the digital watch chip wasn't designed for computer control: it generated 7-segment signals to drive an LED, and it was set through three buttons. To read the time, the Nanoprocessor had to convert the 7-segment display outputs back into digits. And to set the time, the Nanoprocessor had to simulate the right sequence of button presses to advance through the digits.'

That's quite the convoluted bit of interfacing, but no doubt using the off-the-shelf digital watch chip made it a "win". It's pleasingly Rube Goldberg.
I have seen the "conflict resolution" results - it is better described as actively misteaching. It leaves some scarred for life while teaching others to actively be bad actors. They would be better off without that and the hazing mentality.
It still might be a reasonable tradeoff for me, for some projects but regardless: thank you, that adds some nuance that I didn't get from your earlier comment.
Unfortunately a lot of prairie and forest-edge plants (where most of our calories come from) are adapted to herbivores. You can't maintain a healthy ecosystem without them, and we've been resorting to petrochemical fertilizers and pesticides to try to compensate.

If a fruit tree survives browsing by deer, for instance, it is much better protected from some very common diseases that overwinter on the ground under the tree.

Because of this, Mark Shepard and a few other people (especially that guy who wants to use cows in Africa to control erosion) think we should have about a quarter as many animals on our farms, but that every farm should have them. The animals are there to work first, produce calories second.

It's not a yes/no question, it's a matter of degrees. We should be eating less meat, and sourcing it from more places, and less worried about Grade-A cuts (fewer steaks, more stews)
There's nothing worse than side-fumbling of your dingle-arm. Glad they fixed that, even if it does need pre-fabulated amulite.
Big losers in UK would be

Overpriced coffee shops (not Central Perk style ones in neighbourhoods - takeaway chain ones)

Daily Mail (the metro readership will vanish)

The trains will be interesting - especially in London. UK rail infrastructure is built to cope with large numbers of peak time commuters travelling with large discounts. That infrastructure won't vanish, but the income will (a £3k a year discount for a season ticket still means you're paying £4k a year - if that goes, times a million, it's a lot of operating revenue with little drop in costs)
Does app ban really have any material impact on citizens?

Not having access to medicines or say equipment used in your power plants will.
Since the chip was used in HP products, there wasn't a margin as such. Much of the benefit was that they weren't paying margin to another company.

As for repairs, each product's service manual has a table specifying the correct resistor value for each Nanocomputer bias voltage. So you'd need to change the resistor if you replaced the processor.
Secure at every step: What is software supply chain security and why does it ma
I guess it was an exaggeration but compared to what even a low level proxy war looks like they are practically self funded. Nobody is rushing to give them AGTMs like is the case in Sryia. Yes they have gotten a fair share of hardware from places like Iran but they haven't gotten anything "good" in any quantity sufficient to matter. The Taliban are really hardware poor compared to damn near every other group in the region in the last 20yr. They basically just fight with rifles, mortars, IED supplies and the occasional RPG. The time they fought the Russians they had plenty of state backing though.
Personally I don't feel that's true if you include the significantly increased amount of research necessary to even find a decent local solution most of the time. Web apps are much more discoverable.
India is imposing import restrictions on things they could make themselves, like software. Export restrictions would comprise things India can't make alternatives for, like electronics and pharmaceutical chemicals. The effect is closer to the US banning export of chips and foundry services to Huawei.

Unlike the US's tech export restrictions though, anything China makes India could probably find an alternative supplier for, just at a higher cost and lower volume. It'll still hurt, just not as much as being pressured by the US.
Category theory isn't a type theory (in the sense that you can have the category of categories, which correspond to different type theories).

It's true that you can get away from Russell's paradox in category theory, but that's because categories are not sets and have different properties (there's less you can say about them because they're more general).

Type theories, particularly homotopy type theory, are becoming popular among some mathematicians, but not because they escape Russell's paradox (I'm not sure that they can say anything more about sets than set theory), but because they are more useful when constructing automated proof systems.

Edit: also, category theory is used a lot in very cutting edge math, like algebraic topology.
Apparently this is on a next gen 10nm process that was designed to increase yeilds, but Intel would say that, wouldn't they. We'll see!
I posted the global list here: https://news.ycombinator.com/item?id=24355617
That's a reason for the traveler's benefit; if that were a reason, it could be entirely voluntary on behalf of the traveler.