skysight-inc/HackerNews huggingface dataset:
Ask HN: How much data does DH key exchange take?
For a 4096 bit key how many kilobytes/kilobits is required to successfully authenticate over a network?
Most, maybe, but look at all of the Developer Transition Kits Apple has been distributing - they’re Mac Mini bodies with Apple Silicon inside. There’s no reason to think this won’t be an iPhone chassis with modified guts.
EPYC chips also come with integrated ethernet, but I don't think any vendors make use of that, either, not even the EPYC Embedded (3000-series). My Supermicro M11SDV-8CT-LN4F with an EPYC 3201 has 4x1Gbps Intel ports (+1x1Gbps Realtek for IPMI) even though the chip provides 4x10Gbps ports. I've read the issue is that motherboard designers can't be bothered to redesign around the integrated controller; easier to just continue slapping Intel or Realtek controllers on the board.

That seems to be a big hurdle for AMD--they don't have enough volume to motivate much of the industry to make the best of what AMD offers. And when it does happen, there's a much longer lag time.
+1 to your anecdote on Jul 16.
My wife & I are considering our next vehicle our last non-electric one.

We consider every vehicle brand a joke aside from Tesla.
A14 is rumored to have this already, it's not like they don't know how to do this but more that they had no reason to do so until now.
As a founder, I have been quite overwhelmed by the conflicting advice I constantly hear.

Put together the different perspectives side by side, so that it's easier to break out of a single dominant narrative.

I intend to use this for reference to help make sense of all the inputs. Hope other fellow founders find this useful as well!
Maybe we are just barely smart enough. There is a statistical argument to the effect that the species to do X will in all probability be the dumbest possible species capable of doing it. E.g. if we are ever visited by aliens they are likely to be the stupidest possible interstellar voyagers...
Moat is having unique insight into the problem/domain.

No moat anymore in terms of “We can build a webapp faster than you can”
Overall this looks nicely architected. However I don't see any data-intensive controls. Adobe being a graphics company may not need such controls, and this will probably be the weak point of this lib. If you want to see what data intensive controls take a look at Azure Portal. Hope to see such controls in a future version of this lib.
The point is that Slack is not difficult to replace. In fact, it is extremely easy to replace Slack.
I agree, the whole thing is cringe... looks and sounds hippie...
I don't know, but I'd guess it's a combination of two things:

* It's tricky to message right. Most theaters do some dynamic pricing, with discounts for certain hours or certain days, but stronger or more complicated schemes inevitably start to come across as "we're taking more money out of your wallet just because we know you'll let us".

* Charging too high of a price can shift your market segment. Most movie theaters sell themselves as entertainment for the average Joe, and having special events with $50 tickets really undercuts that.
This assumes there was a hack. If there wasn't, then there's nothing they can really do. They couldn't have reached out to customers before, they can't say they're looking into it (because there's nothing to look into), etc.

It feels to me that a few people got phished, and their accounts are being sold as proof. The rest could just be fake.

(Or, there was a hack, and Instacart handled it badly!)
A brief survey of the different notions of nothingness in Julia
It seems to me that the way to deal with offshoring would be to bring back a modern version of outlawery. The US could basically declare: "Until this corporation pays their fines the US will not prosecute or extradite any individual or corporation who hacks them, steals their physical or intellectual property, declares debts to them canceled, or violates contracts with them."
Thanks! I've gone to visit sites and heard a few people whispering near me "its the scalability.org guy". Blew me away.

I still write, albeit less frequently, and I have to keep to a narrower range of topics.
> incurring the cost of C#'s GC for the rest of the program

With some care, it's possible to code C# without using GC much, or at all. That Linux h264 video player I've linked above doesn't allocate anything on GC while playback, it's mostly using stack (including stack-allocated spans) and very rarely for some mkv files calls .NET equivalents of malloc/free to allocate on unmanaged heap. Otherwise it probably wouldn't work due to GC issues, I think I only buffer like 150ms of uncompressed audio. Total compressed bitrate can exceed 10 mbit/sec, uncompressed is much more, I didn't expect GC to handle that much data well, especially on raspberry pi.

