skysight-inc/HackerNews huggingface dataset:
That's your opinion. Plenty of people have the means to move elsewhere so they can not own a car, but they don't because they don't like your vision of transportation. My own opinion is as valid as yours, which is that public transport usually sucks ass.

> California [...] is a hellscape of stroads and parking lots as far as the eye can see.

Many people don't see it that way. Millions upon millions, actually.

The fact that California needs to tax the rich to make electric cars work is a sign that said technology is not economical. Doesn't even matter why. I'd own an electric car if I could, but every time I've considered it I've realized that it doesn't make financial sense. One might think that now would be the best time to buy an electric car, but good luck with that when wages are stagnant, YoY inflation is ~8%, and the price of goods is up. I can simply drive less or take my motorcycle. As long as California is totally cool with its gross wealth stratification, people are going to realize that they can live in an affordable area, drive to and from work, enjoy the privacy of their own vehicle, and still come out ahead from where they would be if they lived close to work. I'd be making far less money if I lived in any of the cities my workplaces have had their offices located.

> every NIMBY fighting tooth and nail against allowing people to live close to jobs

I've never heard of anyone not wanting that. There's NIMBY attitude that might get in the way of people living close to their jobs, but your characterization of "every NIMBY" comes off as reductionist and a gross exaggeration. Surely citizens would never vote against their own interests. No, no one ever does that. /s
I'm not sure if its a generation or just a certain class of recent generations (upper middle class). Cities are fun when you can afford the amenities, and cars degrade QOL in the desirable areas. But when you have kids (and thus can't live by spending 60% of your take-home pay on a subway adjacent one bedroom apartment) cars become a lot more necessary. And if you are middle class or working class, then you can't even afford to live within an easy subway commute--kids or not.

And sure, I've had two kids in the city, but I spent more on rent than an average person makes in a year--and that was in Chicago, an "affordable" big city.
> And even the simplest compression algorithms just do that for you.

They do, but you need to uncompress to read the N-th letter
Well, whichever places hang on to them will always at least have this one customer.
I have the 11". Probably couldn't use that keyboard all day, but for a few hours of writing at a time it's perfect.
None of the comments so far offer the most obvious motive for Russia to blow the pipeline: For Russia to show that it could, and it would. That the pipeline nominally benefits Russia is useful ambiguity (that many here seem to have fallen for).

There is no shortage of undersea infrastructure vulnerable to such attacks, not least bringing gas from Norway to the EU - look at exactly where the pipeline was blown. It is part of a pattern of strategic terror.
Do dormitories put acceptable use/abuse policies on the free electricity they give you?

I know for a fact my university in the early 00's did not have an acceptable use/abuse policy on internet usage, and I was the person that caused them to create that policy!

We had 2 T-3s for internet access, one dedicated to dorms, the other dedicated to labs/office spaces, but there was fast LAN access between the dorms and the labs. The dorm T3 was always slammed in the evening by about 5000 students, and the lab/office one was 100% available - so I set up squid proxy on a lab computer, and was getting 10 Mbps where everyone else was getting 50 kbps.

A sysadmin saw the process running and tried to kill it and it forkbombed for some reason, crashing the lab computer. So they came and knocked on my door and made me sign a paper saying I wouldn't do it again, and then next year every incoming student had a to sign a policy saying they would behave on the network.

I still maintained that I did nothing wrong, and it was the sysadmin that didn't know how to kill a process appropriately that needed to be talked to.
CALB vs. CATL: Can Two Battery Pigs Both Fly?
If it's implemented by volunteers then yeah let them work on whatever they want. If it's implemented by paid employees at Mozilla then it's up to them what devs they're hiring, and if they spend their finite budget on devs reimplementing theming then that's totally on them.
French company fined $777M and pleads guilty to paying ISIS
The enemy is both a diabolical mastermind, and feeble-minded. Truly a conundrum.
Take some number of things. Lay them out more or less in a straight line. Somewhere in that line, put a little gap. Count them from left to right. Then count them from right to left. You get the same number.

