skysight-inc/HackerNews huggingface dataset:
I like the off-by-one there, and choose to interpret it as intentional.

The fourth item is what I find to be the most interesting. I really hadn't thought about it that way before. I remember the discussion in Fedora mailing lists around systemd and iirc the criticisms were mostly actually answered and handled. But in Debian it really wasn't and it fractured the community a lot.

It is perhaps the case that the "anti-systemd" crowd wouldn't be "anti-systemd" if they felt like they had been heard. Perhaps that's the bigger lesson we should all be learning: to listen closely and respond respectfully.
The logic has to run server side either way.. but that's obvious. Otherwise any idiot with an API key has full control over your system. That's why you don't "make a pure REST API which provides low-level CRUD operations" as you've suggested. If you have invariants which must be held then you can't do that - and with any meaningful system you will have such invariants.

Frontend? You can implement it in a shared library and cross compile. Or implement it in a DSL and interpret (or compile) that for each target platform.

Is that overkill? Then implement the bits (it's almost always a subset) you need in the frontend.

Don't like that but your app can assume an internet connection? Then keep a connection open (i.e. Signal R) and call procedures on the server.
Your argument hinges on two assumptions, both that I'd argue are flawed.

First, you're assuming that our current use of power is efficient and there isn't enough unnecessary or inefficient use of power to make a difference. Do you believe that there aren't changes we could make to reduce power use without noticeably reducing human well-being?

Second, you're assuming that increased growth is always a good thing and developing more stuff by using more power is always an improvement. There are changes that consume more power without making a clear improvement to human flourishing, and worse there is progress that consumes more power while actually making our lives worse.

Why do you believe that power consumption can't be reduced without meaningfully reducing human well-being or happiness?
There was an article literally 1-2 days ago (https://www.seattletimes.com/business/boeing-aerospace/boein...) about about Boeing asking for a certification exemption on the MAX7.

My friend and I were joking "well I'm sure they know what they are doing / hey if its not safe people won't fly it / they can just rename it again if it does crash / its all just big gubmint red tape / hey if it has X% risk of crash and Y already crashed then the next Z flight should be OK right?"

Within 24 hours they blow out a door on a new jet. Amazing levels of incompetence mixed with hubris.
> I am utterly fine if no new culture is produced

Although, I would be a little upset if they stopped making high-budget binge-worthy series.

Then again... What the hell do I care if it's made by AI? Especially if they use one of those preference-based RLHF and penalize the model against episodes where the series lost all its viewers.
It would be possible. But age verification and privacy are not the objective of either side. Age verification as a pretext to place a barrier and stick it to these businesses. Privacy as a principle - not a technical attribute.
The etymology of miniature was news to me - South Asian artists have been decrying the term as colonial as of late and this provides some important context
There's also GNU Octave as a free (and largely compatible) alternative to MATLAB. Andrew Ng's original ML course on Coursera used Octave. As a developer who'd never use it (or MATLAB) before, I found Octave very easy to use.

Newer ML courses use Python because of it's subsequent adoption by PyTorch.
> while the bits posted to social media could be interpreted as “inflammatory,”

Did anyone actually find them inflammatory, or was the justification that "someone" "might" find them inflammatory? If some individual raised a complaint that's one thing, but sounds like a massive overreaction.
I like it when people like that work at banks. You can have a lot of fun with "pure REST APIs which provide CRUD operations" on bank accounts. Especially when the important business logic - such as credits and debits - are implemented in the frontend :-)
> Formal verification can work in areas where you have a long time to do
> development, or where your problem space is amenable to having a formal
> standard (like math problems). In most other cases it just runs completely
> opposite to the actual problems that software engineering is trying to solve.

Have you actually tried, or is this just the standard line?

I've heard this from people I've worked with, and when I followed up to ask what kinds of projects they've worked on with Agda, Idris, Coq, Lean, whatever, they had nothing.

I don't have anything either, other than that I've toyed around with some of these systems a little bit. But it seems to me like there's a lot of potential in dependently-typed programming, and we just don't have a lot of experience with it -- which is fine, but that's a very different situation than what seems to be the standard line, "all formal methods take a ton of time and are only viable in a few niche projects" (what are people imagining here? NASA space probes and stacks of binders? really it doesn't seem obvious to me, I'm not trolling).
AI generated book covers are also a thing at this point, which reinforces that age old idiom. Even legitimate writers will still find value in generating their covers.
Select "all" on the graph to see the massive effect of the pandemic on freight prices. So what is driving the current much smaller spike? Houthi? If so that looks like a very effective way to make money on this commodity.
This is nonsense in my opinion. SpaceX exists and did a lot of work with young engineers.

The problem isn't the engineers but the management. There are plenty of smart and hard working people in the US.

Its ridiculous to believe that GM is fundamentally unable to recruit software people. Tesla did it just fine, as a small company with less money. Its rather management that systematically for 30+ years has considered software to be unnecessary and pushed it as far down the supply chain as they could.
Didn’t know about them, seems interesting.
I generally embrace systemd and have been pretty happy with it but there's one component which simply doesn't work correctly and that's systemd-resolved in combination with DNSSEC. I eventually had to replace it with Knot Resolver which works flawlessly on the same machine / network.

https://github.com/systemd/systemd/issues/9867

https://www.knot-resolver.cz/
So, you are looking for a "religiously presented" science text [1] rather than "scientifically presented" religious text (as most comments here suggest)?

[1] i.e inferring classic religious ideas, like God/demons/etc from scientific premises
Since when are we taking photojournalists and social media users to court to verify each image?
At first I thought so too, a few months ago I got myself into a kitchen remodel and the most common way to find information about local businesses was their websites. Most didn’t have some social sites, a lot weren’t on Yelp (or the ones on Yelp were bad and paid to be on the top), and some didn’t even have up to date websites.

I have been experimenting with a website that might work for this but convincing people to sign up for it has been a wall to climb.
Oh, I'm aware. On the way to getting a bachelor's in Chemistry I was drilled on the importance of sigfigs as a way of preventing data contamination by artificial precision (e.g. trying to weigh 16.0000000000 lbs with a bathroom scale). It just seemed funnier this way...
Yes I just made that swap. But it's been almost a decade since the last time I had to swap all 3. I did however get to keep my graphics card, case, power supply, cooling system (liquid), and SSDs (3 x 4TB).
I guess if your offspring has an entirely different body plan than you and it's only their offspring that resembles you then it would take a very clever parasite indeed to complete the cycle and follow the germ line across both transitions.
But that still makes it great for RAG applications, where I want the answer to be based on my data, not on whatever it learned from the web.
This is all just treating the abstraction as if it is the problem itself. People have houses when those houses are built. Built using debt. Built Amish-style, collectivist style.

To use your metaphor: you first need a ship. AFTER that we can discuss steering.

The problem in Soviet housing (and today in China housing) is that the entire population sabotages society, and builds very bad quality housing, and not nearly enough of it. Collective living can't compensate for that. In fact it doesn't matter what you use to compensate for the sabotage by society, because that just delays the breaking point by a bit, but the sabotage goes further and further until the sum total of all compensations you utilize aren't enough anymore to even keep people alive. That can take decades, but if Stalin couldn't stop the sabotaging going further and further by killing hundreds of millions, exactly what measure are you hoping will stop it? (not implying communal living is exactly the same as communism, but it is one example)

When collective housing means a floor of a tall building for each generation, with mostly independent rooms and perhaps a single collective living room on the ground floor, it is quite comfortable and you have the advantages and none of the costs.

When collective housing means 3 generations living on <50m2 apartments where the warm water supply is mostly a theoretical thing (Soviet, China living), frankly, even having the entire apartment to yourself wouldn't make it particularly comfortable ...
I’ve always wondered why they didn’t absolutely plow VC money into lobbying for bike infrastructure across the US (or maybe they did and it wasn’t successful?) Forget app features, focus on the other half of the equation - the roads you expect your scooters to ride on.

My impression is that my fellow Americans are way too pessimistic about city improvements, and also that Bird did the world’s worst job of getting cities to meet them halfway.

Edit because I just thought of something else - if they were truly savvy, they would have made an industry consortium to lobby for shared infrastructure, to split the shared costs and increase their chances of getting favorable laws passed.
Dutch trains live: https://treinposities.nl/
I remember reading a discussion on it in a year around <= 2000 and it was a general consensus that Ada’s printed standard is too heavy to move around, let alone implement. Military/corporate-ish affinity didn’t help either.
If I could have one Christmas wish, it’s that people would stop posting intentionally inflammatory op-eds to HN.

Folks, you’re not going to learn anything useful about the state of science from the WSJ opinion page. Content is posted there because it will engage (enrage) WSJ’s readers, not because it is actually true or newsworthy.
> "Not if you are encapsulating and naming effectively..."

When you only have to superficially skim the code, that works.

If there are incorrect abstractions, such as logging, transaction logic or manual error handling mixed with "well named function calls", then it is already very problematic even to skim.

If you have to debug, it quickly becomes torture. Especially if state is involved and shared between multiple methods or classes.

If you have to reimplement the code: you're probably fucked.
Ransomware payment ban: Wrong idea at the wrong time
I think that it wasn't so much a matter of one replacing another. My interpretation of the history is that Matlab had steady usage, but within relatively mature domains such as traditional engineering. Meanwhile, Python grew in fields that had no prior loyalty to Matlab, such as physics, data science, ML, the life sciences, children and hobbyists, and software development.

The "free" thing is important, because programming tools have all migrated to the open source model. No professional coder is willing to work on paid tools today. If scientists have a basic awareness of their career options, they will borrow tools from the software development world, and not from the engineering world. Those tools are all free.

Also, free software changes how you use it. I install a complete Python toolchain (up to and including Jupyter Lab) on every computer that I touch: In the office, the labs, and at home. This allows me to truly use Python as my brain. No software budget is lavish enough to pay for as many "licenses" as I use in a day.
Zany and earnest, Deleuze and Guattari, philosophy's improbable duo
Gulags imprisoned individual people based on insufficient sham judicial procedures, but they say least made a show of imprisoning people who had done something to earn it. Keeping Israel as an open-air prison for residents who have not specifically done anything wrong is arguably worse. Detaining thousands of civilians in officially Israeli prisons without charges or trials

I have no objections to Israel trying to control the flow of dangerous individuals and materiel across its own land. Why should it have a right to block sea and air access? Why should it stop the flow of ordinary goods? Nowhere have I recommended open borders; there are lots of options between open borders and the blockade system.

I'm not actually a supporter of Palestinians. You'll note that I started this sub thread arguing that the UN resolution talking about right of a people to self-determination doesn't seem coherent. But I am a supporter of human rights, and this is a situation in which there seem to be many serious violations.
Been watching that for a couple years now. At one point there were plans to integrate with alpine Linux, but it wasn’t ready yet. Has there been progress towards that?
The board and C level should be held criminally liable for incentivising profit over safety.
Boeing is a good example of how screwed up management can ruin a company culture and therefore products with bad incentives.

Contrast recent products like the 737MAX with the absolute workhorse and nearly unbreakable 777 designed 20 years earlier.

Really a shame.
Except, you know, this thing called the Airbus A320 NEO. You know the thing that is more modern and produced at a higher rate. Somehow that doesn't seem to have doors falling of. So your statement is objectively wrong.
Scientology probably has a great deal of that.
It seems odd to me that an emergency exit can be optional. Like I get that airlines reconfigure seating, number of bathrooms, storage, etc, but emergency exits seem like there should be a fixed number based on maximum distances between all exits or something.
Krauss was an Epstein associate and got himself forced out of Arizona State for being a sex pest.
Yes, again, Whitehead has a particular system that is pretty different from Taoism. It's a little more complicated than a Wikipedia summary sentence.
First, they were not predictions, they were comparative scenario runs. Second, empirical data has tracked the business-as-usual scenarios for decades and has been independently verified multiple times by peer review. Third, they study a dynamic system that includes population and are not trying to "predict" population growth in any way. Before you call someone's work "silly", you might want to make sure you understand it at a basic level. Otherwise, it's clear who looks silly here.
>Remember when the corporate line was that your personal data and search history was all anonymized? Clearly not true.

When was this ever claimed?
If you've ever got the occasion to visit Phœnix, AZ, there is a permanent exhibition which includes a full-colour facsimile, and entry is always free of charge.

https://www.azirish.org/events-and-programs/exhibitions/book...
Hey, we had caprio airplanes before: https://en.wikipedia.org/wiki/Aloha_Airlines_Flight_243
An enraged Canadian...I have seen everything today...
This is great! It might be nice to see - dragging the slider increase/decrease by 15 mins (current) and tapping should increase/decrease by 1 min.
One of my favorite YouTubers, not just bikes, did a video last year that highlighted this: https://www.youtube.com/watch?v=muPcHs-E4qc
OP may have not clicked on the rest of the blog...
To rephrase: "We humans have already messed things up badly, why stop now? That would be arbitrary."
In theory that is right, but if non-technical lawmakers are being told by vendors how complex and expensive products ease that and allow monitoring it's convincing for many.
I've never found anything like it, unfortunately.
If you have voluntary association, you will have both the "poor" and the "billionnaire". People whom nobody wants to associate with, and it has severe negative consequences for their living conditions. AND people who refuse to associate with others to some degree, but do so well for themselves they are the envy of others.

Voluntary collectivist living exists and is no problem and requires no change at all to our current system.

The whole point of the collectivism being advocated here is to avoid both groups. And, of course, only forced marriages will ever do that.
This is what is called a high stakes HN comment.
> Previous inits were glorified loop { fork() } programs.

Maybe (I'm not an expert on old init systems), but current inits aren't that.

> The issue to be solved is: how to determine parallelism in boot

I think you're replying to another comment of mine. At any rate, there were and are alternative solutions rising to meet this challenge - which involve nothing like the behemoth which is systemd. Examples: OpenRC, runit, GNU Shepherd (sort of).

https://en.wikipedia.org/wiki/OpenRC
Companies can earn more profit by differentiating themselves from their competitors rather than trying to be the same. Microsoft brings the broadest ecosystem combining Windows and Xbox and all their cloud chops. Sony tries to be cutting edge wihth VR and exclusive high fidelity AAA titles. Nintendo caters to people who play for fun rather than the best graphics, usability over cutting edge, casual gamers and families, etc.

This is all just to say that Nintendo can't compete on hardware performance and graphics so it focuses on other things to be best at.
what is

> misogynistic information

stuff like "the vast majority of workplace deaths are men" and "women in fact aren't the primary victims of war"?
It's not as if 40,000 feet is survivable without a flight suit and parachute, yet airliners don't provide those. And 400 people per starship is much more spacious than the area you get in economy class.

Travel time is the main reason to use Starship. It might add 30 minutes extra on either end, but if it saves 10 hours of flight tine...

Loading people into an already fueled rocket is standard operating procedure for every rocket except Falcon.
In practice, how do these system expect the kids (much more technically savvy than their parents, and with a motive) not to get their hands on their parents'? (As you know, kids often get access to credit cards without parents knowledge.)
It is possible. It is certainly common to pick the expert who says what you want them to - and to get rid of experts who say the "wrong thing" (e.g. the dismissal of UK govt drug policy advisor David Nutt).
This approach would allow you to run a pre-built Python program in the browser, but not change the code and re-run it.

This kind of defeats the idea of interactive code snippets in the docs (but might still be useful in other use cases).
I think you agree with each other. How about: smartphones arrive with a parent lock(*) using a manufacturer code. Flashing an ID or interacting with a (possibly standards-compliant) body reveals the unlock code.

(*) Yes, jailbreaking gets around that, but now you’ve circumvented a content-control system, which is a bigger legal problem under DMCA than any legal Internet content.
> prohibited employees from talking about anything going on at Tesla, even after the left the company, for life...

Good luck monitoring that enforcing that

Also, pretty sure that goes against the 1st amendment and if memory serves right, no contract can change people’s federal rights or change any laws

Edit: had a derp moment and totally commented without remembering the “Sweden” key word here. Ignore me, I’m wrong for many reasons
As others have said, all those features are built in (or are a three-line tweak away). The tricky part is configuring it.

I agree that defaults matter and I would love to see them change. That said, you might like looking at my Emacs Bedrock [1] starter kit. It’s not like other kits like Doom, which act like a distro unto themselves and need fiddling, updates, etc. Bedrock focuses on tweaking default behavior, rather than pouring on package after package. It’s basically all the things that I would make default if I could. There are a few “extras” that provide clear examples of how to configure e.g. language server or evil-mode support.

Let me know if it helps. :)

[1]: https://sr.ht/~ashton314/emacs-bedrock/
I spent a year working for an A/V installation company - whole house integrated sound systems, media servers, security, etc - and their clientele was solely multi-millionaires of various nationalities.

My job was primarily as a programmer for the control systems these installations used so I spent the majority of my working day in clients homes.
They were without exception the most sterile, vapid, soulless environments I had ever been in. They had everything in them but nothing felt homely.
Another thing was the lack of responsibility for cost.
You know the line from Arrested Development “it’s one banana, Michael, how much could it cost, $10?”
Well, this is their real lives.

I was asked to visit a client to arrange a laptop for them to use for day trading. I turn up, start going through options for MacBooks, their pros/cons, costs of models vs features and the guy turns to me, exasperated, and goes
“I don’t care about the cost, just give me what I need”.
Ok, I say I’ll let my manager know what I picked.
I find out a couple weeks later, he’s actually rented a Bloomberg terminal for thousands a week.
He then gets me back in to set the thing up.
I’m sat at this machine, on the phone to Bloomberg being asked by them for the clients usernames and password, me leaning over to them to ask for the details, being told, relaying that back to Bloomberg, about three times. Until, exasperated, he takes me notebook and writes down every username and every password for every account and service he used. Bloomberg, banking, email, everything. It was worth poor old me having that to not bother him any more than necessary.

Plenty of experiences from that too brief 12 months but was a massive eye opener to a side of society that I’d never have got the chance to see.

It’s a different world, but not entirely sure it’s one I’d want to live in.
I also did this in the 2000s and while it was fun to peer into their lives, the amount of porn I was forced to see on elderly people's machines was... not great. Especially during those rare occurrences where they wanted to watch what I was doing to "learn how to use the computer." Just awkward all around.
Something seems inaccurate here, perhaps data corruption? There’s no way so many trains could be in such a small space.

Signed,

An American
> Science on the other hand, at least hard science, is focused on making predictions about the material world.

This was a purpose of the I Ching, divination!

What else is science, but only a more refined method of this practice?

And your definition of religion is very limited. Science can also guide us. I had to live a good life as part of a hole. It can also help cope with stress and suffering. Science gave us air-conditioning, and that reduces a lot of our suffering!
Maybe I need to rethink sitting in the exit row.
You can use any javascript library in typescript, and TS is all JS at runtime anyway. You can even add types without touching the JS library, just write a .d.ts file and stick it anywhere that TS looks for sources.