skysight-inc/HackerNews huggingface dataset:
> If it's provably input-conditional then of course it's impossible.

My entire point pertains to programs with input-conditional UB: that is, programs for which there exists an input that makes it result in UB, and there also exists an input that makes it not result in UB. Arguably, it would be more difficult for the implementation to prove that input-dependent UB is unconditional: that every possible input results in UB, or that no possible input results in UB.

> But the C implementation does not have to obey the sequence point rules or perform observable effects in the correct order for invocations that contain UB

Indeed, the standard places no requirements on the observable effects of an execution that eventually results in UB at some point in the future. But if the UB is input-conditional, then a "good" execution and a "bad" execution are indistinguishable until the point that the input is entered. Therefore, the implementation is required to correctly perform all observable effects sequenced prior to the input being entered, since otherwise it would produce incorrect behavior on the "good" input.

> E.g. if you write a program to search for a counterexample for something like the Collantz Conjecture, that loops trying successively higher numbers until it finds one and then exits, GCC may compile that into a program that exits immediately (since looping forever is, arguably, undefined behaviour) - there's a real example of a program that does this for Fermat's Last Theorem.

That only works because the loop has no observable effects, and the standard says it's UB if it doesn't halt, so the compiler can assume it does nothing but halts. As noted on https://blog.regehr.org/archives/140, if you try to print the resulting values, then the compiler is actually required to run the loop to determine the results, either at compile time or runtime. (If it correctly proves at compile time that the loop is infinite, only then can it replace the program with one that does whatever.)

It's also irrelevant, since my point is about programs with input-conditional UB, but the FLT program has unconditional UB.
Doesn't this violate anti-discrimination laws? It seems like this discriminates against US citizens (discrimination by national origin).
I remember when the council of Nicaea blessed the day to honor Santa Claus with lights, a tree and, of course, plentiful gifts for the non-needy.
What would you rather the CEO say? It’s easy to complain about everything but orders of magnitude more difficult to think critically and offer ways to improve it.

It’s more difficult but that desire to think critically and put in the effort is what makes the community here so much better than most sites.
I don't know if it's only the Baader–Meinhof phenomenon or a real impression but for the past few weeks I've seen a lot of testimony and articles on ADHD (on hn and other media). Some friends also started to mention it more than before.

I always recognize myself in those testimony and I think it's time to do something about it. So thank you for your message!
Selling an uncovered call in theory (or selling a stock short) opens you to infinite losses - though brokerages are loathe to give you this capability it does exist.
the problem is he also have so f**g wrong opinions about so much s*t, but yes when it come to software he was right all the way, that make follow him a mental gymnastics marathon.
Mostly because it's not the blockchain part that was hurting the project.
Given that we're bad at carbon storage, this seems reasonable...
ETag (paired with If-None-Match header sent by the browsers) is another caching header to be aware of.

https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/ET...
Even without millisecond precision, you could embed multiple assets that are served with slightly different timestamps to encode a unique identifier.
Show HN: AudioGata, a plugin based Web Audio player
what you're suggesting is pretty much impossible if you have kids or a family
The OP used capital "E" engineering, so I'm assuming they may mean an ethics course for licensure, which is required in many states. With that said, I you generally aren't required to have an engineering license to work at NASA.

A different charitable take is that ethics courses are generally a recurring requirement for government employees. I'm not sure how much impact that has on actually ethical behavior.
I don't know if it is so much the Jones Act or the critical mismanagement of our rail system. Removing the Jones act would kill our entire domestic merchant marine fleet. Fixing our rail system would be a MUCH better option. It would reduce total usage of diesel by reducing long haul trucking and provide transportation options for Diesel by tanker cars.

20-30 trains can carry a similar amount of fuel as a tanker ship without having to pass through harbors, burning MUCH less fuel, and delivering directly to refineries.
Permissions (access control) in web apps
Do you hold this same view about adults and police?

