skysight-inc/HackerNews huggingface dataset:
If that interests you, see the philosophical debates about the nature and existence of consciousness, e.g. https://www.nybooks.com/daily/2018/03/13/the-consciousness-d... and the follow-up https://www.nybooks.com/daily/2018/04/03/magic-illusions-and...

I thought of this connection because of the philosopher Daniel Dennett's writing about the Sphex wasp.
This is because it tells Terminal (a universal binary) to launch in Rosetta, which will impose the preference on anything run inside of it. By default binaries with an arm64 slice will launch that preferentially.
Check out this conversation between Mike Tyson and Michael Franzese about how athletes repay gambling related debts owed to mafia bookmakers: https://youtu.be/lNlR3lfnLR8?t=2990

"I gotta tell you about athletes: they're not good gamblers, they're really not"
World News Tonight showed a hospital and a patient in his room last night.
lol I randomly picked the worst example in the world. But you know what I meant, some country that didn't have English as an popular language. You know, like India! (just kidding!)

I just learned right now that Nigeria's official language is English!
Some things that were not clear to me, can some one help me out with them?

1) While representing 1+1 = 2 i.e (= (+ (next 0) (next 0)) (next (next 0))) which comes at the start of this article, is this considered to be just a statement? Or a true statement that follows from the axioms?

2) On formulas, this example is shown (there-is a (= (next 0) a)). It is not clear whether this is a necessarily true statement or some symbols relating a and 0.

3) He says that proofs are a sequence of formulas but colloquially they are sequence of "implications". That "implication" is introduced later on and it is shown that this "implication" symbol also needs to be proved (successor). Didn't he use the fact that one thing implies another multiple times previously?

I need the distinction amongst "statement", "formula" and "axioms".

Apologies if the above looks like a vegetable soup but I'd love some explanation for this.
Fully brewed?
Yes, but things change over time, and there is rarely a chance to go back and refactor. Every time you introduce something new, or make some tech decision, it should be able to exist without needing to be re-written for a long time. If you are lucky enough to have some budget available for refactoring, it will probably be incremental, so choose choose things that can be adopted incrementally.
Trump Fires Cybersecurity Chief Krebs
A Big Announcement from Shopify, the New Yorkers Wouldn’t Want to Miss
On October 1, 2020, Shopify announced its integration with Empire State Digital, which was led by New York State Governor Andrew Cuomo. The basic idealization behind this participation of Shopify is to help the small retailers and businesses in New York during this time of a pandemic. This initiative invites New York’s small businesses to expand beyond physical brick-and-mortar locations by developing a truly omnichannel offering.
That remains true today.
Everyone likes revolutions as long as they're not on the business end of one.
Are you using anything to track it? I’m doing this too and using CityStrides to keep track.
> DuckDuckGo is not a search engine. It’s more aptly described as a search engine frontend. They do handle features like bangs and instant answers internally, but their actual search results come from third-parties like Bing. They don’t operate a crawler for their search results, and are not independent.

I didn't know this. I tried to use DDG for a while after I switched to Brave, but the results were just not very good and completely missing results I was looking for at times. This would explain it if it was coming from Bing.
I could have really used this a while back while doing a web scraping job. While using puppeteer(with chromium), I found that memory usage was quite a huge problem so the best I could do was write scripts explicitly preventing the loading of images and other multimedia assets. I found it still wasn't always enough.
Start reading fashion magazines and tear out the pictures of stuff you like. Then when you see something you like at the mall or Macy's, get it. If there's stuff in your closet you don't wear (or don't like to wear), fold it and put it in storage and if you haven't needed it for 6-12 months, give it away and replace it with a garment of the same type that you like.
Snow on The Atlantic: How Cocaine Came to Europe
You can see it here: https://www.lucirahealth.com/
Voice chats don't leave a record if they're not followed up by writing up the content of the call (which rarely happens). Writing first protects against poor discipline and record keeping. I encourage people to write everything up. Nothing happens without a ticket on the kanban even if the solution has been discussed on a call. I can't count the number of times this has saved hours or even days of work further down the road.
https://youtu.be/XQ6vX6nmboU?t=115
That's pretty impressive, for mobile hardware. Did you test that yourself?
I have done that for my toy compiler assignment during the late 90's, there is nothing special about it.
Unrelated, but I can't help it.

