skysight-inc/HackerNews huggingface dataset:
This is called VBS.

It requires: virtualization instructions enabled and working, legacy bios disabled (not merely just booted with UEFI; workstations that are qualified for this operation usually have the option entirely removed, but simply turning legacy boot off entirely is enough), UEFI on, trusted boot on with Microsoft's keys enrolled, TPM 2.0 on and functioning and the OEM has to physically qualify that no external DMA interfaces can be hacked (ex: my 1660 Super claims it has a USB-C port (due to type-C DP support), the card physically only has DP and HDMI, no type-C, so I have to set a registry key saying "this PCI-E device has been qualified to not be an external concern") (another ex: even with USB3 etc host chips that are qualified (ie, the IOMMU properly sandboxes them), VBS sets the option that disables connecting a USB etc device awhile device is locked; you can only plug in a device while unlocked and have it actually connect).

VBS is for truly secure workstations, the kind that really truly try to defend themselves against all sorts of security issues, including physically there (in concert with Intel vPro deployed correctly for VBS, and AMD's equivalent that I'm blanking on the name for).
Major powers have been on board with universal human rights since WWII. They aren't always perfect, but the effort and progress since then is astounding. Look at the world now vs 1945, or 1845!
Secure Messaging, Anywhere
I remember avidly reading this whole thing when it came out (and a lot of the rest of the blog) despite not having a CNC myself. Always great to see someone sharing knowledge from their own deep interest in a topic.
Circling–or cycling–the track at F1’s famous Circuit of the Americas
100% correct.

The other option is AMD motherboard manufacturers start shipping boards with the E9260 or something onboard.
Here's a good reminder of the dangers of scale.

When Need for Speed (2015) came out I was one of the software engineers in the war room, monitoring crashes and usage statistics.

At one point we saw a big drop in active users and it turned out it was because servers kept crashing. That was a big deal since a server crash was usually rare and naturally meant disconnecting all players on it.

After a bit of searching I found the responsible code. It was a client side bug which crashed the server. The line even had a comment mentioning that it wasn't entirely correct, but that the probability of a crash was about one in a million.

Well, we had millions of players.
Best one I've seen was a former manager of mine who was testing the performance of an API which was a descision tree underneath but insanely poorly implemented. He ran wrk against it and... Yeah, the rest you can imagine.

Mine was an unfortunate chain of events. Connecting to a databases was done through a specific server with port forwarging. A sysadmin changed the ports for whatever reason without notifying us so the port that was supposed to point to an alpha environment suddenly became production environment. We had done changes to an authentication system and the old wan was being depricated so I was going to get rid of it in the alpha environment. Soooo... Drop table sessions on production. Luckily that was an internal system so all that happened was that ~800 people got logged out.
Very funny. In reality politicians have very little impact on the operation of these agencies who exist in the permanent bureaucracy. https://www.youtube.com/watch?v=wKDdLWAdcbM
Perhaps composing the BEST response isn't the right tradeoff vs being available for your friends and not leaving them hanging?

A person I'm close to does this (takes days/weeks to respond to anything). Important as they are to me, I've basically written them off as someone I can rely on.
Cool app! Is the data of the contacts stored locally or on your servers?
Okay. I can tell you feel your logical position is much stronger than it actually is. We need not live through things to form opinions, and since I've never had to deny anyone's pronoun request I'm not really sure what you think you're defending against. Maybe explain how you think my opinion wrong instead of huffing and puffing about hypotheticals being evil. I don't feel the shame you've tried to direct my way. Maybe some second hand embarrassment for what I'm reading. Great contribution.
Servers, VMs etc. always end up getting build-essential to handle random python/ruby/npm/... package installations, as the shipped versions are hopelessly outdated and creating your own debian packages for all of them is about as enjoyable as performing appendix surgery on yourself.

Multi-stage builds do make it a bit easier to get rid of them for containers, yes, but during the build stage it's still required.
It definitely got better when MOG moved lots of tech people into their own agency. So, so much better. Like, a whole department of people not answerable to anyone but their COO, who had basically no idea how to support agencies.

I inherited an "enterprise environment" to look after that had attempts to talk to on prem NTP services via VPN, but that had failed over time. Cybersec had closed the route without notice and the environment eventually drifted out of sync and was completely unable to get updates. It hadn't had any updates for 3 years. There were still other elements of the VPN that could talk to parts of both networks used between two big agencies supported. That system was classified as sensitive. Also, the firewall hadn't had a definitions review in 4 years. .Net Core alpha release was being used.

Fortunately I was able to nuke the whole thing because of the low number of users.
Unfortunately 3D printing can only go so far and some things must be CNC milled.
> That a 16-year old remembers such detail about age 3 seems… unusual. I don’t mean a memory here or there; this child remembers very specific experiences and the feelings he had about them when he was almost pre-verbal.

