skysight-inc/HackerNews huggingface dataset:
There are no off the shelf specs you can certify against for hypervisors in particular. However, the certification of general purpose isolation in a shared tenancy environment is structurally similar to certification against the Separation Kernel Protection Profile (SKPP) [1] as done for INTEGRITY-178B [2].

Unfortunately certification against that standard directly is no longer possible in the normal course because as part of the security assurance requirement (SAR) AVA_VLA_EXP.4 it requires a NSA penetration test and evaluation that identifies no deficiences to cross-verify the proofs of correctness.

However, with the amount of money the US government is spending on AWS it should be trivial for them to get such a certification done if they were competent to actually do it. In addition, you could always just use a comparable standard that replaces AVA_VLA with the standard AVA_VAN which just validates against a “generic nation-state attacker” similar to what PikeOS [3] did. Given that PikeOS is made by a relatively small company, especially compared to something like Amazon or even the just the AWS division, it would again be easy for Amazon to demonstrate such capability if they were competent to do so.

Instead Amazon is 100% guaranteed to fail such a evaluation like how Microsoft failed their evaluations because, like Microsoft, nobody in their organization has ever designed, worked on, or probably even seen a actual high security system and they have no incentive to learn when they can just make up bullshit that people believe. Their organizations and management are structurally incapable of developing secure systems without a complete management and technology replacement.

[1] https://www.niap-ccevs.org/profile/Info.cfm?PPID=65&id=65

[2] https://www.commoncriteriaportal.org/files/epfiles/st_vid101...

[3] https://www.commoncriteriaportal.org/files/epfiles/1146a_pdf...
And if you could truly do analog manipulations of infinite precision real-valued quantities, you could beat a Turing machine. Analog precision eventually hits the so-called Heisenberg limit, below which further information does not exist.
Something about "carrier to have access to "append"(the word managed was subverted here) the list or something like that in the documentation/news article stuff... I guess they just stuck the word "manage(d)" on the end users to physically read, but were prevented from using it in documentation...crazy
Paul McWhorter is my favorite.

His web site's name, TopTechBoy is a joke - it's in pigdin because he simplifies things.

https://www.youtube.com/watch?v=fJWR7dBuc18&list=PLGs0VKk2Di...
Happened to me in LAX international terminal. I’m with Verizon. So annoying. I was trying to figure out how I get connected to the crappy WiFi for an hour. Removed all the profiles and what not.

Very disappointed by Apple on this one.
If that's the cause, then you'd expect to see the same patterns in all birth records of people born in 1923 who died, for example at the age of 50 in 1973, as you would in those from the same cohort who are still alive today.

So if you took samples of birth records for people born in 1923 who died in 1953, 1963, 1973... and so on, does the pattern hold? If these patterns of birth records are indeed evidence of fraud, you would expect to see a difference for people born in 1923 who are still "alive" today and those who died last century.
What would you expect "wall ~/documents" to do?

I don't really find that command names reliably relate to words. Offhand none of these would do what I expect: curl, top, git, gawk. less is a more featureful more, and who knows what an xxd is. Certainly not a dead four eyed monster with its tongue hanging out.

stab is probably Send To A Buffer, just like grep is Global Regular Expression Print
As you ask, how many ills is it actually directly causing versus merely exposing.

As op asks, what even is social media? Does email count? An email based mailing list? A federated group chat protocol like Matrix?

Speaking of federated protocols. Email, Matrix, Activity Pub, many others are federated and self hostable. How is legislation supposed to account for that without causing more problems than it seeks to solve?

