skysight-inc/HackerNews huggingface dataset:
> In which scenario Amazon would deny sending an email and you would be protected by DKIM?

You want a specific scenario of a dispute between a vendor and a customer? Ok. Let's say I email Amazon's customer support to ask them if a specific order is going to incur customs fees, and the Amazon representative emails me back that the order is not going to incur customs fees. Then I make the order, and to my surprise, I do have to pay custom fees. I contact Amazon to ask them to compensate me for the fees, but Amazon now claims that they are not responsible for custom fees. At this point I would be protected by a copy of the email where they claimed that I would incur no customs fees. If I can demonstrate to Amazon that I have proof of their false claims, prior to the purchase, they will be inclined to compensate. If they refuse to compensate, I can (depending on jurisdiction) take my claim to small claims court and present my evidence there. In this case it's unlikely for anyone to actually validate the DKIM signatures, but it does matter whether email is generally considered to be non-repudiable. If you run a campaign to make email repudiable, and make sure people should know email is repudiable, then this email will be less convincing as evidence.
In the M1 processor, DRAM is on-package, but not on die. (Even large eDRAMs sharing a die with logic don't currently reach to gigabytes.) How far can DRAM-on-package go? NVidia just released a GPU with 96 GB of HBM on package (80 GB enabled, 16 GB disabled for yield reasons), with 30x the bandwidth (!!!) of the M1 processor. This wouldn't be a low power or low cost solution, but for something like a future generation Mac Pro, it gives a good intuition for how far you can go with today's technology.
Carbon Relay Acquires StormForger GmbH, Rebrands as StormForge: https://www.stormforge.io/blog/more-than-an-acquisition-a-ne...
For most everyday work - Raspberry Pi is fast enough, so it's not even an argument. Raspberry Pi 8GB is 10x cheaper? There are mini desktops starting at $250 that will do everyday work.

If you throw in "everyday work" - then we have passed the need for new chips altogether.
SPA was a mistake.
You want simple internals, and one would expect programmers to understand those internals. You want the userspace to do obvious things with those internals. You don't want magic in between. Understanding internals is a feature, not a bug.

I picked Debian over Red Hat since, at the time, I could understand how .deb packages worked, and look over the state of the system. Red Hat had more opaque internals. If something broke on a Debian system, rare as it was, I could go in and fix it manually. If something broke on a Red Hat system, it was generally in a binary database file, and meant a reinstall. Red Hat also broke more often, I think for very similar reasons in design philosophy.

If I were making a tool for grandma to manage her photos, that's be something different. If you're making a coding tool for 3rd graders, perhaps you want to hide more stuff too, but even there, many modern coding environments translate blockly into Python/JS/etc. code, and show the code to kids so they can see under the hood.

I have a car, and as a car user, I want thinks to just work. As a car mechanic, I'd like things to be understandable, fixable, documented, and transparent.

git is like that. It has simple internals. Once you understand them, the userspace become very understandable too. The upsides of the elegant internals far outweigh the downside of a slightly clumsy userspace, which is why it's the dominant VCS right now.

It took over precisely from things which "just worked" with a simple userspace, and clumsy internals, like SVN and CVS.
There are so many of them! GitHub, for example. ;)
Congrats guys - I prefer this level of abstraction. I'm assuming as I user I can dig in a bit deeper? Edit terraform manually, etc?
> I still think there's a big difference between giving a platform to the people who don't have a voice (Twitter revolutions), vs giving a platform to world leaders and people in power trying to use the platform to disseminate their propaganda.

I don't think Twitter revolutions were free of propaganda. I am sure all the superpowers and regional powers were fanning the flames of discontent and trying to steer the results in their favourite direction. The excuse many countries gave for blocking Twitter was that it was a foreign propaganda tool. I am not saying the entire thing was foreign agents and propaganda. I am saying that there was some of that then as it is now. We have just learned to see it, because now the propaganda is directed at us and we have a clearer view.
> Because of the halting issue you cannot summarise reality into a set of axioms and rules

