skysight-inc/HackerNews huggingface dataset:
Off topic: can we do a floating (mega-)mega-pack, and use passive water cooling? This should help costs, efficiency AND prolong life time

Of course issues with sweet vs salt water
Firefox will always be around in some form subsiding off Google scraps to give Google plausible deniability regarding browser monopoly.

If Firefox does implode, it will be because of Mozilla's garbage leadership/product vision, not market conditions.
What if the legacy manufacturers used their dealership locations as charging stations?

There sure are a lot of them all mostly next to major highways.
[1] https://en.wikipedia.org/wiki/Extinction_Rebellion

[2] https://en.wikipedia.org/wiki/Extinction_Rebellion_Youth

[3] https://en.wikipedia.org/wiki/School_Strike_for_Climate

Her Holyness [4] https://en.wikipedia.org/wiki/Greta_Thunberg

from 1968 [5] https://en.wikipedia.org/wiki/Club_of_Rome

and 1972 from that same club [6] https://en.wikipedia.org/wiki/The_Limits_to_Growth

and countless dystopian science-fiction literature and movies from that epoch.
>Honestly i think the French government's action was among the best possible

Is that because you were relatively unaffected by the downsides of the various restrictions? It can't be because the overall Covid fatality rate is better in France, becase it's about the same as the UK.
Meta point, but I really like the lite.cnn.com subdomain linked here. The only other mainstream textual news site I've seen like this is text.npr.org. Do you recommend any browser add ons or something to automatically redirect a cnn.com link to lite.cnn.com, or some other way to view textual news in the browser only?
Aside: Moving from Android to iOS is possible using Watoi although it is highly convoluted.

https://apple.stackexchange.com/a/307596/364945
It's possible to create a 400 TiB storage server for $5000?
I'm very surprised that OP is using Quest 2 instead of a high-end headset. I don't think VR is ready yet for working with text.
I absolutely love this program. Few times per year I need a vector tool. After some toying with proprietary vector tools (Illustrator), I learned Inkscape (as it was readily available in my Linux envs).

I never looked back. It does the job. I never have to look for cracked software in order to open my old files or use my acquired skills.

It just works.
Ask HN: Most employable programming languages for 2022 and beyond?
Preferably for freshers
The article doesn't mention airplanes at all, but it's planes that have truly shrunk (Western) Europe. London, Copenhagen and Amsterdam have only recently been connected to the fast train network, or not yet. But the most important factor, IMO, is price. The article hails "its affordability. “The TGV was meant for everyone and not just the rich.”" While that might have been true in 1981, nowadays a high-speed rail ticket is on average more expensive than a plane ticket, and train capacity is still lagging behind. I wish this could be reversed, but that would require more intervention than the EC seems willing to do, not to mention some very costly investments.
Indirect sun light on average sunny day is many times more energetic rhan anything screens put out.
If a teacher was telling you they’re exhausted from work would you smugly point out that ditch diggers have it harder? Physical labor and non-physical labor can both be demanding work, it’s not a competition and you’re not doing the physical laborer a favor by denigrating other people’s work.

Maybe you’ve been lucky enough to only have jobs with high pay, low stress, and good work life balance, but I’m sure you’ve seen enough tech burnout stories to know that tech jobs are not always easy. The factory worker and the engineer have vastly more in common with each other than they do with Elizabeth Holmes or Adam Neumann.
Like?

The formation of large blocs of people who will not tolerate any dissent to the current state of Covid thought, and the scapegoating of those who question or do not fall in line, and a corresponding decline in the social, moral, and economic health of a country, certainly bear striking similarities.
Why we’re changing our license to AGPL
Embedded browser views are my pet peeve.

On some mobile apps (Gmail, Discord, Telegram, etc. On Android, never used a modern iOS device to know the situation over there) there are embedded browsers enabled by default, but they are not very persistent and have no actual browsing UI.

My mom was buying something from a link she got from a friend, and was unable to complete the transaction because she had to open another Telegram conversation to get the payment details (hey don't judge non-techy people's organization skills!), but of course going back means leaving the browser-view, so once she had the details at hand she couldn't go back to the store to finish the purchase.

