skysight-inc/HackerNews huggingface dataset:
> I don't know what they are smoking to think that they're worth more than a Netflix subscription. Video > audio.

Hard disagree, video streaming platforms are a gigantic hot mess where movies and shows constantly appear and expire, you never know where to look, if something is available or not anymore or for how long.

Spotify and friends are constantly growing libraries, where everything is available, at all time, always (modulo the expected lawyer temper tantrums here and there). It boggles my mind how people can feel so entitled that they wouldn't accept paying a bit more for sixty million tracks available everywhere every time all the time.

Spotify is a shit company, with garbage mobile and desktop clients, but the service is absolutely insanely cheap for what it is, I personally would gladly pay double and still be happy about it.

They are worth way more than a stupid Netflix subscription in my book. Vastly.
As a long time user of Spotify (almost two decades in a couple of years...), this is my biggest gripe with Spotify:

https://i.imgur.com/wfSka2H.png

More and more playlists are starting to look like this, which is starting to piss me off. I don't really care if it's the record companies fault or whoever, and I blame 100% myself for getting into this situation in the first place.

Started to use Bandcamp more and more lately, and feel a lot safer because of it. I'm hopeful Bandcamp won't ever need to do layoffs either, as they are not trying to take over the world with their SaaS or pivot to focusing on Podcasts, or stuff like that.

But Spotify was really useful for a long time and still discovery is second to none.
Wonder how many of them will be those who a year or so ago were demanding Spotify ban certain content and made lots of public noise about it.
Not sure,

but if you replace AC with a weaker axiom, Axiom of Dependent Choice, you can construct a model in which all subsets of reals are measurable (called the Solovay model), which precludes the Banach-Tarski paradox (which requires non-measurable sets).

Could BT be constructed without AC but with other way of ensuring there exist non-measurable sets? No idea.
Microsoft is.
God this is such a dumb comment
Yes definitely, over the years I've seen a few names with 'snap' as a base. It makes sense. I also tried to get snapper.com some times (although in my niche audience a website is not required at all). For the name, I think read it as ex-napper.
There were still over 200,000 new podcasts created in 2022. So the number may be down, but it is still overwhelming.
Internet disruptions overview for Q4 2022
If you have an iPhone put it into grayscale mode. I promise your screen usage will drop by half if you can keep it enabled.
The project is likely to take many years to come to fruition; Massa noted that it took Europe 35 years to create the euro.
Can you tell me about how a hedging solution works when a nobody knows if the person will be working for the company for 2 months or 5 years? Is the salary to be renegotiated if the rate moves too much?

The FX risk cannot be magicked away.
I was wanting something like this, using Whisper and ChatGPT to summarize Huberman podcasts for me.
Ask HN: Trustworthy office suite that works
I use MS office and just noticed that they turned "connected experiences" i.e. spying on my work data back on without my permission. Since they evidently cannot be trusted, I want to stop using them. I've been trying open office and it's useless. Is there a mature office Suite anywhere not run by people hell bent on spying on my private data. I am responsible to my customers and I can't have MS randomly stealing information out of the work I do for them
If they reach AGI, or more simply replace a chunk of workers with AIs, this isn't far fetched to reach these numbers.
By value. Don't overthink it, don't arbitrarily call them 'bugs', 'support', 'features' etc.

Just do the most valuable thing first. Ship. Repeat.
It was still just Square at that time.
Naming is not a requirement to selecting. I can pick a tool, and even use a tool, without having to name it. Most selection process out there work without relying on any explicit name.

In the theory of natural selection for example, specimens are selected without being named.
You triage which will get done and your velocity goes down if you have a lot of support tickets. This will make your velocity a meaningful metric over time, reflecting your rate of production toward new features.

Orrrr.....you assign points to the support work as well, your team hits their 50 points every week or else they get hit over the head by management as to why they weren't on track.
> collect facts