I assume "whalesalad" was a bad autocorrect that was meant to be "wholesale". But since most autocorrects learn from your past typing, I'm really curious what opportunity you had in the past to use the term "whalesalad".
Whatever Happened to New Math? (1990)
This shouldn’t be seen as a great accomplishment. Basically you just recompile the source code with the new compiler. Unless the compiler has bugs, you’ll get a new Apple M1 binary build.

Please don’t make this seem bigger than it is.
Talking on the phone at least means I can make a sandwich as we’re talking about what to talk about in the zoom meeting to have a briefing about the 2021 roadmap planning meeting.

Harder to do that over zoom because of an org policy that include the words “camera on”
Safari is worst for drag-and-drop, for certain amount of DOM nodes, it becomes undragable.
And with the right marketing, sometimes they just want to be the kind of person who owns that drill, whether they end up using it or not.
It doesn't necessarily have to be with a peer state like China or Russia though. It's not hard to imagine an otherwise weaker state (say, Iran, or North Korea) also being able to utilize a similar strategy at some point in the future.

The Kalibr and Oniks missiles are already available for sale if I'm not mistaken, and there is intention to sell the hypersonic Zirkon too.
Did GoDaddy get hit hard?
AP and NBC are not the ones disputing. They're reporting the dispute.
It was bootstraped via the Plan 9 compilers.

Go has multiple implementations, only the reference one is pure Go, gogcc and the llvm variants are naturally a mix of Go and C++.
Apple could optimize their hardware and software without making the machine locked down. Those are somewhat orthogonal issues.
My first thought was "GoDaddy got hit hard". The reason I say this is that I happened across a conversation on Reddit (sorry, I don't have the link) earlier today while doing research on WordPress speed issues (don't get me started).

Anyhow, in this thread a bunch of people who build and support sites were voicing concern because lots of them got hit by spam of different kinds across a range of sites. One guy said he supports about 80 sites and more than half of them were getting pounded with spam. They went from normal traffic to mayhem during the last couple of days. Some report having to temporarily suspend commenting as well.

We have a couple of unimportant websites down due to the GoDaddy outage. Everything else is on other hosts (Linode, AWS, Dreamhost), which seem to be doing fine.

Anything weird going on going on for others?
Even if you could resolve the ethical issues, the only thing that a study would prove is that “people tend not to care for children that aren’t theirs”, and not “biological relation is necessary for a parent to be able to care for an adopted child”.
On the other hand, in a colocated workspace it is infuriating when a high effort, carefully crafted email is met by recipients interrupting you at your desk with, "Hey, about that email, can you just quickly run through it with me now please?"
I've spent 3 years in a postgrad program and dropped off good 22 years ago.

I have learned a ton of stuff, some of which was a key part of my day job in 10 years. I've read a number of brilliant papers, and a ton of so-so papers. I had a rather clear idea, which you can currently see mundanely implemented in many IDEs.

But my scale proved to be too grandiose, my understanding of it, too vague, going / flying to conferences scantly reimbursed, and general guidance which might have helped me find a realistic path to completion, mostly non-existent.

The industry, in its better parts, is a much more helpful community, people working both on open-source and commercial projects.
>Sometimes when you're in the trenches competent help arriving can be a godsend.

So much this.
I haven't played WoW in 10 years, but I know a number of people who still love and prefer the latest releases. From what I hear, there is still usually a lag when content patches stop for a given expansion, but most of the real complaints I hear about the game are from people who were on their way out of love for it anyway, whether they realized it or not. I've admittedly been tempted a number of times to play around with it, but I know it's akin to just having a beer after becoming an alcoholic and then quitting. Not a great idea.
> This is why you see it starting to be used for "serverless" deployments.

