skysight-inc/HackerNews huggingface dataset:
It’s the Hypervisor Framework:

https://developer.apple.com/documentation/hypervisor

which Apple oddly is introducing for Intel Macs only in MacOS 11, at the same time they’re introducing support for non Intel ‘Apple hardware’ Macs.
Sure. Europe would be well served by building a moat around European tech upstarts.
When was it? Because while my own internet childhood was innocent too, I later found out a lot of very serious harassment was going on at exact that time - me seeing side pieces of it but not knowing full extend of what went on.

Back then, you was not supposed to "feed the trolls" so victims just left.
It’s quite easy to “break” the speed of light in fiberoptic glass.
The killer feature isn't the language; it's the virtual machine abstraction, which lets us stop thinking about the underlying infrastructure and therefore build stuff faster and have simple performance/observability/cost metrics (because the application logic is fully and formally described, rather than spread across many services/infrastructure). Does that explanation make sense?

From a dev point of view, it's this: The ability to take business-logic "units" in Python, and quickly connect them into larger programs/workflows that run on Lambda.

So the language features aren't particularly interesting - it's not meant to replace Python. But it can do things that are hard/awkward using just Python.
Once upon a time, it was as widely known in the tech community as HN is today.
I'm not sure if you can take that testmy.net source for granted. It mis-reported my "internet" speed by about 30Mbps. I get around 50Mbps on fast.com and speed.cloudflare.com - those two speedtests are enough for me to consider it "internet" speed.
Changing the delay will not completely get rid of this
phenomenon but will definitely make a ton of my other
shortcuts harder to use. That visual delay makes a lot of sense,
it's just not a feature that was intended with this specific use
in mind and so it seems to behave strange for jj/jk/etc
shortcuts.
Count yourself lucky you don't live in either South America, Africa or Asia, where +100ms latency is more common than not. Fortunately I can count on one hand the applications that don't work with +100ms latency (not counting gaming). Usually it's the fault of the application developers (or rather the infrastructure team) where they put too low timeouts for requests rather than letting the requests go for a bit longer.

Sub 100ms for satellite internet is incredible, hopefully it'll be cheap enough for people to actually get, compared to the current satellite internet we have.

Can't wait for humanity to become a multi-planet species, as then application developers would have to start taking multi-minute latencies into account, and hopefully that'll help me as someone with ~500ms latency to most services.
Given that with WSL/Hyper-V you'll be running Windows in a VM permanently, and WSL.. whenever it thinks you need it (maybe always too?) while Vbox you can just stop when you wish, it seems weird to refer to one as "lighter".

They're very different approaches with different tradeoffs for each.
"The real promise of these methods is to use the universal approximator power of NNs...", still if one is to use a grey-box non-linear model dx/dt = F(x, u, t), why use NNs to characterize F? I would be more comfortable using a polynomial to characterize non-linearity than a "deep" black-box.

Polynomials are much easier to "train" because it is just one linear regression with no iteration. It has also been hinted that NN are in essence polynomial regressions [0]. Furthermore, most activation functions are base on e^x where the actual implementation of e^x in a computer is again a polynomial!

[0] https://arxiv.org/abs/1806.06850
I think people have gotten pretty much every version of macOS virtualized. It’s a bit of work, yes, but not a huge amount.
I went through a couple of these GitHub usernames, they are all first deleted, but there's some presence in other sites, and it's clear that none of them likely hold a regular job in any place of consequence. One of these accounts seems to spend time finding other female GitHub accounts and making condescending PRs while another was busy on far right subreddits crapping on various groups of people.
Midway Serverless – A Node.js Framework for Serverless – Interview with Harry
Writing good software comments (Part II/2019)
To avoid this, there is wordsafety.com, recently mentioned on HN[0]

[0]: https://news.ycombinator.com/item?id=24006618
This issues have been highlighted by at least a decade now, when I started to read english media and sites. If you had no idea, then congratulations, you saved yourself a lot of drama.
Free software has the same problem. I know people who have switched off Firefox updates because an update changed something in a way they didn't like.