Are we denying women a chance at personal development by having police arrest rapists rather than forcing women to develop the necessary skills of interpersonal violence to defend themselves?

…where is the line?
- have their pay adjusted to reflect the poor decision making lead to the company shrinkage

- have a portion of their stock allowance taken back and have to be re-earned based on performance

- have their other benefits and expense account cut and have to be re-earned based on performance

Basically have literally anything they benefit from have to be justified in any way as a reflection of the holistic performance of the company.
Affects: All supported versions of FreeBSD.

What about older versions?
If you have a iPhone in China you'll find that Apple crippled the air drop functionality that protestors rely upon to communicate. I don't see this action and that one as having much daylight between them frankly.
Hello, over the course of the year I've been creating web apps that can utilizes user created plugins to access data and provide playback from third party apis.

The plugins use sandboxed iframes on their own subdomain in order to safely run the the user's code. It works similarly to what is described in the figma blog post [0] about their first attempt to create a plugin system using iframes. Currently, audiogata's plugin system is pretty simple and most plugin methods are there for audiogata to pull data from the plugin so the problems they outlined aren't as big as issue for this application.

Also, because certain plugins like spotify-audiogata use the official playback api, it is necessary to use iframes with allow-same-origin set in order for them to function properly. Because of that, the plugin code is ran on it's own domain separate from the host application for security reasons.

I've also created VideoGata [1] which is the same as audiogata but for video.

[0] https://www.figma.com/blog/how-we-built-the-figma-plugin-sys...

[1] https://github.com/InfoGata/videogata
Hah, yeah I do worry about the cardio effects of stimulants esp now that I'm past 40. I may try the smart watch route as well.
Submitted about 4 times in the past 24 hour.

One instance got a little traction:

https://news.ycombinator.com/item?id=33783776
In fairness, Kraken is regulated and I suspect can't be involved in any of the crypto scams. I'd imagine they really hold deposits as they should etc.

So for them it's the fact that markets are down and people aren't punting crypto, rather than "we took the USD deposits, turned them into shit coins and we're insolvent" kind of thing.

I think.
I think the bitterness comes from the big payoffs that CEOs get when the company does well. There's something upsetting about leadership taking the upside reward for the big wins but leaving the downside risk for everyone else.
Thats what ETag is for.

https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/ET...
Surely if that was being used to specifically increase sales an analogue of cancel culture wouldn't really do anything since the zeitgeist held that opinion somewhat, if it was enough to drive up sales for a company of ford's size.
Deliberate practice.

There's two main ways to do that.

1. Have a coach or someone who is good at the skill help coach those who are not so great at it.

2. Have some way to capture data that allows you to know how well you're doing. Page views, engagement rates, happiness of content, etc.

The best approach is a combination of both. But the generic advice would be "write a lot and promote the ability to write a lot" and you'll figure out the deliberate practice side out later.
This project idea falls under the category of "moonshot project". And it is an open source and not for profit idea. I don't think anyone will invest in the usual sense.
CGNAT complicates matters even further. Sometimes I'm placed way off within <country> if a site tries to go by GeoIP databases, as the provider placed a bunch of households behind a single address.
Yeah nice try. Law makers are not that stupid. Any way of storing personal data is subject to this regulation.

And before you try the next thing, personal data is everything that can be linked to a specific user, e.g. IP addresses have been ruled to be personal data, some uuid that helps you identify a user as well.

People should really read the law, and/or at least literate commentary on it instead of assuming things or repeating what someone else assumed.
Apple already applied a change in how AirDrop works in China[0]. It's fair enough to assume that they won't say "no" to the CCP.

[0] - https://www.businessinsider.com/apple-restricted-airdrop-cap...
Concentration of wealth could be one reason. Getting one petrol mogul angry in the 80s was no biggie, today’s billionaires will literally buy your whole newspaper out.
I haven't followed him for over 15 years when he started branching out from software into other things. What crazy has he accumulated since?
Reddit is replacing fora, unfortunately.
Nice! Maybe someone should create an opinionated git front-end to enforce some of these patterns on a team.