That experiment is saying that addition commutes. If an alien ran that experiment, they would get the same answer.

Lay out some things in regular rows in a rectangle. Count the things row by row. Then count the things column by column. You'll get the same answer. So will an alien. That is, multiplication commutes both for us and for the aliens.

Now, as you go further into mathematics, things are true because they follow from the definitions, but the aliens may use different definitions. They may have a different definitions for, say, a commutative ring, and so abstract algebra may be different for them. But with the same definitions, we would arrive at the same conclusions.
I'm starting to think Bartosz Ciechanowski is from another planet. Everything he does is the very best explainer on that subject.
From the abstract of the RISC-1 paper: "Although instructions are simpler, the average length
of programs was found not to exceed programs for DEC VAX
11 by more than a factor of 2."
Ambiguous blanket statement that flies in the face of ingenuity. Change the byzantine codes.
I was the technical director at a place where I was on one hand responsible for the dev team, and second highest paid person after the managing director. On the other hand I was also the person who'd lug new servers into our racks when needed. Part of the fun is being able to be all over the place and have a hand in every pie. Downside is the times when you don't have a choice because there's nobody else with the right skills.
mRNA research was mainly developed to fight cancers, not viruses. To the extent that it was already being researched to stop viruses, it was being tested on existing viruses, not GOF-modified ones.
It’s next to impossible to get an iPad to a non-working state.

A creative user with a Windows laptop can do it easily unless it’s really tightly locked and controlled.
No, it literally exchanges energy for digital matter/scarcity.

Real world use cases are digital scarcity and digital commodities.
Breaking news, unstable version is unstable.
That response is an exercise in obfuscation. For example:

> Corley says the line pulled out of context actually had nothing to do with the virus’ effect on humans. The study began in a tissue culture, then moved to an animal model.

So they're saying we don't know if their lab-created chimera is actually more dangerous in live humans, because they (fortunately!) haven't tested in live humans. That completely misses the point of those models, though--the reason why tissue cultures and animals are used is that they're often predictive of the effect in humans.

By that standard in their mice, their chimera is possibly less deadly than the original Wuhan wild type, but definitely more deadly than omicron. They didn't study the effect on transmissibility, but we know that's determined mostly by the spike.

So their chimera may combine most of the deadliness of the Wuhan wild type with the transmissibility of omicron. We can't prove that without experiments in live humans that I hope will never be conducted, but that sure sounds like a gain of function research of concern to me.
It's a new approach compared to Amazon taking open-source code and building AWS services that kill off attempts at self-funding (dual licensing/support services) by the people who made it. I hope it's not as successful. Amazon at least abided by the letter of the licenses.

>> "I'm not too sure yet, but I wouldn't be surprised if we wake up one day, and just like how it went with Facebook buying oculus, we will all of a sudden require some "microsoft account" to log into Github."

See: Minecraft. It was already a goldmine when they bought it, but they built it into an even bigger one before forcing millions to have a foot into their ecosystem. Copilot might be their way of making everyone dependent on GitHub before "moving on" from git and offering a Community Edition of their own source control system.

It'll be easy. A lot of people hate Git.
I have the DDG iOS app and there is an option to remove the flame animation. Never liked it. Too fancy and seems over the top when I just want a brand new temporary session.
The book is amazing: http://www.dspguide.com/ (link for the lazy)
It seems to be designed as a standalone "incognito" only browser. You can except certain sites from being routinely cleared from memory (fireproofing as they call it).