Even today, I remember one "crazy conclusion" like the article talks about from I was very small (probably around 3). We lived near a river, which I inferred must be circular (like an ouroboros), because otherwise it would drain away. For some reason I can't exactly recall, I thought the town across the river was on the island this would form, and the town I lived in was along the outside edge. This of course meant that you could go to the center of the other town, but not to the center of our town.

I also have memories that were certainly from before I was 2 1/2 (my family moved then, so they stuck with me because that made them distinct). One of these memories is obviously real, but got "patched up" with some peripheral details from a little later in life. The memory was set outside at the bottom of the stairs of the apartment where my parents lived when I was born, the peripheral details of the design of those stairs and the setting beyond my immediate vicinity got replaced with those of different apartment building near our new house). I only realized this when I was 10, and we visited the town where I was born and went back to that apartment building.

Also, none of these memories were traumatic in the slightest. They were just little forgettable things to an adult that were new and unusual to me as a toddler.
I'm fairly sure that the average programmer today writes scripts for processing data in Python (or in R, Matlab, or something like that). Software engineers, data scientists, and other similar professionals who define themselves by their skills rather than their field are already a minority among programmers.

Or maybe I'm just spending too much time with biologists.
> CompCert is not free software. This non-commercial release can only be used for evaluation, research, educational and personal purposes.
There’s a lot of folks in this thread who’ve shared their personal experience with learning and teaching programming languages. Some attempt to generalise this experience into principles of how much the first language matters and how to choose it.

It would move the conversation forward if people were up front about which metric they’re trying to move. For example, here are two equally valid pedagogical goals that are in tension with each other - helping everyone become a programmer (no dropouts) and making sure every programmer meets some pre-defined criteria (strong understanding of memory layout or type theory or ability to build products). If your pre-defined criteria includes understanding of type theory, you might start with Haskell. Certainly all surviving members of your starting cohort would succeed according to your criteria, but this is only success if you didn’t mind people dropping out. Conversely, a language like python might help fewer students drop out, but they might have “weaker fundamentals” for some definition of that.

So let’s be clear about what success looks like. Let’s state a hypothesis for success and which metrics we’ll use to measure that. Let’s verify that hypothesis by offering the teaching approach to similar groups and interpreting the results.

We can do better than “I was taught like xyz, and I’m successful now and so that was definitely the right approach”.

Lastly, some people in this thread claimed that anyone can become a programmer if the teaching is good enough. On this, I’d like to paraphrase fictional food critic Anton Ego - “only now do I understand what was meant by the motto ‘Anyone Can Cook’. Not everyone can become a great artist, but a great artist can come from anywhere.”
Why do you believe that "not everyone can understand chemistry"?

Perhaps I should be a little more specific. When I say "everyone" below, I mean "the overwhelming majority of people in the average range of human intelligence, without debilitating mental deficiencies". This group spans virtually everyone you are likely to encounter, from car mechanics to school teachers, to postal workers, to professional software engineers.

People have blind spots, but in general they're pretty smart when it comes to the things they think about every day. I believe:

* Everyone has the mental capacity to learn $RANDOM_DISCIPLINE if they put in the time and effort. A good teacher can dramatically accelerate the process, while a bad teacher can bring the process to a grinding halt.

* Everyone has a limit to how well they can understand $RANDOM_DISCIPLINE, (even Terrence Tao) but most careers do not demand that workers reach that limit. One can be a successful researcher without performing at the same level as Terrence Tao. One can be a successful software engineer without being a computer science researcher. One can understand advanced topics in math or computer science or chemistry without having personally discovered them. One can work as a chemistry lab technician, or a high-school chemistry teacher without winning a Nobel prize.

You can replace $RANDOM_DISCIPLINE with things like "computer science", "constitutional law", "how to reassemble a car", "chemistry", etc.. If you start getting very specific, you might be able to get me to disagree with statements like "Not everybody has the mental capacity to have invented Inter-universal Teichmuller Theory".
Surely there's no country on Earth where "it's on my property therefore it belongs to me now" has any basis in law. That would be totally unworkable.
Yes. Using laggy apps, I don't feel like working, it feels like a struggle, hence frustration.
Math is at its heart about intuition; formalism is a just tool. One uses the formalism but one has to see past it.
Roughly its the difference between knowing that a group is a set with a certain binary function, and knowing that a group is a particular formalization of symmetry.

While a shortcut to understanding sounds nice, I don't think you'll find it by focusing on abstract formalism.
Wow that’s a huge WTF on Microsoft’s part. Why drop the only component of signing that actually identifies the author?!
Schools don't want too many of their students to quit. Especially when other schools start with more friendly programming languages. Assembly is important to know about relatively quickly, but I think it's a recipe to make people hate computer science when it's the first programming language.
Binance Isn’t Allowed to Be Operating in the UK, Watchdog Warns
Not to me. He acted as an engineering consultant or manager in the courtroom. Managers and consultants on engineering projects rightfully require licenses, even if they do nothing but talk in meetings.
I wrote some hash tables at an automated trading firm. They were really only suitable for our exact access pattern though.