The irony, IMO, is that Linus prefers C to C++ exactly because C++ gives developers too much rope.
https://github.com/mozilla/firefox-translations/issues/374

Maybe it will get implemented
Whoa, slow down with your elitism.

Who do you think you are?
> I certainly would think the images are unaltered

You should consider developing your critical thinking skills.
I feel envious of these folks getting such a nice severance. It would be rather nice for me to be laid off with a great cash flow of money and take a long vacation.

Naturally my life is financially in order (no debt, no kids to support, no visa issues), so I recognize my privileged position, and I say this as a first generation US immigrant who went through many precarious visas including H1B. Envy was nonetheless the first emotion the article evoked in me.
I wonder what part of "curl has to run on many versions of a single OS" is so hard to uderstand that people keep making dumb example like this.

Porting a codebase to a specific target is way easier compare to porting it to multi version of the same target, especially the older ones.
A somewhat common way for CEOs to take responsibility used to be to forgo their bonuses or to take a pay cut, which while still not too meaningful, does at least involve some more responsibility than just plain PR speak.
How is it discrimination if they set the termination date for ALL employees to March 1, 2023?
Yah, I don't think anyone minds those kind of rebases. It's when they're done on shared branches like master that they're incredibly messy and dangerous.
You are lucky. It happens on many Apple teams, Facebook at various times, every game company, the movie CGI industry, etc.
These days I am careful not to get suckered into a work situation like that, I’m too old for that crap.
I went a different route. I went through my primary care doctor. I told him I'm getting in trouble at work due to procrastination and lack of attention. I also said my wife and friends/family have been complaining that I never listen anymore. I asked if I could be evaluated for ADHD. He sent a referral to a provider with https://lifestance.com. It was only two appointments with the LifeStance provider to get a diagnoses. Once my doc got the diagnoses back from LifeStance, he's been in charge of prescribing the meds.
/doubt
These days, I agree more with Republicans than Democrats. It used to be exclusively Democrats during Obama days.

I've always been a classical liberal: https://en.wikipedia.org/wiki/Classical_liberalism

These values are unthinkable for progressives today.
I pretty much concur. The worst part of being bullied for me was that I was punished for defending myself by the adults around me. I got charged with assault in middle school after winning a fight with a kid who chased me to the bus stop with a metal pallet strap whipping me, as soon as we were off school grounds I turned on him and beat him down with a textbook.

We both were arrested and charged, and I was told to my face by a judge that “there is no such thing as self-defense in schools.” Which is not only a bald-faced lie, it’s unconstitutional. You have a right to be secure in your person, and a right to self-defense, well established by the Supreme Court in case law and described in the Declaration of Independence.

I also didn’t get bullied again at that school after that incident. Self-defense is not just a right, it’s an imperative.
Thanks for this video!

It shows a nice layout with 3D-printed holder, pogo-pins, ESP32 Lolin as programmer, with CC2531 RF dongle as the access point.
> You're that guy that comes in here every day with a yellow hat

Yes but you have absolutely nothing at all to associate that back to a person. Where are you going to find the data "personal information of some kind of the people who visit your site a lot?" You're not collecting it.
Where should my priorities be to improve my health?
How much effort does it take to set up, though? I thought the CSS variable system was pretty rudimentary.
By that logic is the existence of visa programs discrimination by national origin?
I'll be seven months in as of two days from now.

I find myself making way too much food, and having to freeze things back. Things I used to make in bulk that would last us 3 meals now take me over a week to finish, if I don't just throw it out.

If I don't want to cook, the thought of going out to eat by myself, getting a table for one, just feels pathetic and I don't want to do it. If I order delivery, I still end up getting too much.