That would be "fine" if there were a consistent UX to "no, i really mean to open this on my browser app, not on an embedded view" or if embedded views were opt-in, but as it stands, it is one of the classic attempts at "simplifying" things that actually makes the whole ecosystem more complex and obscure.
Supposedly, it's good for security discussions. I've tried and in reality whilst some signal is there the noise is just overwhelming. Even with curation, almost 100% of the traffic was unrelated personal conflicts.

Hopefully in a few years' we'll rediscover the personal/professional separation.
Airport Tracker – Aviation emissions uncovered
The Rise of the Digital Hand and the Emerging Class of Digitalpreneurs
The Oculus Go has a resolution of 12.67 pixels per degree. The Quest 2 has a resolution of 15.5 (vertical) to 20 (horizontal) pixels per degree, and a massively reduced screen-door effect.

Anecdotally (i.e. for me), that makes it far less straining to look into. although I'd really want twice that.
Telemetry in Alibaba MNN: no opt-out, obfuscated server url
Yeah and it's a shame, because Myspace was awesome and facebook sucks, it's a bloated mess with so much crap attached to it these days.
While I think Apple can do better, that argument about the App Store doesn’t follow. By analogy: insisting that property follows fire safety regulations doesn’t make governments responsible for arsonists.
> I think that they have X-ray checks now on TGVs.

Nope.
Brave is just crypto adware, they even went so far as to automatically append crypto exchange referral codes to urls [0]

Funded by Palantir Technologies by the way [1]

Their ad rewards system analyses and modifies the original webcontent, replacing existing ads with their own (and who knows what other code they inject) [2]

Then there's their hidden tracker URL whitelist [3]

No thanks.

[0] https://twitter.com/cryptonator1337/status/12692014801055784...

[1] https://www.reddit.com/r/firefox/comments/fe37ml/exclusive_b...

[2] https://brave.com/brave-launches-user-trials-for-opt-in-ads/

[3] https://news.ycombinator.com/item?id=19129309#19129642

Edit: Nearly forgot about their partner promo headers that they can and do update on the fly https://laptop-updates.brave.com/promo/custom-headers
You are probably thinking of Tree Style Tab.
GameNightOn helps you organize game nights
Not to take away from your point, but in Western Europe, trains running late is one of the favourite topics to complain about, next to weather.

Move towards the east, and there's also dilapidated trains to talk about.

I'm not going to judge whether the complaints are a reflection of some objective truth. It could be that the outliers are more visible.
Next time the communication department says "less is more", I'll explode. Do we really need to produce more IC's ? Can't we just limit the demand a bit ?

Can't we make washing machines, cars, bikes, fridges, dish washers, coffee machines,... without IC's ? My Core2 Duo is 12 years old and I still use it 8 hours a day, do I really need a new generation CPU ?

I understand that global economy (and thus employment and other important stuff) rely on the trade of IC's but do we really need so much more ?

(kiddo's have been waiting their PS5 for 9 months now, but is that a insurmountable problem?)

Not to say that IC's are bad (I'm CS :-)) but just asking if the current IC shortage may be a good time to think about the sustainability of our appetite, or if it's the good time to think about living in a world with actual limits...
> Not surprised - he has clear mental issues

That's not fair to say.

He asked for accountability from military leadership that knowingly left Americans in enemy territory and executed a drone strike that killed children & civilians.

Thus far, the only accountability has been his removal from his position, which he already knew would happen when he made his initial recording.

He sounds like the only sane one in this scenario.
https://store.varjo.com/xr-3

A valid Varjo XR subscription is required to use the device
Every XR-3 user must have a Varjo account and a valid XR subscription. Read more here.

You could have just checked the store.
Do you need a Automata Library?
Thirded - Like many of the less-touristy museums in Rome, it's a museum for grown-ups. I think the average HN'er would appreciate it :)
Ad blockers on Chrome block Google's ads too. The ad script doesn't even run, so it's not getting as far as collecting any data.