Conway's Game of Life is a kind of reality summarized into axioms and rules, and most likely our universe/multiverse is on track to being similarly summarized. The halting issue doesn't get in the way of that achievement...

Once you have the intuition for why the Halting Problem (i.e. fortune teller paradox) is obvious, then Godel's proof is just an XSS attack on axiom systems whose designers think they're only "about numbers", like how CSS is designed to be about styling but it's also Turing-complete and vulnerable to XSS.

Russel and Whitehead were trying to simultaneously (1) invent a system capable of proving highly insightful claims about the infinite space of numbers, like "there doesn't exist a number between 1 and infinity with property P" but (2) not a system that can encode a Turing-equivalent agent that creates paradoxes if it tries to predict its own future.

Godel was just the first to point out that condition (2) was already met just by supporting Peano Arithmetic, the same way a modern computer science undergrad can point out that CSS is Turing-complete or your regex-based HTML validator is vulnerable to XSS attacks.
>cost of wearing a mask is SO LOW that it is worth doing it

tell that to people work in warehouse/food service. Its makes they already hard job even more harder.
Didn’t they mention Docker specifically in the Apple Event? Obviously it won’t work properly for 6 months at least...
I've seen those. They all are made to plug into the back of a tv through hdmi.

HDMI doesn't have power and typically no peripherals like keyboard and mouse. To get that to work as I would want it would need multiple cables plugged into it.

I just want to stick my computer into a hub like a flash stick and have it boot up.
The Air in the article is fanless.
Is this a 1-1 comparison? If the ARM compile is compiling to ARM binaries then there might be less work/optimizations since it is a newer architecture. Seems like a test with two variables that changed. Would be interesting to see them both cross-compile to their respective opposite archs.
Your perspective indicates perhaps a bit of spoil... I think it's totally fine to not want children but thinking of them as spoiling anything by their existence feels to me as profoundly wrong as thinking of... well, a person as spoiling anything by their existence.
>Nearly universal praise for the M1 versus it's predecessor but I don't see how this really changes Apple's position the way he implies. Their machines are still far more expensive than Windows

It was never about being cheaper or the best bang for the buck.

Mac was always playing at the expensive end of the market, for people who want/appreciate (most of) what they get (macOS, the hardware/software integration, the ecosystem, the design choices, the better components at various levels - screen, trackpad, the sturdy unibody construction, the sound, the battery life, etc), including some compromises (e.g. lighter and more battery over more powerful graphics cards, simplified product line vs endless configurations and decision fatigue, etc), plus the ability to run commercial apps like FCPX, Adobe Suite, MS Office, and (for those few that care) a UNIX underneath.

Now the Mac has all that, plus a very fact CPU, it can customize for the OS even further, build extra coprocessors and SOC goodies, have crazy battery life at great performance, and even lower cost or higher margins.
Not to be a naysayer, but when you get into legal terms, you have to be careful with terms like "addictive". Addictive implies a component of physicality (by the legal/medical definition, not the common definition). It's horribly habitual, which is as bad as, and hard to differentiate except in the physical symptomology of withdrawal.

I know this sounds like splitting hairs on message boards, but I can guarantee you that all of these people who have been called to testify have been briefed heavily by squads of lawyers.
Here is a similar story from a news source: https://www.npr.org/2020/11/12/934266487/icu-nurse-on-dealin...
I wonder if the CPU can support mixed RAM.

E.g. have the on-die 8GB of "fast" ram, and then support 2 external DIMMs or something for "overflow", file caching, etc.
I've worked at a few places where CI will automatically merge main back into open feature branches (or at least open PRs). It's quite nice.
Untrusted devices should be on a separate network where they don't have access to any data worth exfiltrating.
Yes they do. What they don't do is search for multi-byte characters. You would not use them for that; you use them to look for ASCII delimiters. You can tokenize a UTF-8 string on ASCII delimiters using functions that are oblivious to UTF-8, and this is in fact a preferred technique in many programs.
The reason is security. Like for some new wifi routers, you can't connect directly to it. This approach clearly has the downsides you mentioned but also makes it harder for hackers to mess with your thermostat.
Interesting to see Senator Graham ask a question on whether or not where the platforms have research on FB and Twitter being addictive.
"Simple needs have simple answers."