If I make some new thing, something she never got to try, I feel like crap because it's another experience we didn't get to have together. Same for going to a new restaurant. All of this will get easier with time but I wouldn't wish this life on anyone.
https://fortune.com/crypto/2022/11/29/sam-bankman-fried-poli...

> Sam Bankman-Fried’s donations to Democrats are well documented. In an interview released Tuesday, the former FTX CEO said he similarly funded Republican campaigns—but kept it quiet.

> “All my Republican donations were dark,” SBF told crypto influencer and YouTuber Tiffany Fong, referring to political donations that aren’t publicly disclosed. “The reason was not for regulatory reasons, it’s because reporters freak the fuck out if you donate to Republicans. They’re all super liberal, and I didn’t want to have that fight.”

His co-CEO also publicly donated millions to Republican causes. https://www.opensecrets.org/outside-spending/donor_detail/20....
No, you're wrong. I made the same suggestion.

"Communication" starts with realizing that you have to meet people where they are, not expect them to adopt your style. You have to have some respect for them.

"Avoid unnecessary adverbs" would be another easy one ("unhelpfully signalling your disdain")
The marketplace is an open ecosystem, yes! Anyone can build their own components and apps and submit them. More details here https://www.patterns.app/docs/marketplace-faq/, and guide for building your own: https://www.patterns.app/docs/dev/building-components. It's early days but our goal is coverage of all data sources and sinks, the ontology layer of common transformations and ETL logic, and AI / ML models.
On front page now:

https://news.ycombinator.com/item?id=33803505

(40 points, 35 comments)
> while on a relaxing vacation 40 years after it was planted

Maybe we need an international treaty on maximum lifetimes for things like landmines. After 10 years they deactivate. That way if the war continues you need to re-plant but at least you have a well-defined lifetime for when an area is safe after a war.

If these were digital devices it would be fairly simple to accomplish, but I suspect a lot of these are far more primitive. How hard would it be to add an expiry that for example was accurate enough to fail reliably between 9 and 10 years after deployment?
Are Startups Worth It: Mission vs. Engagement
What’s Behind the Exploding Prices of Pro Sports Franchises?
Honestly, fair enough. I didn't initially get that out of that comment, but I can see how you meant it.
Framework Mainboard Inside a Keyboard
If the CEO says they'll resign, people will say they're taking the easy way out, and anyway, it's no skin off their back because golden parachute (if they were a good negotiator when they were hired) or anyway their salary was probably high, etc.

It's an unwinnable game in the court of public opinion, so why do it? Because it signals to the underlings that the CEO is not expecting resignations from them.
We tend to object to people considering it normal to track us. Regardless of means.
That question reminds me of those equality vs equity pictures. I'm not sure I even agree with those definitions, but it's a commonly spread explanation. https://www.marinhhs.org/sites/default/files/boards/general/...

So one question is then, which view does a court take?
Do you take it every day? I have always been nervous about "on medication" being my default state. I like taking it before a focused work day, but then I feel like I am missing out on the other benefits, like just listening to whoever I am having dinner with, being present, etc..

From a programming standpoint, sometimes the drug makes me more confident and enthusiastic, which results in me spewing out a few hundred lines of well written but ultimately misguided code. I guess self-doubt and anxious overthinking has a purpose.
Physicists Created a Wormhole in a Quantum Computer
> "But no new file handles can be opened. One by one as processes close file handles, they can no longer open new ones, until the last user has released the last handle."

Or, you know... the computer has to restart itself for some reason before the file was fully deleted, and you get a fragmented disk.

If I'm asking to delete a file, I want the file deleted. I want to know whether the deletion succeeded or not. I don't want it to secretly hide in a purgatory somewhere.

Is this the year of the Linux desktop already?
Where is the convenience? The few times I tried it ended up being more hassle than it was worth.

I have a car and a bike. I can just go pick up my own food. It doesn't really take any more time.

The only major use case I can see is for parents with young children. You can't leave small kids home alone, and getting them in and out of cars is a huge hassle. Maybe also for disabled people who have mobility issues.
Wow.