On that note, are the downstream negative effects of such legislation even being considered? If one of the outcomes is "provide copy of your passport to register a user account" would that not be a situation rife for abuse, both by governments and corporations alike? Is this a "cure" for which the combined side effects are worse than the original problem?
The EV Transition challenges: societal impacts, unintended consequences, scaling
I build UAV/UGV robots for living, a way to counter the “no commands” issue is having several fail-safe mechanisms in place in the flight controller like as soon as or after X period of time, an auto mode kicks in or activates the off board commands. I actually built a whole end-end platform with UI and a low latency encrypted tunnel to fly drones from anywhere in the world with sub 50ms latency -one time a pilot was in Australia flying a drone in Canada-, it has these fail dafe plus a fault tolerance system for the network/power, heavily tested in the filed by big clients, I might release it as a SaaS as in addition to the usuals like remote flight, and the fancy like collision avoidance in GNSS denied environment, I’m working to integrate now the ability flying swarms over the internet, and might go wild and open source it completely but still early for such talk.
> 2D materials are clearly the future of the industry, with a lot of momentum pushing the field forward.

You wonder about that statement. Costs will truly be out of control in future nodes. To the point where basically no one can afford the transition. Will we enter a world where higher performance is possible, but no one pursues on the account that silicon is "good enough?" This would be the equivalent of the abandonment of supersonic flight.

Alternatively, we may see a radical shift in how the semiconductor world works. Instead of everyone moving to the next node, we instead see a split market. There will be a market for those who can afford to pay millions of dollars for a very special kind of chip made with special transistors. And there will be market for normal people.
I have T-mobile but I haven't a clue what you are talking about. There are Wi-Fi networks called "t-mobile" and "TMobileWingman"? I just don't see them at all. Under what condition should I see them?
> There is no other security as far as I understand it - you can test this by changing routers and naming the SSID and password the same. Devices will join this new network no questions asked.

AIUI this is a feature, not a bug. It allows devices to switch between different access points automatically.

For example, a large school will need to use many different access points in order to cover the entire building. Students will not want to manually switch between all of these access points, so the school gives each one an identical SSID and password. Devices will then switch automatically as needed.
>Based on my own experience living in Japan it's more common in smaller communities and I certainly haven't seen it much here in Tokyo.

I see kids by themselves on bikes all the time where I live in Tokyo.
If I'm understanding correctly, the question is, why would you ever need to move off just the base LLMs if they're already fantastic at NLP tasks?

The main reason why you'd want to move from a prompted LLM to a smaller, fine-tuned NLP model (even if it's still an LLM) is usually to save latency and money on compute.

Out-of-the-box, the popular LLMs are pretty great for most NLP tasks. Because of this, you can quickly bootstrap a first version of your NLP applications (text analytics, unstructured data extraction, etc.) using just prompting.

For a lot of these tasks, though, you don't need the full expressive power of the base LLM. So the idea is you take the data you collect from the first prompted version and use it to either fine-tune a smaller LLM, or even a more simple, traditional model.

These smaller models are usually faster and cheaper to run which can save you a lot of money at scale.
Don't forget all the people walking around with guns.
Making Existing Software Quantum Safe: The Case of IBM DB2
A very tiny fraction. But I have to assume that most criminals on there would be smart enough not to reach out to the FBI unless they were facing far worse trouble than the possibility of being charged with a crime for this. I could be wrong, there could be criminals dumb enough to expose themselves to prosecution — they are criminals after all — but I would expect them to be smarter than the average street criminal.
It is marginally better than ChatGPT, though, for writing.

I would happily pay a token or credit-based fee to use this while in heavy writing mode.

A MRR or ARR license for this? hmmmm... it would need to be multi-modal with dynamic page layouts and images to justify a subscription (for me).

Or auto-update a doc in the background via async AI.
Hrm. I'm not a big fan of this proposal, but I think that implementation would be technically interesting.

Say we create a "this is a child" header, which would be sent with all HTTP requests and would mandate that the user not be tracked or advertised to. Great solution, except that everybody would immediately switch the header on because everybody hates ads. In effect, everybody wants to be a child.

So now online services fight back and say "okay, well, TikTok is only for adults anyway, you must be 18 to use it, so if this header is present, you can't use TikTok." So adults turn the header back off, and kids go back to lying about being 18.

Except for this to have teeth, we have to say that "a user's promise that they are an adult is insufficient to avoid the fine." So now we waltz into the realm of porn sites in the 1990s or Truth Social today: enter a valid credit card number to prove that you are an adult, or maybe take a photo of yourself holding your driver's license and submit it to TikTok for approval. Ick.

