skysight-inc/HackerNews huggingface dataset:
> Let's talk about real numbers between. 0 and 1 (because we can map all of them to this range anyway). I can (count) enumerate all of them. Simply flip the digits over the decimal point, so 0.14159 become integer 95141.

Every integer has a finite number of numerals. Proof: by definition, each natural number is either 0 or a successor to 0. 0 is finite. And if n is a finite length, then n + 1 is a finite length. So by mathematical induction, all natural numbers have finite length. A similar argument covers the negative numbers, so all integers have finite lengths.

Since the decimal expansion of certain rational numbers are infinite (e.g., 1/3 = 0.333...), the strategy of mapping each number between 0 to 1 to an integer by flipping digits over the decimal point does not work for all rationals, let alone all reals.
They don't want to be seen out of the country or buying alcohol is my guess. Or perhaps they bring a date?
It's going to host all the me-too AI companies that are about to pop up in the next few years. Commoditization of this stuff is going to be very profitable business. Literally every business out there is going to be suffering from some AI FOMO. So, AWS is going to be fine. This stuff is going to require an insane amount of GPU capable hardware and Amazon customers are going to pay Amazon to do it on their infrastructure.

If there's a gold rush, there's good money to be made selling shovels. That's the business AWS is in. Investors are going to spend money on this and a lot of that will go straight to Amazon.
Do we have to have this same conversation on every single one of these threads?
> In pursuit of our mission to ensure advanced AI benefits all of humanity, OpenAI remains a capped-profit company and is governed by the OpenAI non-profit. This structure allows us to raise the capital we need to fulfill our mission without sacrificing our core beliefs about broadly sharing benefits and the need to prioritize safety.

All this time, I was entirely unaware of this.
A+ name, no notes
I've seen a lot of exodus professions into tech but thankfully after 20 years, I haven't seen many lawyers yet. Very few have the personality for it.

Give me all of the hungry musicians that you can find though, they're great systems-thinkers.
Currently, and for some time now, if your browser crashes, just open it back up and hit ctrl-shift-t (may differ between os and browser) - it will bring back all of the old urls (not the state, but the urls at least). Works for firefox and chromishs browsers.
It really depends where, outside the US pay is pretty terrible usually.

In Europe for example, as a senior developer you get maybe $70-90k in FAANG and big companies, and $50-70k in smaller companies.
Yes and:

Message simplicity, discipline, and repetition, to maybe somewhat mitigate the inevitable and very effective nutpicking by corporate media (and other shills) for the purpose of discrediting any reform, accountability, etc.

--

"The practice of sifting through the comments of blogs, email threads, discussion groups and other user generated content in an attempt find choice quotes proving that the advocates for or against a particular political opinion are unreasonable, uninformed extremists."

https://www.urbandictionary.com/define.php?term=nutpicking
mexicantrain.online - My pandemic project continues to bop along nicely. Donations are generous. It makes people happy.

Social Link Pages (sociallinkpages.com) - a WordPress plugin to add link-in-bio pages to a WordPress install.
A lot of these list items are an agreement to be alone. Sure, you can buy a few houses in unique cities. But you probably don't have enough social engagement in those cities to spend significant time there. You will be sitting alone in your apartment or house and working on your next list.
It is a get-out-of-jail free card only if you've squared it with the board of directors beforehand.
> most employees are spineless and will fall in line.

I don't get this. It's a layoff - what do you think not spineless and not falling in line looks like?
"Don't let children work in sweatshops" and "let women vote" were once the "hysterical fringes" of public policy. There's often a benefit to exploring the edges of the Overton window.
If they wrote about “paleobasins” or “paleolakes” I’d have fewer concerns.

The articles states that these things were carved into rock. We definitely know that water doesn’t carve rock into valleys unless that water is moving quickly. We also know that rock is generally less permeable than clay soil.

Millions of people with clay soil use French drains, and these things sound like naturally-made French drains, but without the pipe. French drains work without the pipe (just not as well). People use them to move water to some other location, not to hold it in place so it can percolate down into lower levels of the ground!

