skysight-inc/HackerNews huggingface dataset:
Indeed. Godel's theorem is very technical, and any use outside the very technical realm of its immediate application should be viewed with great suspicion.

For example, if you take the statement you quoted from Wikipedia and replace "natural number" with "real number", it doesn't work anymore: it's been proven that the arithmetic of real numbers is decidable[1]. That means that the sentence you quoted from OP's comment is not true.

Anyone inclined to use Godel's theorem in these philosophical contexts should maybe read the great little book "Gödel’s Theorem: An Incomplete Guide to Its Use and Abuse" by Torkel Franzén. I'll leave here a quote from a review[2]:

In addition to obvious nonsense, there are among the nonmathematical ideas inspired by Gödel’s theorem many that by no means represent postmodernist excesses, but rather come to mind naturally to many people with very different backgrounds when they think about the theorem. It is especially such naturally occurring misunderstandings that Franzén intends to correct.

[1] https://en.wikipedia.org/wiki/Decidability_of_first-order_th...

[2] https://www.ams.org/notices/200703/rev-raatikainen.pdf
How do you compare the dbsp crate with other libraries for incremental computation, like salsa [0] and adapton [1]?

Could dbsp work as a backend for an incremental compiler?

[0] https://github.com/salsa-rs/salsa

[1] https://docs.rs/adapton/latest/adapton/
Personal opinion: don't put floating point numbers into an API. If you really want real numbers passing them as decimal string is actually sensible. This can be done without using JSON, of course. Can also do fixed precision as well, which will store reasonably well into a VLQ.

OTOH this is pretty cherry picked. It is questionable if you really need floating point numbers if your numbers are all this small and low precision, but in actuality unless this comprises your entire message, you'll probably still lose to JSON overhead eventually anyways, whereas non-self-describing serialization like capnp has effectively no overhead by default. The advantage of encoding as doubles is that it is predictable and won't explode into taking massively more, its always the same size per number. If you want it to be smaller for some reason, compression is always an option, though I suspect for IPC it's the wrong thing to be concerned about.
Why not make the silicon Carbide into bricks, and build stuff out of it?
Dont Trust Sam
> A rolling release just means that there are no major version bumps that require an active opt-in when upgrading.

Indeed. However IMO this definition is not complete without taking into account the matching status of upstream software versions available and package versions made available by the distro at any given point in time. This is the continuous delivery expected and what gives a distro rolling status among its peers.
The Mission is a variegated place. It's been undergoing gentrification for 4 decades but it never seems to get there - so much so that you could say that that's become its "thing."

The exact location where the phone is placed makes a huge difference. Going from Valencia to Shotwell to the BART plazas to the Latino bars and back to the hills your soundtrack would change quite a few times.
This not an apt comparison. Else we could say American kids know more about Anime than about our Independence Day. Kids like kid things.

I doubt people in the Podunks of interior China have much awareness of what the US is about other than what their official propaganda tells them.
I guess it will mostly reflect the musical taste of assholes who turn their music up loud. Hmm, but maybe all culture works like that.
Am I misinterpreting your comment, or are you suggesting that GP is being unreasonable for being frustrated with the people they described?
There are companies in germany that sell red plastic cups in case you wish to throw an "American" theme party.
Yes! I’m a huge history buff (read hundreds of books) and was so excited when someone told me about Hardcore History.

I tried a few episodes. I really tried. I couldn’t do it. It reminded me of my uncle would tell a 5 min story in half an hour.

The dramatic filler, breathless story telling was too much for me. If anything it would put me to sleep.

I’ve found a few history podcasts that I think go into a lot more depth and I learn a lot more from.
My blog post was moreso trying to explain what's legal vs what's right/wrong :)

If you're asking for my personal moral opinion, I think it's only a minor sin.

To me, it's like walking your dog without a leash. Of course your precious chihuahua doesn't need a leash, but then that somehow gives license for pomeranians, pugs, corgis, collies, terriers, pitbulls, german shephards, mastiffs, etc.

