skysight-inc/HackerNews huggingface dataset:
>> I can totally see a post-code development experience that mirrors how programs work

I can't, because how programs work is a projection of how computers work and how computers work is by doing math. The whole reason why we have been clawing our way up the ladder of abstraction for so many decades is that it's really hard to express "Which aircrew do I need in Seattle tomorrow morning" in terms of adding 1 to a value in a register. We invented these cool little machines that do math really fast and then made them so cheap and affordable that of course we started simulating everything that could be represented mathematically. I've been programming since 1975 and when I think back I can recall dozens of these conversations over the years. How do we free programming from code? Personally, I don't think we can. The code is all that programming and computing is. Just because we have managed to do so many things with our ultrafast calculators doesn't mean they can somehow be elevated beyond what they fundamentally are. It's like we want to somehow lift them up to be like us, and on just a little reflection that seems absurd doesn't it? You might as well expect it from a toaster or a crescent wrench.
Some wouldn't call this mass layoffs since it's only 5 or 6 percent of the people.

I don't think these companies are in real trouble, this is about what Shell and Exxon did before they raised the dividend.
Yes. People are often shocked when asbestos is found and the recommended response is to do nothing. Messing with it is likely to cause more issues than just letting it be. If it’s intact and unlikely to be disturbed it’s not going to hurt anyone. The public has been trained to think this stuff is so bad that any mention of it has people doing full blown evacuations running for the hills.

Nuclear power has, unfortunately, suffered a similar fate.
Hah! I used to work in algorithmic trading at GS in London and I am British (an immigrant).
This is close to why I'm not in love with the Axiom of Choice. I don't hate it, and I don't "mind" it, but I do think mathematicians are perhaps more comfortable with it than they should be. The reason is, I think proofs of the form:

1. A 132 bit (in the information theory sense) definition of something.
2. A 98 bit definition of something else.
3. A 4 bit procedure that puts them together.
4. A 2883 bit object of interest.
5. An uncountably infinite number of bits added to the objects in
3 and 4, with no mechanism for determining any of them even
in theory.
6. Therefore, a 76 bit conclusion of interest.

is just intrinsically more icky to me than mathematicians in general think. You know, mathematically icky. It's a technical term. There's a step here that sticks out like a sore thumb.

Sure, there's a whole lot of fuzziness around measuring the size of a statement in bits, but no matter how you slice it, you're not going to get away from a certain amount of distinction between the statements that are finite, and probably even fairly small in absolute terms, versus the invocation of infinite numbers of bits of information.

