skysight-inc/HackerNews huggingface dataset:
> The core concept is that the compiler assumes the program is valid

I was referring to this.

IIRC the spec language is that the compiler is free to assume that UB never happens, but from an operational perspective I believe that the compiler simply stop caring about those cases.

by this I mean that for code like

#include <stdio.h>

int main() {
printf("Hello, ");
0/0;
*(NULL);
printf("World!\n");
return 0;
}

most compiler will just pretend that bad lines did not exists

https://godbolt.org/#z:OYLghAFBqd5TKALEBjA9gEwKYFFMCWALugE4A...
What to do when your 3 years of work is already written in Shitty React™?

I've been suggesting codebases cleanups but we only do it when the clients complains about severe bugs (which, hear hear, are due to our known core issues)
This is why America was conceived to be a country where the central government can only exercise enumerated powers; because the framers knew that every organization eventually becomes run (at one point or all subsequent points) by corrupt, evil people.

Any system of governance that depends on an unbroken chain of good people is bound to fail, and fail much sooner rather than later. The only sustainable safeguard against it is to make sure that said system of governance is limited in what it can do.
The “Unix philosophy” is a core part of the user interface to Unix systems. You might not care about this yourself, but I’d bet that most people do care about UI consistency.
Like any adobe-style brick, they need to be protected from moisture.
In Comments

Be kind. Don't be snarky. Converse curiously; don't cross-examine. Edit out swipes.

Comments should get more thoughtful and substantive, not less, as a topic gets more divisive.

When disagreeing, please reply to the argument instead of calling names. "That is idiotic; 1 + 1 is 2, not 3" can be shortened to "1 + 1 is 2, not 3."

Please don't fulminate. Please don't sneer, including at the rest of the community.

Please respond to the strongest plausible interpretation of what someone says, not a weaker one that's easier to criticize. Assume good faith.

<https://news.ycombinator.com/newsguidelines.html>

I was curious about the quote: was it in fact legitimate, and when and in what context did it originate. And shared what I found.

Otherwise my comment stands for itself.

But thanks.
Anybody want to figure out the year? Speaker Builder Magazine seems to have been an 80s thing...
Process owned by human-user fork(2)s and then exec(2)s suid program owned by program-user; program owned by program-user then does most of the work; but calls back over a domain socket to program owned by human-user to get it to do things on the program-user’s behalf.

Picture: local DB client, remote DB server. Server can stream a file to the client for the client to write to disk. “On the same machine, as a different user” is just the trivial case of “over the network.”
> It has a tendency to paper over them.

Yeah. That's one of the dangers the book I had talked about. CBT is a tool for rewiring the brain. If you have deep things to work out and don't recognize it, CBT will do exactly what it says on the tin and rewire around things that need to be explored.

That's very not good.