Doesn't really have other features or support for extensions from what I've seen.
Water heaters are about $500 per, and installation would be similar - the furnace would be the majority of the expense.
I was kinda considering this to use up the excess production from our solar panels, because the net metering is only returning a fraction of the market price. It will depend on the ROI from a small homelab-sized mining rig.
This seems like Gain of Function research.
From Apple's perspective, macOS is a legacy product with the undesirable ability to run software of your choice without giving them a cut.
Mozilla could have gone to OEMs like Dell and said "We'll pay you to pre-install Firefox" but they didn't, Google did. I wonder if that would have cost more or less than the yearly bonuses the CEO takes?
Apparently they don’t need all those extra features 90% of the time. The ipad in conjunction with the pencil is a very powerful photo editing tool.
It's really not and is quite common. You keep the site out a ways have workers show up and then bus them out to the site. You only have to keep the site where you are doing the work way out there and so people can do their regular non lab related work closer to home.

It's a really common practice. I live near a national nuclear research lab and they do that. I also grew up near an ICBM building and designing facility and when they needed to run tests they drive several hours out to the west desert to do things just to be safe.

It's not that uncommon or inconvenient, and makes a hell of a lot more sense then just slapping it in the middle of a major metro area.

Seriously we've got tons of land out west that is about a million miles from everything let's use some of that.
I have ESC mapped to the folio keyboard 'world' key in the bottom left corner. It's a complete non-issue, pinky down instead of pinky up.
I used CDE professionally back in the day (a long time ago). It was very good in its day, but I use KDE now, and I would never go back to using CDE. If I were feeling nostalgic for old software I'd rather go play with TOPS-20.
Very interested to know what your solution is for a longer-supported good tablet, as I’m unaware of one.
> At least VS Code has a easily available settings page to turn off telemetry

You sure about that? They look pretty similar to me.

- https://www.roboleary.net/tools/2022/04/20/vscode-telemetry.html
- "It looks like you cannot shut telemetry off 100%. These settings will
opt you of most data sharing scenarios; but not all data sharing
scenarios."
- Apparently even VSCodium can't kill it all
- https://github.com/VSCodium/vscodium/blob/master/DOCS.md#disable-telemetry
My similar issue is with names in source code.

Fuzzy matching names and interrogating the contributor about the changes being checked in. Questions to ask the contributor, are the names similar to any of these other names? Is there an opportunity to use the same name or are they different concepts?

Code grows and grows and becomes harder to grep if inconsistently naming things.
Come on SF, embrace commercial to residential conversion already!
Hasn't that always been the case? When I lived in the Bay Area and networked, and was exposed to so much of how people did things, I was able to land much more contracts because I could come up with simple existing solutions. Once I moved away and wasn't exposed to cool people doing cool problem solving things, I had to switch into more bog standard consulting.

It blew people's minds when we couple implement huge projects that they could never get of the ground for years in just a matter of months because of 'this one cool trick'.

Man I miss Santa Cruz ಥ﹏ಥ worst mistake of my life to leave there.
> A theory Γ is said to be complete whenever for all sentences we have either Γ ⊨ φ or Γ ⊨ ¬φ.

You mean Γ ⊢ φ or Γ ⊢ ¬φ .

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

Γ ⊨ φ → Γ ⊢ φ

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.

Indeed, adding ¬G as an axiom to PA produces a consistent system where "Γ ⊢ G" is (trivially) true. The semantics of this system are quite interesting. The semantics of that system say that there exists a Godel number of a proof of G, but no natural number is that number. It is similar to adding axioms like "there exists a number whose successor is zero" or "there exists a number whose square root is the number whose successor is zero", which have obviously been very fruitful extensions of PA.
>go find your bluetooth keyboard, make sure it’s charged, and think about putting it in my bag

At which point I usually just grab my PC instead
Anyone who's interested in the AccessKit integration can play with my work-in-progress branch: https://github.com/mwcampbell/egui/tree/accesskit

