skysight-inc/HackerNews huggingface dataset:
I'm pretty sure that I read somewhere there are like 100 freighters that produce as much emissions as all cars on the roads globally.
Duty Calculator – Import Duty and Tax Calculations
My luggage already seems to be tracked like that on Delta (I get updates per plane and multiple updates within the airport), and this confirms my recollection that it's a fairly old feature: https://news.delta.com/delta-introduces-innovative-baggage-t...

https://news.delta.com/iata-follows-deltas-lead-rfid-bag-tag...
In a word: Yes. Mainly due to paywall / user-registration-walls
> Most software can run in maintenance mode with minimal staff and no feature growth.

If it is well built, sure. At one of my jobs, one of the firehoses requires a messy restart every few days as it was left to decay and now everything is out of date.
Generation She is matching high caliber Gen Z talent from their community to startups who are growing fast and looking for an extra pair of hands! This is a low cost, low effort solution if you need short term help in roles like engineering, design, and social media from students that come from schools like Harvard, Berkeley, and UPenn. Their program starts in the fall. You can find more information here: https://www.notion.so/generationshe/Gain-Access-to-Top-1-of-...

If you're interested in learning more, feel free to email me at avni@generationshe.co!
What's the unreasonable thing? Not having your data HQ in a place vulnerable to unrelated government overreach?
I don't think many programmers are working at this hour (23:39 here on the East Coast).
I work at Microsoft and I don't like Teams. However, I recently checked out Slack to chat with old coworkers and I realized Slack dropped ability to control the desktop remotely.

Also, unrelated. Teams on Ubuntu (for personal use) kicks me out after 12 hours and I need to sign in again. I don't know why.
This is why I conceal/pretend to have a lower salary than I do. People claim that sharing salaries only benefits employers. No, it also benefits the people who will have to deal with colleague jealousy.
My laptop battery life drops form 9 hours to 3 when teams is open. At this point it should be considered harmful for the environment.
I'm also in Australia. When there is a fruit fly outbreak, it is taken very seriously. There are restrictions on what fruit can be taken to schools, across suburb zones. There are teams of people that doorknock and put up traps on trees or get permission to go into your backyard and inspect dropped fruit, cutting it to look for fruit fly, etc. They wear hazmat-type garb and it all looks a bit dramatic for the suburbs.

Even without an outbreak, there are restrictions on buying fruit and taking it into a particular agricultural zone. Heavy fines for bringing fruit over the state border (my mother copped a $300 fine for forgetting she had mandarins in the car boot on a roadtrip).
I haven't seen this yet, so I just wanted to add -
Hours worked does not equal productivity nor revenue.
If Salesforce gives everyone at the company this benefit, I suspect there would not be any dip in productivity, and possibly an increase after the break.
True that.

Literally getting S300 to go after HIMARS rockets will grind down Russia, they simply do not have the inventory.

Recently, Russia has been using S300 as 'ground attack' munitions, going after railway junctions etc..

Which is kind of neat actually, that's a pretty dynamic bit of kit!

But extremely desperate. Limited damage for enormous cost.
Plain? It sends analytics requests with practically every pixel scrolled. The performance is worse than rubbish and leaves a gigabyte of analytics data in your localstorage.
I understood it as self-inflicted, self-attacking policide, i.e. the (beginning of the) end of the conservative party in the US? If so, yay! .. well, yay-ish, cos what comes after? A party less inclined to be the "party of no"? A party less inclined to be the poster child of "the cruelty is the point"?
Yes. They got all the popular writers, then slid a paywall over it. Seemed like a bad faith centralization of something that had previously been decentralized, hand crafted and individually owned. Like main stream media consolidation in the 80s, maybe.
Amazon has really good diversification, and they aren’t going away anytime. Look at IBM, they still exist after decades of being essential irrelevant.
My client says "We couldn't connect to the internet. Try checking your connection." I mean, sure, perhaps connectivity issues typically occur at a point that I myself can check more readily than Microsoft can check. But how about I save those checks for when every damn thing doesn't work, even if none of those things explicitly suggest that I do so, instead apologizing or blaming themselves. I'd like that.
Haha wow! Nice to meet you.
Decades ago I worked with a guy from Yorkshire. He would talk about the "adding 2pence to the price of chips* at the cafeteria" syndrome. He explained that when times got tough at the mill, the managers would debate what to do, and invariably decide to add 2 pence to the price of chips at the works cafeteria (something that has nothing to do with the actual business). The workers knew this was a sign it was time to look for another job.