For cloud like scenarios WASM probably will be a hit, given its safer and a good target for providers to let developers to create customized apps in any language they want.

Also there's centralized decision on which tech should be used. And this make the adoption of new tech much faster.

Sure its a portable IR, but is a very limited one and therefore it will be sub-optimal in a lot of scenarios compared to the traditional native applications.

In the web alone it will be sub-optimal to the state-of-the-art optimized javascript of today in a lot of cases, even having a much better performance in some special cases. And in the case of desktops, mobile, etc, this will make it even better for javascript applications, which will profit the most in this scenario, with hybrid apps (javascript + WASM).

Of course, the FAANG that control the platforms would love to limit more and have absolute control over the platform which will probably be the only native app allowed or that people will run. But the day WASM take the world and we are not allowed to run native applications anymore except the ones the walled gardens allow us to, will be a dark future compared to the freedom we once had.

Clean-room monopolized innovation and big tech mammoth's..
Usually a PhD requires you advanced science (usually the smallest possible step forward). This requires a lot of the skills you aquired as an undergrad, but what can get you through undergrad (beeing good at exams) is almost useless for advancing science. So we dont know if the people trying to do PhD actually have all the skills needed.
This is my general take on "remote doesn't work for X": Did your existing process actually work, or did you use the ability to interrupt people as a crutch in order to make it not totally fail?
I think the biggest testament to this is the 50%+ dropout rates common in PhD programs. You're starting with some of the most intelligent, diligent, bright-eyed young people on the planet and letting them work independently in a field that they presumably have a deep passion for.

There's some truth to this, but the other reality is that academia is a pyramid scheme; the scheme worked from 1945 - 75, when higher ed grew rapidly, and has worked more or less poorly for PhDs ever since: https://jakeseliger.com/2012/05/22/what-you-should-know-befo....

The "deep passion" can also meet academic politics, the need for stable income, the insanity of the peer-reviewed journal system, sadistic or simply indifferent advisors, a lunatic dissertation committee, and so on.

There are likely some solutions to some of these problems; the elimination of tenure could be one, or the creation of the "teaching" PhD that consists of four years of coursework with a relatively small amount of research, with the degree awarded based on whatever papers have been written or contributed to, or whatever experiments have been done.
Same here. In my case it was a failure of my DNS providers API and lack of monitoring. Worked fine at first, failed eventually.
Anybody who follows prediction markets will probably see that this doesn't mean prediction markets are any good, just that polls are bad. The valuations in prediction markets are simply a summary of what's been in the press over the past two hours or so. If the press is terrible, the prediction markets are equally terrible.
The future of warfare is launching drone swarms from subs and missile destroyers. Carriers are only useful after you have incapacitated the enemy.
Do you honestly think that Trump's chances, even in the moments following his Covid diagnosis, were truly static? That would take a serious pill of prescience to think his chances weren't volatile at some points over the previous few months. It would be like a company declaring bankruptcy but the stock remaining flat for months. Sure, maybe the writing was on the wall, but Events were happening that should correlate to expected value in real time.
One of the rules I tried to enforce on a prior team was to minimize context conversation medium changes. Following a conversation as it freely moves from email to chat to in person is exhausting.
> might have a chance to shoot down most Chinese reconnaissance satellites first… The best way to do targeting is with a constellation of radar satellites, but those satellites are relatively easy to shoot down…

Seems wasteful, better to have root access (like via X-37b) to them now ahead of time and reroute attacks en route in real time if/when the time comes. Using enemy infrastructure to take out their own seems most efficient.

The whole "Hack A Satellite"[0] partnered with USAF and DDS seems like its leaning operationally in that direction more and more for at least recruitment.

[0] https://nyan-sat.com/
That’s Emergency Use Authorization for you

Its sad because I’ve seen all the grifters and sales people and clients not know the difference between any with FDA recognition and its actual status