In order to fix their issue with the new version, they worked out how to roll-back by one version and disable future updates.
Even if you completely removed all factors deterring women from going into CS tomorrow, drastically improved the gender ratio in courses beginning next year, it would still take years for that to affect the ratio in industry.

And then you still have to fix any issues pushing them out of industry once they're already there.
At least there are alternatives to Facebook products:
https://uploadvr.com/index-takes-over-rift/
How is this post flagged.
Why You Should Write Automated Tests
We're already doing literally down/up as your traffic goes from your computer on a above-ocean-level altitude, into the ground, eventually probably into the ocean floor and then up into some other building (at least considering transocean traffic)
The Register has really sharp writers. They are serious journalism; not satire.

That said, they deliberately take the role of British “Red Top” tabloids, which are known to be quite “cheeky.”
Microservices – Upgrading to Micronaut 2.0
Quite surprised why LEO for cross exchange arbitrage was not already done. Microwaves were not super with weather conditions the last time taking an arbitrary interest.
>My point is you have to be very far removed from society to believe that no one has ever talked in a vulgar fashion, especially in a country as sexualized as ours.

Using vulgar phraseology is not the issue here. I'm not sure how you came away with that impression.
I'm not sure the last questions could be answered without determining more about this new kind of soul, which by the way reminds me of Locke's substances. A substance for Locke is like an object with no properties whatsoever, it's that which bears all the properties that we observe but which maintains its identity through space and time. I guess we'd need something like that to be 'us' before we're reanimated. The problem though is that none of that is really observable by 'us' being it or anyone living since it really has no characteristics. Doesn't mean it's not real, but not that helpful after all :/
Lol. Like, the rest of math? Geometry? Constructions? Counter examples? Probabilistic methods? Non-computable theorems?
It's insecurity. I browse /g/ sometimes and while there's some very talented and interesting engineers there, there's also a lot of people who are trying to get into programming because it's the path of least resistance for a socially awkward young white guy who spends 18 hours a day on a computer. I think these vitriolic threads mostly involve this latter group of users.

Unfortunately not everyone is disposed towards becoming a good programmer and these guys don't tend to have the best study skills or work ethic anyway, so they often struggle to acquire the skills that they believe are their only way of finding success in life. This causes them to lash out with great ferocity at people who are both technologically able and socially graceful - especially women and non-white people. It infuriates them that these normies with friendship groups and romantic partners and progressive political views are able to do the things that they are inclined to believe are the sole preserve of the lonely basement dwelling nerd, and do those things much better than they can. So they convince themselves that when a non-white woman gets hired in tech it's all the fault of the (((diversity thought police))) and that she's actually a technological incompetent, because to believe otherwise would shatter their world view and force them to come to terms with their own mediocrity.
A comment from yesterday -

To be fair though, don't you remember how the DNT header worked really well for everybody involved, and how all these advertisers today universally respect it, and how they totally didn't abandon the entire concept as soon as it started seeing mainstream use and platforms started turning it on by default?

What could go wrong if we give them another spot at the table?

I mean, PRAM has already released so many good plans, like... a mission statement. But that counts! I mean, come on, it has 'Responsible' right in its name!

https://news.ycombinator.com/item?id=24286463
This isn't necessarily a principled campaign from Apple.

Apple no longer has an ad network which means it can't take it's cut from ad revenue. By reducing the effectiveness of ads on the platform it pushes more people to in app purchases which it receives a heft chunk of.
For me InyelliJ just can’t get it quite like how I have Eclipse set up, and it’s somehow uglier than Eclipse…
It still doesn't make any sense.

Tell me: is the bus driver culpable if the murderer took the bus to get away from the scene of the crime?
I suppose this book exists because somebody developed a scientific computing course at university that uses it.

