skysight-inc/HackerNews huggingface dataset:
If I'm on my home network the latency is impossible to notice, I might as well be at my Mac. Same goes for bash completion, it works flawlessly. Once I'm off my home network it's a slightly different story, it just depends on the internet connection wherever I happen to be connecting from. For example I stayed at a hotel in Fargo, ND a few weeks ago and the latency was fine for the most part, but there were moments where the typing or completion would lag behind by a second or two and then catch up. Almost like lag in a video game.

Blink has mosh in addition to ssh, which if I understand correctly is much better suited to handling higher latency connections like that. I just haven't taken the time to set it up at home, so I can't really say how it performs.

All in all, if you're curious about using the iPad for this kind of thing I really recommend it. I absolutely love mine. Apple is pretty generous with their return policy too, I've returned a handful of their laptops just because I had buyer's remorse!
I'm confused by this take. Who is threatening Japan with cruise missiles? Certainly not China or Russia. North Korea, perhaps.

The primary reason that we're concerned about semiconductor fab concentration in Taiwan is that China has consistently stated that it is going to invade Taiwan at some point (and that could be 2049 or in a few years for all we know). This is completely outside of any hypothetical scenarios of who lobs cruise missiles at who during WW3.

You can make the point that relying on semiconductor manufacturing outside of your country/coalition is a bad idea for military self-sufficiency, and I would agree, but that's a much more diffuse risk than the very specific scenario that is driving the CHIPS act and concern about fab concentration in Taiwan.
Early in my career I lived in Redwood City and it was amazing. The weather, the potential, the people and culture, but now Silicon Valley is one big crime infested, money grubbing, spoiled, giant IBM. The area is dying, and higher taxes will only accelerate it.
There isn't one. iPads are the longest supported tablets out there. So I guess they are saying that they are so upset about this that they will stop using tablets altogether, which I suppose is a valid, if weird choice.
Are these still MIPS III knockoffs? Interesting to see what continued investment has resulted in. Shame they weren't able to start with the R10k line and evolve from there. Speculating on what an R18000 descendent with 20 years of development is a nifty what-might-have-been.
I see this comment often. I just find it comical that people really think they know what goes on inside of Apple product meetings. Ipad Pro 12" is as expensive as a Macbook. Perhaps Apple doesn't want people to use full MacOS on an 11" screen because it's not as usable as you think it is...Apple is not out to blindly maximize its profit at all times.
Yeah. A tag is a predicate. Sub-tags are implication (male author => author). Tag aliases are equivalence (implication in both directions).
Fair point, but even the on-screen keyboard on iPads is basically full-sized so it makes more sense than on a phone.
https://en.wikipedia.org/wiki/Principle_of_charity

Or, infinitely caveating all of your writing is tedious and makes it less interesting to read. It's more respectful to your readers to assume they understand this and will apply the principle of charity.
Well, standardizing or documenting the hardware ? Making the boot loader unlockable ?

In other worlds, doing what PCs managed to do during more than three decades ?

I don’t care that Apple stops to support my iPad after X years. We can’t blame them for stopping to support old enough hardware.

But we can blame them for making this hardware locked in such a way that you cannot run what you want on a device you fully own and that they unilaterally decided isn’t worth using anymore.
This could be true. I didn't think about that. It would explain why there is no apparent melting along the cut as you might expect with an explosion too.

I don't know what type of equipment the investigators have at their disposal but I would think that they could certainly recover sections of the pipe from the seafloor pretty easily. That capability would be necessary for any future leak repairs.

That would also explain why there appears to be a trench at the location.

It will be interesting to see what the various investigations turn up.
The knowledge and talent is definitely very important (I mean in the long term everything in technology is knowledge and talent) but there are also the extremely expensive semiconductor fabs to be considered.