I don't think chihuahuas really need leashes. But sometimes I also don't trust people to decode nuance and to self-police. I want to live in a world where chihahuas are free and safe, and it seems like the best way to achieve that is through adherence to blanket policies. I'm still unsure if that makes it a moral issue though haha I'm not a philosopher
You're not too pessimistic yet. Projects that devolved into spaghetti paid their engineers roughly the same as they will pay new ones. Looking at the incentives, it's hard to take on the burden of undoing technical debt if your salary isn't going to change much. Businesses take advantage of passions to fix things like technical debt because they know they don't have to pay too much extra for it.
That is a good point. Europe has since the 1970s actually cleaned up the continent pretty well by kicking out a lot of polluting industry.

(The latest target of environmentalists in the Netherlands was data centers. They used too much power, water whatever. So they went to the deserts of Spain. Epic win).
We had one of these, Hotjar I think. To their (smallest possible) credit, there's 0 legible text in the replays, you basically only see the rough UI outlines and everything else is redacted. Wouldn't be surprised if it featured a keylogger though.

I asked our data team what the fuck they need this level of tracking for, and they said "wasn't us, it was marketing that requested it".

So I ask many of the marketing people, and they just say "oh we thought it could be useful!" Without actually clarifying the "how" or "why".

I removed that shit with a quickness after that, and no one's complained so far (duh)

I love the GDPR if nothing else because it scares the - excuse the vulgarity and ableism - retarded decision makers into not doing idiotic shit like this. For any kind of bullshit like this I just bring up GDPR as a shield these days and none of it goes through
do you need ecommerce software for your store? i posted about making an app for booksellers: https://news.ycombinator.com/item?id=41691388
I think that’s just an issue with Steam on Linux, surprisngly. As much as I love Steam sometimes they just leave fundamental things like that unfixed.
The folks from Agree.com just started up to do the same thing... what do you think of them? Sounds like one of those times when folks think the same thing at the same time?
Bitcoin can come off that list - it's real estate trading for people who can't grasp real estate trading. Cool concept when it was invented, but its net effect has been rather negative, serving to further concentrate wealth.
Generally slower at completing long tasks, sure, but is that the real workload of the Deck?

I feel that there's enough aspects and subtleties to consider that I wouldn't trust anyone, particularly not myself, to guess how things are really going to fare.
We will likely have a phase of experimentation and tweaking that will improve things with and without RT patches as more workloads are considered and things are ironed out.
Depending on the data, maybe? SDFs aren't great at rendering large numbers of enumerated objects -- something like a point cloud would be prohibitively expensive, so I wouldn't think to use them for like traditional graphing.
This sounds like an easily testable proposition... (for someone with better hanzi-fu than I?)

EDIT: ok, so I was just on douyin.com (seeded with what deepl told me were "farmer" and "opinion of american people") and there's a fair amount of official line delivered by news commentators, a fair amount of not-the-best-of-the-Old-Country phone footage that's been helpfully subtitled in chinese, and not infrequent tubes of chinese-on-the-street commenting about the US or interviews in the US, eg https://www.douyin.com/video/7253009716257836347

(the latter two categories are easy to spot because they've been subtitled in english as well as chinese, but I'm most curious about if the people standing in front of tractors while speaking their bit are ranting as their stateside counterparts often seem to be?)

Anyone with better language skills have a better site, or better query?

EDIT2: finally found the deep link: just click X to dismiss the QR code popup; no idea what that may be...
By the continued progression of solar and storage down their aggressive experience curves.
Now make one that produces an actually effective professional lecture audiobook rather than an unprofessional podcast.
https://archive.is/iFdqs
Reflection in C++26: Metafunctions
> They pulled the plug on one user who happened to be hostile, and who was abusing their free resources by issuing hundreds of thousands of requests a day.