It's currently Windows-only, and I'm working on the big missing feature, which is text editing support.
Dunno. For real coding I need a big monitor, a real keyboard, and a proper mouse. My laptop lives in its dock and the only time the built-in screen/keyboard get used are when I'm traveling and can't work from the home office.
San Francisco wants keep its completely asinine regulatory cake and eat its wishful thinking cost of living too. Reality will win on one side or the other.
Show HN: Tweet to Image with Stable Diffusion
> But for aliens counting, which I think is itself arguable

I honestly can't imagine how you can reach this conclusion with any rigour. Do you agree that aliens will need to consume some energy source to stay alive, which we will call "food"? Do you agree that an understanding of "there's no food in my environment", "there's some food in my environment", and "there's lots of food in my environment" would be selected for? I certainly hope so, so at the very least they will understand the differences between zero, non-zero and "many".

The only way this wouldn't happen is if the environment is so rich in abundance that there is never any absence of food. But this is impossible, because even single-celled life by necessity will reproduce to consume all available resources until it reaches an equilibrium matching the rate of food production. So any intelligent species will necessarily evolve in an environment of scarcity where zero and non-zero will be implicitly understood.

Since intelligent life will necessarily evolve in scarcity, quantifying the amount of food is a useful trait that would be selected for. This is why we've now proven that numerous "non-intelligent" animals can count, including salamanders, chicks, mosquitofish, honeybees and more. Intelligent life needs to understand where they are, what they have and what they will need in the future. This involves quantifying, aka counting, no way to escape it.

> There's a vast gap between counting and what mathematics is and encapsulates.

Yes, but you posited intelligent aliens that have their own math. The conclusion that they would not understand zero and repeated application of a construction over zero to build non-zero quantities is impossible. It is the very root of building a theoretical structure of any kind, so if they have math of any kind, they have some kind of counting system that will have an isomorphism to ours.
Basically, they're an appliance, and hard for a user to screw up.

Of course it's not actually zero.

There's always someone whose finger can't poke things that will ask where the mouse is, or why this stupid iPad doesn't run Lotus 1,2,3 -- and you have to respect their challenges. Or of course (rare) hardware faults, and you have to provision a new one.

But the appliance-ness of it makes it a support dream.
If the entertainment industry leaves, who's going to propagate the image of California as a mythical destination[1]?

[1] https://www.youtube.com/watch?v=PAsqpIUCCcQ
> Not everyone lives in dense cities, nor does everyone want to.

More people would like to live in dense cities, that what there currently are apartments available in dense cities. We need to build more dense, to answer to the demand with supply.

Of course not everyone likes dense, walkable areas. But dense areas, by definition, don't need much land area. So the rest of the land area remains available for sparse communities. Everyone should be happy, then.
And somewhat uniquely American urban problems that basically led to a lot of white middle class people (and many companies) just abandoning the cities because it was basically the path of least resistance for them.
The problem is with the incentives. We reward organizations for planting trees when we should be rewarding them for growing trees.

Anecdotally, paper mills don't seem to have a problem successfully growing monocrop forests on their own properties because they actually have a reason to care about the success of replanting their own land.
Yes, that's... exactly the point being made. The solution that every single iPad with USB-C used before today isn't pictured in that tweet, and it is far better. Apple made a really annoying choice here.
It’s still glued but they are at least using stretch release adhesive now - https://www.ifixit.com/Guide/MacBook+Pro+14-Inch+2021+Batter...
AMD, Google, Microsoft and Nvidia Announce “Caliptra” Open-Source Root of Trust
I’m not the op, but I am a “pen based note taking enthusiast“.

I have owned both a gen 1 remarkable, and an older iPad Pro. In my opinion, the remarkable is garbage in comparison. The note taking app is just so far behind. And cross platform seems it’s never going to happen.

My note taking app of choice is always: write, by stylus labs. It’s wonderful, and really expresses what I hoped pen based writing would always be. Especially the undo-wheel. For quickly scrolling back a whole word or sentence. But the real killer here is that it’s cross platform. I can move the notes to the native Linux app or the native windows app.