The CHIPs bill was pretty broad. It might make sense to subsidize a pure-foundry company as an ongoing issue (in particular, isolate these big investments from the boom-bust semiconductor trends). Or somehow try to come up with subsidies that go to Intel to the extent to which they act as a pure foundry, but that will be pretty tricky to work out I guess.

An ecosystem of open fabs seems to be a prerequisite of those small plucky startup chip design teams. Of course they can order from TSMC but then they have to wait however many weeks to test out each prototype...
I have plenty of incentive to keep the trees in my own yard from dying, yet I lack the expertise. So they die. I need an arborist. Unfortunately the arborists in my town are incentivized to get me to pay their company to cut my trees down and replace them with new ones every 10-15 years or so.

We really just need more foresters, with a broader mission that extends beyond simply government-owned park land, who can help individual landowners to plant the right kinds of trees in the right ways.
Again, it’s not impossible or even implausible that the spread could have happened like that, or that there were cases elsewhere that went unrecognized. But that’s not nearly the same as flippantly describing this as the lab just “down the street” from the market.

The possibility hasn’t been incontrovertibly ruled out (and maybe never can be at this point), and it’s important to do independent investigations and examine the lab’s research, etc. It’s just not considered by most experts to be the most likely possibility.

As a geographical comparison, it would be like having a new disease outbreak where all of the known cases for the first several weeks were in Brooklyn, NY and concluding that the source could have been a lab in Newark, NJ. It’s possible, but not the first place to look.
This is amazing ! Thanks so much!
Right. The Apple Pencil 2 (used on more expensive iPads) connects to the side of the iPad magnetically and charges that way. It looks nice and works fine.

The original way (stick straight out of the port) worked but was always weird. They had a chance to fix it and… compromised?

The “fixed” the iPad by going USB-C, which is good. They don’t have to redesign the first Pencil which is fine (it’s cheaper than v2) but that left them with… this.

Very un-Apple. More than the original.
This is bogus.

"Life expectancy" is the number you obtain after you run a statistical model. More precisely the Lee-Carter model [1]. The Lee-Carter model is based on the idea that over more than one hundred years the average annual mortality rate (or rather its logarithm) decreases linearly for all ages and other buckets (sex or race for example). So, you fit a one factor linear model using SVD.

Now, after Covid-19, we've had an outlier event. Any linear regression would be thrown out of wack after such an event. Or, to be more technical, any L2 linear regression.

What is the predictive power of the Covid event for the future mortality? One can claim that people affected by long Covid will show increased mortality rates in the years and decades to come. Maybe. In any case, the Covid event holds zero predictive power to newborns. And life expectancy is by definition the life expectancy of newborns.

Bottom line: this is just a statistical artifact. Life expectancy now is not lower than before Covid. If anything, Covid accelerated some advances in medicine, so life expectancy is higher than the projected increase over 2 years.

[1] https://en.wikipedia.org/wiki/Lee%E2%80%93Carter_model
The original Surface Pro is still getting updates.
I use teams and jira.

daily status meeting over teams.
jira for tasks.
teams for chat if I have questions.
Our best estimate for the topology of the universe at the largest scale is that it is 'flat'. If it has curvature, it's below the margin of error we are able to measure it at. The only thing we know that can curve space significantly is gravity, but it would take truly stupendously strong gravity fields to significantly change basic results from classical geometry, such as those close to the event horizon of a black hole. Even then we can calculate it accurately nowadays so our results would still correspond to theirs even in those circumstances.
> The only system I know that does that is the fanfiction site AO3, where teams of volunteers manually create aliases from, say, "snarry" to "Harry/Snape"

They seem aware already.
> biggest drawback of iPad OS is lack of windows, to drag around

First thing productivity users do to a Win or Mac laptop is install a windows manager so they don't drag windows around.

iPad Pro in its landscape dock provides split screen with adjustable ratio, as well as left and right floats, along with swipe between desktops, as well as push to view and pick a diff app. One app wide, one app narrow, tends to put the narrow app in iPhone UI, which is pretty ideal, better than desktop where windows refuse to get narrow.