zfs snapshot pool/home/git@2020-09-07
I'd say >$2.4M in exec comp[1] isn't just making up for a lack of stock options.

[1] - https://www.cnet.com/news/mozilla-cuts-70-staff-as-part-of-p...
...and got the new Mac mini for the extra display, not because of how it performs.
No, that's not possible. A panic must be recovered in the goroutine in which it occurs. An unrecovered panic in any goroutine kills the entire process, not just the offending goroutine. There is no way to top-down wrap an entire go process in a recover block to keep a panic from killing your process. You have to do it in each and every goroutine.
The term “magic cookie” in the sense used by browsers predates the WWW. That’s why the term was used.
Interesting, although seems like they kind of buried the lede. Surely the go toolchain and Electron should already work find on Rosetta? Getting some new Mac Minis for CI should only take a week or two.

What's unclear from this is if the hypervisor even supports everything they need or if they're waiting on Apple for more features, and how much work it'll require on their end to support the new hypervisor. Since Docker for Mac is closed source I think we're just waiting on the company for it as well. I wonder if we're looking at a month, 6 months, or multiple years?
I think we see passive voice a lot in technology because we're frequently describing actions and outcomes. The actors are either irrelevant or continuous and unambiguously implied.

In the example we'd have to keep referring to 'Hemingway' or 'the application' in order to maintain active voice, which adds no value. E.g. 'Hemingway marks phrases green to show passive voice'

Passive voice allows us to switch focus to the object that is being acted upon, which is much more relevant.
That is a great idea. I think the software is going to be the hard part. You would need some kind of heuristic or software to manage moving memory between those two locations. That is just my initial thought I could be totally wrong.
I’d say the basis in the US is freedoms guaranteed by The Constitution, just like the basis for smoking, drinking, using recreational drugs, having an unhealthy diet, riding a motorcycle, not exercising regularly, etc.
This is a harsh thing to say, but I understand where you're coming from.

We....all of us, all human beings...need to be very patient and merciful with each other.

My wife and I know good, honest and smart people who are fully convinced that Covid19 isn't that dangerous, that it's a hoax, etc.

I'm not saying "smart" lightly.

All humans...even the best of us...are at our core deeply irrational most of the time. Different groups of us are irrational about different things.

Saying all of this, I do not mean to minimize the focused, concerted actions of a relative few who have taken advantage of not just human weakness but also the new communication technologies available to them.

We should reserve our ire for those who pull the strings of manipulation to the detriment of many.
Obviously, it isn't right to be rude to nurses but it probably also isn't right to sneer at people on their deathbed who don't want to accept that they're dying or really understand why, and blame them for their disease even though we have no idea how they got it.

I think some people dying in hospitals from COVID have a right to be mad at the medical system. Did these patients get any of the 5+ antiviral or immunomodulatory drugs with published successful RCTs? Did they get prophylactic antithrombotics? Did they get good advice on a healthy diet and medical care throughout their life? Probably not, and I don't think a judgmental tone towards them helps anything.
The audience, formality, and domain expertise settings definitely work. And the tone settings do actually give feedback on the lower-right-hand side of the text input box in the form of emojis (albeit still experimental).
Huh? Apple is quite the opposite of fanless... They have literally the most devoted fanbase among computer vendors.
Right, and I think some benchmarks I've seen this morning indicate that it throttles during more intensive tasks. The Pro benchmarks better, the only difference being the fan.
The #1 delusion is reporting case numbers as a cause for concern instead of deaths and hospitalizations. The others are the inconsistent science behind government orders, like closing restaurants after 10PM, allowing patrons to go maskless when sitting at a table but not when standing, etc. The last would be lying by omission. Florida had 50% deaths per capita vs. NY but NY is lauded as a shining example of how to handle a pandemic.
The next laptop I purchase for home use will be a linux laptop. Hopefully linux on a laptop has gotten a lot better than my last couple experiences with it. Apple products have just taken such a steep turn for the worse over the years, I can't justify paying that amount of money for such poor quality.
Writing Engineering Strategy
For monitor you need high refresh rate. Dasung monitors are the only option right now. My only regret with dasung monitor is that I didn't buy is sooner. I can work long hours now without my eyes getting tired.

