skysight-inc/HackerNews huggingface dataset:
> While we still don't know what spacetime looks like at the smallest scales (we're still waiting on a quantum theory of gravity), quantum field theory measures spacetime using continuous real numbers

IIRC, the uncertainty principle limits the precision in any possible measurement to something like 60 or 70 digits. So yes, current theories use continuous real numbers, but I wouldn't generalize that to say that's confirmed because we're nowhere near being able to test that level of precision.
> why more actually rich people don't do

You end having to manage personnel. Headache.

Also: you now have a new family member in the sense that he knows everything about you. Also headache.
2020 digital ad campaign had little impact on US presidential race
> ...easy interop with C work around this problem...

Think this is a good point. Languages like Vlang, Dlang, Nim, etc... Use their interop with C to their advantage. They are not starting out in the wilderness, but can build off of the already strong C ecosystem, then add unique advantages that their userbases want or prefer.
Is OpenAI remotely close to being profitable?

No, but HN is for talking about VC-backed startups. Profit is kind of optional. :)
Oh, they brought in Waldemar Horwat and he worked on the Rosemary runtime. For those who don't know, he wrote the TMON low-level Mac debugger when he was a teenager and has gone on to do all kinds of stuff.
This is not intuitive at all.

I have a masters in math. Concrete numbers are irrelevant to me, and their explicit representation is even less relevant. Any number can easily be described by x.

Btw this is just the standard reason for the existence of the Axiom of Choice. If there exists a procedure to describe which number to choose (i.e. an algorithm/formula), you don't need AC at all.

IMO the only "intuitive" anti-AC argument is, that you can get most of math with Axiom of Countable Choice, while you avoid paradoxes like Banach-Tarski.
But Spotify doesn't pay the artists directly, the deals are with the record companies.

The real issue here seems to be over-hiring and a lot of acquisitions for all sorts of marginal stuff like video podcasts, audiobooks, etc.
If the issue is notifications, iOS focus modes have a great deal of flexibility and can also be activated by Actions.
Microservice, gRPC, Golang and Kubernetes
This is an interesting question that gets to the heart of the constructivism debate, which I won't touch on here.

As for the integer example, the integers are all easily (finitely) constructed (successors to 0 and their additive opposites), so it isn't a consistent concept to say "This is an unconstructable integer." Sets, on the other hand, are not necessarily always constructable, unless you only take the constructivist axioms.
I can see it being used to imply that these are full time Spotify employees, since they hire some contractors.
Updated at the bottom for you
Would you also recommend that book to someone who's not using Haskell/Idris/Scala?
more discussion (80 comments as of this posting) here: https://news.ycombinator.com/item?id=34488121
Heartily disagree. A lot of professional journalist-led podcasts are really excellent. And the audio format is concise without being distracting. It's basically the on-demand version of classic talk radio. I crow a lot about On the Media which is fantastic journalism. There's loads of other similar content that varies from topical to human interest. Stuff like This American Life or Radiolab or How I Built This or Planet Money or more niche stuff like Cyberlaw. Kara Swisher is great too.
I think we've gotten into this weird spot where tech companies are almost goading each other into layoffs. I don't doubt that there was some overexpansion during COVID, but it seems to have shifted. Tech companies have signaled to the market that staffing numbers were too high (regardless of profitability), and that investors want to see them brought back down. These layoffs don't really seem to be an indication of company strength, and the golden parachutes that a lot of these companies are offering can't really be that helpful to the bottom line (5mo + unused PTO + benefits in this case for Spotify). It's just playing things up for a certain audience while the general public is largely distracted.
> nor people who have the time to listen to these

Most people have at least a couple of hours each day where they're stuck doing something that doesn't fully engage their mind (sitting on the train, sitting in traffic, cooking, doing the dishes, cleaning, jogging, working out etc etc).