I'm bipolar and use CBT a lot. Identifying if the problem is logic-based is key to its application. Logic cannot override depression or mania, which means CBT doesn't work and alternative strategies are needed. Usually I switch to some variant of DBT techniques. (It's so automatic at this point it's hard to identify all of what I'm doing.)

In my experience, learning when to apply CBT is much harder than learning CBT.
I think it depends on the size of company and what are their margins.
> /OIDC where there is no reliable backchannel for the identity provider to tell the service to expire sessions

That's what the OAuth/OIDC refresh token is for: https://oauth.net/2/refresh-tokens/
No worries. You're probably only 40% responsible baby.
I'm ashamed to admit I really like windows 11.

Telometry and other questionable things aside, I've loathed and detested every UI change that Microsoft has done since Windows 7.

I unequivocally believe that windows 7 was peak windows UX. Every subsequent version, I've limped by using classicshell and then openshell.

Windows 11 is the first windows release where I didn't feel the need to install something to bring me back to the late 2000s.

My only pet peeve is not allowing me to create accounts that don't tie into outlook. Yes I know there are tricks to bypass this but I shouldnt have to do that.
How to do front end web accessibility tests in CI/CD (in React)
That a decision everyone is free to make for themselves. If you want to forgive him feel free but that has no bearing on how others might feel.

Society hasn't exiled him into the woods, people are just rightfully exercising their right not to be associated with him.
https://digg.com
The newest Prius has a solar roof option, which in good conditions seems like it can reclaim a few miles of driving range per day. We're a far cry from "never plug in", I think.
Glad it helped. It probably won't teach locals much, but if you go elsewhere and don't have a friend there to explain, it probably works.

You may want to be even more specific about what you want in the preferences and sometimes that can make it go deeper, but in the end it knows what it knows.

You may also want to try "slower but smarter" mode. But yes, it'll help more in a place you don't already know.
I read "submarine cables" and imagined a sort of monorail or guide-wire for an underwater vehicle. I thought, "I guess that makes sense, that'd probably be cheaper or safer than an untethered submarine".

It's funny how "good" the brain is at rationalizing misconceptions like that.

If I hadn't read a couple comments to try and see why Africa (or anyone) would need a safety-rope-assisted underwater submarine I might have gone on assuming that was just a normal thing.
There are thousands and thousands of private bootstrapped business where the founders are banking 1-10M EBITDA every year. You almost never hear about them.
There is a class of people who feel a smartphone is too much of a distraction to carry around all the time. They will carry around a flip phone that can do basically nothing beyond calls, sms, and camera.
These are otherwise perfectly normal members of society with bank accounts.

I don't know how common these people are. I happen to know a handful of them but I probably don't travel in typical circles.
It depends if you are a fan of a centralized server vs decentralized communication.

Anyway, all the complexities of using sockets/FIFOs could be hidden inside libraries.
Mississippi is not richer than Germany in the ways that truly matter. It is hard for Americans to comprehend but money is not the end all be all of being human. Life expectancy is greater in Germany. Worker conditions are better in Germany. Germans have far more vacation time. The infrastructure and way the cities are built are such that one doesn’t need a car. That expense is not taken into account when looking at income statistics. German healthcare doesn’t leave one bankrupt if you get a major illness or disease. Higher education is cheaper. Life is better in Germany than in Mississippi.

Having a few more dollars doesn’t make up for these discrepancies.
Look at the official GDP/capita numbers.

France: 43,658.98

Germany: 51,203.55

Mississippi: 48,744*

I was off on Mississippi but they are still very close to Germany's, which is good considering they are the poorest state in the USA.

* https://en.wikipedia.org/wiki/List_of_U.S._states_and_territ...
Reading this sort of stuff makes me reevaluate my life choices.
Synthetic Identity: When AI and ML Crunch (Your) Harvested Data
> The Linux world would benefit strongly from having a much bigger commitment to backwards compatibility in foundational libraries

No point when this problem has been solved with containers (docker, flatpak etc).
I wouldn't claim otherwise.
Why is it our job to establish the safety of devices? The TSA lied through its teeth about these devices and is accountable only to themselves.

https://www.seattletimes.com/nation-world/scientists-cant-ch...

https://www.financialsense.com/contributors/gonzalo-lira/a-f...
Hey, it works for Rockstar doing that with every Grand Theft Auto soundtrack.
I hope no one takes this kind of junk science seriously.

"could" is typical for wild speculation and at attempts at news-making rather than news-reporting.

Other words in that category "might, potentially, risks"

There is no climate crisis. The climate is changing, we will adapt. It's that simple.
Do you think HR isn’t real or something? If you grab your coworker’s ass, do you think they’re not legally able to conclude this happened and then fire you?
It hurt itself in confusion! Here's an archived version:

https://web.archive.org/web/2/https://www.ycombinator.com/li...
Funny, I got plumber-problem'd by this article.

> In Speed 2, a plot point involves a laden oil tanker about to collide explosively. My wife, native to a major oil port city, couldn’t follow the plot because she could tell the tanker was empty just by looking at it, so she didn’t understand why everyone was saying it would explode.

Wait a minute. Full oil tanks don't explode, but empty oil tanks full of hydrocarbon vapor do.
Yes! But you can't dismiss the techs require to culture meat, process the BSA, drive to work, buy pipette tips, clean the glasswear, etc. That's what replaces the cow's metabolism and the wasted energy of it flapping its tail.

I understand the point of lab meat. I'm not convinced that the engineering required to produce it will thermodynamically be more efficient than a cow in a field.

So, again: eat a goddamn bean.
> The system relies on AI to optimize the solar array’s output and operate the motor at 88 percent efficiency; real-world DC electric motors have efficiencies of 75 to 80 percent.

Meanwhile AC permanent magnet motors like the ones used in recent EVs are typically somewhere around 95% efficient as long as they aren't too far outside their optimal RPM/power range.

AC Induction and series-wound DC motors tend to be somewhere around 88%.
The fire truck had lights and sirens on according to updated articles, so the Cruise vehicle would be at fault
Does this mean that RMS is ideologically opposed to sudo?
whats the compressive strength of sand?

could just use that.
Is it true what they say that Waldorf is based in irrational teachings about the supernatural, and let's children go several courses without learning basic rational stuff like reading well and doing math?

I'm all for growing children with creative teaching and avoiding rote memorization, but I'd be horrified if that was at the cost of missing the best years for setting the pillars of rational thought.
The 2/3 split was intended to allow Python to get better in the future. Python 3.11 is tremendously better than 2.7, but you couldn't have got to that point without the 2/3 split first.
Mister Rogers was a genuinely wonderful person, who I always strived to emulate (and always failed to do as well as I should).

The world is much poorer without him.
Some of that is also caused by forcing everyone to show up 8-9 AM. In city I live driving to work at 9AM is nightmare but delay departure to just 10AM and it is suddenly reasonably pleasant drive. Similarly with public traffic, going at 8-9 AM is crowded, just an hour delay and it's decent.
Did the university send him to prison, or are you collapsing multiple different connotations of "guilty" into one?
> founder has made a nice lifestyle business out of their investment

It’s perfectly reasonable that one might have a medium size business supporting the local economy. It’s a shame that VC model is hostile to this outcome.
Couldn’t help but listen it in Ted Lasso’s voice. Thanks for that beautiful moment.
In "guess culture" they can't offer you help unless they're certain you won't decline the offer. So they'd have to figure out first if you're hiring movers, and if not ascertain whether you already have enough friends helping you, and if not _then_ they'd offer to help you.

I agree with the other commenters who say that guess culture is exhausting.
You're sitting on the point of view of a software developer.

Microsoft's point of view is that the underlying software doesn't matter. The user's software _has_ to run. The Application Compatibility Database (https://learn.microsoft.com/en-us/windows/win32/devnotes/app...) is, overall, a relatively small component, and all it does is apply some shims if your executable is in that list. Performance issues in Windows do not stem from anywhere near the kernel. The kernel team is absolutely top tier. The kernel itself is of much higher quality than what you'd find on Linux, or MacOS.

Now, the upper layers however...
You're only doing something wrong if you're failing to get your work done. The important part of the debugging process is the bit that happens in your head, so you should use whichever tools suit the way you think.

It depends somewhat on the type of work you are doing. Some problems are more easily spotted by dropping in and having a look at the program state, but there are problems a debugger cannot help you with at all.

I made heavy use of debuggers earlier in my career, but after a few years working in environments where logging was the only option, I found I preferred that style.
It means that somewhere the second derivative must be negative (proof: take the derivative, then apply the mean value theorem of calculus)
This is an unfortunate by-product of the times. To paint well, you first have to draw well. And drawing well can only be accomplished with both serious talent, discipline and an egregious amount of hours in classic study. Which is not so different than, say, the violin. But the art world is a cover for money laundering so there's been a collapse of criticism and expectations to the point where, literally, anything goes and almost all of it is complete dross.

There are a few warm embers still out there, as the author mentioned, but only two true schools and he missed one and mislabeled the other. The Florence Classical Arts Academy (where my daughter spent part of her high school years) and, even better, the Imperial Academy of Arts in St. Petersburg. Surprisingly, the former has as many Russian teachers as the latter.
I wonder about this in terms of capitalism.

Doesn't capitalism work?

Everywhere I've worked, the company cafeteria doesn't have to compete and usually sucks. If it was on level footing with restaurants that are open to the public, it would have to do more and do better.

Some companies slightly understand this and have an internal subway or starbucks and although they are franchises, they are generally well regarded and do well.
How would those other technologies deal with the situation where grandma signs into her banking account via app on her phone and then gets distracted, leaving her phone unlocked on the table for teenage Jimmy to find? My bank uses short sessions so I get signed out within a few minutes of inactivity. Long sessions would seem to leave grandma wide open to this sort of local attack.
That's what I mean. For this to be some place people like working, someone has to leave over the status quo. Which means they don't get to benefit from any of the work done so far or subsequently.
ARM’s Neoverse N2: Cortex A710 for Servers
Right now I'm looking at this in Firefox in KDE. I'm not sure what "one thing" either of those does. Neither deals with plain text in a terminal.

But if you want a comfortable commandline UI, I'd say journalctl does the job far better than grepping log files. And heck, it outputs text so you can still grep that if you really want to.
Are you asking why people and organizations have the power to decide whether to associate with or employ someone, while the government has the power of criminal justice? Are you mixing up those two things?
In the movie 300, after Leonidas and the 300 decide to march North towards Thermopylae. The valley & mountains in the background are REALLY from Sparta, Grecet. The producers made had sent crews to take enough photos and videos of the valleygt to accurately portrait the landscape. It was eerie to watch the movie (I grew up in Sparta) and see the mountains all around as they really are. BUT (big but here) they march SOUTH while they should be marching NORTH.

When I watched it at the cinema (in Athens) back in the day, apparently there was one more Spartan in the venue and we both stood up and shouted (using different words) something to the effect of: hey morons, you are going the wrong way, you should be marchin North!!
6502 is awesome, but Z80 had more registers, the ability to combine pairs of them into 16 bit index registers, shadow registers, a plethora of bit instructions, and repeating string instructions.
https://old.lemmy.world/
Similar sentiments, I'm already seeing this with Android and custom roms.

Right now you get away with spoofing basic integrity checks, but custom roms cannot pass hardware attestation. It's not a hard requirement right now in order to maintain backwards compatibility required to target 90%+ of android devices, but give it a few generations and it will be. At that piont I expect a majority of apps will simply be unusable on custom roms, and we'll have no choice but to embrace planned obsolescence.
Probably just didn't have filesystem permissions of any kind.
No science is based on explanations that are hard to vary (i.e. explain what they purport to without any competing explanations).

We use scientific experimentations not to prove but to rule out alternative theories.

I can explain why a given thing will act a certain way. I don't need probabilities for that.

If I need probability it's because I am just guessing and nothing else.

If I need them I am just dressing up guessing in fancy words. But I am just that.
In the interest of trying to prove myself wrong, I looked around a little harder, and preferring government sources to any old page. https://wsac.wa.gov/sfa-overview

A lot of programs seem to be targeting mostly high school students or minorities.

It's great that those groups are getting help, but I cannot help feeling left out. Is my desire for education or a better life less valuable or less important because of my identity?

Of the programs listed on that page, I have a chance at maybe two: the State Work Study, or the College Grant. The College Grant seems to look at a lot of variables, so the level of coverage may not be as "free college" as advertised, though I do make less than 200% of federal poverty at present.

The others which advertised helping disadvantaged people seemed more focused on helping women, minorities, and foster children. Fair, of course, but still doesn't seem like they'd be interested in helping someone like me.

It seems like a wonderful environment for non-white, non-male students to get a leg up. Lots of stuff to help them.

I wonder if there's a male outreach program to get enrollment and graduate rates up for men, since they've been falling for at least a decade...
It would be interesting to see a test of this idea with some sort of honeypot.
It's like the jabberwocky but it takes itself a lot more seriously.
> Most companies with 20 servers aren't going to turn into 2000 server companies.

But companies with 20 servers might actually turn into 2000 server companies once they close their seed round or series A, and you risk throwing out those lottery tickets.

It might follow a power-law distribution like with venture capital in general - one blow-out success to cover the ten lesser investments.
Right. But to many "saving the future" is to have good future for their children.

Saying that basically sounds like saying "don't have children peasants, so our the world is better for our overlord's children"
Got it. We might have to think to change the name
The same thing annoyed me too but not that much--the premise is a bit like a macguffin where the 'why' isn't important.

Pretty much anything to do with physics, especially in sci-fi/space stories. Now I see everything as a typical human emotional drama with a science/space backdrop. Actual sci-fi where the plot directly ties into it is rare, and good ones rarer. It was actually better when sci-fi was niche and what there was, was trying to be good.

Even worse for me these days than this plumbers effect is bad acting. Once my mind gets into the reality of actors doing a job, getting this filmed, and played for me, it's hard to get back into the storyline even if it might be great, like trying to return to a dream when fully woken.
True -- but how does that affect the semantics?

Both definitions say that undefined behavior can be dealt with by "ignoring the situation completely with unpredictable results". There are no restrictions on what can happen.

(The standard joke is that it can make demons fly out of your nose. Of course that's not physically possible, but it would not violate the standard.)
And how often do you hear people complaining that "interviewers only care about useless stuff like complexity" and "why wouldn't you be able to look up complexities if you really need them" (which only shows that you don't understand why complexity matters)?

The reality is that these are arcane topics for 99% of the programmers out there and even more of the self taught ones.

> did you learn what you know about JITs by taking formal classes?

No, but JITs or emulators are not fundamental topics.

One example I can give is this: solid knowledge of data structures, together with some theoretical 20-years-old knowledge of query plans and normalization, meant I could understand a database's EXPLAIN output and quickly learn materialized subqueries and denormalization the first time I needed them. Even obsolete knowledge has a core that is still valid, and experience is also about being able to recall it and apply it. If you have done some CS at school, you will be faster at this because you have more dormant concepts that you can recall.
Bank Of America requires to tell them a 2FA code sent over SMS, when SMS literally says:

<#>BofA: DO NOT share this code. We will NEVER call you or text you for it.

No, it wasn't scam, seen that process physically visiting a branch on agent's display multiple times.
Related from 11 months ago: https://news.ycombinator.com/item?id=32896580
Some people want marketing emails. Did you know some people sign up for them voluntarily? They're like newsletters of old, but electronic. And it arrives in your mailbox, ready to be rendered!

Furthermore, many emails are direct links to status pages of orders, account verifications, password resets, and so on, which are definitely most functional as a clickable URL.
> The user's software _has_ to run.

My concern is that a lot of security issues may have come from this. A clever attacker could grab recently freed memory from one of these programs and inject malicious code to enjoy whatever other weird privileges the original program has, because marketing said it can’t crash.
What's the conversion efficiency of DC-AC these days?
And makes any discussion absolutely obnoxious with the usual "if you don't agree you must be on the other side and be the enemy"
Because things in space do not scale linearly, and sending 10x smaller sats is not the same as 1x 10 times larger sat. Some missions require larger fairing/lifting capacities.
> That's all very well as long as people actually do that. It doesn't always happen in practice. And even when they do, the abstractions are likely to be leaky ones.

They don’t have a choice under “railway oriented” API in a typesafe language — they must translate the subsystem’s error types to their own error type.

If the abstraction is leaky, at least it’s well-specified.

How is that worse than having no abstraction at all, and leaving callers with no idea what error cases an API might raise?

> How? Please provide a code sample to demonstrate how you would do so.

In what language? What data structure?

If we assume Haskell and Either, then it can be as trivial as:

first mapError someResult

Scala’s Either?

someResult.left.map(mapError)