Getting water under the surface is not automatically useful! It has to percolate into aquifers. Maybe the next step is to build underground dams and then drill holes into the rock under the “paleo valley”.
I think the main usefulness of tig lies with it's interactive staging screen. It's basically the TUI version of git add -i.
I disagree, adults speak in language of responsibility which doesn't imply throwing yourself on the sword.

When you get a speeding ticket, do you blame the cop, the car, the state, anyone but yourself? Or do you say "yup, I am the one behind the wheel so I am responsible"

It doesn't mean you will never allow yourself to drive again or to only go 10mph from now on as self punishment. It just means you acknowledge your part like an adult instead of finding a way to appear blameless.

or: We had a prod outage, I was the code reviewer. "yup, I am the one who fucked up. It's my responsibility". Doesn't mean I am going to forego salary for the next 10 years to make the company whole for the outage.

I wonder if people confused by the 'responsibility' language themselves take responsibility for things in their lives, because they seem literally confused about what it means.
Is @evilsocket still actively working on this? I remember him stepping back from the pwnagotchi project to chill out a bit and learn guitar (and it's been fun following his insta and seeing him get really damn good really quickly).
Gotta love these euphemisms, “reducing our employee base”.
There are plenty of other races that Rust doesn't provide any help, and those are much more relevant in distributed computing workloads.
That's good that the documentation is correct, but this was the second thing on the landing page after the demo video, it didn't make a great first impression.
Hookers and coke godamm it.. what is this disney channel ?
Yeah, last time I looked the cost was the primary barrier and decided to wait until I needed an upgrade. I don't do any PC gaming so I can save a bit my going with the Intel GPU instead of a discrete graphics card.
"Rich" has a surprisingly poorly agreed upon meaning. I find that most people define it as "more wealthy than I can foresee myself becoming".

That said, it is pretty funny that "eat exotic fruits" and "change laws to make myself richer" are both listed along side each other as things reserved for the "rich". Personally, in my neighborhood (median income of $28,368 - far from rich), I can buy rambutan. I can't buy politicians.

(Maybe the threshold for "exotic" fruit is also fuzzy)
Biggest Asset on the platform as well.. That exclusivity deal definitely retains people to Spotify.
Well, it is the same 30% that Rust also cannot help much.
Related MS announcement with some more details: https://blogs.microsoft.com/blog/2023/01/23/microsoftandopen...
The problem is, once you adopt this mentality, there's often pushback that you should also consider labor just like a business acting in self interest. Labor should focus on their profits (comp vs time vs benefits of concern) and optimize on those, just as businesses do in terms of employment.

Labor should aim to do the least work possible for the most compensation and only do what gets by. Labor too is not a benevelot source of resources for a business to leverage, it's a two way street.

Instead I often hear a mixture of inconsistent arguments where after all moral and ethical lip service is exhausted, we fall back to the "business is business and not charity argument." That's fine (and I agree with it) but if we're going to strip away morals and ethical obligations in society from business, we need to do the same for labor and not chastise labor with morals and ethics to prevent double standards.

If we do want labor to follow moral and ethical social obligations that aren't focused on pure self interest at all times, then we should also talk about how businesses should also have some sort of loyalty and societal obligations as well.

We sort of need to pick one option, not pick and choose a mixture that benefits business entities above all else. Not that this specific post makes any such claims.
Plus with hedonic adaptation most people won't even feel happier or less stressed after they get used to the lifestyle (unless they're coming from levels of poverty that leave you with a high baseline level of stress at all times)
Our current French president would be an exception with a negative difference :-)
to the grocery store?
Prompt: Create a PR smokescreen in 3 paragraphs with as little facts as possible.
Spotify fucked up and makes good by firing 6% of their people.
No, usually the cardinalities of infinite sets are represented by things called aleph numbers: https://en.m.wikipedia.org/wiki/Aleph_number.