(I work on ads at Google, speaking only for myself)
Python for job orchestration (Airflow) and data science (numpy, scipy, etc) , Java 16+ for the general enterprise, product development, Julia for HPC. C for embedded, C++ for games, highly intensive systems.
The Fedora community also created one recently.

https://matrix.to/#/#fedora-space:fedoraproject.org
As I said, I was bitten twice. It's hard to even try now. Back then I try for a few week before committing, but when I move my session (of 200+ tabs) onto Firefox, it's dead.

And back then I was told the exact same thing I was told this time, too.
I personally don't understand 1on1s. I never had them in the teams that I managed and I never wanted to implemented them. They seem like such a huge wast of time. We do have some global talks about raises and global performance every 6 months, but whenever there is an issue or there is something to discuss, we do it as soon as possible. For me they seem like some sort of ritual to show that you are connected to the team or that you care, but I think you show that by actually being there for the team all the time when they need it. Even when we have our 6 months meetings, most of my colleagues just say that we always talk, there nothing much to say extra. The other excuse is also that the team is too big and you need 1on1s to you can have a chat with everyone. If your team is too big, then you might have bigger issues than that, or you just need to delegate so that other people that work closely together take over some of those responsibilities.
The marketing style reminds me of the people offering to pirate their VST Plugins right form their web-site if you don't want to pay.

The plugins and the web-site are also crazy as shit! Take a look:

https://freakshowindustries.com/
Not going to help when my session is 200+ tabs. Previously it's dead after moving my main session.
I said I did twice? Both of them f*cked me up completely.
Yeah, that's actually a problem that Palmer mentioned years ago with the Go. It hasn't gotten better since these things hit mass-market.
I you have meetings outside of the company to raise money or win contracts, this is real work.

If you have meetings with seniors to make strategic decisions this is real work.

If you are recruiting people, again this is real work.

I do think that CEOs have very few incentives to waste time, contrary to middle-management.
> I've been thinking about writing a Spotify ripper.

https://github.com/pisto/oggify
PPI and PPR will parse most perl programs, but the moment you start doing stuff with prototypes or source filters they fail completely.
Does anyone knows if it works fine on macOS yet?
I love Inkscape, but really the performance in mac is completely insufficient, each action takes at least 1 second to load.

Probably is not their fault or main target OS, but is so hard to find a free or open source alternative with the same functionality for mac.
My understanding is that WhatsApp uses a different database between android and iOS and I guess they never figured out a good UX for converting between them. It’s shockingly ridiculous for something owned by Facebook.
No one said build a train from NYC to Los Angeles, or from North Dakota to South Dakota.