Well, I'm not really seeing the evidence for abuse, to be honest. They were using these resources like any other WP hoster.

> What you, and other's, are missing is that WPE is not a typical user. They're a corporation with hundreds of thousands of customers.

As are Automattic, Pressable and many others.

> This is like if you set up a free little API and then Amazon decided to use it. Would you let that fly? Would you foot the bill? What if Amazon is now your competitor? Surely then you'd happily pay the bill?

This is painting the case in a way that I don't see supported by the presented facts. Just to be clear:

If I provide a free API and Amazon suddenly starts using it, increasing my expenses by an order of magnitude, then yes, I'd block them immediately.

If, however, my API is used by millions of customers, advertised as free and some percentage of these requests are sent by Amazon-hosted versions of my software, the situation would be quite different. I understand the intention of not wanting to foot the bill of a competitor, but in that case it does not seem unreasonable at all to give prior notice, even if just for a few days.

The way you paint the situation implies that WPEngine was suddenly DDOS'ing the API and required an immediate, unannounced blockage. But, from the facts presented, this doesn't seem to be the case at all. Also, just to be clear, this blockage affected uninvolved third parties - if this was just affecting the company, I'd probably have no compassion for WPEngine. But technically they actually blocked people and companies who bought hosted WP from WPE and a little leniency would have been a _much_ better look for Automattic.

Also, just to be clear - this API was provided by the WordPress Foundation, which is not a competitor of WPE. Automattic is. This seems like a major conflict of interest.

I do get Matts motivation of not wanting to provide free services for a company he regards as really bad, but the way this was handled in terms of public communication, shaky legal accusations, actions with uncalled for immediacy and overall emotional language is just not a good look. This could have been and should have been handled much more professionally, at least in my opinion.
https://archive.ph/rdIgu
my lagniappe for you today is 兼愛 https://plato.stanford.edu/entries/mohism/#inclusive which probably you are familiar with but have forgotten
> Considering Musk isn't the founder of Tesla, that's obviously not true

Tesla began as a very early-stage startup in mid-2003 but produced nothing prior to Musk.

It was Musk that made the investment (in 2004) that Tesla needed to begin work on their first car (the Roadster). Elon Musk was co-founder, product architect and chairman of Tesla at the time of the Roadster's development. To be clear - he was the product architect of Tesla's first product, from the beginning.

Musk received the Global Green 2006 product design award for the design of the Tesla Roadster, presented by Mikhail Gorbachev, and he received the 2007 Index Design award for the design of the Tesla Roadster.

https://en.wikipedia.org/wiki/Tesla_Roadster_(first_generati...
I think OP is making the point that you are: the advice works for the Childless IT class, of which the author is not part.
Quite contrast to other places in the world where redrawing borders takes decades and causes disputes with wars.
What does it do better?
I've heard it's mostly a fallacy. Jevon's paradox is the assertion that demand for energy is so elastic that increases in efficiency increase demand so much that this overwhelms the savings from efficiency. And in most cases this isn't true. One must be careful when looking at historical evidence to not say "efficiency increased, and demand increased, therefore demand increased because of efficiency", which is just a post hoc non sequitur.
- Don't care that it was a bomb at the box office, I really enjoyed Heaven's Gate.

Ok, with English as a second language and not familiar with Kris body of works I read this as a quote from a song. Took me way too long to realize the intended meaning. As a line of song lyrics it rocks hard but doesn't really roll off the tongue.

edit: of > off
And this is why the hobby is dying. Home ownership is well beyond the means of most of the population now, and rental properties/apartments do not allow antenna structures. Those who persist and evaluate portable/mobile HF ops or settle with a compromise antenna get soundly shit upon by other hams who say "If you can't put up a beam on a tower and you can't afford a legal-limit amplifier to feed it with, why bother?"
The actual electricity production and consumption of the UK is declining [0]
The UK is also rapidly deploying renewables, and adding more and more interconnection to mainland Europe.