You can drive iPad with a magic touch pad beautifully. I suspect this workflow management is behind some of the gesture convergence in Ventura and iOS 16.
AI progress won't be dead in the water if it respects copyright laws. Yes, being free to just freely grab any data is infinitely easier. But having to rely on properly licensed datasets or asking users for consent should be the norm for ML development IMHO.

Also, If we had trained some A.I. on the Windows codebase and started freely using suggestions given by it I bet Microsoft would scream copyright infringement in a heartbeat.
I have my doubts - my iPad Pro 11 M1 does not discharge at all with the pencil attached, standby time is easily two weeks.
US Military wants these maps. Submarines have crashed into mountains a few times in the past.
I think its implicit bias mixed with priming. Teachers - female teachers especially - are primed to view boys as “behavior” over education; girls its the opposite. Because teachers are primed to view boys as more of a behavioral concern, they subconsciously apply that label every time, through every activity.
Metaverse is falling. Maybe it's just boring?
This is absolutely a step in the right direction. GitHub permissions are ridiculously coarse-grained. Hopefully this will lead to more fine-grained permissions on GitHub in general.
As the article points out, the problem is our obsession with "trees planted" instead of "trees survived" after n years (n=20? not sure, but at least 10).

It's a reason why those "we plant a tree every time you buy X" marketing claims are mostly BS.
If you want to be pedantic, the Microsoft Surface will have Linux Kernel support long after the iPad has become a derelict memory in the minds of Generation Z.
500?! I have to wonder why nVidia even bothered launching the cards.
The convergence between iPad and Mac is pretty brilliant. If you think about it, the iPad now has a lot of features that are much better than a top of the line Mac, like 5g and the display tech.

It’s all still too new but if you read the tea leaves we are heading towards a convergence. In the future there will be a device that behaves like an iPad on its own. With an app and touch oriented experience, but when connected to a keyboard and mouse will be like a Mac today. The universal app stuff is a great indicator of them moving in that direction, even if it’s still new.

One thing I don’t really understand though is how a Unix interface will work with a device that is also iPad OS. Like, if you can install stuff from online, eg through home brew, will you be able to side load apps? If that’s the case I think the app experience might suffer, but at the same time if the Unix experience has its wings clipped then what do they plan to replace it with?

I mean that sincerely. I don’t think apple is so naive as to think they can make macs into iPads and not provide an alternative. Maybe they’ll offer a native package manager, one that’s even reverse compatible with brew as a starting point, and then provide an integrated notary process as part of that system for publishing recipes.
Thing that really kills iPad for me is the web browsing experience. I just find iOS Safari so limiting.

It's also needlessly slow (considering M1). I suspect they have some optimisations designed for memory constrained devices like iPhone tuned in the same way for iPad.

Also ad blocker support is limited.

Oh and in a lot of video calling apps, if I try and browse something in Safari while the meeting is happening, then I'll suddenly stop sending video. Though that isn't strictly a Safari issue, more a Apple holding back features from third-party developer issue.
Unless you are a power user who manages to overload it so severely it becomes unusable (not hard to do, if you’re a certain type of power user - unfortunately), it’s basically just a big iphone you can attach a keyboard too.

Much harder to actually break or make unusable than the typical 5-10 yr old windows laptop from the lowest bidder most people interact with.
I've done a lot of service jobs, and commercial construction jobs, and have a deep appreciation for a clean and well-organized space.

I love to sweep. If I could get paid as a SWE to just speak and "garden" our office, to make it a more pleasent environment, conducive to peaceful thought and pleasent interactions, I'd take that job in a heartbeat.

Christopher Alexander is a bit of a god-father of object-oriented programming, and architecture: https://dorian.substack.com/p/at-any-given-moment-in-a-proce...

He believes that all work on something new starts with "repairing" the environment in which that new thing is being created. (The codebase, the room, the block).

The first step of repair is to tidy and clean.