http://www.dasungtech.com/
Here's another benchmark, this time XCode, that I screencapped from Dave Lee's YouTube review: https://twitter.com/john_lam/status/1328754454930231299

The 3950X Hackintosh performed on par with the MBA.
Adding Authorization to a Serverless Node.js App
wait they remove emojis from comments?
Keep in mind that so far Apple has only started offering M1 on what are essentially entry-level computers. I think it's likely there will be a 32GB Unified Memory version for the 16" MBP (which maybe will become available on the 13" or Mac Mini too).

I think M1 would not be able to achieve the performance and efficiency improvements if the RAM were not integrated, so they'll stick with Unified Memory for the time being. I don't think this will be as tenable for the Mac Pro (and maybe not even iMac Pro), but those are probably much further from Apple Silicon than anything else, so we'll see what happens.
Yet another reason I'm glad for the inevitability of death.

I can't be the only one who thinks emoji are a terrible idea. Granted, I also don't think logographic characters are a good idea but at least they have thousands of years of use and agreed upon semantic meaning behind them.
It's not specifically github, but I believe this wrong mental model was greatly popularized by it. Until GitHub rose to fame a project had reasonable chances to pick mercurial, or sometimes SVN; today the default is git on GitHub. That is the issue: when you choose a tool not because it's the best at what you want to do, but for other (very good) reasons: it's popular so you'll find help easily, more people will interact with you, etc...

So, no, GitHub didn't create this, but it made it default
This researcher has said it may be possible with PongoOS and kernel signing https://mobile.twitter.com/never_released/status/13273981029...
https://mobile.twitter.com/never_released/status/13273946342...
So are we going to see this chip in MBPs at some point, or is there a reason that's a bad idea?

Furthermore, is there any reason to think there's a less throttle-happy version that might be available for the Pros?
Yes, it is mostly semantics but the question really is what you think the space-time metric is. In order to attribute the prefactor to time you would need to argue that the space-time metric really is Euclidean, but because time is different from space there is this negative prefactor showing up in the metric. But you can also claim that time and space are the same and the space time metric is hyperbolic. Since there is there is no good argument why metrics necessarily need to be Euclidean, I find the second option more convincing.
I'd still say ours is outsized, because the US outbreak is essentially the same outbreak we had months ago. Those other countries are on their second or third outbreaks.

Their outbreaks reach higher peaks than ours, but only for a month or so, and then come down to a much lower level than ours, making our one outbreak worse than any of their outbreaks.
It is very hard to detect self-referential statements and restricting yourself to "non-self-referential statements" might be quite severe.

Given a set of "domino" tiles - each having a top and a bottom. Each top and bottom has some word on it - these words can only use the letters "a" and "b".
You can duplicate domino tiles and also align tiles so that all tops and all bottoms are aligned.

Now, given a finite set of such tiles, can you say whether there is an alignment so that all tops concatenated, read from right to left, equal all bottoms concatenated?

In fact, given such a set of tiles S, you can easily create a formula P(S) that is true iff such a valid alignment does not exist. Obviously this formula is true for some sets of tiles and false for others.

Now the funny thing: Given a (correct) fixed theory T in which you can state P(S) for every S and in which proofs can be computationally checked, there must be infinitely many S so that P(S) is true, but cannot be proved in T. Thus such theory T is incomplete.

Where is the self-reference?

This problem is also known as the Post correspondence problem (PCP). The halting problem can be reduced to it, which is not decidable. If T was complete, you could enumerating all proofs and see whether they correctly proof P(S) or its negation. Due to its completeness you would eventually find a proof for either of them and thus you could decide the halting problem.
Basically I don't think drug prohibition works and thus , even though social media is very harmful, a social media prohibition would also fail.