So I'd expect that every year, there will at least be a class of 30 scientists taking this course.
> In Devi’s case, we don’t know what techniques she used for this demonstration. Why? Because she never told people.

Yes we do. Yes she did.

Devi published a book in 1977, entitled Figuring: The Joy of Numbers. "Cubes and Cube Roots" is chapter 9.

All of the stuff that Peter S. Magnusson claims that Devi never told people about taking the cube root of an 8-digit number is right there in Devi's 1977 book, on page 81 in my copy.
Careful! Apple might sue you for IP theft.
Genuine question - why is it a given that there will be latency issues? It looks like the satellites are only ~350 miles, or a little less than 2 light-milliseconds, from Earth's surface.
Imagine the military setting up an internet base station and releasing remote controlled drones for surveillance or military operations. Having satellite based high speed internet would be a game changer for remote locations.

Imagine being able to conduct a robot controller surgery in Africa, by a doctor in the US. Currently, not possible, but with high speed satellite based internet, it could be.

Imagine an electrical engineer being able to help his colleagues in Africa, with specific issue, over VR or Video calls, enabled by Satellite based internet.

I can see a number of possibilities and opportunities.
Can someone explain the physical layer aspects of starlink? Is the spectrum same as mobile data spectrum or does it work with different part of spectrum. If it is different part, do we need specific hardware to receive and transmit?

Are there any interference/loses issues that might popup when scaled?

What is stopping spaceX to provide internet outside US?
This has been flagged, and I would like to speak to why it shouldn't have been. HackerNews is a site for hackers, and among hackers there is still a wide cohort of people who will absolutely deny that women face (and more generally, marginalised people) do not face hate for who they are. This ought to stay up, just so we have another very visible example of what tonnes of people go through.
I'm whitelisting this site on my adblock just because of this article. They earned it.
Strings in Lisp are surrounded with double quotes. In this case, 'English is not a string, but a symbol. Symbols are arbitrary flags with readable names.

There are lots of languages with symbols. Some of them even use the same syntax, like Scala (symbol usage in Scala is uncommon, though). However, the most prominent non-Lisp language that uses symbols all the time is probably Ruby.
That advertised speed seems to be ground speed, the trick is that they designed this thing to fly very high where the corresponding IAS is much lower. What's new (and a truly surprising as impressive technological achievement!) is that they do this on a piston engine which are notoriously less capable at high altitudes than jets or turboprops.

An implication of this is that short-haul applications will see neither the speed more the mileage advertised. I still want to see the general design principles applied to the problem of regional feeder flights, it won't be quite as over the top impressive but it would still be the closest to "slow steaming" available

(speed really doesn't matter on feeder connections where boarding alone takes longer than the flight, but it's very hard for aircraft to trade speed for efficiency once non-negligible payloads are involved)
I live 12km from the centre of Edinburgh in an area that is rural but not "very rural" and all we can get is 22 Mbps down and 1 up.

Edit: I've spent a lot of time trying to find alternatives - none are really practical at this time. Starlink looks pretty exciting to me.

Edit 2: We have fantastic line of sight to Edinburgh and you'd think that would give us more options, apparently not...
Plantations! No longer will they be isolated little fiefdoms where the company manager is judge, jury and executioner.
That’s intentional and I think it’s because most articles on the form “how x something something y” don’t actually explain how at all. Even when they do explain how, the title is often just as good without the word how.
For the most part, branding. I don't use my real name online, or have much interest in doing so.

So I'm not entirely sure how I'd brand a blog that doesn't have a specific subject to cover.
Preconceptions. Satellite internet have traditionally been slow+laggy. Starlink is not. Yay first principles :)
According to https://www.zdnet.com/article/china-is-now-blocking-all-encr... only the combination of TLS 1.3 with ESNI (encrypted server name identification) is blocked completely. If you use TLS 1.3 with unencrypted server names, the Great Firewall can decide whether to allow a connection or not based on the website you want to visit, but with ESNI, fine-grained blocking becomes impossible.