Sooooo I can weave a compelling story to others about why cleaning and tidying is in fact _very_ reasonable to do, and some could argue it's some of the more important work someone could do.
its literally the third tweet in his thread
Theoretically: because the office is optimized for productivity, whereas the home is optimized for comfort

Alas, most offices are optimized for 1) cost-per-person 2) modern looks and an open concept

My home is much better for working than my workplace is
It might be harder to compare against countries or consider as some sort of predictor - but as a measure presuming we the methods are similar over time - the trend should be valuable. Regardless of starting point, if the measure in the US, for life-expectancy or infant mortality change, and it wasn't a measurment change, then there is something worth understanding going on in the complex system of lifestyle and healthcare in the country.
Scroll down to the donors section to see why you should vote no on Prop 30:

https://ballotpedia.org/California_Proposition_30,_Tax_on_In...

It sounds like a great idea, but Lyft wrote this law and couldn't get the state legislature to pass it, so they are trying to do an end-around the legislature. The devil is in the details.

The law would tax high earners and put that money into a fund whose spending will be directed by an unelected board. Lyft would of course lobby to control that board and make sure all the money is spent on the upgrades the state had required for rideshare companies, which is their ultimate goal.

Also, it is budgeting by fiat -- it sets how state revenue will be spent for the next 20 years, with no way to change it if something changes in the next 20 years.

I love the idea of subsidizing electric vehicle adoption via wealth transfer, but this law is not the way to do it.
> You mean Γ ⊢ φ or Γ ⊢ ¬φ .

In principle no, though it's possible that it's defined like that in certain places, since in first-order logic, that amounts to the same thing (given the completeness theorem). But "completeness" is a notion from model theory that doesn't care about proof systems.

In a system where the completeness theorem is not true, such as second-order logic with standard semantics, we do have complete theories (such as second-order PA), where we always have Γ ⊨ φ or Γ ⊨ ¬φ, but that doesn't mean that every statement is either provable or disprovable.

> The proof of Godel's theorem is to exhibit a φ for which "Γ ⊢ φ or Γ ⊢ ¬φ" is false. From that you conclude that "Γ ⊨ φ → Γ ⊢ φ" is false on the assumption that "Γ ⊨ φ" is true. But that last part is an informal argument. We believe that "Γ ⊨ G" is true for the Godel sentence G but we (obviously) can't prove it.

I think that has it a bit backwards. It's not that we believe that PA ⊨ G - in fact, if we believed that, it would immediately imply PA ⊢ G, when that's exactly what we showed to be impossible. It's that we believe that G is true in the natural numbers, which is not the same thing as being true in PA, and that belief rests in our belief that PA is sound (which we can't prove, but seems reasonable).

(There are some different "flavours" of the incompleteness theorems, some of them rely on soundness of PA and others only on it being consistent.)

> But note that what you said is not mutually exclusive with what /u/Tainnor said, i.e.

That's because that's me. ;)
Em... I doubt that semiconductor industry is the thing to lead us to WW3.
I tend to get the U2F-only Yubikeys (a.k.a "Yubico Security Key", they are blue instead of black) because I don't want to inadvertently start relying on Yubico proprietary functionality, and they are cheaper. This is just one more reason to do so.
I am pretty sure there is support for changing the size of fonts and titlebars, but I’m not sure if there’s anything else that scales. I doubt anything scales _well_.

The thing is, CDE predates high DPI monitors by so long that most of the beefy workstations running it were considered particularly high resolution at something like 1152x864 or 1280x1024. Widget scaling really was the last thing on anybody’s mind…
Steve Jobs and Tim Cook have both stated that they don't hesitate to cannibalize their own products, and Apple has proved that many times over.