*French fries.
It's far greener per ton of cargo, not absolutely.
I wasn't. Dated someone who was. This was years back while Steve was still alive. It made planning difficult at times.
Official announces https://twitter.com/MSFT365Status/with_replies https://status.office.com/
That leave is essentially everyone collectively sacrificing to allow humanity to continue on. It’s not really anything close to a vacation for the new parents, and their colleagues still have to pick up any slack. The end result is more humans to keep the world moving.

An equivalent for someone not having kids would be taking time off to volunteer somewhere.
Same in Waterloo, Canada
Yes, Joe had a lot to do with his son's actions. Joe's position in power enabled his son to sell connections. You can deny this, if you want, anything can be denied, but the on-the-ground evidence seems quite secure. If only they had just put the laptop contents directly on p2p servers and not tried to use the Rupert Murdoch smear machine.
I think there might be a loose connection. When you want to prove something using mathematical induction, you must come up with an "induction hypothesis". This requires cleverness which could possibly be described as the product of inductive reasoning (in the philosophical sense). Essentially it amounts to finding a general principle that can be specialized to prove each of the inductive steps.

The main difference to me is that, with inductive reasoning (in the philosophical sense), you converge on a general principle but it might be wrong—it is only probable. Mathematical induction is the tool needed to close the gap—to turn a hypothesis which could be wrong into a bulletproof mathematical theorem. Of course, if your induction hypothesis didn't turn out to be right, you won't be able to complete the proof.

I use the Coq theorem prover to write induction proofs all the time, and often you have to try out different induction hypotheses until you get one that finally works. The process my brain goes through to come up with these induction hypotheses feels like "inductive reasoning" in the philosophical sense as I understand it.
One is contributed to by the community. The other, not so much
Yes it's called capitalism, if they could get away with it they would pay us nothing. In good times the stock gets so high you can get away with super high salaries, over staffing and perks. But in worse times the stock starts to get a hit, the multiples don't look good and to retain earnings you have to cut costs.
The biggest cost is wages...
>A nuclear plant dumps a lot more than 30 MW of waste heat into its adjacent body of water. Is that a problem?

Nuclear power plants near me generally have their own cooling ponds, covering vast amounts of ground, as they would otherwise emit too much waste heat into the ecosystem and kill all the wildlife. If there were multiple ships each dumping 30 MW of heat into a harbor, that could happen quickly.

>Power grids can be upgraded, and a grid-connected battery that can send 300 MW in the other direction during occasional supply shortages is actually really good for grid stability. In that case the ship sells some power at lucrative rates (maybe $1k/mWh?), then recharges later at night after the demand peak.

Ports are already at capacity, this would only make it worse.
It just doesn't seem to harm the corporation enough. The requests for subsidies, the limitations of available support that put the public at risk should be negatively impacting leadership of these organizations drastically.
In terms of the scale of energy. The largest masts in the world are on the order of 100m. An 80m blade wind turbine is rated 8MW or so. A container ship produces 50MW or so.

It'd be feasible for slow steaming if you couldn't use sails for some reason.
What about installing an alternative operating system on an iPhone?
Not enough details. I mean..size matters.
No. High property taxes are NOT good.
Have to applaud the Traktor reference in particular
What kind of magic are you working?

Here I am just programming… I totally skipped magician school.
> abduction commits us to nothing. It merely causes a hypothesis to be set down upon our docket of cases to be tried.