It's less "having the time" and more making time taken up by mundanities more enjoyable.
Just learned that Spotify made all the private playlist (along the playlist' label) public.

Someone posted about it the other thread for the same news.

I am shocked.
The Legacy Survey Sky Viewer
SiriusXM costs from $18-$23/month for ad free streaming. That’s channels instead of on demand playback. The prices that are being asked for make me wish we just had a better successor to FM radio.
I recently retrained myself to use 'switch' and 'restore', and a perceptible fraction of my lingering loathing for git's incoherent UI has now faded.
I think for a while a lot of podcasts sort of got started because there was a low barrier to entry. Most of those podcasts are kinda vacuous though. Not that there aren't the odd gems, but a huge proportion of small podcasts consists of just 2-3 people gossiping for 45 minutes, usually reinforcing the same general ideas over and over without really thinking them through.
Because that's been the sentiment. From the era it was popularized by Remote book (office not required), and then there's discussion around location adjusted salary (e.g. gitlab). As far as I know Basecamp still pays roughly same rates everywhere (location independent). Employer of Record like Deel.com or Remote.com exists for making global hire easier.

I don't think I actually answer "why should" .. but that's not what I say anyway.
Deezer has a lot of interface problems too.

I think that Deezer is better because there is a button to 'don't recommend this track/artist'. I can filter the things that I dislike.

Another positive thing about Deezer is that it shows less popups and notifications than Spotify.
Most of my runner friends mention listening to audiobooks or podcasts while they're out, and I listened to NPR when I had a commute to the office.

The downvote storm I received has made me grumpy, though, so I'm just going to pass on.
Fetching Large Results Sets from CrateDB
What's important is that it's reinforcing a bad habit.
> Actually, time (and maybe space) are infinite (countably so, thanks to Heisenberg's Uncertainty Principle) ?

Time is infinite in theory, but not practically. Time is fairly meaningless after the heat death of the universe. Some quantum field theories also suggest that spacetime becomes unstable if energy falls below a certain density IIRC, so even spacetime expansion might have a limit.
Except no such member need exist. For example, there is no number that corresponds to the description "the smallest positive real number greater than 0".

Edit: note that even "the smallest positive rational number greater than 0" doesn't exist, even though the rationals are merely countably infinite.
What does the title mean: "Crash Modernization"?
I use a Reading List and file away anything interesting and then immediately close the tab. When I have time, I can go back and review all the things. In truth, I don't read most of them, but filing them away makes me comfortable to move on. If your browser doesn't have a Reading List, there are myriad extensions, you can also use Pocket, or even Evernote's web clipper. Use a couple of key tags - don't go overboard on tagging.

I also just focus on article content and ignore comments on all sites. Anyone can make a comment on a site, and there's no clear indication of authoritative comments vs amateur opinion, so they're largely a waste of time - there are lots of good comments, for sure, but I just don't have the time to wade through looking for them.
No can do. That would break backwards compatibility (thou shalt not do so) or fragment the language (likewise). What we can have is increasingly elaborate syntax and progressively better tooling.
Personal Chef, Personal Driver, and Personal Assistant (if I planned to keep working) have to be the trifecta of things I would want if I was rich enough to give a good salary to competent people entirely off my investments.

The difference between a 7 and 8 figure exit can’t be understated though, assuming you want to make sure the money never runs dry. A 7 figure exit leaves you set for life, but not rich in the sense of “can do things that a good tech salary doesn’t already let you do”. At 8 figures you enter the territory of being able to sustain lifestyles inaccessible to those without so much money indefinitely.
But you still use a keyboard like a scrub? If you aren't manually punching cards, you'll never truly understand anything.
Outside the US, labour costs are already quite low though.

Although I agree, they're going to get even lower. To quote Neal Stephenson:

> the Invisible Hand has taken all those historical inequities and smeared them out into a broad global layer of what a Pakistani brickmaker would consider to be prosperity
We were taught C in high school (East Europe ftw). I always longed for a language that had some memory safety and high level abstractions while not being a clusterfuck like C++. I don't think we'll see C++ in the next 10 years that much if they don't fix the ecosystem bloat issue.
I don’t think people are fungible units of computation that can just be thrown at any old task and be expected to succeed.

And AI is kind of hard methinks.
It looks good to me! It's easier for me to tell that the main body is totally separate from the dialogue now. (Before, I wasn't totally sure if the main body was just one of the people in the dialogue monologuing sometimes, although I usually assumed it wasn't.)

Very readable, still fits with the theme, and helps clarify the genre. :)
Isn’t it possible that the high costs just aren’t sustainable for businesses that just don’t make any money?
Hydrogen Will Not Save Us. Here's Why. [video][20 Mins]
I think hitting F5 and using the arrow keys in-game should allow you to decrease the size of the gameplay window to try to increase performance. You might try that if you haven't already...
If they don't have enough work for their workforce, would you still say they're morally obligated to keep writing paychecks?
This is worth doing regardless of the contamination issue IMO. If you drink a lot of water, it’s so nice to have a little spout that gives water that tastes like perfect bottled water any time you want it.
You can say:

“The first number that can’t be described using a finite number of symbols”

But then you have just used a finite number of symbols to describe it, haven’t you?
Legends of the Hadza people so old they could refer to extinct hominid ancestors
> even more extreme

I'm a musician & amateur home producer, and this extreme approach of yours is exactly what I recommend to people (and what I do myself) to overcome the feeling of "I can't get started because what I start on sounds bad and I have an overwhelming fear of making something that sounds bad." Turning it on its head by purposefully trying to make the cliched, trite, and generally whack song I can, can be immensely freeing.
I find that bc I have to manage my kids, I can't manage my brain as well. Ever go through this?
Your analogy with a company processes doesn't quite work because patents works differently from copyright:

With copyright, you are allowed to use the original work as your own if you transform it enough (basically, you can get inspiration from it, but not exact copy).

With patents, you infringe a patent when you use the work described in it without the license, even if it's just as an inspiration and if you transform the method. It also doesn't matter if you rediscovered the content of the patent independently from the inventor, even if you can prove it.

So in this case, the original manufacturing company can defend its IP even if its work has been learned then rediscovered by an AI.
Settings in Ventura are a step back. Just…the whole thing. It’s gracious to call it an amateur effort.
Yes and: I'm more interested in comparisons than trends, which often just feels like punditry.

Like how misc constitutions effect democratic participation. Like how misc court arrangements and criminal law impact policing. Like how land use impacts public health. Etc, etc.
> In other words, when you have reasonably big practical finite problem with limited memory. FSA runs quickly out of memory.

Yes this is a difference in the expressiveness of each model, because FSAs can require a combinatorial explosion in the number of states to model a Turing machine. The parent is still technically correct though.
Copilot may be one of the most valuable early use cases for chat AI.

I've been brushing off AI as overhyped, but this is very compelling. I believe the real crux of software engineering is thinking about the problem and organizing solutions today which can be changed/improved/iterated in the future. Programmers too often overweight the time it takes to type things (using short variable & function names or creating terse 1 liners). But if our objective is to make code easy to change/improve/iterate in the future, then it needs to be readable now.

The nice autocomplete features in most IDEs have been a huge win to productivity along with Google search. I think chat AI could be an order of magnitude improvement.
You can be OK funding differing points of view but not OK funding a specific differing point of view.
And, related is that there's a royalty/copyright structure in music that means those multi-billion dollar companies can stream almost anything they want for a known low dollar amount.

There's also an almost infinite supply of good music--past and present--out there. There just isn't a lot of incentive for most audio streaming services to invest in exclusive content--the odd podcast notwithstanding.
Interestingly there are still some CFCs for which no truly viable replacement exists. For instance aviation fire extinguishers still use reclaimed Halon largely produced before the ban.
>If they don't have enough work for their workforce, would you still say they're morally obligated to keep writing paychecks?

Where does OP say that Spotify is "morally obligated to keep writing paychecks"?
Ask HN: When did GitHub replace standard Git commands with the “GitHub CLI?”
Today I went to check out a colleague's branch, and noticed the standard `git` one-liner has been replaced with a `gh` one-liner: `gh pr checkout 1234`. Underneath, there's some subtle advertising: "Work fast with our official CLI. _Learn more._"

This is of course useless to me, and to any other developer who prefers to use standard tooling rather than proprietary lock-in stuff.

I don't begrudge Microsoft shipping a GH CLI as an optional thing, but shifting workflows away from the standard client is one of those changes that doesn't serve users, but rather serves some PM's KPIs.

EDIT: based on the "not on my machine" responses here, it's clear that I'm on some branch of an A/B test. These are the only three options now presented in my GH web UI - all the rest have disappeared (https://imgur.com/P7llsVo):

1. Checkout with the GitHub CLI

2. Checkout with GitHub Desktop

3. An ad for buying Codespaces for this public repo
> Because hydrogen, for all its marketing, doesn't actually solve the problems people have with BEVs. Better BEVs do.

I guess it depends on the definition of "people". If you mean private automobile owners, then I agree that batteries will eat hydrogen's lunch. For everything else(70% of oil use), it's an open question. In the future, you might even see a migration of H2 technology from large applications to small automobiles, like we've seen with diesel engines.
Just a quick glance at his podcast shows his last 5 guests: famous comedian, ancient civilization researcher, wildlife conservationist, UFC fighter. The horror! Please don’t venture out of whatever bubble you live in or you might find some podcasts there you REALLY disagree with, and you clearly don’t do well with that. I mean honestly, the guys not even a political commentator, just has opinions that are occasionally outside the liberal current thing.
Is it public knowledge yet how much is the new "multibillion" investment?
Might be too much hassle for the employer, many employees will happily take USD.
I’ve used hammerspoon for part of this functionality. Anyone else?
That's the risk of getting paid in a foreign currency. It's for you to decide if it is worth it, and usually you do it because the pay is significantly higher than your local market.
I'd be more empathetic if this was a response in a live Q&A like situation. For something that's meant to be PR speak, this is abysmal.
YESSSSSS.

Having one of these in high school in the 80s was awesome. No one else could use it. LOL.

I lost the 15C I had, but bought the programmers' version (16C) on steep discount at my university bookstore in about 1990 or 1991. I still have it on my desk, for random arithmetic, though I've never used it for its notional purpose.

In later years, I've kept an HP clone / RPN calculator app on every device I've had, even back in the Palm days.
“when you get rich in the US”.

A lot of these are more accessible in lower-income countries (full-time driver for eg), and a few have a much higher bar (citizenship changes, nomad lifestyle - which don’t work with a weaker passport).
> 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.

Feels like you can never specialize with this approach, but maybe you become an excellent manager of a complex machine?
Podcasts are no different than any digital medium. I can create a podcast, a blog, a YT channel, a Twitter feed with a few clicks. Record on my phone. Even plug into ad networks. But getting an audience is still really, really hard.
> How could ANYTHING stand the test of time and be worth 440 billion if it has no utility? Genuine question.

1) markets aren't rational nor are the people in them

2) BTC is a currency but is being treated like a commodity