Especially at the scale in which iPad having developer tools could ostensibly cannibalize Mac sales — there's no way this would be a factor in the existence of those tools.
i'd love to see a map of the US backed pipeline going from Qatar to Germany that just so happens to go through all of the countries the US was fighting "terrorism" in while also getting caught funding those same terrorists
A pandemic virus circulating in the wild is an incredibly fine-tuned machine. Just mashing together integral parts from two quite different genomes is not going to result in a Variant that is tuned enough. In order to make a Virus virulent and transmissive, it needs to evolve through multiple, probably dozens of hosts, and only if that is on a broad scale, like thousands of such lineages, does it have a chance of success.

Even one lab leak isn't enough. The Virus would most likely die out on its own, if not it would get outcompeted by naturally developing variants. The risk of a lab leaking a variant in a way that it would outcompete natural strains is so miniscule compared to natural variants arising and doing the same, it's not worth mentioning.
Launching so many missiles over a space of 36 hours that you entirely close airspace and waterways (and apparently over the island) is a little different from flying an airplane at the edge of controlled airspace.

https://www.france24.com/en/live-news/20220805-chinese-missi...

That happened during the Pelosi trip in August, and the jingoists were angry it didn't go further. The likelihood of an effective air/sea embargo on Taiwan is more likely than an initial invasion.
Retired U.S. generals, admirals take top jobs with Saudi crown prince
With This Bionic Nose, Covid Survivors May Smell the Roses Again
>As it stands right now, the exurbs are economic dead weight

>I think we might find that people not wanting to live in dense cities might feel differently if they are actually required to pay for the infrastructure that the dense cities are currently purchasing for them.

You mean like some monstrosity of a 6-lane intersection that got spec'd out that way in order to quality for some state grant? Pretty much all local development is "how do we qualify for someone else's money" driven.

These municipalities could go it on their own. But if you turn off the money tap you also lose the ability to complain and threaten to take something from them if they don't do what you like and that is a compromise nobody seems willing to make.
Anyone have any opinion on how this stacks up against NsCDE[1] these days?

[1] https://github.com/NsCDE/NsCDE
Are there any creatives that don’t work in industry? Video teams that use Mac Pros and Pro Display XDR wouldn’t even be able to use a MacBook Pro does that mean the MacBook Pro can’t be used by creatives?

So yes, creatives use the iPads. It is the main driver for more performance on an ipad. Drawing, audio performance, photo editing, hell, they are great second displays for MacBooks.
I am announcing 1nm chip rihht here right now! Trust me I wouldn't lie.

The nm measure is a marketing tool. Intel nm is 'larger' because they were measuring gates differently.

I only take nm claims as comparison of products of same company.
haven't seen it myself but I have seen differing opinions on it, is this just riding the trend of hate or is it really just mediocre
Some would argue that where conditions for trees aren't suitable, the solution is to build a forest there. Forests themselves are the best terraforming tool, if you can get them started by supplying the necessary nutrients, energy, and water.

I don't know how feasible it is, but using trees to transform parched landscapes is the mission of a company I interviewed at a while back called Terraformation, founded by the former CEO of Reddit.
How can I protect my H-1B and green card if I am laid off?
Isn't that what a web browser is?
You have to understand where enums originally came from. Initially they were simply #defines in the pre-processor to make code easier to read. Instead of having "magic numbers" all over your code you'd have something that kinda made sense.

Then they became part of the C language when they evolved into enums but still remained compatible with int's (you could cast an enum to an int).

In that mindset it never occurred to anyone that an enum could have an "internal" value too.
I don't think adversaries would be so brazen just for the sake of not having their equipment captured. It was a huge risk for the US to fly U2s over enemy territory because they would get shot down and the USSR reverse engineered one of them:

https://en.wikipedia.org/wiki/Beriev_S-13
The AO3 tagging system badly needs pruning. I hesitate to make examples, as the specificity will serve as a "call out," but quite a lot of authors throw in single-use, digressive tags as some kind of commentary on their own work. Huge meandering swaths of crap tags, and the people who make them ought to have their permissions to create tags revoked.
How about you send your own ass to war instead of others'