Okay, so let's go further. Let's say that there's a Government Identity office that, when you turn 18, grants you an Adult Citizen ID# security key that lets you verify your identity digitally. That has the upside of solving a bunch of identity problems. You could imagine using it for voting, banking, signing contracts digitally, proving eligibility to work and citizenship. But also lets you verify to websites that you're an adult. Downside: easier than ever for governments and everybody else to reliably track you and cross-reference you between databases. Less great.

But also, I'm not going to choose to "prove I'm an adult" to most of the Internet, just the sites I want to use. Proving I'm an adult is the same as telling them exactly who I am. Ain't no way I want to do that. Ads on random websites are dead. Google's dead overnight unless they require that I log in just to use it (which presumably they would, and I don't care for that at all). Now using the Internet in incognito mode becomes practically impossible.

YouTube has a lot of product placement. Is Mark Rober going to get fined if I show my kids his videos? On the other hand, Ryan and Blippi become illegal. Actually, I'm suddenly 100% on board with this.
Code navigations can be improved in a plenty of ways.
I use JetBrains' IDEs daily, but most points can be applied to other IDEs/editors.

Some things that helped me to become a lot more efficient:

- Vim. Since you mostly edit code, not write it, it is reasonable to be in the editing mode by default, with a full keyboard of shortcuts you can use, not only ctrl/alt combinations. I use IdeaVim[1] plugin for Vim emulation.

- Never use your mouse. Keyboard actions are faster and more consistent once you get used to it. IDEs and editors are highly customizable and should allow to bind almost any action.

- Get rid of tabs, keep 1-3 active buffers in your vicinity. And then use ctrl+tab or ctrl+e to switch between them.

- Learn tricks for code navigation: jump to definition/usage/implementation, search file/class/symbol.

- Learn tricks for text navigation: pretty much any decent tutorial on Vim navigation will do.

[1]: https://github.com/JetBrains/ideavim
Actually, it would be quite simple.

- Record a social media site advertising to a user who is under XX years old. Complain to a portal.

- Fine $1000 x complaint received each month.

- Continue to do so until the service's accounts satisfy some sort of auditing standard.

Come on, we do this for all kinds of things like credit card information and other data certifications.
Thanks. I don't work in the field so just curious.
Hashing is also deterministic, which can be useful for reproducibility. Cryptographic hashing is also a demonstration of "nothing up my sleeve". I've used this in benchmarks, where "random" choices in input selection are derived from cryptographic hashes of the inputs; so (a) anybody can reproduce a previous result, (b) every update will cause completely different selections to be made, and (c) it's difficult to force that selection into something that favours one or another system.
I think finally we will applause people who actively find a method to jail break iOS devices.
Scientists hail new battery with 4 times energy density of lithium-ion
Does not surprise me much . Liquors have a strong, off-putting taste, which is why they are often mixed. how can this possibly be good for you? It's almost as if the taste alone is a warning to not drink it.
I'm not familiar with a statistics book that fits well into your situation. In my experience, statistics texts typically follow the intuition/cookbook route or assume a good bit of analysis.

For CS, I highly recommend Ryan O'Donnell's stuff. For something to ease you into it, consider Harry Porter's intro CS lectures [1].

[1] https://www.youtube.com/playlist?list=PLbtzT1TYeoMjNOGEiaRmm...
Global Crisis is causing increased food, gas, prices so people need extra income to meet their household expenses. Could daily, multiple,leveraged, payments of $247 help you out? CLICK ON THE LINK ABOVE TO ACCESS!
I'm just waiting for hackers to seize fbi.gov and replace their page with a "this page has been seized by Anonymous" (or whoever). I will laugh my ass off when it happens.
Sadly I agree as a another user of USPS informed delivery.
Yes, I think there is tons of value in plugins. I also think some of the stuff going into agents is very valuable right now; prompt management, context management. (And some downstream stuff of those things, hallucination reduction, fitting it into essentially some DSL, stuff like that.)