You can only make the choice to not poison yourself.
Is the new architecture better or worse with memory usage than x86 macs?
Given that we're seeing the same spike in our big, coastal metro areas, perhaps the problem is more complicated than rural attitudes towards Covid.

[0] https://outbreak.info/epidemiology?location=METRO_42660%3BME...
Thanks for voicing what I've been feeling. I've just never got any kind of file browser in the terminal. As you said, there are better tools for browsing that require less investment in a partiuclar way of thinking.
Normally this wouldn't feel so ground breaking, but the stars are in alignment and all these improvements are hitting at the same time. We're seeing years of work and investment paying off (AMD, Apple, ARM, Nvidia, Amazon), new process nodes (TSMC), and new tech (Ray Tracing, DLSS, machine learning) all hitting at the same time.

And that's the big stuff! There's also the steady incremental improvements such as battery technology, SSD and RAM that are ongoing.

You also have an incumbent (Intel) who's lost their way. If they were as scrappy as they were 15 years ago this wouldn't feel like such a banner year.

Yeah, I think we are in a new era of computing.
Would it? With no wind, the sand mostly stays on the ground. When it does get kicked up by something, it goes right back down since there's no atmosphere.
No local access and/or physical control => don't buy it.
No exceptions.
I disagree. He defines Booking (as well as both Google and Facebook) as easy mode. From the article:

>the biggest takeaway from my perspective is that Booking was drastically undervalued circa 2011...The truth is that, as I just explained, the company was playing in easy mode... Google, the Super-Aggregator, has been extracting an ever greater share of OTA margins. Indeed, that’s the downside to having a business built on easy mode: anyone else can play the game just as easily.

The key difference between easy and hard mode seems to be layering on top of an existing business, service, or relationship versus creating a new business role, service, or relationship.

Booking was simply a new middleman between consumers and old businesses. It was just a travel agent, but online. There was nothing unique about it or any type of moat to protect it once a bigger competitor like Google decided it wanted that market.

Airbnb was connecting consumers to new businesses that wouldn't have existed without Airbnb. This was done in large part through ignoring the law and it allowed Airbnb to ramp up a business that is much harder to usurp by the likes of Google or Facebook.
Oh I absolutely agree, there always has and will be disguised propaganda, my second point still holds that pure lies and provable misinformation such as "Trump won the election" can get deleted when coming from an average user, but not when coming from someone in power.

Entire networks of bots spreading misinformation get removed every once in a while, but you won't see the same happening with world leaders purposefully spreading lies.
Maybe, but architecture-specific stuff is a relatively modest part of compiling. And in any case, if you're going through compile-test-run cycles, the fact that it might be easier/quicker on ARM is hardly a ding against it.
Switching to sr.ht was such a breath of fresh air that I immediately started paying at the max tier yearly despite always being a free GitHub user.
I lot of people are having a hard time grasping or accepting.

“But this benchmark has these issues”, “but this is hardware accelerated, so it's not a fair comparison”, etc. I think when enough benchmarks and real world usage have been run, it will sink in.

What did people expect? They've been killing it with 5W fan-less chips for years. Have you seen how confident Apple is in those videos?
Cooling fans.
Don't believe me, do the math yourself. Extrapolating from data on https://coronavirus.jhu.edu/data/mortality we get:

U.S. mortality rate is 2.29%. Average daily cases for the past week have been hovering around 140k (https://covidtracking.com/data/charts/us-daily-positive).

140,000 * 0.0229 = 3,206 deaths per day. 9/11 was just 2,977 deaths (https://www.google.com/search?q=9%2F11+deaths)

So once the cases from the last few days progress further, we will have 3206/2977 = 1.07692307692 9/11s a day in deaths.

note: corrected above, should have said 3k not 9-10k. Misremembered my calculations from earlier this week. Analogy still accurate
> but wow do we sure know that they're dumb hicks who deserve to die

I didn't see that sentiment expressed in the article, or by the majority of comments here.