The population density in several parts of the country is the same as Europe, Spain for example.
Quest2 requires a Facebook account, only Quest1/Rift/S still work with an old Oculus account (at least until 2023 when that goes away as well and it's Facebook for everybody).
MoltenVK
Ozy Media co-founder impersonated YouTube exec in call to Goldman Sachs
You already need extreme climate and dust control don't think the location will matter that much.
Accidently did this, when we were creating dirty drinks.

Four people had to blind buy drinks where the other didn't know what it was, two alcohol, and two soft drinks and we would mix them together to create a blind cocktail.

Ended up discovering this the hard way!
This is either a lie or a heavy misconception; my Quest 2 (the first Oculus headset to "require" a Facebook account; none of the others do), didn't require a Facebook account, and works even with Oculus accounts made within the month.
I had no idea this was possible. Will definitely do this in the summer. Thanks!
This sounds about right but I think the mistake is a little bit simpler. In an eth transaction you don't actually specify the total fee, you specify the gas price. In the raw transaction it is measured in wei. But in UIs it is common to represent price in gwei (see e.g. https://ethgasstation.info/).

So instead of a bug in converting gwei to eth, I bet somebody thought they were specifying the raw price in wei but the input box assumes gwei and does a x1000000000.
Microchips are a more strategic resource than water.

I would not be surprised if even using tanker caravans to bring water from Utah is an option for chip production.
Packfiles and deltas are a storage and transfer optimization for blobs. Any access to them store and yield blobs.

It is for all intents and purposes just an internal serialization format, akin to how a filesystem is just a serialization format that makes all your data one large stream. One generally talks about the provided interface (files for a filesystem, blobs for git) rather than where the bits actually go.

Compression algorithms are also to some extend diffs as they serialize to a sequence of "repeat previous segment and add this new data" commands, but it is not useful to consider them as such.
I'm proud of everyone else that picked up on the piezo analogy! so cool! Here's a deeper look on the idea and the mass-change experiments:

https://owlcation.com/stem/What-is-the-Mass-Effect-Gravity-A...

edited to add video and sciAm paywall links:

https://www.youtube.com/watch?v=_INqXPFdJM8

https://www.scientificamerican.com/article/the-good-kind-of-...
Show HN: Incro – continuously data transformation for data warehouses
Is there a reason you can't use the declarative API to block these websites? Isn't that what you're doing on Safari?

https://developer.chrome.com/docs/extensions/reference/decla...

(Disclosure: I work at Google, speaking only for myself)
There are 212 megapacks.

I would imagine this would be really fucking hard.

Most larger, more expensive engineering units don't have this.

I'm open to the idea, if it exists or there are similar setups then that would show it's possible.

Else I'd guess this is like creating Facebook in a weekend. Easy to say. Regulations, security, false positives, unique software.
I just realised I wrote "please never don't" there

Substitute with "please don't" or "please never", I appear to have combined the two and double negative'd myself.
Nope! Mine works perfectly fine with Oculus accounts made within the month; I literally just factory reset the thing and made another to verify that the comments saying otherwise were wrong, and yeah, they're wrong.
Perl code changes how the parsing will be done, both by adding keywords, changing how many arguments the parser will look for, and even arbitrarily changing the language entirely with a source filter. It's largely that last bit that makes creating a consistent or coherent AST so impractical it may as well be impossible.
They could have sent the transaction directly to the miner instead of broadcasting it to the network.
Closed IM protocols aren’t standards so this doesn’t really apply. There’s only three realistic “standards” in instant messaging: irc, xmpp and matrix. IRC is essentially dead, xmpp is on its last leg and mostly irrelevant, and matrix is very promising just not popular enough yet.
Wait! You’ve gotta get NFT in that pipeline somehow.
Bee Dance Game
It still is the case. I was alarmed by how many people were insisting I'm wrong, so I factory reset mine and walked through the process with a new, non-FB Oculus account. Still works.
I am not sure having a giant aqueduct diverting water from Colorado River counts as "completely non-dependent".
https://en.wikipedia.org/wiki/Central_Arizona_Project
I came here to ask the same...
I sure reached 200 tabs on Firefox at times and it's probably a lot better at handling this kind of things than a decade ago. But I hear you.
> Imagine you enter the train in New York at 8 pm, eat a nice meal, read or play a game, go to sleep and wake up at 8 am in San Francisco.

According to Google, the road distance between New York and San Francisco is 4670.6 km. The travel time means that the train will take 15 hours (12 hours + 3 hours difference between the time zones).

This means that the average velocity of the train has to be 311 km/h.

At least in Europe, there exist few train lines that even allow such speed (only in France and Spain):

https://en.wikipedia.org/wiki/High-speed_rail#/media/File:Hi...
Again, it's just as easy to pack a firearm in a mall. That's why the security is the same as in a mall.
The "So you want to study philosophy..." guide by Susan Fowler / Rigetti gives a good introduction to self-study of philosophy. It lists both courses (e.g. coursera) and books.
But ... if you don't like reading books, maybe philosophy isn't the best subject for you depending how deep you want to go ? There's a LOT of reading you'll be doing.

https://www.susanrigetti.com/philosophy
I decided to check how much water a plant would use

a plant used 4 million gallons of water a day (according to https://www.theverge.com/22628925/water-semiconductor-shorta...) which is about 126000 metric tons a day

arizona used 7 million acre-foot of water in 2017 (https://www.azcentral.com/story/news/local/arizona-environme...) which is about 19000 acre-feet a day == 23014434 metric ton a day (using http://www.conversion-website.com/volume/acre-foot-to-ton-wa...)

so a chip plant would be responsible for about 0.55% of overall water usage
Singapore is testing autonomous robots to catch “undesirable social behaviors”
I think it takes more imagination to pretend we're not already there.

It doesn't take much money to convince people to do awful things for you online. You certainly don't need nation-state levels of cash to push your opinions in front of a lot of eyeballs.

I suspect Twitter/FB/etc all know about what they're being used for, but per other comments, this is all positive KPI for their investors.
It's not possible in the beta app
The Brain Is a Prediction Machine and Music Reveals How It Works
Employable by what kind of companies? I'd imagine the following aren't going away anytime soon and will likely be employable for entire careers for many people: JavaScript, java, c#/.net, python, c++, go - basically just find what Enterprise is using and learn those
SizeBench: A new tool for analyzing Windows binary size
You really have 200+ HN tabs open? I don't understand how that's manageable at all.

So for this HN article. You can't use FF to try it out. You HAVE to add it to the 200+ tabs to Chrome?
This is the kind of thing that is never going to get patched on a lot of systems due to the obscurity of the tool in question. Really really bad.

At least higher profile stuff usually gets patched quickly.
I believe they're actually called "adjectival verbs" in the more recent works on the Japanese grammar? Anyway, given that they function pretty much exactly as stative verbs, I don't find it weird at all.
What was it for? So... he could have a computer inside of his keyboard.
Maybe not if you interpret it strictly. But if Apple doesn't respond timely to exploit reports, then they can be liable for resulting damages.
Don't enable ads if you do not want them. Personally I think avoiding ads is important so I don't enable them. Thus Brave acts like what Firefox should be had its organization not become so broken.
Well, by this I mean math (and mathematical logic). Math is the tool for reasoning about possibly infinite concepts, i.e. you can make a statement about infinite sets and still know if it’s true or not. We aren’t limited to what we can see and touch, which is good because any non-trivial software application is so large that it could never be drawn out like a building blueprint. It can only be described and reasoned about abstractly.

But, you are probably asking about what ‘tools’ can be applied to programming, meaning some kind of library or application. These are also out there. Here’s a few that I think are promising:

TLA+: This is a specification language for describing and reasoning about computations as state machines, with a particular focus on modeling distributed systems. It has been used at Amazon to check designs for their distributed algorithms. They have used it to check parts of S3 for example: https://lamport.azurewebsites.net/tla/formal-methods-amazon....

Best reference is the book Specifying Systems: https://lamport.azurewebsites.net/tla/book-02-08-08.pdf.

Then you have theorem provers / proof assistants based on type theory. These are frankly complex, but getting better.

F*: This one is the most exciting to me. It’s currently being used to develop a formally verified HTTPS stack: https://project-everest.github.io/. They already have components released to the Linux kernel and Firefox. One of the most exciting things about this tool is that you can verify an efficient, stateful algorithm and extract highly performant C code from it. Their verified implementations have equal or better performance to the current solutions out there. So all of the overhead is for verification, none exists at runtime.

Of course you can’t talk about proof assistants without mentioning Coq. Its claim to fame is producing a formally verified C compiler, CompCert: https://compcert.org/.

As you can see, so far, formal verification has been mostly limited to components of systems, not entire systems. But, it’s a start, and the scope of what we can verify is getting larger.
They acquired the teams and the product, but they brought the business model. Much as will happen here.
It doesn't mean don't bother improving something, just don't expect everyone to switch to it.
The grammar textbook I used to learn called them "adjectival verbs." I think it's a useful way to think about it, especially if you consider that some auxilliaries like ない and たい also fall into that category.
I think some managers would think twice if they saw the cost of meetings.

I mean (meeting duration + interruption duration) * hourly wage of everyone involved.

Even a so-called five minutes stand-up easily cost more than a coffee machine.