So yes, TLS 1.2 and TLS 1.3 without ESNI are revealing metadata about the sites you visit, even though the connection itself is encrypted.
Charlie Gerard made a Github Action recently that uses tensorflow's toxicity classifier to block some of the more horrible PRs and comments on repos - https://github.com/charliegerard/safe-space - it'd be good if Github could roll something like that out across the entire platform.
Concerning behavior from team leader, how would you proceed?
During a remote standup my team leader:

1. made fun of an ethnic group and how they talk.
2. spoke for one of the newest engineers on the team (who was present), because they already knew what they are doing.
3. dismissed helping when asked for help from another engineer.

Unfortunately, this is not surprising behavior from this team leader.
In my opinion, that behavior is not acceptable, healthy, or productive.
It really bothers me and I'm concerned for my my team's well-being.

My question for the HN community, how would you proceed?
>young white guy who

You see what your doing here right?
I never stop being amazed by how much time and energy people will put into being awful to other people.

It's so frustrating that after being in this industry for over 20 years nothing's really improved, and far too many arseholes are still getting a free pass for their arseholery.
SaaS does an end run around GPL in particular. Unless it is Affero GPL.
GitHub and internet overall is full of neckbeards and retards hiding under “cute” barely legal anime girls avatars and “uber skills”. But most of them are angry, desperate, and with hate to everyone for their own fails in life. Social media give them more chances to pour out their insults, and feel anonymous.

How to fight it? Probably only by bringing such things to the light and shame them publicly. Unfortunately, such people always have their companions who feel the attack in the same way as they do and set off in "defense" mode by ruthless attack on everyone as shown perfectly by Reddit and some "communities" on Twitter.

It's a pity there is no "contact person's mother" service that would have ended such internet attacks very quickly. :)
Do yourself a favor and don't contribute to another history of $regular_dude who got fired/life ruined because his account/name was similar to someone else's in the Internet.
Start banning people, and keep banning until discourse improves. Ban all those users who put in those stupid pull requests. Then add firewall rules blocking every VPN and their entire ISP subnet. Burn it all down. Show them who controls the system. Then there will be tolerance and respect.
The issue is with overall latency.