> all of that is unsafe and needs to be proved

It depends on the project.

If you're working on avionics then yes in theory, but in practice you still have to use C because there's no FAA-certified builds of Rust compiler.

If you're working on a videogame, desktop software, or a mobile app, good engineering and management practices are usually enough. Proving would be nice for them too if it would be free, but not at the cost of development time.

> then you'd have less unsafe surface area to prove

I'm not sure it becomes much less. C interop, and COM interop too, works both ways, one can easily call .NET code from C++ in the same process. I don't usually write C++ code for disk I/O, logging, compression, encryption, serialization, instead I'm passing C#-implemented COM interfaces to native code.
Maybe not life-ruining risk, but YC offers a measly 120k in funding for your entire startup and G/FB/NFLX will pay you 350k per person per year for a senior engineer. Founding and joining startups entails a massive opportunity cost from what you can make at the top paying public companies.
Nearly everything anyway. ActionScript had access to lots of system apis and things that may not have browser level equivalents still. In particular the networking capabilities and I'd be surprised if there's not more.
> including an option to destroy your saliva sample

Until I read that sentence, it honestly never occurred to me they would keep that around. The data, sure. Biological samples? I just assumed they would be disposed of after use.
I think you interpreted this dishonest PR spin just fine.
Integration with other products is definitely not unique to Slack.
Are you talking using or research ? For research, android is obviously much easier. As a user, sure, you may have your preference. Asking for Apple's cooperation in doing research on Apple devices seems quite antithetical to Apple's overall approach to business. I don't see why there should be any such expectation. I feel that once a company gets large enough (in stature, revenue, etc.), everyone bestows upon it certain qualities and expectations. It's not reasonable to do so. Large coal/oil company won't become environment friendly no matter how much money it makes.
Postgres, Vacuum and the Insert Benchmark
No, this looks separate. You'll notice the APIs have to do with virtualized networks and filesystems, rather than lower-level hypervisor tasks (creating and running virtual machines, servicing exits, etc.)
YMMV, but if you find a real university course and not a mooc that does not have public solutions, and you complete it, if you email the instructor they may give you a sort-of letter of competency, if you approach them straight and show them you have completed all the work, and tell them why you need need their recommendation. I hesitate to write this from frauds spamming professors demanding letters but somewhere is somebody who was me 10 years ago who had no legitimate work history, no university class credits but put in the work, and might need this advice. It has to be an esoteric theory subject that does not have easy to find answers, in my case it was the experimental dbms that a well known professor was designing that I had contributed to with PRs. He provided this recommendation and it was responsible for where I am today. Just saying if you really are a self-learner, and not some fraud doing bare minimum effort and just wanting money, specifically you are actually interested in the content of these kinds of courses and solving the hard problems in this field, you can indeed become successful teaching yourself ... to a point of course, you need to work somewhere and learn from people who have been to school but getting your way in, it is possible.
A lot of programs, or critical parts of them, are really just state machines. A concept exercised especially in freshman/sophomore CS and EE courses. If you understand them well enough, you can make implicit, ad hoc state machines explicit. This leads to much cleaner and more maintainable code. This is an ad hoc state machine not far from what I've seen in real code:

ok_to_change = var1 && !var2 && var3 < 10;
if(ok_to_change && ...) ...
else if(ok_to_change && ...) ...
else if(!ok_to_change && ...) ...
...

ok_to_change was added after someone realized how much redundancy was in the tests. But the whole thing was a state machine and could've been expressed better as such. There are lots of ways to do it. You could make a more explicit state variable (or function that returns the current state from a set of variables), use lookup tables, or have functions that call each other to represent the current state of the system (mutual recursion is nice). But by making it an explicit part of the system design it usually leads to clearer, more concise, and more consistent code (IME).
That’s basically what you can get from apple at this time. They aren’t that motivated for documentation.
google talking about privacy and protecting the internet community? yah sure...
I believe Docker For Mac uses Hyperkit now, an offshoot of xhyve.

