skysight-inc/HackerNews huggingface dataset:
> I wonder if it will even save them much money this year

They also get to account for it differently. The severance payments can be written off as a one-time charge, so from that perspective they get to take the GAAP benefits this year.

Even though the cash flow is ~the same between letting people work for a year and then laying them off with no severance, doing it this way makes the business immediately look better.
I've done some reflecting on this lately. I might actually get lucky with my startup (actually looks like there's a very decent chance) but the reality is that I've not been earning a lot or saving a lot in the last ten years and this thing could go side ways just as easily. The getting lucky part is not the primary reason I'm doing this.

If I wanted money and financial safety, I should have kept the nice corporate job I had, got myself a mortage, some pension savings, etc. And corporate jobs are not even that horribly soul crushing. At least they don't have to be. So, no shame in doing that and I'd be all set to retire in 20-30 years. If that's your life and you are happy, good for you. Don't change it.

But for me it would be a compromise so that one day, I might retire to enjoy the few years I have left while I'm still healthy enough to enjoy that life. For most people that's 10-15 years on average. Some people stretch it a bit further. Except your life is not defined by how it ends but how you live it generally. And most of the memorable bits tend to be at the beginning way before you retire, not after.

So, instead, I'm enjoying life now with a decent chance to level up the level of enjoyment at some point and a risk of losing some of what I have. I work hard but only on stuff I genuinely care about. What matters to me is doing things I like doing now exactly the way I want those things to be done so I can look back on those things with no regrets (other than having missed opportunities to do them even better). I'm not postponing enjoying life until I'm too old, broken, and miserable to enjoy any of that. I don't actually need a lot of expensive stuff in my life.

I'm not even sure I'd actually want to change a whole lot if I suddenly got a lot of money. I might do a few decadent and frivolous things and I might even enjoy those things. I'd probably get a nicer place to live in (or several even) and a few other things. But I can't honestly say I really miss or crave these things right now. I'm more interested in securing the life I have than having a better life.

Life is a journey, not a destination. You can't take any of the materialistic stuff with you in the end.
In fact, I rely on that sort of early termination / circuit breaking as a feature!

That is a big reason why I use functions. They help me define sane fallbacks, and/or enforce API contracts. Those, in turn, are points where I can enforce "fail and die" behaviour.

Design notes: https://www.evalapply.org/posts/shell-aint-a-bad-place-to-fp...

Example from shite: Hard stop if mandatory front matter for posts is absent:
https://github.com/adityaathalye/shite/blob/master/bin/templ...

edit: clarity
I've been working on it on and off since July 2022.
Edit: I'm wrong looks like they can write it off.
Neither solution is really decarbonized. It is also wrong to say only carbon leaves an ecological imprint. Recycling of batteries will be a huge logistical challenge or leave a high ecological impact itself.

Still, either a vehicle is more or less drives continuously or batteries will be the better alternative. But that is only for that sector.
I just tried it now. The default is still HTTPS when signed out and SSH when signed in. The `gh` workflow seems to be the default only for those who have authenticated using the tool.
Blame music publishers. They are the ones raising prices and paying artists pennies. Spotify has no power to change this.

Spotify is/was spending heavily on podcasts to try to create a new revenue stream with better economics.
Did you read past the headline? It's not anathema because of aesthetics, it's anathema because it doesn't work. There's nothing wrong with shooting down an idea that you have studied and found to be counterproductive.
The memoirs of an English officer: who serv'd in the Dutch war from 1672 to 1713
Two years ago I made https://vemto.app, a GUI code generation tool for PHP/Laravel developers. At the time, my wife and I were going through a difficult process, in which we urgently needed to move out of an apartment. The tool sold well enough for us to put a down payment on a house, and has continued to sell for those two years, and now I'm working on a second, more powerful version that not only generates code, but can connect to existing projects to edit them. There is a video of the second version at this link: https://twitter.com/Tiago_Ferat/status/1591450807433826304
> I find it sad that the knowledge of how to use calculators has declined, and as a result there is less market need for them, so they get discontinued (especially the good ones).