User -> Satellite -> multiple hops between satellites (as they are orbiting earth and the right one has to be selected to relay data to -> earth DNS servers -> multiple hops across internet -> satellite -> user

Additional latency is introduced due to satellites and the grid between the satellites, as well as complications from rotation of satellites.
There's obviously more implied by that statement though. The poster is making a criticism that their identity is apparently meant to support.

When it comes to trending topics, as an insomniac I commonly find myself posting at times where Europeans or Asians dominate. Even then, US stories often dominate because so many non-americans are apparently just as obsessed with FAANG/Trump/NSA hotbutton stories as Americans (edit: at least when restricted in both cases to political wonks who post on the internet). One does get a lot of interesting perspectives from non-americans in such discussions. But "as a person from somewhere that doesn't suck, here's why you suck", generally isn't one of them.
No, not really? I'm pretty sure 4chan is overwhelmingly young white guys. I think that's common knowledge.
Out of sight, out of mind? (I hope it's not because enough HN users agree with the haters)
I would suggest something more like:

teachers[age > 30].count

(Because I'm working on something exactly like this right now)
Windows 10 "pre-installs" a load of BS Casino/Farmville-esque games. Not install, "pre-install" as in the files to install are there, but it's not actually installed so you can't remove them via the usual method, you have to find the right PowerShell commands.

These are the games advertised/installed from the start menu / tiles.
wondering how many down-link stations they have. this will be v. interesting when it comes to latency vs current solutions.
I think both what you said and parents are true.

The problem isn't with the "Single Income" part.

It is with the "cost" of hosting and medical care.

The world in general has a huge incentive in driving up asset prices. And Housing is one of the biggest asset.( Correct me if it is not the biggest ) And rent is the biggest expenses in living cost.

What needs to be done is fixing housing prices / supply.
I have a year-old TV from LG. Changing channels with the numeric buttons take around 4 seconds, while using the increment/decrement buttons I have to wait only one second. Strange!
This is only a few Mbps slower than my Fibre-to-the-Cabinet broadband in the UK provides. And I'm living in a town; plenty of rural areas are much slower.
Per the guidelines, hacker news is a "site for things that hackers might find interesting."

Based on that, having the sufficient amount of flaggings suggests that hackers do not find this interesting.

I see why it is important to highlight this, but don't see a reason why HN is the right place for it.
I do that kind of maintenance. Sometimes it's reverse migration code. Because CD doesn't fly. Maybe people don't know it doesn't fly and still push it, or they know it doesn't fly and still push it. And there's no asymmetry between user and developer, developers are users too and experience all this first hand from the user side.
The article explains that the translation from the original problem to the computer-checked problem was quite ingenious.

Turning a problem about continuous space to a graph problem, and then using a computer to check the graph problem does not kill much (or any) of the art form I would think.
I am glad it was flagged.

People are mainly talking about US politics here. And look at the discussion. Every different opinion is downvoted and dead.
I prefer a clean sky and earth telescopes to work instead of 42.3Mbps down / 9.7 Mbps up.

see: https://www.nature.com/articles/d41586-020-02480-5
Looking at relatively current top baby names...

Elijah, Mason, Logan, Harper, Jackson, Ethan, Avery, Madison, Carter, Wyatt, Jayden...

These are just a few from the top ~20 boys and girls names. I've heard all of these in a US media context but never heard any of them in the UK. That's not to say they aren't used here, but they certainly aren't common. And of course there's "Randy".
Let us hope this little trick will not get all of your accounts suspended without recourse.
At least Citibank is trying to upgrade their ancient systems, but it sure looks as if previous or current CEOs failed to exercise due diligence.

Doesn't look like good risk management at all.
That was fast and this is the part of the problem.
Yet it is, but for the sake of fast-forwarding the disagreement, let's assume for now that Drake, or any other male rapper celebrity, or any other celebrity period, or any semi-famous man has never in private conversation talked about how easy it is for them to take advantage of their celebrity status to get what they want from women.

When you assume that, then the president looks quite like the rare unique case, wouldn't you say?
> Think about it as laser beam.

But if you shine a powerful laser beam into the sky it is visible from pretty far away. It's highly focused, but also gets scattered a lot by the atmosphere.
How can a post get unflagged? I think more people should see this. I wasn't aware that GitHub was used in such a toxic way and I'm absolutely shocked.

The fact that this article was marked flagged after 20 minutes sort of confirms the point of the article's author.
Show HN: Timecap: Worlds most customizable habit tracker
I argued one possible reason why people should fear Chinese companies more than American, you seem to be in agreement that people should fear Chinese companies as well, but the argument I used was not your argument, at which point you implied that there was something morally deficient with me (at least that is how I read your comment: "Or maybe those people just aren't anyone you care about.") for not making the argument you find preferable.

>vaguely implying that criticism of your hypothetical scenario comes from indignant moralists.

No, just your criticism so far. I'm sure there are other criticisms people might make but I read yours as an accusation of being morally bad for not hitting the notes you want hit, as if by not hitting those notes in this comment I cannot ever do so in another one should I feel the timing is right.

I guess you also feel you were making a comment on my immorality because otherwise you would have said something like "you've misread my comment, perhaps don't be so quick to aggravation"
Fantastic. I'm keenly curious on how this will work with national regulations. Having a single global ISP is very attractive on the surface and that's with the huge caveat on monopoly, but as an additional option. I'm just not sure how this will interact with some nations' policy/restrictions. Looking at this aspect very much.
What a waste of human ingenuity. And I thought ad-tech was bad enough