3) a lot of big orgs, investors, and even governments bought in and now either hold and pray for growth, or else pray it doesn't drop. They have every incentive to hype up its value even though its use for most things is essentially moot; your Mom isn't going to use BTC to buy catfood, and its utility on the dark web is now overshadowed by things like Monero. You HODL and hype cuz otherwise you lose billions.
No, I mean with lag compensation, you don't actually have to do that. The server calculates the difference between when you sent the input and its current game state, then performs some abstract lag compensation function, (this is usually moving all game objects back in time to where they were relative to when the command was sent) then replays game logic.

The side effect is that if anything of importance gameplay-wise did occur back in time, this abstract lag compensation function would reset just enough game state to make a difference.

In other games, the abstract lag compensation function might need to be something else, but for most purposes, I assume moving entities or actors back in spacetime is adequate. After the lag compensation function and game logic has completed, you call a second function, the inverse abstract lag compensation function. This is the equivalent, or should be, of the opposite operations performed in the first function. So, in this default case, moving all entities or actors back to where they were.

You wouldn't want to replay sounds for example, because you don't want to do anything that gets perceived by players, but the general idea is that lag compensation itself is "invisible" to players.

That is to say, if an enemy is moving on your screen in California, no matter how fast they're traveling, if you shot them from Phoenix or New York City, and sent that input back to the server in San Francisco, it should be calculated as damage applied, regardless of latency, up to a maximum latency tolerance such that players are not able to abuse lag compensation up to some upper temporal limit within reason.