But it isn't, in any case, an integer.
Except that almost no one has access to Jai.
His advice is spot on though in terms of what OP will encounter. My peer comment said the same.

If you go after big companies they will be cash rich and they won’t rip you off, but they will be slow to pay.
>> Your method is not a 1:1 mapping of reals to integers, because you can't even define the position of a single irrational number with your method. You don't know the final digit, so you don't know the leading digit in your system. You have absolutely no idea the ordering of even a single irrational number in your system.

That is my point exactly. Why do we accept that there are real numbers that cannot be defined by a finite string of symbols, but there are no integers of that nature.

Getting back to the axiom of choice thing. How do you pick a specific item from one of those ill-defined sets that include numbers that don't have finite descriptions? How do you choose something you can't name? It's absurdity all the way down. ;-)
> probably because the PFAS/PFOS risk is only there during manufacture, not usage

That's not true. https://en.wikipedia.org/wiki/Polymer_fume_fever
This feels like a list for 9 or 10 figures or for moderately rich famous people.

I don't see myself doing even half of those things if I had even 7 figures or low 8 figures.
Ok but the static analysis tools that are equivalent to what Rust does involve bolting a borrow checker on to C++ at which point you might question what you are trying to achieve because you can't reuse any of the existing C++ code in this configuration as all the other C++ developers failed to use your specific static code analysis setup.
Number one strategy for people with ADHD is migrate to jobs where there is a lot of variety and complexity and things are changing all the time and lots of new interesting things to look into.

The maturity part which I struggle with is how to convert my curiosity into forward motion.

I believe that if you have ADHD you have to act like you are playing a different D&D character class than everyone else. You win by being your character and doing the things that character type needs to do.

I personally like to walk around aimlessly for hours lost in thought. If I can’t walk and have to be stuck indoors I can’t stop but keep researching.
It sure does imply consequences. Click on that link in "answerable".
Been there..

At 40, we see our employers for the human beings they are so it’s easy to feel cynical and unmotivated. Be honest with yourself about why you’re there and focus on your targets instead of theirs.

If your supervisor is cool, they’ll understand and should find a way to link your targets to the companies. If not then consider switching companies or teams if you can.

Here’s a few other things…

- Therapy

- Take a break if you can afford it. Do nothing for 2-3 weeks or even longer. Set no expectations and do your best to not judge yourself for doing nothing.

- Make sleep hygiene a priority.

- Be honest with yourself. “Employer objectives don’t motivate me anymore so what does?” If you’re not sure anymore, then it’s time to roll your sleeves up and start experiencing new things. Go where your heart desires and dare to tread where you’re fearful.

- Find a hobby that involves other people and exercise. This means trying a lot of different things until you find one that clicks for you. It’s amazing how much fog can be lifted by a little exercise and social interaction.

Best of luck!
Netflix doesn't have all films and shows whereas Spotify has pretty much every song. For video I have Netflix, Amazon Prime, HBO, Disney plus and Hulu but for music I only have Spotify.
Is that empirically the case? Maybe in the marketing world but policy tends to get debated with more vigor. From my view 'defund the police' seems to have severely backfired.
Ah, that's unfortunate. I checked if GitLab has support, and it seems not yet either. Some of the comments on the issue were from some trans folk saying they were hoping to see it merged so they could hide their deadname from repos. Pretty valid reason.
I switched to Tidal and have been pleased so far. It's not perfect, but it is focused on music, has a pretty good interface, and pays artists better than Spotify does.

Reasons I was unhappy with Spotify:

- They went all in on podcasts at the expense of the music interface. Too many little design choices trying to steer me into podcasts when I'm there for music.

- Their podcast strategy relies on leveraging their market position instead of adding value to the market.

- Trying to replicate Patreon

- Buying up a catalog of exclusive podcasts

- Not going to respond to any comments about this point, but the Joe Rogan thing left a sour taste in my mouth as well. In addition to other aspects of that debacle, it was not a sound business strategy.