So as the capacity goes up the consumption goes down (for now). It's completely fair to decommission all coal plants.

I assume the energy consumption will go up at some point, as there's only so much you can save with energy efficiency, an delocalisation, and as we shift primary energy usage onto electricity (what's currently being imported in the form of gas and petrol).

But hopefully by this point the continued growth of production means will cover the increase

0: https://ourworldindata.org/explorers/energy?tab=chart&countr...
> California will not abandon its responsibility.
Different people doing different things.
Let's say the use case is that you want to get a light, conversational summary of some dense, technical articles while you're out for a walk. Even if you thought this service was awesome on day one, if you used this every day for a month, would you hate it by the end or not? It's neat, but I can imagine it becoming repetitive quickly, and the seams starting to show after the initial impression wears off.
If Zotero, or more appropriately better-bibtex, had a 'make collection from .aux file' option, than that would be fantastic. For some documents there can be such a number of references that doing this manually would be a chore. But having that collection in zotero would be useful by itself as a resource. Maybe I'll head over and make that suggestion...
His version of A Star is Born, with Strisand, is a masterpiece that will be sadly overshadowed by the inferior Gaga/Cooper attempt, the 1976 version reaches perfect notes in the height of rock hedonism and it's comedown. Kristifferson nailed it.

https://youtu.be/FbVXxuykP_M?si=7bQbtVgcU3IrGJev
What was the rough team composition?
> Fingers crossed this means Arch will support the ARM architecture* in the official repositories. There's a related RFC which has been accepted but but I'm not sure where things stand right now.

That is the goal with the work they are sponsoring, yes.
Has the digital nomad trend evolved over the years
Are you using Microsoft's Python extension? That seems to be the main one that breaks for people, including me.

Also Microsoft's remote and container development tools only work on the official VS Code.
> - The VSCode security story is very, very weak. Extensions are not sandboxed. The client, accessing remote repos, is wildly insecure, by design.

This is a big concern for our Infosec team. There is no middle ground between open access to every Extension on the marketplace or locked down and Extensions are installed via local files. The latter being a significant overhead in maintaining VSCode.
That is and isn't how things work in reality.

Once business adds additional automation, (a) the business made additional investment in the automation, (b) the remaining jobs tend to be higher-skill, (c) (after recouping cost of automation) the business now has better margins and can afford to pay the remaining employees more, (d) because of (b) and (c), they usually do pay their remaining employees more as a way to retain now even more critical labor.

Businesses rarely automate the hardest / highest-skill parts of the job first. Why would they? There are lower-hanging fruit.
Agent-based models powered by HPC are enabling large scale economic simulations
I think they are referring to the room with a glass bathroom cubicle in it. Linked ABC article says $400 / week, blog post says $400 / month.

The author mentioned they were having a few beers, I think we should give them a break. I understood what they were saying.
There's a world where browser UIs are programmed in Smalltalk instead, which I think is what the authors of the DOM may have intended when building it out OOP-style.

It would bear almost no resemblance to the web we have today, but message passing between UI components throughout various parts of their lifecycle has been a great way to model an interface for decades. You only need to look at the overall fit and finish of a typical MacOS or iOS app, with Swift simply pulling Objective-C into the 21st century.
This is giving MS a lot of credit for having a long term plan.

Isn't it just that all companies want to extend/embrace/control.
This has happened with a lot of Open Source products recently.
Didn't this just happen with Redis this year.?

"The mission of the Microsoft Developer Division is to earn the trust and love of developers across all languages and platforms and make them successful as they build the applications of the future."

Maybe the simpler explanation is that they want to make a good product? Which will mean it spreads out, and they do need some amount of control, thus the 'official' build.

Of course, they are also shady. I lived through the Explorer lawsuit days. But even then, I think they stumbled into it, they didn't have much of a plan beyond control.

All companies want to extend and control.

OSS was supposed to be a counter to this.