Usually you find people like this making libraries or programming language runtimes I guess.
As noted in the License section of the readme,

> CompCert is not free software. This non-commercial release can only be used for evaluation, research, educational and personal purposes. A commercial version of CompCert, without this restriction and with professional support and extra features, can be purchased from AbsInt. See the file LICENSE for more information.

However, https://github.com/AbsInt/CompCert/blob/master/LICENSE goes onto say that

> The following files in this distribution are dual-licensed both under
the INRIA Non-Commercial License Agreement and under the Free Software
Foundation GNU Lesser General Public License, either version 2.1 or
(at your option) any later version: ...

and then lists a bunch of specific files and paths, which may or may not (this is the key question) constitute a majority of the repo. Looking around, I see a few references to the LGPL and LGPLv3.

The LICENSE also makes clear (immediately following the file list) that

> If you opt for the GNU Lesser
General Public License, these files are free software and can be used
both in commercial and non-commercial contexts, subject to the terms
of the GNU Lesser General Public License.

So, broadly speaking: am I just looking at a standard smoke-and-mirrors routine (creating just enough uncertainty that most commercial operations would reasonably pursue the custom license) or are there any actual intuition-violating footguns hiding anywhere in the codebase?
I understand SQL, DBA and TBH, but what do RCA, PIR, PER, and PCR stand for?
I’m pretty sure a few hours on a Haas VF3 or ST20 running a simple part under supervision will be safe enough.

I don’t think anyone in their right mind will be handing over the keys to a roomsized VTL any time soon...hopefully...

Manual machines on the other hand—absolute death traps.
I would be wary of using this to play online. I would assume chess.com/lichess anti-cheating algorithms would notice the robotic mouse pattern and eventually ban you.
Not quite true; mail delivered to your address is legally yours. A retailer who accidentally ships a crate rather than a unit of headphones has no legal right to mandate that you return received merchandise.

edit: I should've been clear in stating that it is _unsolicited_ mail addressed to your name and address that is legally yours.
“All professions are conspiracies against the laity.”

- George Bernard Shaw
I'll repeat myself by saying "I have no idea if McAfee had such knowledge." You just can't say he didn't have some knowledge because you are unaware of any important information or connections he had.
One thing that the San Francisco cap will do is greatly benefit those who are disabled or otherwise unable to pick up. There is a large segment of the population that simply cannot do what I do and go pick it up. (See my anecdote below.) They're house-bound or elderly or disabled or really just have no practical way to get food without delivery. And "services" like DoorDash and UberEats and GrubHub all affect those people in pretty profound ways, and this puts a disproportionate burden on that cohort of customers out there. The rest of us can save money by taking different actions, but for those who rely on delivery for food, they're just shit outta luck.

And for those people--and even the rest of us!!--the fees are getting out of control. Like, I'll routinely order $40 worth of pizza or sushi and somehow my total is $63 not including a tip. Fees of more than 50% for a delivery are just bonkers and unacceptable. This is easily verifiable by just switching the same order from Delivery to Pick Up, if anyone is interested.

In an attempt to "fix" this, I signed up for the Door Pass subscription or whatever it's called, and instead of making me feel better about ordering, it felt like the "miscellaneous fees" went up to compensate for the delivery fees that were allegedly gone. I felt like maybe I was saving like 5%, but 5% of $63 is only $3 so I'm still paying $60 for $40 of food... That's still bonkers.

I didn't collect any data on this, to be totally honest, but I felt like I was getting ripped off every time I ordered food. After about 2 months I decided to cancel it, and the entire experience of using DoorDash was so traumatic that I wound up just choosing Pick Up every time and then going to pick it up from the restaurant. It was often faster than delivery, and definitely cheaper.. And then I realized that I was still supporting a company that had [what appeared to me to be] scummy practices, so I just stopped using DoorDash altogether.

Now I just go to the company's websites, if they have one, and I use that to order. Most of them allow pickup directly without using something like DoorDash.

(Note: I don't mean to pick on DoorDash specifically, because all of the delivery sites do the same thing, but this article is specifically about DoorDash, so I'm relating my experience with that.)
I've noticed that YouTube also gets a few small things wrong with their Shorts. Things like not being able to play the video while reading comments or making the interface less fluid or waiting for TikTok to add features before they follow (eg. being able to scrub through a video. If YouTube added this, I'd probably stop using TikTok pretty quickly).

TikTok also has network effects of creativity. I don't think I've ever seen a trend go viral on YouTube Shorts before TikTok. Nor have I scene any stitches or duets (do they even have that feature?)