This is the perfect phrasing. Consider the contrast with deduction: if I have a premise, P, there are many deductive inferential rules I could apply to that premise to produce a new truth.

E.g. Given P, we can infer "not not P", and if we're also given "P implies Q" we can infer Q

Abduction flips this on its head: we have Q. And Q could be just the double negation of a P we weren't given. Or it could be the consequence of "P implies Q". There's really no way to know with certainty.

This is forensics. It's exactly the reasoning used in courtrooms: from the evidence (or "consequences"), we need to use science and logic to figure out how we got there (i.e. what were the antecedents).

This is why the most famous fictional user of "abduction" is Sherlock Holmes. But really it's what every forensic investigator (including a detective) is doing. Abduction is most common in judicial settings (i.e. when we are trying to assign blame).
Uber invested most of their money into self driving tech and it was a dead end. If it would have worked out we would be having a very different conversation. Now I think they are essentially break even until someone figures out self driving and buys them to deploy their fleet of self driving taxis.
Bummer. If true that basically nullifies the entire benefit of this. The tag printing part is less than 5% of the time spent by each person while they stand at the counter. Though I guess if eventually everyone did this the savings might start to add up to something minimally significant.

As sibling comment noted, bag tracking via RFID already exists. Getting rid of that incredibly annoying long line everyone has to wait in to check bags, however, would be a real innovation.

Alaska is claiming that travelers can save up to 40% off of check in time at the airport with this method, so I guess time will tell if that claim is true.
Amazon's vacation policy -- https://www.amazon.jobs/en/landing_pages/pto-overview-us

MSFT at least started at 3 weeks.
> There is no provision in the constitution laying out

Sure there is. It is called the amendment process, and requires a supermajority vote.

Unless, you are going to claim that using the amendment process, officially, as laid out in the constitution is some treasonous act, that the military would stop.

(Funnily enough, I have see people make this silly argument! That it is unconstitutional to use the official constitutional amendment process, and is treason!)
Apparently caused by a broken deployment - https://status.office.com/
Their population never boomed like it did in the US post WW2, possibly because of the massive loss of lives in the war. I feel like all that development would be pretty useless if there were no people to actually do anything.
https://archive.ph/xXHH1
The project execution is also remarkably bad. In 2020, they set out a multi-phase schedule for renaming the “Planner” app to “Tasks by Planner and Todo” to “Tasks.” https://www.onmsft.com/feature/whats-going-on-with-the-tasks.... It’s been a year and a half and they’re still on the second phase!

Even by the low standards of web apps—I just learned about nvm today, WTH?—somehow Teams manages to be outright garbage. My office is a Microsoft shop and it actually makes me worried about what we’re going to do when the old C++ grognards at MS retire. What’s going to happen to Office, Outlook, etc?
Slack said controlling screens was too difficult. I was sad to see them remove it.

They do have the ability to draw on other users screen, something I use much more.
> How do you end up with such a crap app?

Developers valuing their own experience over literally everything else, combined with them not understanding what they're doing and using way too many abstraction layers.
Yeah, who cares about the rest of the world...
I’m surprised they got this far. The graphics software world is full of little Nvidia, AMD, and Intel integrated code paths. Nvidia drivers have game-specific code in them.
Show HN: Affordable Global Payroll for Startups
> Linux client kinda works

I had to use it when working for a certain customer. It was chrome/chromium configured for accessing Teams, packed in a single archive/executable, if memory serves. They still managed to fuck it up in a way that after a single app crash, the bundled chromium was unable to connect to Microsoft services anymore (made no outgoing connections iirc). Fresh copy worked after spinning up a live system.

I don't know how they do it but Microsoft is great at fucking simple things up.
> Also, his given name contains the character 源, which is read "gen" in Japanese, not "gan".

This may be way outside of your wheelhouse, but I have to ask -

The Mandarin reading of 源 is yuán. The phonetics are something like [ʲyɛn]. A similar raising of the written vowel occurs in the pinyin syllable yan (e.g. 言, 严, 眼), which is [jɛn]. In other pinyin syllables, an "a" represents /a/, which is something sort of intermediate between the English PALM and TRAP vowels.