The podcast app I use (PocketCasts) is generally pretty good, but it has enough annoyances that I thought I might as well try to switch and get all of my podcasts on Spotify. I couldn't get special Patreon feeds because Spotify doesn't support them. The reason is they want to roll out their own Patreon-like podcast payments mechanism. But as of when I left, they had not rolled it out across the board, and the podcasts I listen to were not supported.

I'm not sure what their value proposition to podcast producers is that would get them to switch from Patreon to Spotify, but I imagine that has something to do with the trouble rolling that out.

I don't recall the details, but I wasn't all that impressed with the Spotify podcast functionality as a user either.

If they spent money on paying musicians more instead of podcasters, made a podcast app worth using, and played nicely with the podcasting sphere, I probably would've stayed with them.

They got big because they solved problems. Then they shifted their strategy to leveraging their market position instead of solving problems. A sure sign a company has lost its way.
Yes, blindly trusting an AI product is almost like blindly trusting a google search. If people in power use it to make decisions that effect others, we're going to have a bad time. It would be somewhat like ship captains only knowing GPS for NAV.
Indeed the very first "science" on leaded gasoline was a study conducted by the bureau of mines, which concluded that leaded gasoline was entirely safe... Spoiler alert: It was not entirely safe.

PFAs aren't even proven safe, they're just not-yet-proven-dangerous-in-small amounts, but that's so hard to measure it doesn't really assure us of anything.
> Video > audio

This is why they're now offering video and podcasts. They want to be valued the same way Netflix and YouTube are, and they can't do it with an audio-only offering.
Why would you post your party pictures under the same name you apply for a job, and to everyone on the internet? Maybe those two should be separate?
Alt account of long time HN reader/user here:

But I admit that with my life circumstances (adhd, coming from a non wealthy family) and choices (active Christian, more than twice as many kids as the average around here) there will never be time.

I deal with it all by storing it in raindrop (used to be pinboard.in but I finally got utterly fed up).

I also have a bullet journal (ok, Logseq these days) where I have pages for each project and when I see something relevant I can paste a reference to it there.

Finally and most importantly I am realistic and I just admit it is not going to happen. That's life unless you are even more lucky than me. We can still dream though. My grandfather kept the blueprints for his retirement project (a boat he had designed for himself while being a boatbuilder as a young man) until he died, even if I think he realized before retirement it wasn't going to happen. He just made the best out of it.

I have realized already so I bookmark stuff just in case and to get it off my mind and then I very consciously make the things I need to do my hobbies.

I.e. at the moments my hobbies are:

- getting better in <tech I use at work>

- home repairs (drywall painting atm, but I have added a half way finished cobblestone path around my house and a tool shed, later made wall mounted cabinets for the new garage from leftovers etc etc)

- other repairs (clothes, toys, bikes)

- cooking (good, healthy meals that my wife and children will actually eat - on a budget)

- negotiations (bank, employer etc - I have a reasonably good economy but it needs to stay that way)

- fundraising for the church (I think one of the best way to find great and reliable friends is to volunteer for causes you believe in)

Also maybe interesting:

I felt had an almost crippling addiction to HN, then since late February last year I have barely read HN because of Ukraine.
Related (?): Is ChatGPT down at the moment?

When I visit it, I am getting a poem about how it is over capacity. And that's it.
StickerMule is an example. Check out where they setup shop in Amsterdam, NY. It’s in a rundown mostly abandoned former factory area.

They’ve been slowly expanding operations and bringing new tech jobs and opportunities to a pretty bleak area. Very cool and inspiring to see.
The whole offline / no data experience is absolutely terrible if you live anywhere like Canada where mobile data rates are small and expensive. The #1 complaint I've heard about Spotify for years is "I set it to not download music on data then didn't notice I was listening to a new playlist and now I'm out of data till next month". Also taking public transit like a subway without cell service was a pain. Hold on, let me open the settings in advance and flip the offline switch so I can keep listening to music on my commute. Ugh.
At elite levels, yes, sure, and then it’s still about ego.