It's probably because most jobs don't need them anymore, any calculations are done in pre-made software now, or in Excel. I've not had a need for a calculator other than fairly basic arithmetic (what's 10+9?) for years.
> I asked a question of chatgpt.

> Paragraph 8: Microsoft CEO Satya Nadella said, "We are excited to continue our partnership with OpenAI to drive innovation and progress in the field of artificial intelligence. This new investment will enable us to bring the benefits of AI to more people and organizations around the world."

> Paragraph 9: OpenAI CEO Sam Altman said, "We are thrilled to be continuing our partnership with Microsoft. Their support and investment will allow us to continue to make significant advances in AI research, and bring the benefits of this technology to more people and organizations."

There's something particularly off-putting about machine generated quotes attributed to an actual person. It's completely different than a person generating the content themselves.
I visit the HN site very rarely. I mostly see HN links via the Panda browser plugin. I open stories I'm interested in, which then leads to tab hell, but that is at least a defined list I can work through vs. the infinite scroll problem. YMMV.
The problem is that for every finite description of f, the x that fulfills f(x)=5 is not in the set of numbers than cannot be described by a finite set of symbols. (I assume here that there is only one solution of f(x)=5)
I listen to audio books anywhere from 2 - 2.5x speed these days, so I assume people do that with podcasts too. 2 hours becomes 48 minutes then.
It would be interesting to explore whether this has any effect on the hypothesis, based purely on letterform comparisons, that runes may be traced to semitic symbols, presumably introduced by Carthaginian refugees or, anyway, travellers.