It makes perfect theoretical sense that /a/ might be realized as [ɛ] when following a high vowel. But I've always wondered whether yuan and yan really do have a phonemic /a/ there or whether there might be an /ɛ/ phoneme. And it's interesting to me that the Japanese reading of 源, presumably taken from a much older Chinese, uses /e/ there instead of /a/. Can you provide any insight?
Nursing is a demanding job but doesn’t suck the way assembling iPhones using the exact same motions hour after hour day after day does. It’s also been automated in several ways, what remains seems really hard to automate because it’s the stuff that hasn’t already been automated.

As to the bane of your existence, that actually sounds fun. You haven’t described it in enough detail to give meaningful recommendations, but your parser should be telling you what’s confusing it rather than crashing. You want to automate the process of automation.
> https://status.office.com/

On one hand, I am pleasantly surprised to see that this page looks like basic HTML. It reminds me of the way the Internet looked like twenty years ago, which I am nostalgic for (no cookies, no trackers, no Javascr*pt, just basic text and images). On the other hand, I expected the status page of such a ubiquitous software suite as Office to look fancier, with colorful indicators everywhere, or like this: https://i.pinimg.com/736x/e7/e1/27/e7e1270a1f7504199614ffc32...

I wish more websites and apps looked like something out of Star Trek.
Data-Oriented Programming book has been released
The borrowing feature is an amazing way of working around utterly broken copyright law, which is in its current form more or less a tax and brake on scientific and cultural progress.

From the internet archive I can now search through and read 60-year-old self-published technical manuals, obscure Hungarian journal papers, historical archival material only kept in one French museum, soviet math and physics textbooks, etc. which is difficult or expensive to find physical copies of, and not being published and distributed anymore.

Even better, people can use those links as sources in their own work (e.g. in Wikipedia articles) and anyone else interested can follow-up with original sources instead of just taking things on faith because the references are too much bother to track down.

All of this material from the past ~century is otherwise locked away by copyright law even though nobody was making any money from it.
It’s an interesting thought for how to implement “distributed moderation” for a Usenet-derived (maybe something sitting on top of Usenet) discussion platform.

“Moderation” can be implemented by a cohort of likeminded people by sharing and maintaining a kill file, similar to how mods on a subreddit determine who to ban. But they only are effectively “banned” for the people to trust that cohort and agree with their decisions enough to “subscribe” to their kill file. Don’t like that they banned too many people you want to hear from? Fork their kill file, or subscribe to a different cohort’s kill file.

Make the UX good enough and it may be possible to satisfy the “free speech” absolutists as well as the people who want a well-moderated platform without trolls.
https://archive.ph/KcEvg
Heh, +6% and +8%. The one I got most wrong was the "Donald Trump is a flawed person", I guessed 90% on that question, a -42% gap. Saying the man is literally flawless seems a tad blasphemous, I wonder how many republicans actually believe that. They must know he has a history of infidelity at the very least.

Neat quiz in any case.
I've been using Brave almost exclusively for the past year or two. I very rarely run into any issues that make me reach for a different browser. Basically feels like chrome with a built in add blocker.
No it is not open source for now
Interesting math for the Hospitals. My understanding is that if they don't have enough nurses on shift, they pay high penalties to medicare. Not sure I know the details but that's my understanding.

https://www.law.cornell.edu/cfr/text/42/482.23
> I mean you don't actually have to 'look ahead' 65 moves to know that there is a winning move, even if that move is 65 moves ahead.

> You can just go 'this move is winning, and I can infer that because of these logical points'. This isn't really 'looking ahead x moves into the future', you can just know a position is winning

Yes, that's exactly what I said in my original comment.
The Problem with Scalability
> They have all these engineers, and it's not like it's difficult to make a chat program. Teleconferencing, sure, that's difficult. But most of the problems I hear about is "Teams crashed" or "Wouldn't connect" or "Makes my machine run unbearably slow".