Soon we'll have US police departments demanding that phone providers delete pictures of police brutality, or even traffic stops. See this story, where someone was live-streaming a traffic stop so there was no way seizing the phone would lose the data.[1]

[1] https://www.washingtonpost.com/dc-md-va/2022/11/29/livestrea...
I'm hoping to see a GPL revival with a shift back from MIT/BSD. But one can hope.
This is the umpteenth post on the subject in weeks. Why is this such a big deal? Who uses JPEG XL? I don't think I've ever seen a JPEG XL image in my life.
> I will whip myself once for every employee I had to layoff

I like the sound of that! Joking aside, while physical harm may not fly I can imagine a scenario where it hits the CEOs' wallets either by losing stock options/grants or actual salary based on the number of employees they had to layoff. Because seriously, what does it even mean for the CEO to take responsibility when there are no actual consequences for them? If they're doing it to save the business (which they are) then just say that instead of saying they take responsibility as the latter is just virtue signaling.
I don’t need to read the Economist any more because everything I needed to know was on this comment.
What's weird is that there was a freakanomics episode that basically mirrors this comment section: https://freakonomics.com/podcast/is-google-getting-worse/
No, by “also” I was referring to cryptocurrency markets not the 30%.
FWIW, Kraken is the most reputable and longest-running CEX. They even precede Coinbase.

Edit: more better words.
Completely missed that. What a cluster of assholes. Guess I should start thinking about the inevitable exodus. The CSAM scanning thing was the first strike off.
Well, bullying is many things, and I think the exact issue is that the conversation lacks nuance. As I mentioned in my first post, conflict which is evenly matched should not be regarded the same way as conflict which is not. If you are attacked by a group of people, or someone substantially larger than you, then intervention is warranted. Ideally this intervention is carried out by older peers. If you're being bullied by one of your peers, you need to learn the skills to resolve that conflict. Sometimes escalation is the best tool, sometimes avoidance is. There's no panacea, but it's something we all need to learn.
Yes that’s right, FLoC is explicitly using personal data. But now consider that that data is “you visited a gardening website in the past month” and compare it with “you visited this website 3 times yesterday” and the two methods don’t look so different.
I agree, there is no correct or incorrect way to do art or express yourself (with some obvious exclusions like racism, harassment, etc)
Swimming naked feels great and is plainly superior to swimming in a bathing suit. If you read between the lines, Buffet was clearly recommending that everyone swim naked and put their full net worth into crypto.
Remember the CEO is also accountable to the board and investors who have certain expectations.

The morality here is hard because the end results are largely driven by the system. Sure, there are some leaders who are particularly ill-suited for their jobs from the employee POV. Unfortunately some of those leaders serve their investors quite well.

If you point one finger, you'll quickly realize you might need many more to follow the interconnected trail of power.

Also let's not forget that so much of Silicon Valley's advantageous job market is linked to investor behavior, good and bad. My point? Sure, criticize these feaux-emotional layoff letters, just don't forget to look back to see the reality distortion field already in place when you joined that job.
I’m interested in the ratios - things like for every X coders you need Y managers and Z HR people, that kind of thing.
Pretty basic article but Estonia is a fascinating place, especially for e-government. There was a great longform New Yorker article on it a few years back https://www.newyorker.com/magazine/2017/12/18/estonia-the-di...
People are just noticing how their Twitter timeline changes rapidly.

1. Tweets about Ukraine have radically decreased
2. Elon posts increase even when you don't follow him.

I'm not saying it's intentional. It just shows the power of algorithms. They dictate what is and what is not news. Even small tweaks matter.
It's not speed. How in the world is this myth still around?
Makes sense. I’m not very experienced in privacy but could you explain why uniquely identifying the user is a problem? As in you can tell that there’s one user who visited 100 times but how can you use that information to correlate with an identity?