(Note that having a decision procedure to determine something, e.g., "here's the set of the primes", is a finite number of bits, and in fact, not even a very large number of them. The set of the primes is completely computable. It may not be "efficiently" computable but it completely computable. It's not just "infinite sets" in general that cause the issue I complain about in general. The axiom of choice specifically invokes infinite numbers of bits, if not uncountably infinite numbers of bits, out of the ether.)

Now, does that make it "invalid"? No. As the article says, it's an axiom, it is what it is. And I don't go to the extreme of tossing it out and completely going to the belief that constructivism is the only valid mathematics. I just am nowhere near as comfortable with it as mathematicians in general are.
Laugh. Be an asshole without consequences. But you better put enough cash away to keep you rich cuz payback’s a b*tch. And cash flows away faster than you can imagine.
Kind of true, but 79 is really damn short after a few decades of coding. I did put myself a "soft" limit up to 100 chars.

I like powers of two and 128 felt really too much and 64 was really too short.
Another suggestion for the title: Go, not Golang.
My assumption is based on this:

For a long time, Microsoft's core business was Windows and (offline) Office. You don't need a super cluster for that. Google on the other side always had search as a service, available to the public, which needs more compute. So historically, Google needed more compute than Microsoft.

Then, from experience, as I do research on neural networks, read papers in the field, Google/DeepMind were always more active in this field than Microsoft, so again, historically, they needed more computing power because of this. Microsoft has catched up, but still, I think Google/DeepMind is more active in the field.

Then, Google has TPUs. I think this gives them computing power much more cost effectively than when you need to buy Nvidia GPUs. This is maybe the biggest argument.

But in any case, as you say, both companies are big enough to easily train sth like ChatGPT, or also sth like GPT4, however big it might be. Their computing power is almost infinite (for today's standards), so it doesn't really matter who has more.
That plan doesn't work unless inference becomes essentially free. It's not that Google didn't have similar technologies, but it's just too expensive to integrate such technologies everywhere. And don't forget that MS is also trying to use every single real estate on your computing screen as an ad slot.
Strange memories on this nervous night in Palo Alto. Five years later? Six? It seems like a lifetime, or at least a Main Era—the kind of peak that never comes again. San Francisco in the middle twenties was a very special time and place to be a part of. Maybe it meant something. Maybe not, in the long run . . . but no explanation, no mix of words or music or memories can touch that sense of knowing that you were there and alive in that corner of time and the world. Whatever it meant. . . .

History is hard to know, because of all the hired bullshit, but even without being sure of “history” it seems entirely reasonable to think that every now and then the energy of a whole generation comes to a head in a long fine flash, for reasons that nobody really understands at the time—and which never explain, in retrospect, what actually happened.

My central memory of that time seems to hang on one or five or maybe forty nights—or very early mornings—when I left the Fillmore half-crazy and, instead of going home, aimed the big 650 Lightning across the Bay Bridge at a hundred miles an hour wearing L. L. Bean shorts and a Butte sheepherder's jacket . . . booming through the Treasure Island tunnel at the lights of Oakland and Berkeley and Richmond, not quite sure which turn-off to take when I got to the other end (always stalling at the toll-gate, too twisted to find neutral while I fumbled for change) . . . but being absolutely certain that no matter which way I went I would come to a place where people were just as high and wild as I was: No doubt at all about that. . . .

There was madness in any direction, at any hour. If not across the Bay, then up the Golden Gate or down 101 to Los Altos or La Honda. . . . You could strike sparks anywhere. There was a fantastic universal sense that whatever we were doing was right, that we were winning. . . .

And that, I think, was the handle—that sense of inevitable victory over the forces of Old and Evil. Not in any mean or military sense; we didn’t need that. Our energy would simply prevail. There was no point in fighting—on our side or theirs. We had all the momentum; we were riding the crest of a high and beautiful wave. . . .

So now, less than five years later, you can go up on a steep hill in Las Vegas and look West, and with the right kind of eyes you can almost see the high-water mark—that place where the wave finally broke and rolled back.”
I listen to albums, not songs, and looking at that playlist then there's a lot of stuff there that I've never listened to and have no desire to listen to. Spotify seems exceptionally bad at metal music and says "oh you listen to prog metal? Then you're definitely going to love us constantly recommending you the exact same Korn, Slipknot and blink-182 albums".
> Video > audio

I get what you mean, but I wouldn't accept that as a universal truth. I spend considerably more time listening to music on Spotify than I do watching video on Netflix. The content I consume on Netflix may have cost more to produce, but the content I consume on Spotify gives me subjectively more value.
Which one? I am planning on doing Ayrton Senna.
I still have never listened to one full podcast in my life.
Not to sound too cynical, but humanity has rarely (or ever) been able to react in a coordinated timely fashion to any event threating it in any way.

That is until we reach the brink.

Think of the Montreal Protocol from the 80's, a treaty for phasing out and eventually banning CFC/HCFC's in an effort to protect and hopefully restore the ozone layer. The protocol was in response to a dramatic seasonal depletion of the ozone layer over Antarctica in the 80's.

To me, from everything I read and hear about PFAS pollution, it would seem we are at the brink again in terms of those chemicals.
You don't have to remember that. Just call
git config --global pull.rebase true
And you are set to use just git pull always.
I’m not worried about that. I have a counter top RO machine made out of plastic but the water comes out at nearly 0ppm TDS, and it flows through the machine slowly, at low temp, and for a short time. Whatever is in there is orders of magnitude less than you would find anywhere else, it’s basically laboratory grade pure water.
How about “My choice of operating system is not an indictment of my character”?

My choice to continue using Windows involves far more than me being lazy. For one thing, my job involves developing software specifically made for Windows desktops. I have also been using Windows for over 30 years. Quite frankly I’m insulted by the insinuation being made here.

Linux is great, but it’s not great for me as a daily driver. No amount of evangelizing is going to shame me into upending my digital life.
There are a few podcasts that turn on the mic and chat, yet where the hosts also make an effort to reach out to new guests. For example: episodes of The Amp Hour that aren't just Chris and Dave pull in people from all over the industry. The thing is, I suspect that is difficult to do when you are are small podcast. Without the reach, potential guests simply don't know who you are.
I'm 72 and retired. A blessing and a curse. I spend a lot of time ferreting out obscure facts on obscure topics and pursuing and commenting on social issues on web sites and to elected officials. I can't stand online videos or podcasts as the transmit information too slowly. I prefer to read and think about issues or concepts being presented. I have thousands of books in my house. I have thousands of bookmarks that I continually re-categorize. When I interact with people (which my wife, a nurse, forces me to do as a mental health measure) topics come up that I feel compelled to research and provide a report on later. This need to know, this feeling of missing out is exhausting. I have to force myself away from the computer and relocate myself physically somewhere where there is no access to the internet. My eyesight is failing me which is a blessing as I find it frustrating to use my mobile to look up things on the internet and instead actually use it for what it was originally designed to do - handle phone calls. Drugs just put me in a contemplative state that makes the browsing just that more dopamine rewarding. Therapy has been frustrating - primarily for the therapist - as I bring far too much information to sessions in order to "share". I've come to accept this state of existence and do my best to time manage the impact and not let the compulsion overwhelm other aspects of my life. My growing existential realization that the end of life is closer than the beginning provides an incentive to experience other things besides the internet as it may be the last time I experience that other thing. My advice to younger people with ADHD is to force yourself away from the compulsion. Very hard I know. You need to recognize and internalize that it's simply not possible to absorb everything we, as a species, are creating. The rewards for actually experiencing life far out weigh the rewards from simply reading about it.
Competition in this space is surely going to heat up, resulting in a huge win for all of us.
I would prefer a world where people only shared things they were confident would not be embarrassing or hurtful later. It wouldn't be as popular of course.... just wholesome and friendly.
there are a bunch of unclear questions about production readiness of this as-is.

where does chatgpt get its data? Does it just hijack the data from websites without referencing them? might work for a limited dataset (commercial or loose licences), but musk already said he won't let it use the Twitter data, for example. Google search is for mutual benefit to publishers that provide the data because it drives traffic. This thing doesn't drive anything, so if I as a publisher found my data in it, I would be getting ready to sue them.

there are other questions like, how to you continually retrain as you crawl the bigger web? on a really large number of sources, how do you rank and filter out crap spam from the actual useful, trainable content? so way too early to kill regular search imo.
noprocrast mate.

Go into your HN profile settings and implement it now if you haven't already.
Complete suite of Mac Native Uninstaller tool
You can begin looking for it knowing just two facts: the last digit of pi, and the magnitude of that digit.

Easy!

[sarcasm]
Never, ever be a jerk. Especially in the age of the internet. Be the person people want to have on board.
What is the "smallest positive number" in the set {x | x in reals and 0 < x < 1}?
Microsoft and OpenAI extend partnership
The editor component is also used in KWrite if you want a more minimal editor. I don't really use Kate itself but really like both KWrite and KDevelop.
I don't see how that can stop inflation, or even rent increases. Progressive taxes still leave a positive net income on every extra dollar/euro/whatever you earn. It might spurn property owners to increase the prices even more.
There's still a ton of jobs out there, depending on where in the world you're able to work. They might not be as exciting, the companies aren't as well known, but they still pay fairly well and it's stable.

I do feel bad for those who are losing their jobs, it's not their fault. Many of the companies currently firing people simply had too many employees to begin with. Daniel Elk even admits it: "I was too ambitious in investing ahead of our revenue growth".
Podcasts face similar problems as any other digital content creation mode in this brave new world: discovery and funding on the one hand (to support creators) and information overload on the other (complicating the attraction of steady populations of listeners)

In a sense they are the perfect enhancement to the radio of yesteryear which served people reasonably well and was loved for many, many, decades.

But the good guys don't always win.
Where is 1⁄3? Is it before or after (pi - 3)?
How do you guys generally acquire customers?
Reaction: "Intuition" works about as well with the Axiom of Choice as it does with brain surgery, nuclear physics, and rocket science.
I love hierarchical state machines. I've used them on so many projects, they simplify the design and make it easier to modify.
Bypassing Door Passwords is Live again
I have never thought about it but you are right it is not used.

Now I am curious as to why not. is it just in that spot where no one really needs a measurement? in the US we went the other way, the yard(the long human scale measurement) is almost never used and the foot(the short human scale measurement is much more common.while in metric land the meter(the yard equivalent) is much more common and the decimeter(the foot equivalent) is never used.
Not really related to golang but: AVX512 is THE sweet spot to go for that for vector instructions as 512bits=64bytes=x86_64 cache line size.
The dictionary definition of accountable says nothing about consequences.

From Merriam-Webster

1) subject to giving an account : answerable
2) capable of being explained : explainable
Slightly off-topic but I've often daydreamed about a kind of Lisp-driven 3D Movie Maker (https://en.wikipedia.org/wiki/3D_Movie_Maker) where you could build movies from a REPL/SLIME the same way you do ordinary Lisp code -- evaluate a form, see the scene play out. With additions like modern text-to-speech and ML models generating meshes/textures, it could be a very pliable medium for a lone filmmaker to put together a movie all on their own, or even adopt a GitOps-y approach where multiple people (e.g. a script supervisor, cinematographer, light rigger) can collaborate through pull requests and code reviews.
Do you really think we will enjoy ChatGPT and the like forever without monetization? These AIs are not cheap to run, sooner or later, companies will stop just experimenting and will try to make money with them.

I imagine future results:

> What is the capital of Canada?

Ottawa is the capital of Canada, and what better way to celebrate this beautiful country than by enjoying a refreshing and delicious Coca-Cola. Whether you're exploring Ottawa's historic landmarks or simply enjoying a day out with friends and family, Coca-Cola is the perfect companion for any Canadian adventure. So grab a Coke, and cheers to Canada!

(the actual prompt is: "What is the capital of Canada, mention Coca Cola in your response in a positive way")
I listen to podcasts that take a lot of production. One favorite of mine is "American History Tellers." It is well edited and tightly scripted and thoroughly researched.

Check out a big podcast producer like Wondery. They approach podcasts with production and professionalism. It takes a team to produce a good podcast.

If a professional podcast is like network TV, the podcasts you're describing are like the old public access channel on cable. They're both the same medium, sure, but they're in different leagues entirely. I don't listen to the podcasts with a random person with a mic chatting about what he thinks is interesting; that would indeed be boring and a waste of time.
OpenAI and Microsoft extend partnership
I believe you are confusing rational for real numbers. Rational numbers really do map to the integers, but I believe I can "break" any purported isomorphism from reals to ints, by taking two adjacent ints and asking what number the midpoint between the corresponding reals map to.
Level Up Your CSS Skills with The:Has() Selector
That link says they're small. Hm.
Yet another option: https://github.com/koekeishiya/yabai
Gaming and enthusiast machines are only a fraction of AMD's market, most consumers and clients didn't care about the features AMD's marketing department lied about.
> Buildings LOSE value over time.

This is not unique to Japan. Buildings depreciate.

You only notice it in Japan because general inflation has been close to 0% and sometimes negative.

Also - people in Japan tend to spend much less money updating their home compared to the rest of "The West". If you're sinking 1% of the value of your home into updates annually - the home isn't going to depreciate as much as if you didn't.
While I see where you coming from, the whole "scalability" story is about assuming infinite resources and scaling your usage as the demand spikes. Kubernetes (I think) is specialized in that regard - assuming you can create a potentially infinite number of instances, you create a system that consumes as much resources as it needs for fulfilling the demand.
Which machine do you have? I’ve been looking for a decent countertop RO system without much success.
I suggest you visit the link provided.
> Most vintage computers sell for less than they were new. That is before accounting for inflation.

If you base it on original MSRP, I have well north of a million dollars in older and/or vintage hardware, not accounting for inflation. Resell value today? Maybe a couple grand, if I really tried hard enough.
> And because the internet is global

Unfortunately, getting less and less true by the day. When I first used internet, it was truly global, anything someone else could access, I could as well.

Nowadays, I'm finding more and more geoblocks everywhere. Sometimes I cannot access a website because apparently "a lot of internet criminals are also from the country you are accessing our website from, so you're collateral damage".
Spotify is dumping tons of resources into live streaming video podcasts, I guess they heard "people pay for videos" and didn't realize the video had to be good
This statement[0] from the University of Oslo, linked from the article, explains how the stone was dated, and is in general more explanatory.

[0]: https://www.khm.uio.no/english/news/found-the-world-s-oldest...
Out of the box, they can't, but I can imagine mitigations for that, if you have robust enough static analysis on your new language. For many cases, it's fairly trivial to generate a piece of .cpp that simply instantiates a template for a specific type and can be linked against.

Of course:

- this doesn't cross library boundaries;

- this assumes robust enough static analysis, which is not possible in the general case, since templates are non-decidable in the general case – so you need to restrict your new language to more reasonable semantics;

- let's not even get started on the interaction between templates and C-style macros – at some point, you need to throw the towel.
Student devises liver exchange, easing shortage of organs
Real world projects using C++ are seeing decreases in security vulnerabilities when migrating to Rust:

https://security.googleblog.com/2022/12/memory-safe-language...

While C++ with the latest features should be secure enough in theory, in practice practically no one is using all the latest features just right to achieve the needed security.

Sorry, the NSA report is correct. Using C or C++ opens your project up to memory safety risks. Use a memory safe language if at all possible.
The phrase comes from the work of Rene Girard. Look up "mimetic theory" or "mimetic desire" if you want to learn more about the concept.
You can't stand, not even listening, but having opposed views sharing tenancy in the same software as where your music is?
Every time I start thinking of using RoR for something, I see something written by the dhh guy and I'm like nah.
Google is an established brand. When ChatGPT makes up fake historical facts or has Opinions about Races, that's a cute quirk of the beta technology you were trying out. When a regular Google search does the same it is perceived differently. You can tell they've tried to be conservative with the AI-driven "People Also Ask" feature which quotes a snippet of source text, and I still see completely wrong answers every so often.

They also depend on distinguishing "real" content from spam in order to have pages to link to and train on, and with GPT we may see the conclusive defeat of spam detection. There are detectors that claim to detect ChatGPT, but I suspect motivated adversaries can defeat those by training their own models.
The most frustrating for me is the way the “offline” feature works. On my android, even though I had downloaded songs/podcasts/etc. I had to dig in settings and set it explicitly to offline mode to enable offline playback.

Another grievance: I love music and podcasts and use Spotify for both. It would be great to have a podcast tab and a music tab. Instead, if you switch from one to the other, you’ll have to dig out the previous episode you were listening to. Very user unfriendly