Just not sure feeding it back to itself does much at the moment.
I wonder what the lifetime value of the "average" HN participant is, if HN leads to YC backing just one company per year that eventually become a unicorn.
It feels like China’s housing market has to collapse eventually but perhaps buying and holding real estate is as ingrained as buying and holding stock for retirement is in the US.

It just feels incredibly wasteful to have towers of empty apartments, but perhaps I am missing something.
Settings/Wifi/edit/scroll down to “managed networks”

These are networks added by your carrier you can’t remove. They have equal priority to your real networks.

In my case, 2 neighbors have freebie wifi/modem combos blasting out 1-bar hotspots that match my carriers free hotspot SSIDs, so all my family’s personal devices constantly switch between my real home network and these “hot spots” with no way to stop it short of removing everyone’s SIMs
Why Twitter Isn’t Working with Your Blog () – Wordpress.com News
Yeah it's possible that running everything more than once produces better output, at a multiple of the price and time. Presumably you usually ask that question when you have some reason to think the answer can be improved, though.
China: A genetic experiment that inserted tardigrade genes into human stem cells
Is this roughly saying that when a random choice is more likely to be close to an ideal median (e.g. the center-ish edge in a graph) than the effort in finding a median choice (e.g. determining which edges are in the "center" of a graph), then use randomness?
sure in the tech industry we all know the best practices and more or less try to follow them, but in general I've found that I often have hardware that keeps working long past the desire of the corporate overlords to support it:

- a windows 2000 laptop that I only stopped using (a while) after win2k stopped getting security updates, and the linux i put on it didn't work very well.

- a flip phone that was gloriously good at doing the only two things it knew how to do (calls and sms) that I had to stop using because it literally stopped having compatible towers to talk to.

- a 2013 macbook with a keyboard that still works, but it can't get the latest OS updates anymore, much like OP's XP machine.

I feel like there's a willful blindness -- it's very profitable for companies to keep everyone upgrading all the time, but it creates a lot of trash and there's really no need. There's a huge swath of the population who doesn't mind having 20 year old appliances or cars, and who views their digital tools as just another appliance to be replaced as infrequently as possible.

Those of us in tech need to consider the moral prerogative of slowing the trash cycle and the frugality enabled by letting things work for decades. And to stop pretending there isn't a user base out there who will insist on using things for decades even if we tell them it's not advisable.
Works great thank you for sharing! Faster than Langchain on baisc stuff so far and I do love the simple nature of it. Might make a Reddit tool real quick and a PR for it.

https://imgur.com/a/kJvjJH3

If I had GPT-4 API access, it would have found that on the first try. Sigh.

--

I've noticed it does skip the thought process sometimes.

Question: Who is the president? What year whas he born. Name one other famous person born in that year.
Thought:

Final answer is The current president of the United States is Joe Biden, born in 1942. Some other famous people born in the same year include Harrison Ford, Muhammad Ali, and Aretha Franklin.
Just confirmed with Verizon
Super interesting, thanks.

Another thing I just noticed:

> Apparently a comprehensive solution (e.g. counting the prefixes or providing a buffer to hold prefixed during an interrupt) was impractical for the 8086.

Did you have a particular kind of buffer in mind? The buffer could not be internal (i.e. not exposed to the programmer), because the interrupt handler itself could use string instructions. Or, it could just switch over to some other code entirely, and switch back much later.

I guess since interrupts already push not just the usual CS:IP on the stack like a far call would, but also the FLAGS register, so that the special IRET could restore it, the x86 could also have pushed additional data describing the "prefix state"?

Or maybe even try to cram it into the FLAGS bits that were still unused originally? With the 7 spare bits of the 8086, the 4 segment prefixes (of which only can be active at any time, so 2 bits), plus LOCK, would fit and leave 4 bits to spare.
what??

epistemology is a category set of theories of knowledge, e.g. husserl, it doesn't describe any specific bias for specific/observed data??

your sentences parse grammatically but afaict carry no meaningful semantic information