The answer is hidden in your question already. "not difficult" + "all these engineers" = overengineering.
> My ideal work life is to write about whatever I want, however I want, and be able to turn that into a comfortable living.

My ideal work life is to eat snacks while reading HN, for a couple of hours each week (or more/fewer as desired), and to be able to turn that into a comfortable living.
> we all benefit as a consequence of capitalism – from the richest of the rich to the poorest of the poor.

This is one of those "myths" of capitalism -- "everyone" benefits.
While I'm a recipient of the benefits, I also realize that it's a system with flaws that drives inequity and preys on the poor.

I'm not sure that the impoverished really benefit from the constant stress of working 3 precarious part-time jobs to pay for rent and food, with little to no time for family or leisure.
But, hey, latest tech gadget is cheap, so that's a universal benefit, right?

I always thought the American Dream was to own a house through hard work. Now working at multiple places barely covers your monthly expenses, forget buying something.
Decent housing shouldn't be an intractable problem, but looking through the capitalistic lens it sure seems to be.
But pretending that places where it fails are "lies" and that we have to become the Soviet Union is just fearmongering. Perhaps there are social interventions that could help?
I love my flipper zero; I’ve been using it to investigate NFC doodads.

I participated in the crowdfunding campaign and I must say it was one of the best run campaigns ever; the team was super transparent and took a lot of time communicating all the behind-the-scenes of developing the product; their updates were very interesting. Can’t wait to see what they do next.
@tdarb's pblog (https://pblog.xyz) is pretty simple. It's just a shell script that builds a site and RSS feed with pandoc. The build system's a makefile.
What do you mean "we"? I pay cash.
Not talking about the manager’s job. Talking about their reports.
The only comparable thing to an open source programming language on that list is AngularJS, and I wouldn't say that was killed but superceded by Angular 2 (which is also a lot better).
Yeah, I only use the free plan and I go though a bastion bank account for that, so my exposure is limited. I do miss out on rewards, but in general, I feel the trade off is worth it, especially with one off purchases.
The version I bought came with a parallel port, which can be used either for

1) GPIO - so you can control external devices.

or

2) controlling the device, with ELF-LINK.BAS!

Now it looks like Lee's replaced the parallel port with some 7-segment LEDs, which makes it work more like the original ELF (displaying hex instead of binary). But toggling switches does get pretty old, so that parallel port is mighty handy for programming via a computer with persistent storage...
And to think that Slack just raised their prices by about 10% :(
Damn, I didn't realize that was already being done. Are there any articles about this or other references you could point us to about this phenomenon?
Up North they're not very fast, the rail network has a lot of tight bends that makes it unsuitable for high speeds, particularly around the coastal areas, this is even after giving up a lot of legacy routes and stations to improve efficiency. We don't do planning very well in the UK. Liverpool city centre is a prime example of poor road planning in particular. Complete spaghetti.
Electronic tags have been around for a long time elsewhere in the world. Qantas Q tags have been around since 2011, for example.
I actually use a bastion bank account so privacy and patriot never get my real one. I push money to the bastion bank and if they do something funky, my exposure is limited.
Already possible due to a bootrom exploit in older iPads:

https://arstechnica.com/gadgets/2022/06/developers-get-linux...
I wish there were 100 more of them
Cities Aren’t Built for Kids: But they could be
It's called Medium because the content is neither rare nor well done. I don't hate Medium, but I won't write for Medium until they put me on the payroll and send me a W2 every January. Nor will I read articles on Medium or link to them.

It's kind of sad that Evan Williams went from making Blogger and Twitter to making a content farm that changes its business model every 9-12 months. Medium barely merits contempt, let alone hatred.
Not for civil cases. To win on summary judgment, there essentially has to be no genuine dispute of facts. So you often do not bother filing for summary judgment.

It's more appropriate when the dispute can be decided on purely legal grounds that don't need a juries input.
weirdly I had teams running fine today, but yesterday I couldn't log in at all.