https://github.com/moby/hyperkit
Excellent post. I messed up my back a few years ago on a long trip. Messed up my workout routine. Just got it fixed a week before Covid.
How about some of the new features in Apple's recent chips? Is there a way to research those?
Pretty good explanation. Thank you.

It's a real shame. The R1606G can go at 25-35W and it would practically be the most economic I/O heavy server design in history but as you said, the vendors can't be bothered. :(
That's not what at least one lawyer has told me, though lawyers tend to be a pretty cautious bunch.

As I said, you've got to know the right people to get access to the stuff I'm talking about. (There are also other conditions, such as you can't be a current or former Apple employee.)
Does not produce the desired result, see elsewhere in this thread for why this doesn't work
It sort of bothers me how much feature creep CSS itself has undergone. Was it not enough to leave things simpler and just use pre-processors and JavaScript?

What hope does one have to implement the entire CSS spec from scratch now?
Exact same thing happened to me a few weeks earlier - July 2nd. Said my account was locked due to too many unsuccessful login attempts. I hadn’t used Instacart in years. Reminds me to delete unused accounts!
I thought you had TA's for that sort of stuff.
People are addressing millions of subscribers on social media sites and you can't figure out how to stream your class? Join the real world, where the rest of us ARE FORCED to adapt or lose relevancy or worse, our jobs.

The A/V stuff should be figured out by your University IT/Telecom staff.
That probably occurred to the author who used to work at Goldman.
Using.
My guess is that the changes it makes - presumably moving the standard face landmarks - are different for each picture you run through it, so multiple images of the same face will not be recognised as the same face.

(But I'm not sure, and have downloaded the paper and the apps to read and experiment with...)
I'm not holding my breath. I have recently been working with Core Bluetooth (years old), and Swift Package Manager (also long in the tooth), and the documentation for them is still pretty awful. SwiftUI is really bad. In fact, someone has even written a documentation sidecar app for it[0].

I'm spoiled, though. I used to have the full 6-volume set of Inside Macintosh[1].

They don't write 'em like they used to...

[0] https://apps.apple.com/us/app/a-companion-for-swiftui/id1485...

[1] https://en.wikipedia.org/wiki/Inside_Macintosh
Which covers health insurance, not life insurance and others.
This is very umhelpfull attitude, and is demonstrably false. Vast majority of people could not get into programming with google alone - there is a reason they at least go to bootcamps. I could not grasp programming before university, and I have tried - it was in 2010.

Lets crank this up a notch: there are 14 year olds that built a fusion reactor with instructions from the internet (just fusors, no net power), or people that learned how to conduct medical procedures with no outside help. Some even conducted surgery on themselves sucessfully. I doubt the average visitor of HN could do that.

Maybe its because some folks are smarter than others, or maybe you are taking for granted some andavtages you've had over average Joe, or maybe its both. But if you take random Joe off the street and tell them - you will get £10k if you learn to write basic python in a month with no help, just google - most wont be able to do that.

Take yet another step - realise most of the world does not speak english, and for them to learn coding is even harder.
this presentation outlines the kind of terrible attacks that could be based on your DNA in the near future https://youtu.be/HKQDSgBHPfY

tldr, CRISPR allows targeting bioweapons at specific individuals.
This will likely be an iPhone that looks identical to a production one, both inside and out. Perhaps there will be a serial number on it or something.
AI Painting Generator (SyleGAN2)
Adapt or die, like the rest of us.
About a decade ago I thought about volunteering for one of the public genome projects but then realized that (1) the legal protections didn’t exist yet and (2) the privacy question should be considered not only by me but also by my family.
Is there any law/rule stopping me from getting your DNA and getting it sequenced? Other than most people wouldn't want to pay to get that done? Collecting your DNA would be the hardest part of that, I guess.
Often, security bulletins will use the word sophisticated when describing multi-step attacks.
And wiping your device?
It turns out the brain actually likes to see concepts broken into pieces and spread out all over the place. To use your example, a better way to learn those things would have been a couple of projects where you used them all together, over and over.
I think the metaphor of "orchestration" refers to, as an analogy to actually composing/arranging music for an orchestra, getting lots of other entities to do what one entity specifies that they do. Amplification of control. Not "basically anything."

"Sophisticated" I suppose means above-average in complexity, which indeed could be "basically anything."
Krebs on Doxxing
> I don't agree that what's being described here "is the HoTT point of view".

I am no expert in HoTT, so I certainly defer to what sounds like your expertise here. I should probably have said something closer to the weaker statement "this reminds me of HoTT", which hopefully is not incorrect—although you're right that what I really had in mind was proof relevance.
Collect it all.
One thing people don't get about Google is how it motivates its employees. You get promoted for _taking credit_ for _launching new stuff_. I deliberately mention "taking credit", because if you can't take credit for the work you've done, you're better off not doing anything at all; a prime example of this is launching a project someone else started but abandoned. Note that you also don't need to do much work to be able to "take credit" - it's easier to just "lead" a project which is already on its way to getting launched by sitting in meetings with people more senior than you.

You get _nothing_ for improving things that already exist. As a result you get four different messaging apps, and not a single one that doesn't suck, and a bunch of stagnating, seemingly abandoned products. The reason is simple: people who are smart enough to understand the rules of the game move on immediately after launch to the next big thing.

Having said that, I still prefer GSuite to Office. Microsoft has set the bar very low indeed.
This sounds somewhat similar to other "college success" first year courses that are more about how to do research papers than anything else.

A proper introduction to Library Science is about how to run a library...
I call this speculation. In most real estate markets, a normal house is a depreciating asset that requires upkeep, maintenance, property taxes, and other liabilities.
Go2 playground now supports square brackets for Generics
One of the biggest of those: https://www.joinallofus.org/

I've considered joining it.
That is what vaccines do as I understand it.
Almost definitely Geert Wilders being the elected official who had his DMs pilfered. He was definitely hacked at the time. [1]

[1] https://www.dutchnews.nl/news/2020/07/twitter-account-of-gee...
I had a similar thing happen last week with DoorDash, after the first two I contacted their privacy@ address and requested an account deletion via CCPA.
Totally. This is called "adoptive cell transfer" and it's one of the hottest areas of biotech at the moment.

https://en.wikipedia.org/wiki/Adoptive_cell_transfer
Yeah a Dyson Sphere contains the presumption that an advanced alien civilization's population would grow exponentially like earths population did in the 20th century.

I don't know how you square a utterly stupid idea like exponential population growth with the word advanced in advanced civilization. Instead this sounds like blinkered mid twentieth century thinking. Or the old science fiction trope of seeing the future as like the present but more of it.
They're two separate groups. Group one, the grandfathered one, is "legitimate" software that was simply published to the store prior to the mandatory sandboxing requirement–those can still get updates and remain unsandboxed. The second group is the list that I posted here, that have special status in the dynamic linker (can interpose functions) and through that can (probably don't, but "can" on a technical level by exploiting flaws in how Apple does sandboxing) bypass the sandbox.
> Fermat's last theorem is a singleton in HoTT

I am no expert in HoTT, so I should definitely defer to you here; but I thought much of the power of HoTT was the ability to analyse a whole space of proofs without collapsing them to a single proof, so I'm surprised to hear it. Is your statement an informal observation, or a proveable fact? Is it true about a wide class of propositions, or is there something special about FLT?
Adam Smith:

> People of the same trade seldom meet together, even for merriment and diversion, but the conversation ends in a conspiracy against the public, or in some contrivance to raise prices.
What were they doing with the A12Z when they demoed Linux running in a VM at WWDC, then?
ARM is more than just an ISA.
Sample: https://go2goplay.golang.org/p/7zFKUcpzhvZ

This was posted on reddit

https://www.reddit.com/r/golang/comments/hvpis5/go2_playgrou...
They must have not been using an A12Z for that.
Notation for Machine Learning
Ever heard of HeLa cells?

https://en.wikipedia.org/wiki/HeLa
Yeah, it's literally not how it works, writing code in a banned language doesn't prevent you from getting interviews or being taken seriously.
I'm a huge hippie actually so spot on. I think my person category would be "tech hippie" if there were such things.
Show HN: An embeddable Lisp for scripting in Rust projects
Parallel Desktop demos running linux on Apple Silicon in WWDC, maybe they have internal developer kit based on A14, but it cannot be made public.
Thanks for the link to that video. I don't have the time to watch it now, but I will come back to it later. Although on the surface, specifically targeted bio-engineered weapons seems like a silly fear for most us when bullets are so cheap. If someone wants me dead, I don't think any difficulty accessing my genome is going to be what stops them.
The way that occultists all claim that all of the other occultists are clueless posers is one of the things that makes the whole lot look rather silly.
Carta Gender Equity Study: Former Exec Sues Claiming Unfair Pay
I think there's a good chance that if someone seems perfectly fine with this content, they've already got mental health issues.
curious who wins the vaccine race. my understanding is the RNA vaccines being researched by Moderna and Inovio don’t stimulate T-cell development, in which case they seem like poor candidates compared to the adenovirus candidates like the Oxford one that do.
Is it strange to suggest discussing anything on Facebook, given how little privacy is afforded to users?

I find it just a bit weird that products that customers recognize require privacy as a core tenant would also just head on over to Facebook to add new, targeted meta to their verified Facebook profile.
Earth got blasted by asteroids 800M years ago
CANtact Pro – Open-Source USB CAN Interface
I’ve always wondered if this were a worthy business proposition, cause I would definitely buy a product like this:

Basically all of the features of 23AndMe/Ancestry/etc, but done offline. You’re given an app to download online, provided all of the hardware needed to spit in a tube, and get the same results.

No data stored on a cloud server, and no centralized database of everyone’s DNA. That’s probably where the real business model is though.
.: MyShraidar:. – Victims
Wow, sure it's not at "super human" immune system levels yet, but this is the type of research that feels like we're entering SciFi territory.
robinhood doesn't allow you to trade warrants at all actually. if they did i think warrants might have traded above the stock since they're generally cheaper and promise greater returns
Decompiling the SARS-CoV-2 genome into readable functions
Unless they come out with details of a convoluted deeper infiltration, escalation of privilege, and careful exfiltration of data over a period of time to escape detection I wouldn't buy the PR bs.
The facts of his case are he went on bizarre and unsupported rant against women. Are you going to support the thesis that women are inherently intellectually inferior and that hiring practices that encourage hiring people from diverse groups are enforcing intellectual idiocacy?
Yes. One disastrous livestream in the history of the feature, with further controls added almost immediately as a result.
Interface was created using Gradio[1]. Model[2] developed by Peter Baylies.

[1]: https://github.com/gradio-app/gradio
[2]: https://github.com/pbaylies/stylegan2
Hey Email – An Initial Review
True. But I feel like Space Race eventually took a life of its own, and it was not military in nature. You don't do joint space programs if you're having a "war".
I think you're missing the part where you have to send the tube to a lab to do the actual sequencing. At that point they have your data, and even if there were to be a provider that says they don't keep it, that's about as credible as all the VPNs which "don't keep logs" where we later discover, whoops, they lied...
It's not, it has to be heavily integrated into the processor core.

Particularly the main piece of virtualization is an added level of indirection to the page table walking hardware.

There's some IOMMU stuff that can be bought off the shelf (and ARM's SMMU for this is really good actually), but I imagine Apple would build their own (or acquire it) looking at the rest of their IP blocks.

Edit: Actually I'm not even sure if they could pull an SMMU in. Do we have confirmation that they're using AXI/CHI or do they have something else for their NoC protocol?