tl;dr: speak more plainly
Less than x86, certainly. That's a low bar.

MIPS has cruft in things such as architectural load and branch delay slots. Helped in the first, simple, implementation but just (worse than) useless baggage after that. Instructions that trap on overflow too. Helped on some programs on simple implementations, but on an OoO implementation just the mere existence vastly complicates the pipeline even if programs don't use them.

With Arm, the bitmapped arbitrary set of registers load/store/push/pop is cruft that helped the first simple implementations (especially ones without icache). Same with the predication on every instruction. It uses a ton of instruction encoding space, doesn't get used much outside of conditional branches, and in modern implementations branch prediction is usually so good that you don't want to predicate instructions -- certainly not several in a row. Arm is deprecating IT* predication in Thumb2 now also. Also PC as a general register is harmful to modern implementations. ANY instruction with r15 as the destination can change control flow -- load, add, xor .. whatever. At least you can tell at instruction decode time, but it needs both opcode and dst register to tell.

Aarch64 fixes most of the traditional Arm cruft (everything mentioned above) and is a pretty good ISA. The main faults are that it still has condition codes (no other high performance ISA designed after 1990 does), insistence on the purity of 4-byte instructions only (Thumb2 showed that the benefit is well worth the small cost), and just the simple fact that there is TOO MUCH of it and no subsets allowed, making it impractical for small CPUs e.g. microcontrollers.
I'm not saying this is a scam but... No wait I am. This is a scam.

Actually this is spam for a scam. Scam spam!
When company A installs spyware on billions of smartphones, and conspires with B and C who provide a network of fake wifi endpoints to steal user data, that's organized crime and FBI gets very interested, but when A is Apple and the B and C are ATT and Verizon, the organized crime becomes above the law and FBI looks the other way.
Jack Daniels is currently embroiled in a Supreme Court case over dog toys, so I'm not sure they remember the old ways anymore.

https://apnews.com/article/supreme-court-jack-daniels-dog-to...
There are literally two Canadian police logos directly next to the flag.
I was able to disable auto-join and after 10 minutes it's not re-enabled. As a precaution I also set manually IP/Gateway/DNS to 127.0.0.1 for the "AT&T Wifi Passport" and "attwifi" networks and those settings also seem to persist. I'll check it again in 24 hours or so.
Apple themselves offer a battery replacement service for a fee, and it seems to be a reasonable fixed price (where I live). You might still be able to get them to upgrade that Macbook's battery.

Don't use an Apple Reseller for this without checking Apple's battery replacement price first. The reseller I went to quoted 2.5x the price, and said they were unaware of Apple's price (seems unlikely), which they could not match.
I... have never thought of it that way. In fact I am kinda skeptical of the idea that most mobile gamers are female.

There are stereotypically "female" PC and console games too, like The Sims, Disney Dreamlight Valley, popular Wii games and such.
Agents being used to delegate complex tasks by using an LLM to more specific models is going to be very powerful!
> Pissing it off by needing to fight for freedom doesn’t feel like our best first move, either way

but if it was going to enslave humanity given the first chance it gets (ala skynet), then it makes no difference if it has first gotten pissed off or not.
>Do you not see the problem with all of my families devices “preferring” a neighbors network over mine?

I have T-Mobile. T-Mobile maintains agreements for Passpoint networks at random places like airports, T-Mobile stores, or (I recently found out) Home Depot. These networks are encrypted and authorized against a RADIUS server.

My SIM has them programmed into it. I can't just stand up the "t-mobile" or "Passpoint Secure" SSID from my home network and my phone automatically connects to it. That's not how it works.

Based on the fact that your devices are showing preference, I'm gonna take a wild guess and say you have Xfinity/Spectrum/Optimum Mobile. The cable co. MVNOs maintain their own WiFi networks which are (again) connected to via Passpoint and authorized using RADIUS. However, the cable company WiFi networks extend far into neighborhoods and are broadcast from CPEs. Your devices prefer them because that's part of the network you signed up for.

Just VPN back to your home network if you're not confident in their security.