The physical properties and limitations of hydrogen are well-known. Many people repeat them in other posts in this thread.

Here's a very factual explanation of why hydrogen internal combustion engines won't work: https://www.youtube.com/watch?v=vJjKwSF9gT8

(In summary, you can't compress hydrogen enough to fit in a reasonably-sized tank. The energy that it takes to compress hydrogen will be expensive.)
Can you tell me about this product? Does it cover 1 year of employment?
> US has mostly solved our population aging problem with having fairly open immigration and high immigration numbers relative to the rest of the developed/rich world

I'm not sure about that. For starters, it's easier to immigrate to Germany or the UK than to the US, and by percentage of the population, Germany does host a higher number of immigrants.

The US does accept more foreigners yearly, but it makes it a long way, if any, to stay in the country permanently.
I understand and agree with every point you have made.

There are two business reasons I see that providing a self-hosted solution would actually be beneficial. First, it would expand the market potential to include companies that for whatever reason do not want to use the cloud system. Second, it would give another revenue outlet by charging hefty fees for support. How many companies like Apple sell a warranty that the purchaser might not ever use? I could see that happening here too.
> Azure’s unique architecture design has been crucial in delivering best-in-class performance and scale for our AI training and inference workloads

translation: Microsoft is not Google (who wishes we'd explode).
I think if we divorce the idea of direct data manipulation from exclusively non-textual representation, we are slowly making progress in this direction through traditional notebooks (e.g. Jupyter) and notebook successors like Clerk (see Moldable Live Programming With Clerk[1]).

These are not the sweeping, fundamental changes that Bret Victor envisioned, but we are collectively moving toward more interactive programming. Imagine modern web development without hot reloading.

Clojure is the language where I see this happening most, and which is seeing the most expansion toward "visualization and interactivity as part of a the backend dev experience".

[1]: https://www.youtube.com/watch?v=3bs3QX92kYA
Even if you move between countries you still must have a tax residency somewhere. So you're employed from the place where you have your tax residency.
We designate a support person every week (like a rotating position) and don't count with their dedication (or just a small percentage) for the sprint.

This also helps avoiding constant interruptions or context switching to the whole team that are now handled by the designated person of the week.
Well, "Transformers" as a concept were first published by Google in 2017. Other than that I don't know enough about ChatGPT's architecture (maybe others can fill in the gaps) to make a call one way or the other.
> shifting default workflows away from the standard client is one of those changes that doesn't serve users

There is no "default workflow" for git - Git can be used in a variety of ways; everyone has their own personal preference, and some of these workflows are shaped by interacting with systems like Github/Gerrit/etc.

Every place I've ever worked at has either:

- a home-grown wrapper around git to make common operations easy
- a recommended set of git aliases around common operations

The fact that Github has created their own to interact with their own system is a net win for individuals/organizations who would otherwise need to spend time scripting their own.

Of all the capabilities of the Github CLI, `gh pr checkout` is the only one I use, because it makes it easy to fetch a PR locally by ID without configuring a remote per fork. I'm pretty glad I didn't have to write this myself.
What did he prove? First, the effect is going to be visible long-term. Second, they're hiring as hell. For example, they have reached out to me, and I spoke with recruiters just to understand what's going on a little bit better. So yes, they're hiring people now. What he proved is that when you fire, you hire immediately (but secretly).
If the vast majority of what you use your computer for is the thing you'd have to dual boot for, then dual booting buys you nothing as far as alleviating the annoyances and instead just brings you entire new classes of annoyances because Linux gonna Linux.
In my previous team we used a single kanban board for dev and support. That worked well, and did not require much of effort to communicate possible delays.
I was 100% sure you were talking about Boston Dynamics before that last sentence.
Outside looking in - it appeared that large tech companies were hiring a billion engineers just so they had them. Like safety in redundancy, and if you were employing the best and the brightest, they couldn't make a product that undercut you.

I guess now's the time to start undercutting?
More or less like us, yep.
this guy stole and hacked there files and it made me so suprised
Synthetic data to train vision models
Counterpoint: git is complicated, it's commands are IMHO inconsistent, and users very frequently need to look up how to do relatively common tasks.
I'm convinced that multi-tasking leads to brain damage over time.
I've also never heard of her. After reading her Wikipedia article and two news stories, she seems to have given Hollywood execs the gossip rag quality berating stars typically get. Which would explain why she was hated.
while a PR doesn't exist in git it is no more than a branch with extra data attached to it

I've been using GH at work and personally for a while now and i never wanted/needed to use the GH CLI/GUI, the IDE will cover you if you need it to.

If they really removed the easy to use copy button it would be annoying but calling it "extinguish" is definetly some HN warrior attitude. They didn't remove it though, just moved it a bit and OP is being a bit dramatic
Many of them were made with double shot injection molding. Rather than painting the label on the keycap, the label was molded into the key as a different color plastic.

This is generally in keeping with HP's overall level of engineering that went into these calculators. They used a series of custom microprocessors from the original HP35 on forward, and spent a great deal of time on numerical analysis to make sure the calculators produced good results. William Kahan was involved in this work for years. (Kahan was chief architect of IEEE-754, among his many other contributions to numerical analysis.)
UBI isn't going to replace capitalism. There will still be people making cheapo socks and batteries and scalpels in Malaysia or Mexico or wherever.

Nothing is stopping you (or someone) for simply importing those and selling them for a dollar, esp. if you can afford to take a hit on the margin -- and you can cuz your rent is paid by UBI.

Like, rents and COL are already insanely out of tune with incomes in many places and we don't have UBI.
Block-Recurrent Transformers
> Why do we accept that there are real numbers that cannot be defined by a finite string of symbols

We don't accept it. It's easy to prove that it's the case.

I think you are unfamiliar with how R is defined. The traditional definition of R is a completion of Q with respect to the metric |x-y| (getting all Cauchy sequences to converge). That's larger than infinite sequence of decimals.
same could be said about google replacing imap/smtp as "Insecure Apps" Many developers jump on the gmail/gh band wagon is because they claim to support open standard. As these company replaces these open standards may be time for people to leave the platform.
Over the years I have adopted almost this same rubric. The way I describe my filter is "two people read wikipedia to you for an hour".

I have 2 of the ones on your list: 99PI and Cautionary Tales and I notice that they are both publish about the ~30 minutes episodes once per week. I think all these podcasts that are 60-120 minutes > 2 times per week are really just replacing talk radio on people's long commutes. It's just a pleasant way to fill the air, not to actually learn anything.
OP is definitely on an A/B bucket, because I get two tabs: Local & Codespaces.

Local has two options: "Checkout with the GitHub CLI" and "Checkout with GitHub Desktop."

Codespaces is an ad for buying codespaces for this repo (none exist).
>I can get basically the same as what I paid now in another 10 or 15 years.

Accounting for inflation, or without (even approximately)?
I think the downvote storm is due to your first statement here, which to me says you don't understand how people don't have time for podcasts:

> I do not understand people who have the time to create these, nor people who have the time to listen to these, nor people who believe people should take the time to listen to these, where "these" is informational audio or video content on any single topic exceeding 15 minutes in length.

When your comment now is saying you know people who do listen to them. It's a bit confusing and could use some clarity I think.
If they reach AGI, the AGI isn't necessarily going to be happy to work for free.
In my career I have basically never seen an average of 40 hours a week and I don’t know many people in my field who have.

I would say 45-50 hours is baseline and 60 hours happens once or twice a month. Occasionally, once or twice a year, I work 70-80 hours for a few weeks.

I am not proud of this. It is brutal and has taken its toll on me. I dream about retiring early, but am at least 20 years from retirement unless something magical happens.
Insurance ($97/mo) + Mortgage ($3,400/mo) + Property taxes ($444/mo) + trash, water ($100/mo) = $4k/mo. My mortgage is new and is only paying down principle ~$120/mo. This means I pay about $900/mo for my room, except I have had an average of $1k/mo in home repairs since I bought the house.

The real value I am capturing is my personal housing _might_ be cheaper than if I rented myself.

I am sure in 10 years, I will be in a good spot, but not today.
Hi all, HyperSwitch is an Open Source Financial Switch to make payments Fast, Reliable and Affordable. Built on Rust, it lets you connect with multiple payment processors and route traffic effortlessly, all with a single API integration. We have launched today on product hunt and are currently trending at #1. Can't wait for everyone to try it out :)
Pretty sure layoffs decrease productivity of the remaining employees, unless you're a H-1B visa worker, no one "works harder" after layoffs. Morale is low, resentment over "now I have to do X as well" grows and productivity gets hit.
Yann LeCun on ChatGPT
> You can also skip the reflog if you have a reference to the commit [...]

And you always have it, in the `ORIG_HEAD` variable.
It sort of happened to me in real life in the early 90s. There was a small used music instrument shop in a small street. That Friday afternoon I got in and there was a Rhodes seventy-three, good as new. I lifted the cover and there still were the spare "hammers" in a plastic bag inside. I plugged it in an old amp that was around and it sounded just beautifully. I was a poor student back then, but the nice old guy in the shop told me it was less than $300. OK, I'll be back Monday! The following week, the shop was closed, never to open again.

The next time I've seen a Rhodes 73 for sale a couple years later, it was more than 6 times more expensive. At some point a good 73 cost as much as $8/10000, though they're now down to $4/5000.
YouTube made two important changes to their algorithm over the past decade:

- Newer content listed over "best fit" content.
- Time of viewing prioritizing longer videos over shorter ones.

Both these were done for advertising purposes. Both result in more drawn out, less dense content (both from an information and entertainment perspective). This is the result of the ad driven model. People would rather waste time than buy things. Want quality content in audio format that doesn't waste your time? Buy an audiobook. You get what you pay for.
Name a single thing that Google has applied this strategy to...
Whoa, never thought to try Spotlight for this, thanks for the hint! I was mostly using Option+BrightnessUp then clicking on Arrange.
I can't really give a substantial response to your first argument, as I'm not certain about all the implications that you mention.

Your second argument, though, doesn't sound very convincing to me.

There are many possible consistent logical frameworks (perhaps an infinite amount of them? hah!) that are clearly not adequate for describing our universe. Or at least, they wouldn't make sense for us.

For a trivial (and perhaps stupid) example, consider an alternate universe where we decided to use a logical framework which can represent natural numbers, but where the digit "2" is represented as "9" and the digit "9" is represented as "7", etc. Let's say you have a 1-to-1 mapping from one digit to another, compared to our usual representation.

Or perhaps the mapping is a lot more complicated than that, and not just about digits, but about entire numbers.

Let's say we decided to do that, for no good reason. Or maybe there was a good reason at the time, but since then we have figured out that it doesn't make sense anymore.

Yes, you could do exactly the same math in this logical framework as we do in our usual ones, and no contradictions would arise.

However, would that really be a wise idea? Wouldn't that just lead to making unnecessary mistakes, sometimes even conceptual ones, when considering that we would be prone to confusing numbers in this system with the numbers that we use normally?

I think language is also important here, not just logical soundness. Especially if we want our intuitions to be helpful.

Just to bring this back to something less abstract again, I will just mention the following:

> However, the core of the argument remains true, we just need to complicate it significantly if we want to remain within the realm of finite machines: instead of saying "there is no TM that can decide if any arbitrary TM halts", we need to say something like "there is no finite TM that can decide if any TM smaller than itself halts in an amount of time less than that TM".

Well, I don't believe the core of the Halting problem to be true, and that's exactly the language problem that I'm talking about: confusing language leads us to making conceptual mistakes.

For example, time is not necessarily relevant here.

I could argue that what the Halting problem really demonstrates is that to analyze whether a finite-state machine (FSM) halts, you need to use an FSM that can have more state than the machine being analyzed (which is why it stops working if you believe you can have infinite state).

This FSM with more state would always be able to decide whether the other FSM halts in finite time, regardless of whether the other machine halts or whether it never does.

In fact, that's exactly what cycle-detection algorithms do, such as the tortoise and hare algorithm.
Pardon my ignorance (only interested in gamedev tangentially), but I would've assumed every game engine that progressed beyond a mere toy would always fix the timestep (or at least make it a single API call to do so). Or is there an entire class of games that somehow benefits from variable timesteps?...
The AI Assist
The calls the shut down the factories are rational. They might not be reasonable, but that is debatable.

Typically, if you find someone is lying or manipulating repeatedly, you jump to stricter outcomes. If you ban a specific substance in cookware and they just create a slightly different, untested, one... If they promise that waste won't escape the facility because there are safe ways to handle it, yet it continues to happen...

It's like having a child that continually pushes the limits of the rules and repeatedly causes trouble. At some point you must realize they are lying and will hurt themselves or others. You can't play with that ball responsibly? Guess what, it's gone.
If you care about the guidelines, enforce them consistently. This is the comment which spurred me to start posting yesterday:

https://news.ycombinator.com/item?id=34480065

>Whatever your politics: The reactionary conservative movement, with its campaign to politicize everything (now working on the FBI and Department of Justice, for example), has permanently degraded the country; we won't have these institutions back for generations.

It's such clear flamebait and "ideological battle"-ish that your reply to me, upthread from the above which sits there unflagged, feels like a slap in the face. In all likelihood I'd have gone on with my day if I hadn't stumbled on such a ridiculous, inflammatory, un-moderated comment.

Incidentally, even my very clearly rule-following comments on this link appear flagged:

https://news.ycombinator.com/item?id=34484182

I'm used to old high-karma accounts with clear biases abusing user flags and community moderation features. It's much more frustrating to see arbitrary, inconsistent enforcement from actual moderators.
Back in the day how they use to animate this buttons? CSS?
DevOps lead here; technically we have 2 week sprints, but we use kanban and basically add support tickets for each item that the team needs to work on during the sprint. This means that sometimes our "burndown" is more of a level line, but when that happens my manager understands, and we either determine the type of work that would reduce it or discuss adding more capacity.
For tracking types of support tickets that come in, we try to determine which ones we can automate or heal completely so that those types of tickets dry up. Those items get roadmapped and worked down... eventually.
It works OK, not perfect but I haven't found a better method so far, and everyone's happy with my team's work.
Leaving asbestos "alone" or encapsulating it is the common advice. It can also terrible advice, especially if the material is non-friable. Take something like vinyl asbestos tile as an example. When exposed, it's pretty easy to get rid of. You can cut through the tile, into the sub-floor, and take out huge chunks of tile at a time. You do release some fibers via cutting, but overall a very manageable amount. Now let's say you decide to tile over instead, what happens? Well for starters, you've now hidden the danger. You might know what's underneath your new tiles, but what happens when you sell the home? Also, it's no longer easy or simple to remove the VAT now. For example, this guy dosed himself and his whole family with a large asbestos dose unknowingly: https://www.reddit.com/r/HomeImprovement/comments/dyvj3u/so_...

If you have a hazard in your home, just deal with it appropriately. "Cover it up until it's someone else's problem" is selfish and irresponsible.
I forget where I heard this, I think it was on Breaking Points, but I think Rogan's audience is bigger than CNN, MSNBC, and Fox News combined. I doubt they regret the Rogan deal.
We need to stop pretending HN is not part of the problem. Every time I see someone say they quit Facebook or Twitter on HN I chuckle. It's like announcing you quit smoking while shooting heroin.