That having been said, I am forever annoyed that I can’t run Xcode on either Linux or my $1000+ iPad. Also, on the iPad, there are ridiculous restrictions in how you are allowed to run apps side by side in split screen.

/sigh

So the race for the good pen note taking device is still on for me.

I have hope that soon the Pine Note will take off and allow me to finally run write by stylus labs on a platform with development tools. In this case Linux.

Again, Apple could win me back by opening access to dev tools. Either in the iPad itself or cross platform on Linux/windows—or by allowing me to install macOS on the iPad.

Remarkable could win me back by opening the platform and allowing my to install write by stylus labs.

Dell or Lenovo could win the race by shipping a 2-in-1 with a current generation processor and Linux officially supported, and preferably pre installed.

But it honestly looks like pine 64 is out in front in this race.
I still use Firefox for high-risk browsing like porn or piracy, but for regular browsing the adblocking built into Vivaldi or Brave works just fine.
There's a difference between being asked to clean up potential biohazards and being asked to push a broom for a few minutes and up and ripping your shirt off and quitting over it.
>
"Sometimes I think the new OS is not going to start from the hardware, because the classic OS definition, that Tanenbaum, one of the guys who wrote the book on Operating Systems that I read when I went to school was: “It does two things, it abstracts hardware, and it creates an app model”. Right now the abstraction of hardware has to start by abstracting all of the hardware in your life

What you are creating is then clearly not an OS, but an abstraction layer over operating systems. In other words: claiming that are creating an operating system this way is in all likelihood a blatant lie.
I was thinking of simple arithmetic like addition and simple logical operations like “and” and “or”

I was illustrating the existence of these things - like PG was doing in the article - not attempting to define them
no, there's typically a much more green hue in chartreuse
That's not really on the application, though; "the OS can write your RAM to disk" is outside of Firefox's control.
I have a 2011 iPad that I still bring with me to the gym to watch tv episodes on on the treadmill.
There is no common cold. There are over 200 distinct viruses that cause the illness we call "a cold."
When you reply to my tweet, a bot will generate an image from your comment with stable diffusion.

The images are then shown in my profile banner after 20s.
By doing what we did with the Covid vaccine: fucking around with treatments against existing wild viruses. There's plenty of viruses out there, there is 0 reason to engineer our own to try to fight (there are reasons to engineer our own viruses for other kinds of genetic research, but that's a different discussion).
Interactive Map for Multimodal Improvements in LA
Rust doesn't solve any real problem.

It's a meme language that is only used for writing blog posts and internet commentary.
PG use of image maps for site navigation always bring back 1990s Web "1.0" nostalgia to me.
Why wouldn't the government just start up it's own Intel-alike?
The biggest drawback of iPad OS is lack of windows, to drag around.If you don't need to multitask - iPad is OK.

I tried going all iPad and my husband opted for iPad Pro as personal computer - it is woefully underutilized.

"And that's not just me"
It is absolutely saying "we know better than you". It's comparing a differing preference to contaminating shared food. It's attempting to paint that opinion, which actually happens to be the most common one, as despicable and able to be dismissed out of hand. This is an extremely common rhetorical technique with paternalistic types.

For what it's worth, I don't disagree with your point about outsiders needing to accept that they don't have influence within a community. I actually very much agree, but I don't think that's actually the point being argued, nor is it what I was taking exception to.
Some of my cousins were home schooled and half of them are now not on speaking terms with their parents.

Many of the kids in my college program who were home schooled were also kind of weird and sometimes socially crippled.

A lot of home schooled kids are clearly from incredibly conservative religious fundamentalist families, so that's a stereotype you may have to deal with and quite potentially the type of people you place your children around for extra-curricular socialization activities or in hybrid home schooling environments.

I worked with a lot of MIT graduates, and there was a definite trend of private education amongst them.

Of course that's from outside looking in, probably better to interview those who have been home schooled to get their perspectives.