I think the FDA is doing more harm than good here. Like, the product just being brought to the market in a world without any FDA gatekeeper would give people more rational thought than our reality.
Which is why they came up with SIL (Swift Intermediate Language), make use of their own bitcode extensions, and not everything that Apple does lands on upstream, thanks LLVM license.
But, when it's that long, do people read it? It seems like a great CYB tactic, but maybe a poor communication tactic. I'm a voracious reader, but when it comes to most corporate communication I won't really read anything over a paragraph long. I might skim it if it is from my manager. Maybe.
Indeed, and no mention of password dictionaries etc. Strict brute force is an upper bound, but the low hanging fruit are often very low indeed
You can't land cargo planes on your cruisers and destroyers. Fighting a war without support from the country you are invading requires a lot of logistics.
Racism is not about noticing patterns, it's about erroneous generalization and the prejudice they comes with it.

In Bulgaria where gypsies live in poverty, many thieves are gypsies, therefore all gypsies are thieves, therefore not hiring gypsies.

Compare with: many thieves are gypsies because poverty lead to antisocial behaviors.
If you watch the WWDC keynote that’s literally what they are doing. You can write one set of code that adapts to iPhone/iPad/Mac and use the native sizes and tools for both.
I'm a dev using Docker and Linux and I'm considering to get it with vscode remote.
I am about to look for a new job and i'm hoping there are some companies out there that don't video zoom -- i feel like the video part is bad info, wasteful, stressful, etc.
This from the Wikipedia article on Commodus does indeed seem very bad: "Citizens of Rome missing their feet through accident or illness were taken to the arena, where they were tethered together for Commodus to club to death while pretending they were giants."
> ”The platform is playing host to, and is an important vector for, spreading false claims of election victory and attempts to delegitimize Biden’s win.”

This whole debate seems extremely disingenuous to me. What does it matter if people say Biden didn’t win? It changes nothing. People say all kinds of nonsense, a lot of it way more harmful than arguing over who won an election.

I can’t believe the left are advocating censorship and the right are advocating letting people decide for themselves.
Having used plenty of AOT compiled languages during the last 30+ years, I disagree.

It is possible to have both.
I’ve rejected Facebook and my friend rejected Google offers.

We both found something we like more than chasing other peoples dreams, your friends are probably the same.
This seems like quite a nit, since the memory requirement is largely just defending the computational complexity against hardware optimization.
> there is rarely a chance to go back and refactor

I wouldn’t say that this has been true in my experience. I’ve worked on multiple products that evolve over time and it often happens that a new feature touches on previously built features that can’t support all the behaviors of the new one, so then a refactor of the old code (at least some of it) is necessary. You can argue that doing so would require regression tests, but that’s why you automate those with a unit testing framework. This mindset of never modifying previously written code within reasonable and pragmatic boundaries is so rigid and anti-growth, I don’t even know how it came to be so popular within an industry that identifies so closely with innovation. That’s how you end up with putting band-aid solutions on top of each other and slowing down the agility of your teams over time.
Compared to Google, Bing has a huge problem with paid search results, at least in some non english languages.

My mother wanted to access Amazon last week and typed "my amazon account" in french in the windows search, which searched for those terms in Bing. One of the first (paid) results was a scam site triggering alarm sound, fake virus notifications and asking her to call a scam hotline.

At least DDG filters out the ads but the problem in this case is Bing's OS integration.
Which are old slower Intel CPUs. Intel's latest is 10th-generation and even those are slower than Ryzen, much less the older 9th-generation ones. And even those older Intel mobile CPUs defeat the M1 on multi-threaded workloads like Cinebench.

You seem to be ignoring the benchmarks where the M1 beats the Ryzen 9 5950X on several--but not all--benchmarks. [1]

From the article:
In SPECint2006, we’re now seeing the M1 close the gap to AMD’s Zen3, beating it in several workloads now, which increasing the gap to Intel’s new Tiger Lake design as well as their top-performing desktop CPU, which the M1 now beats in the majority of workloads.