But seems like without some kind of 'pay' model where developers can actually 'live' and contribute, it eventually falls apart. There are just not as many people willing to spend nights and weekends developing and especially SUPPORTING OSS for free. So any OSS tools that are good and widespread, and don't have some support like research funding, get co-opted.

Maybe a non-profit company is the best way. But we've seen how that turns out if it actually takes off, like OpenAI.
> I'm always suprised reading statements like that. No offence, but maybe you're in wrong career if you don't want to learn how most popular and important tools of today work... Not to mention that its so simple you can learn everything required to be efficient during lunch break

This is such a common comment that I am never surprised to see it pop up whenever the "front-end mess" discussion arises.

No, you cannot learn React over a lunch break. You cannot learn Angular and Vue over a lunch break.

I am skeptical that even you, personally, can learn just the footguns alone present in the hundreds of thousands of lines of code in a specific $FRAMEWORK over one lunch break, two lunch breaks or even a dozen lunch breaks.

All those thousands of lines of code implement something, and I will wager a month of my income against a month of your income that you will not learn more than 3 or 4 concepts over a single lunch break, because they all have multiple concepts, multiple use-cases, multiple exceptions-to-the-general-rule and multiple footguns without even including the edge-cases they solve.

You will spend several years of lunch breaks, unless you consider reading the wikipedia overview for each $FRAMEWORK to be "learning the $FRAMEWORK".

Web components, OTOH, have less functionality than full-blow $FRAMEWORKS, but each can be individually learned over a lunch break, reused by non-JS-developers and is a knowledge base that is more or less future-proof.
nice, those types of books are perfect for a summary. i never read those, huge waste of time to read the entire thing. always search for a summary.
Culture war. The left is against nuclear so the right wants it.

Of course it never actually goes anywhere because money has no ideology only reality. Just years of studies and bureaucracy.
How do you know that they make a consistent profit? You take their word for it? Gamblers are notorious liars and are also known to keep very poor record of their bets.
I loved when they said they were going to play a snippet from a generated podcast and then some robotic male voice says something like "Insert audio snippet here".
I actually know this. I personally know a few people who do accept major financial restraint in exchange for pursuing their passion.

To be fair, I'm from Europe, so I can't personally verify whether this still works in the US or if the stories I've heard were false, but this does at least provide a counterpoint to this not being possible in western countries.
Currently working on 2 new versions of my small daily bird guessing game for US and Canada, looking into the local habitats and such to adapt it to the region.

I finished batch processing the bird species and their conservation status and now planning to setup a testing environment to begin the work. I'm already learning so much about the birds of north America. Exciting!
>the marginal alternative is LNG, also shipped in oil-fueled cargo ships

LNG ships are usually fueled by natural gas evaporated from its liquefied payload, which is much cleaner than burning diesel.
There's simpler tools like Handbrake that present a GUI for handling many video encoding tasks, or even things like Tdarr for distributed transcoding tasks.

But if you're documenting it right then you'll still need a paragraph explaining what every checkbox does...
Its.. like ... Like... Whatever... Like... Uh....

This is awful.
> In any kind of remotely just and sensible society, this corporation would be shut the fuck down by authorities, have it's assets liquidated, it's leadership imprisoned, and the trademark barred from use for 50 years.

But you are living in a democracy (what am i saying, the best democracy, the land of the free, the american dream). Why not let democratic institutions do their job ? /s
The city wants people to live there and put money into the economy. I don't see what's wrong with that. Cities need people to live in them and spend money there.
It's probably the first time in 14 years of systemd I appreciate a technical choice coming from the systemd team.

It's a small format, it has limited pitfalls, it's fast to marshal and unmarshal (and with simd gets even more fast), it's deflate-friendly, would performance be an issue they can pack that through CBOR or msgpack or what-have-you.
I'd be very surprised if things were better today.
From My Mom's Basement
Who said anything about commuting?
Can't you host your own extension marketplace?