It doesn’t take that much wealth to buy some time, to network, and then focus one’s attention on local charity. Often the way to build resilience and have impact in a community is to demonstrate local leadership, so that everyone chips in. That is the sort of thing one can afford easily when one’s a millionaire (though it’s not necessary to be rich to do it).
> Out of curiosity, do you have a partner/girlfriend/wife?

No, not at the moment.

I've been through several long-term relationships, and I think I'm too emotionally fucked up to actually be in one for real. There's a whole array of issues, and I don't even know how to sum them up. In a nutshell, I don't really like being myself.
On repos with more than one user, it's better to have a local .gitignore.
The “author” appears to be “OpenAI” (i.e., posting on behalf of the company) and they’ve posted like that numerous times before [1].

[1]: https://openai.com/blog/authors/openai
shhhh... first rule of fight club.
“She needs to be able to press the same buttons every time she goes on that app and [insert app name here] doesn’t let her do that” must sum up at least 90% of user problems.
Ohai! What a pleasure to both hear from you and that you enjoyed the read. I hope you're doing well yourself.
Spotify cuts 6% of workforce, content chief to depart as CEO stresses efficiency
Don't, like, set up a booth. By all means give talks.
My wishlist would include: Learning - Throwing money at experts in a field to tutor you on any subject you're interested in such as languages, mathematics, physics, philosophy, guitar, etc. would probably speed up anything you're trying to learn by an order of magnitude.
You can at least configure rebase to be the default:

git config --global pull.rebase true

I understand why this isn't the "safe" default option.. but at the same time, it's the sane default option for anyone working with others. Maybe it would make more sense for the default to be a prompt: "Your local and upstream both have changes: do you want to rebase (replay) your work on top or generate a noisy merge commit?"

Luckily in many of the common usages (git flow, github flow, scaled trunk-based development) where developers are doing actual work on independent branches and merging via pull requests, this doesn't happen often.
Not writing test code is faster the first day.

It's somewhat faster the second day.

It's a bit faster the third day.

It's probably net faster the fourth day, though by now you're developing noticeably more slowly.

It may still be net faster the fifth day.

It's net slower the sixth day, and the delta gets worse from that point on.

And I don't mean "per bug" on that, either. I mean, per project. By the sixth day of the project, you are net slower not writing any test code. And again let me emphasize net; by day six you are already losing overall.

Expecting test code to be written in the same amount of time as normal code is actually eminently reasonable, indeed it's the only sensible way to do it... if you do it right.
If you're rich enough to rent out entire grocery stores I suppose you're rich enough to have assistants doing shopping / buying alcohol for you.

I also assume they have expensive hotel rooms with a lot of alcohol provided by their hotel.
Until recently (according to reporting) these compounds could not be filtered and are not ever expected to break down naturally in nature or the body. You can't get overexposed and be fine over time. It seems you're presuming all the exposure people are getting is "probably fine" ala astbestos in the walls.

Then, there is the behavior of the factories producing it, which you brush off. Drinking supplies in certain areas are permanently destroyed, and producers aren't in jail.

Yes, strict liability should apply when indestructible chemical compounds ruin regional drinking supplies and give people cancer.
Which is rather common in my experience. The town adjacent to the one I just moved to has a bunch of duplexes, but if you look at the current zoning it's all single-family-only. You couldn't build much of the town as it is today, which is a shame as it's very nice.

As you might expect given this, the town has steadily lost population.
On the other hand, what rights do people have or not have to preserve their culture or their way of life?

An exaggerated example, but a good litmus test here is something simple like are you ok with lots of Americans moving to country X (let's use China and Norway) and making it culturally more like America? You can't say that this is a problem but then Iceland (since that's the example we're using) being weary of accepting large numbers of immigrants out of fear of culture change isn't a valid concern also.
There’s a tool called “Later” that does this:

https://getlater.app/