And there's this:
The situation doesn’t change too much with the newer SPECint2017 suite. Apple’s Firestorm core here remains extremely impressive, at worst matching up Intel’s new Tiger Lake CPU in single-threaded performance, and at best, keeping up and sometimes beating AMD’s new Zen3 CPU in the new Ryzen 5000 chips.

And regarding power consumption:
While AMD’s Zen3 still holds the leads in several workloads, we need to remind ourselves that this comes at a great cost in power consumption in the +49W range while the Apple M1 here is using 7-8W total device active power.

That's the point I previously made—Apple’s first go at making their own processors for their entry level laptops and the Mac mini is super competitive with AMD's newest and best processors and beats it in several benchmarks, at a fraction of the cost and power consumption.

That's pretty impressive.

It has to make one wonder what the results will be when Apple ships a processor made for higher-end desktops, where they won't have the thermal and power restrictions of a laptop processor?

I'm sure when they were contemplating a transition away from Intel, they had to do their due diligence and consider if AMD could be an option. But clearly they knew they have a much higher ceiling with their architecture.

You know there are prototypes in Apple's lab now that far surpass Ryzen that'll be in machines spring/summer 2021. Apple's been relentless with shipping faster A series chips every year for the iPhone; I suspect we'll see the same thing with the M series.

[1]: https://www.anandtech.com/show/16252/mac-mini-apple-m1-teste...
plenty of things can become vastly lower in CO2 contribution, flying is not yet one of them.

It is merely a bogyman for a tribal train of thought
Since I can’t edit, I’ve been dyslexic this whole thread - OSCP should say OCSP.
Apparently first EUV prototypes were shipped to TSMC for R&D in 2010(!).

ASML has a timeline of the company and technology development[1].

[1]https://www.asml.com/en/company/about-asml/history
I don’t think rendered braille is for the visually impaired...
It’s really very similar to the A14 chips.
> not yet gone back and read it though

I feel the same way with photos I take on my phone! More time taking than consuming.
This is fun, but the fashion police descend undeterred
Nothing to do with rich or “softer”. There are jobs that are dangerous that pay quite well and require little physical prowess.
This is cool, but it means that the design, construction, test and calibration procedures and results for your self-built equipment will all have to be part of your experiment documentation for reproducibiliity.

I'm all in favour of DIY, but doing it right is vital in science. The book Arduino for Projects in Scientific Measurement[1] is a useful starting point.[2] Of course the principles and methods described apply more widely than just to the Arduino.

1. https://www.amazon.com/Arduino-Projects-Scientific-Measureme...

2. But it's just a starting point. There is a long journey ahead.
The betting markets are a function of the polls.
I have noticed the same problem with DuckDuckGo searches recently.

I hope that a verbatim search function will be restored in the future; I think it's an essential basic tool for a search engine, and without it the user can be left with the impression that the engine either doesn't understand what it is being asked to do, or that it is wilfully disregarding instructions because it thinks — often wrongly — that it has a better idea of what the user is searching for than the user does.
>Apple's SoC has the GPU, Neural Engine and other stuff.

That is the same with Qualcomm.
Trump is not a fascist. He's not far-right. Mere nationalist tendencies do not make one a fascist.

From wikipedia:-

"Fascism (/ˈfæʃɪzəm/) is a form of far-right, authoritarian ultranationalism characterized by dictatorial power, forcible suppression of opposition and strong regimentation of society and of the economy which came to prominence in early 20th-century Europe. The first fascist movements emerged in Italy during World War I, before spreading to other European countries. Opposed to liberalism, Marxism, and anarchism, fascism is placed on the far right within the traditional left–right spectrum."
Title. Abstract. Details.

Most people will skim the title. Some will read the abstract. Few will read a specific paragraph or two of details. Yet, the writer doesn't know who's going to read what. Could be the writer himself, 6 months down the line. Often times those details are pure gold.
Disinformation, especially political disinformation, has been shown to be extremely harmful and an existential threat to democracy. Have you been under a rock the past 4+ years?