I think they have a chance to capture a huge market though if they get it right (although considering most of the people using Shorts are just reposting TikToks, it'll take some time).
Got lots and lots of traumatic memories from childhood. The conclusions were.

I'm on my own, i have to be strong. I want to be a warrior/hunter so i can provide for myself.

Im responsible for other ppls emotions.
Hi, if I may, what does PITR stand for?
I felt the same way. I never buy it when people say they remember anything when they were two. I have 5 kids, one is only 2, but none of the other 4 remember anything from when they were two. I guess people can be different but I have a hard time believing it.
That's a cool perspective, I guess I'm just really easy to recommend content for :)
I don't know if you'd call him a theorist, but I think this gentleman maintains GHashTable and I found his posts comparing/benchmarking widely used hash tables really informative and entertaining:

https://hpjansson.org/blag/2018/07/24/a-hash-table-re-hash/
Employers don't prefer university graduates because universities offer better vocational training. Universities teach scientific thinking which makes students better employees. Universities don't teach specific skills but they teach the underling principles.
It’s like having a Yubi key soldered into your machine.

Each identity you want to protect has its own key (so its’s not necessarily de-anonymizing) with physical access - pin, biometric verification - required for use.

It’s potentially very useful, although I 100% expect it to be backdoored by every geopolitical block.
How to Pass the Google Analytics Certified Exam
Not really any more alarming to me than the initial domestication I guess. Manipulating the world around us is kinda our whole deal as a species.
I don't have any problems with properly-stowed transportation implements.

Docks take-up too much room and would suck-up real-estate from the public commonwealth for private, exclusive use... too much of that is already happening. Underutilized "bikeshare" pod programs stole large areas of curbside real-estate while offering nothing in return for all residents (unless they paid money).

It's a Tragedy of the Commons-situation knowingly-created by these irresponsible, asshole rental companies for $$$ by not demanding proper parking from the asshole segment of their customer-base.

I've seen piles of these goddamn things on street corners, rendering entire sidewalks unusable in orthogonal directions.

Elimination of all asshats who throw scooters in the middle of public commons and thoroughfares. These incidents are why they are banned from large areas of town and on certain campuses.

They should just be banned period. Full stop. Bring your own, or rent one you can carry and must return. Ephemeral transactionality leads to this sort of Idiocracy-backdrop bullshit:

https://www.theatlantic.com/photo/2018/03/bike-share-oversup...
None of those programs were canceled, or the leaders prosecuted. All we imagine we know about them is what they published. Most people believe they tried to use ESP for spying, but all we really know is that they wanted people to believe so. Jon Ronson discovered recently that they still want people to believe it.

It was a PSY-OP against the American public. The runup to the Iraq invasion was another. There certainly have been others.
> Every language can do some form of if then else

Uh, not exactly. I had a really hard time learning prolog because it doesn't really have if-then-else. Haskell is missing the idea of something happening after something else. Stack languages don't have variables. And so on - there's a lot more to programming than python.

There's a big class of popular structured / OO languages which are quite similar (C, JS, Python, Java, etc). But they certainly aren't "every language". Not by a long shot.

And even amongst those languages there's huge variety in how the grain of the languages shape the code we write. I was talking to a grizzled old programmer at a conference a few years ago about the performance of java vs C. He said in some benchmarks he did the performance was almost identical. I got him to show me his code - and sure enough, he wrote java as if it were C. He was using native java arrays everywhere and basically everything was a primitive variable, in huge classes acting more as buckets for code than anything else. His code was unrecognisable as java because he was still writing C, just with a different syntax.

> The basics of programming are not about being correct so much as not being lost.

The basis of programming is expression. The most idiomatic way to express yourself in each language is very different. Its as much cultural as it is syntactic.
On Linux you can't overwrite a binary that is currently being executed (you'll -ETXTBSY when you try to open it for writing, and truncate will also fail).
As others have said, this is either FUD or limited to specific systems with broken UEFI implementations.

I think the whole "MS-signed Grub" is a way by Ubuntu (and possibly others) to facilitate Linux installation by "non pros". And it's not that bad, I think.

I, personally, use Arch Linux and the installer isn't signed with anything. They have a "do your own signing" policy. I had to disable SecureBoot to install it, because I couldn't be bothered to create a new ISO, but then I registered my own keys to the UEFI and boot directly my own signed kernel [0], without using GRUB at all.

I did all this on multiple generation HP "enterprise" laptops and desktops and it worked without any issue. And those systems don't come with any sort of Linux support from HP.

---

[0] For the curious, this is EFISTUB combined with sbsign, that bundles the kernel image, initrd and CPU microcode in a single EFI binary and signs it. This is then booted directly by the UEFI, and you can even register multiple binaries and have them show up in the UEFI boot selection menu.