For reference, the Source 1 stores player positions for up to a second.
All of these layoff announcements, regardless of high profits or otherwise, are quickly eroding any sense of loyalty I have toward my company - and it should do the same for all of the tech workers out there.

You have to do what's best for you and those that you support. Do not accept anything less; your company certainly will not.

Until it becomes apparent that the constant turnover of tech workers hits the bottom line, these companies will do less than nothing to make things better for their employees.
It's trivial to prove that the number you are describing doesn't exist:

Let x be the smallest positive real greater than 0. Since x > 0, x/10 < x, and x/10 > 0. But now we have a contradiction, since x was supposed to be the smallest positive real number. So, x doesn't exist.

Edit: note that this doesn't even require real numbers. Even for the rational numbers, with common definitions of less-than, there is no smallest positive rational number >0, per the same logic.
+1 been using Spectacle for years and it work perfectly.

However I just saw that the project is no longer maintained as of... two days ago ! I guess I'll have to find an alternative down the road.
Evidence for a connection between coronavirus disease-19 and exposure to RF
The Fast Track to Understanding Ham Radio Propagation
But in this case recycling is straightforward and incentivized enough that it happens in almost all cases. If the battery is still in working condition, it will be repurposed. Otherwise it will be broken down to get at the precious metals and used in a new battery production. Yes, this requires energy and materials are invariably lost, but it doesn’t get more ideal than a battery from a recycling perspective.
I'll be happy to circle back to more modern methods once the core parts of the field are addressed. The point of the library is not really to deliver a competitive solver (yet).
What pop history book has done the most damage to the study of your subfield?
> 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.

As someone who has managed a lot of tech teams over the years across multiple companies and including remote teams in different countries, I can confidently say that people already act exactly like this.

> 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.

This is how most people operate, especially in the tech world in recent years. Usually when people go above and beyond, it’s for promotion and advancement opportunities or to build their resume to move to another job.

The thing is, if either side takes these positions too far then the other side is going to want to cut ties. A company doing a 6% layoff into an obvious global downturn isn’t exactly unreasonable. An employee who actively tries to do as little as possible and requires more management oversight than their peers is being unreasonable, though, and will find themselves at the top of the list for layoffs (with good reason).

Neither companies nor employees should be adopting extreme positions. I don’t see Spotify doing anything unreasonable here.