(This idea has been dismissed as impossible based on the timeline, as the oldest runes postdate Carthage's demolition by centuries, but that argument depends on assuming we have a complete archaeological record, which we of course do not.)

If the older letterforms more closely resemble a semitic form, it would be powerful evidence in favor. If not, things get more complicated.
More like if you cheap out on severance.... no one will ever come work for you without a significant comp premium
GTP3 can generate some good press releases.

I presume that by integration of the Open AI services into the bing and MS Office, Microsoft’s mission (empowero every person and every organization on the planet to achieve more) makes lot of sense.
Thank you. This is the way.

US recruiters: please use "Remote - US" if you mean "anywhere in the US", and only use "Remote" if you mean "anywhere in the world"
When Spotify threatened to cancel my account for sharing with my sister, I cancelled Spotify instead.

Spotify removed password sharing first.
That was a noble business strategy in the late 90s. The only thing Microsoft has managed to extinguish in the last 20 years is an ad-free start menu.
I've never used it
That's fine. The point is that the x is also not in the set of indescribable numbers (because you have described it with f(x)=5), assuming f is describable.
According to the well-ordering theorem which is equivalent to the axiom of choice (and Zorn's lemma), you can well-order any set. That's usually when people start doubting the axiom of choice because, well, that's quite unintuitive. There is a joke about it which has already been posted here.
Nothing that can't be fixed with a browser addon, or using a local client or terminal commands to figure out what to put into a `git checkout`.
Ask HN: What should I learn to become a dev?
Hello HN! I have a long background in tinkering with development, but I never really sat down to learn it in a way that could get me hired. Part of the issue is because while programming languages can be picked up quite easily by me, their tool chains and all the surrounding dev ops type work is not. I’m just looking for some guidance on where to focus time and energy and what development language ecosystem I should ultimately adhere to. JavaScript as an ecosystem has long seemed to be the pinnacle of employability right now thanks to the sheer number of frameworks that allow it to be implemented for nearly anything these days, but I just feel like I really missed the boat there: While a new generation of devs was busy with JS, I was teaching myself Python and the ecosystem around JS exploded and is now just very difficult to break into and play catch-up. Rust seems like an interesting focus for me potentially (I always liked C/C++ and a modern successor to the venerable systems level languages of yesterday is exciting to me). Swift also seems interesting: Philosophically I love building and using native software on a platform and iOS/Mac development seems like a solid breadwinning career that doesn’t need an immense amount of educational effort to find some success in.

I suppose my true question is twofold and I hope it may also help some others:

1. Thanks to ignorant parenting and a series of bad choices in my life over the years, I lack serious direction right now. I’ve had very well paying jobs, but I hate what I can do for work right now and want to pivot. What can I learn quickly that pays the bills and gets my foot in the door of development? One thing I will say: I prefer the cutting edge and the risks it brings. I have always lived there precariously and would like to continue to do so.

2. Is there a certification I should also focus on? I hear extremely mixed signals on this in the wild. I hold several unrelated certifications in adjacent (still technical) fields and I must say they’ve never really helped me in a practical way other than checking off a box for various employers.

Thanks for any suggestions and guidance
Good feedback!

That's there to help bump people over the "Eh I'll buy this eventually" hump, which is common with nice-to-have infoproducts. Because I don't want to do the open/closed cohort based approach at this time.

I don't have the traffic volume or brand strength to go with the "You'll remember to come back when you're ready" approach ... yet?
Thank you so much for your feedback. I posted about RemoveX in other thread as you can see here: https://news.ycombinator.com/item?id=34380268
If I understand the captions correctly, the wireframe images overlaid on RGB images are from the algorithm run on the RGB images, not the wifi data, so having them match up is not surprising.

The standalone wireframe images sometimes manage to get the number of people and their approximate positions correct, but everything else about them seems (IMO) believable but not necessarily accurate, like most AI output.

This doesn't surprise me, because the input data is very coarse. Look at their graphs. There's just not enough raw data there to accurately reconstruct much other than position in the room.

I'm sure it's possible to do more accurate recording and reconstruction, I just don't think this demonstrates it.
> social treat

Yes - I was wondering downthread what the boundary between "podcast" and "radio programme" was, and I think this is an important aspect that makes certain things not documentaries. It's a parasocial (it is after all one-directional) connection through the voice of another human or humans. Some people like to listen to this kind of thing all the time, even if they're not really paying close attention, because they like to hear talking. Broadcasters have understood this for a very long time.
I was coached+medicated out of doing the same thing.
It's _actively_ moving heat from one location to another. What you do with that heat at the other location is another matter.
Microsoft is handling the AI revolution extremely well.

They see the potential brand damage that comes with a such a product, so they probably just hold less than 50% of the company, to be able to say "this is not us".

Which then allows openAI to experiment and wow people, while google is anxious about showing 10% of its crazy AI capabilities to avoid potential PR disasters.
Show HN: Whkd – A simple hotkey daemon for Windows
emacs has a plethora of keyboard shortcuts for this. Even less "sketchy-looking" than sending content to anybody else's PC
I'm not sure that collective bargaining would be helpful for most tech workers -- there's such a large diversity in individual skills and productivity that negotiating for yourself seems to make more sense.
Who's the jerk and why?
... while storing a tank of atmospheric pressure liquid H2 such that you can't store it in an enclosed space and will be nearly empty if you don't run it for 17 hours and has a range of 120 miles.
I thought that icon up there in the top right just said 99, never questioned why...
you do realize that young people overwhelmingly stream, and do not generally purchase vinyl, right?

I've heard this idea of streaming being bad for music bandied about, but I don't believe it. streaming solved by piracy problem by getting people to actually pay for music. People in the industry like to complain about streaming, but I'm not actually sure that 'the good ole days' are actually better, or if people just have rose-coloured glasses about what the actual state of things were.

You are right that streaming-only companies cannot afford to take the same loss on streaming as Apple/Amazon/Google. And IMO that's probably a good thing: we need to find the balance between producers and consumers, not subsidize it with phone sales.
ClickHouse Powers Dassana’s Security Data Lake
I should add that a lot of the pushing happens from Toyota's CEO. He really thinks electric cars are a fad, and as a result has directly advocated within Japan's government for hydrogen and hybrids.
Yeah, starting of a note about layoffs talking "reiterating" about the "most defensible business strategy" is extremely tone-deaf.
> I might just start subscription hopping for a while.

>> Aren't you worried about how this will look on your resume? @halgir

You jest, but this type of censorship is coming to a business near you in the very-near future.
> "If you were plowing a field, which would you rather use: Two strong oxen or 1024 chickens?" -SRC
> See, it's already over. If you have to explain that to a layperson, it's not going to get adopted.

Does every layperson have to adopt stocks or commodities? Are these also dead if a layperson does not adopt it?
My presumption is that it's both signaling to wall st to keep the stock price up (and for the C levels to keep their jobs) and also that companies did over hire in all sorts of weird ways in the last couple of years.
Isn't this a wild cap? I'm not an expert but I am aware of private deals that are less than 10x for similar structures.
Thank you again. Will try to make your ideas as a new feature on the next release. Would love to hear you more.
> Personal Chef, Personal Driver, and Personal Assistant

It's amazing how close we are to this level of luxury being available to the middle class in the form of Doordash, Waymo, and Google Assistant.

The rich are richer than they've ever been, but in other ways the gap is closing. The richest billionaires can afford much nicer boats, but their phones aren't any better than ours.
> Eugenics was controversial too. What's your point?

Eugenics is fringe now. It wasn't in the early 1900s. The point is that "no megaphones for the fringe" can also be a bad thing.
Where is infinite information invoked?
Difference Between AC Induction, Permanent Magnet, and Servomotor Technologies
Question: While the standard construction of the set for Banach-Tarski requires AOC, is it proven that without AOC, Banach-Tarksi isn't true?
Can you elaborate on this: "ADHD has prevented me from learning programming"?
Probably more about sending a message to anxious tech-shareholders than anything else. 2023 is not the right year for a tech investment to appear to hemorrhage money.
What are you talking about? All you have to do is make an A.I. robot dance and crack wise, and your golden. At least that's what the game Borderlands taught me.
Marginalia Helped Me Accept the Loss of Control That Comes with Publication
It's tiring how reactionary the average HN commentor/contributor can be. It's not a replacement for standard git commands, it's a set of tools for interacting with GitHub. There are other commands for interacting with repos in GitHub specific ways so leaving out cloning a GitHub repo would have felt like a strange omission. Of course they're going to promote their own tool on their own website, that is generally how businesses work. You don't have to use it, no one is making you use it.
I'm a dev on an MLOps team, we also do Scrum like you. We keep support tickets out of the sprint and also have a weekly rotation for support work. It's far from perfect, some weeks are just plain rotten and someone has to go off their ticket work to help. But it has worked well enough for us in the year since we introduced it.
They keep it, but it goes to the non-profit arm of their business.

“But any returns beyond that amount… are owned by the original OpenAI Nonprofit entity.”

https://openai.com/blog/openai-lp/
Well then, yeah, obviously Adobe doesn't do it. That's what this entire thread is about – someone asking them to do something they don't already do.
It's very naive to think these huge orgs don't have dead weight which is much bigger than 6%. If you start figuring some of your moonshot ideas aren't hitting their OKR's, you have a few options:

* Just let them keep doing whatever without delivering what they claim they can

* Create new moonshots for them just because

* Move them to other products, but that doesn't mean they'll create more value as an org with (now) double the people

So what ends up happening is re-orgs which actually mean shutting down some failed ideas, moving the high performers to other products, moving low performers out of those products, then firing people who were left without a team.

Plus you need to take into the equation an assumption that because of how things look right now, natural attrition will be almost 0 in the next year or 2. If you're used to 5% of people leaving on their own per year, assume its closer to 0% for 2023 and 2024

This is way beyond the cynical claim that this keeps the stock up for another 2 months before it goes down again. There are teams delivering nothing. There are teams delivering 90% of the companies income. You can't just decide not to fire anyone, move 100% of the employees to the 90% income team, and think that income will grow just because more people work there now

Now, do these companies do it right? really finding the good people and keeping them, and removing the weaker people, thats up to debate
My girlfriend and I have been struggling this since we moved to the suburbs. We have found classes to be helpful. It’s a somewhat forced social dynamic, but your classmates are likely to be geographically near and in search of a social outlet themselves.
Mainstream people doing podcasts are paid by podcast hosters (think apple, spotify) to create content, because some people will use the platforms then - think Joe Rogan's $200M deal with Spotify.
Deno in 2022: NPM, Edge Functions, Series A, Fresh, and more
f(x) = x + 1 is insufficiently defined here.

It’s easy to pretend math is some universal language but it’s really several mutually exclusive languages.

Infinity is not a number. You can pretend it is and there are several ways to build a mathematical system around such a choice, but it isn’t inherently correct. So in your example f(x) may no longer include negative infinity and there is no paradox, it may include multiple infinite numbers and the lowest of them are now excluded, or you can say x and f(x) are the same etc.

In the end there is no deeper truth here just the results of various completely arbitrary definitions.
A recent comment here on HN pointed me to https://timesnapper.com/. It takes screenshots across your entire workday and you can go through a video of what you were doing. Total gamechanger for me, I absolutely love it.
Same here[0], though I do have the GitHub CLI set up.

EDIT: Never mind. OP was referring to checking out from the PR page, which does only show the GitHub CLI option.

[0]: https://imgur.com/S3gxl1x

[1]: https://imgur.com/P7llsVo
I was in that podcast circle, and honestly, it's just exhausting. They have to keep pumping new information at you and I eventually ended up doing nothing but being depressed at how much I was supposed to change about my life.
Revenue is irrelevant when looking at savings, you have to look at net revenue or gross margin. Majority of Spotify’s revenue goes to record labels. If you are making -40mm / yr then a $90mm swing is a huge deal.

Also, can’t just look at salary - employees cost a lot more than their salary. 10% employer tax, health care, other ancillary benefits, IT equipment / space, etc. A $150k salary probably costs the company $250k all in.
We just live in a world now where propagating false and dangerous misinformation is merely offering a differing point of view.

We were happy to let subject-matter experts help build the modern world, but then turn on them as we seek out the information that comports with the way we wish the world to be. It's good to be skeptical, but a very significant portion of the population has serious epistemic deficiencies.
They create the need by building limitations on the free tier.
I move between countries. Anyone happen to know how this works for this situation? (i.e. I'm currently in Mexico, but next week I'll be in Guatemala. Does Deel cope with this, and if so how?)
The business landscape has not changed yet, it's still early stages and there are no competitors utilizing the tech to displace Google. However, one can now clearly see the threat and what might transpire in the next few years.
This assumes your numbers are well ordered (IE, any set of numbers has a "first"), which is called Zorn's Lemma. It's equivalent to the axiom of choice.
It did seem a bit tone deaf but five months baseline severance is no joke.
Choosing a Linux Distro in 2023
Now wondering what the boundary between "BBC radio programme on Sounds" and "podcast" is. Could the BBC have been said to invent the "podcast" format with https://en.m.wikipedia.org/wiki/Letter_from_America ? (2,869 episodes! "The series ran from 24 March 1946 to 20 February 2004, making it the longest-running speech radio programme hosted by one individual")

(Very strictly, a podcast requires an RSS feed and the ability to download to an iPod, but those criteria have been eroded to "any audio programme that is not on the radio")
Blocking someone because of their geographical location would mean (to me) that it's becoming "more localized", not "more global". Before I could access websites everywhere, now I cannot.