skysight-inc/HackerNews huggingface dataset:
My claim is, "If a program violates the semantic rules at runtime given input A, but does not violate the semantic rules at runtime given input B, then the execution of the program given input B will be defined by clause 5." This is because the wording of 4/3 implies that "being constructed according to the semantic rules" is a function of both the program and the data it is given, such that the behavior can be defined on some inputs by clause 5, but undefined on other inputs.

As I understand it, your claim is, "If a program violates the semantic rules at runtime given input A, then the behavior of the program is undefined given input B, even if the program would not have violated the semantic rules at runtime given input B." Am I misunderstanding your claim?

> I linked this in a sibling comment, but there was a proposal to amend C2x's wording here to specifically exclude this type of insanity (n2278), but it wasn't adopted because it could potentially prohibit optimizations and the working group doesn't really want to address the issue of undefined behavior with more definitions.

N2278 seems entirely irrelevant to this question, of whether potential UB given one input can cause unexpected behavior given another input. Instead, it seems to say, "If the program violates the semantic rules at runtime given input A, causing UB, then the implementation is forbidden from making that behavior identical to the program's hypothetical behavior if it had been given another input B." That looks pretty unworkable in the general case. (E.g., must compilers operate as if an out-of-bounds write on one object can modify the value of a totally different object?)
I've never used Pascal but i completely resonate with your experience of old manuals. They were well written and one could use them to study and not just refer to.
Turbo Pascal was great, but it says something nasty that the useful Pascal implementations are all non-standard and, most of them, proprietary.
Yes. There are a lot of, lets say "humble statuses" out there.

For example "has 2 years of dev experience" is a status.

So you can aim for this status, then change jobs to get

"paid over X a year" status.

This status then is seen by the mortgage company.

Then there is the TEDx talk, 10000 start github repo, well know youtuber etc.

These can be carefully crafted stepping stones.

Status as an intermediate goal can be a good thing to use.

Status as FOMO is probably not.
Ars would be better if it wasn't for their auto playing videos.
I do meal prep. I have a set of Pyrex food storage containers that I bought at Costco for $20 and change. I do an hour of cooking and it allows me to have breakfast, lunch, and dinner for three days at a time. It’s hard to imagine what life was like before this.
> but saw a nipple? End of the world.

Sounds funny on the surface, but it's more consequential than that.

A legit/legal Asian paid porn site that I used to visit was shut down because American credit card companies decided they didn't want to get involved in that business. It's the kind of things that drives people to crypto (disclaimer: I never owned any crypto), and it's not just because of ideological or scammy reasons, sometimes it's just to get away from American hegemony in the finance sector.

There are other similar but more sinister things like these: https://www.vice.com/en/article/pa8xy9/is-the-doj-forcing-ba...

It's fine by me if America is just enforcing their morals within their own borders, but given that the USD is the de-facto world currency, these policies get exported everywhere.
someone runs them in a loop to orchestrate a DAO https://en.wikipedia.org/wiki/Decentralized_autonomous_organ...
Let's acknowledge the technical theft. Because of that, the fair gets to ignore the warrant itself and slaughter the goat even when the warrant specifically called for an arbitration?
> Parental control software is counterproductive, and will generally only lead to them trying to outsmart you, which is a bad precedent.

Not necessarily..
What Josef wants is an open patent ultimately. That’s fine. Just don’t call it open source. Patent all the things you can and then publish whatever you like. There’s no shame in patenting work you actually made. Publishing patented work under whatever license you want to make up is better than a fully closed product by a mile. Instead of hang wringing over what is the soul of open source just stand up and honestly say “Hey I’d like control over my own work” then share it or don’t as you see fit. It’s far more honest and straightforward.
Are you referring to the broken window fallacy? Never heard it called a theory
With all sorts of criminals preying on neighborhoods to steal and rob and easy access to guns how can someone imagine the neighborhoods safe for kids?
Maximizing Strength: The Stimuli and Mediators of Strength Gains
> I would be concerned if I see a kid walking alone without any clear purpose/destination, but even then, an isolated incident is not going to be a call to CPS.

You're damning yourself with faint praise, here. Giving kids independence means that they're regularly going to be outside alone (or with friends), and often without a clear purpose or destination. And it's sort of sounding like you'd be considering calling CPS over that.
Sure I do. I'd go so far as requiring a license to use AI, the way we do far automobiles and guns. This experiment we are doing releasing it into the wild with all the mental illness, drug taking and religious fanaticism going is not going to end well. I predict we'll have to scale it back at some point and do more controlled access to advanced AI.

But Elon Musk's call to stop development? Not only is that unworkable, I don't believe for one second the he and his team would stop development. I wasn't born yesterday.

And Eliezer Yudkowsky Time article? I saw Peter Doocy quoting from it on national TV at a White House press conference that if we didn't stop development of AI now that we were all going to die and instantly thought, what is Rupert Murdoch up to now, scaring his Christian viewers with this stuff?

Then I read a Fox News Headline "Elon Musk’s warnings about AI research followed months-long battle against ‘woke’ AI" and felt sick inside. I want the America I grew up in before a guy from Australia and another from South Africa ruined it.

https://www.foxnews.com/politics/elon-musks-warnings-ai-rese...
I'm only talking about the purpose of the 8086 as a stopgap for the very late 432. I shouldn't have mentioned the 8088.
He did write a book called "Be Slightly Evil"
Learned Pascal because it was all I could download quickly and use with limited internet in the swamps of Florida in 03-04. Honestly I feel it made me a much stronger programmer by giving me a completely different paradigm while learning Java going for CS.

It is a solid language, but I wouldn't really recommend picking it up today.
I've tried running around the park, I've tried running around the track, I've tried road running, I've tried cross country running, I've tried treadmills. Every time, I keep it up for a couple of weeks and then I get horrible shin splints. Or I bust my ankle, or I can't commit the time to do a good loop because it's winter and dark all the time. One way or another, I stop, and I don't go back to it for another year. I've learned to stop fighting it. I just don't like running that much, and I'm ok with it.

The point is, I mistook my dislike of running, cycling and HIIT for a dislike of exercise for basically my whole 20s, and it turns out that's not true at all. I just had to figure out the version that worked for me.
Quite a few countries. Definitely in Singapore and Japan.

People here in Singapore sometimes leave their wallets or phones on tables in food courts to reserve them. Unlocked bikes don't get stolen, either.

(Our police here in Singapore sometimes runs awareness campaigns on pickpocketing with the slogan "low crime doesn't mean no crime" to get people to watch out. It's not really necessary, though.)

When I was in Chiang Mai in Thailand last year, the locals also left stuff around and didn't seem particularly worried about petty theft.
It was actually the next CEO, Gil Amelio, that cut off the clone makers.

Except for UMAX, who accepted the new clone terms (that would give Apple a % of sale price instead of a [too-low, assuming that the clones would be a race to the bottom] fixed fee per machine sold) and actually got to distribute MacOS 8 for a while.
It's infuriating that there aren't even small trucks available to buy anymore. The closest thing is a Maverick but they're backordered a year at 50 percent markup.
whenever I had holidays I'd go home from uni and just feel sleepy all day. My family always wanted to go out but would cancel plan because of me. I never felt that sleepy back at uni tho.
Twitter – Algorithm Manipulation via mass blocks
https://www.theatlantic.com/magazine/archive/2014/04/hey-par...
What is the "trad cult"?
I think this comment misses the point of the article.

The article doesn't say you shouldn't work on projecting status for specific outcomes. If you want to raise money from venture capitalists, you should try to present yourself in a way that venture capitalists perceive as worthy of investment. If you think that VCs invest based on Ted talks or viral tweets, then do that.

There's a world of difference between executing a social media strategy to support your fund raising efforts and desperately trying to appear high status on Twitter to soothe your feelings of inadequacy.
I don't known if more laws and regulations are the answer here, or if it'd have undesirable secondary effects in certain situations where it really matters, but I feel like this behaviour as you describe it should itself be unlawful.

You should not be permitted to deliberately harass people you don't know doing nothing wrong in this way, it's that simple. It's a question of individual liberty in the end.

I'd hope the police would actually have a private word with them to this effect to be honest, when they do 'report' it. I assume not, but do you know if any ever have?
PromptMate – Give ChatGPT Control over VS Code
Any solution to this problem, as many tropical countries may become inhabitable during summers?
I regularly see kids aged 8-13 playing outside on our block. I always look to make sure they are OK, not hurting anyone or anything, and I’m reminded of my childhood of roaming the suburbs of Minneapolis.

I have a 5 and 2 year old and will definitely let them play unattended when they are older. We are just at the “you can play in the next room unattended while I cook dinner” stage. Yet, I can totally see the pressure from others with them seeing it as neglectful.

Cars and deep water. Those are my two biggest fears. And they scare me to no end because they are very real threats. To a lesser extent: trains.
VoidTools Everything FTW. Naming things using /common words is a wee pet peeve, but the software is pretty great. Just a few random things are either mouse-only, or a sequence of focus-shifting keystrokes.
> Cost of goods sold only sets a minimum price.

Colluding to price gouge consumers when costs have not increased is illegal behavior.
The sad fact is, there is a truly real evil going on when it comes to many rights. Parental rights are just the most recent battleground, and no one does a thing to curb it.

Also, I don't mean a cultural evil, as most people dismiss this as just being your cultural opinion. I mean the type of multi-cultural evil that strips people of their ability to respond (agency), tells them misleading lies, promotes flawed and self-defeating beliefs, causes loss in one form or another, and worse most of the time the people doing this are mentally ill but you still have to deal with the outcomes.

This is a real problem because if you conform, you are tacitly approving of those beliefs and your children will learn socially from your response to it. Unfortunately, in a world where you get CPS or the police called to charge you with child endangerment its a pretty mad world, and its happening more and more.

An interesting parallel are these philosophies that you can somehow make things safe, all ultimately fall into some form of socialist or fascist narrative where someone at the top decides what is or isn't safe because you as an individual are unimportant comapared to the group which is paramount.

These narratives are very common in totalitarian and fascist societies that use propaganda and political warfare to kill potentially disruptive thinking.
To be fair, PowerPC was dramatically faster at the time. Akin to the jump with M1.
'McDonald’s asked them to work from home from Monday through Wednesday so it can deliver staffing decisions virtually'

wow, too weaselly to fire people face to face.
Matte paint is available on some cars from the factory, most notably, some German luxury cars.
> It has always been about the TikTok’s governance structure, which [...] enables espionage and/or psyops [...]

The proposed solution to the TikTok problem is the RESTRICT Act, with language so broad and vague that it would make VPN usage a felony. It may just be incompetence on Sen. Warner's behalf, but otherwise, it's also about an opportunistic power grab by the US federal government.
Nix and Direnv
Which really existed for how long? YC was one of the groups that created that system.
that sounds like you either never tried Linux… or maybe sometimes 25 years ago. The reality is (and has been for quite a long time) that Linux actually takes far LESS time than Windows. Heck, when I see the type of shitty problems I hear from Windows users, I wonder why they put up with it.
That's true, but going to India is not frequent for a lot of NRIs/OCIs.
Also, NRO account essentially means you are putting restrictions on repatriation of that money. For people who want to repatriate back, NRE is much better and those processes are very painful for demat accounts.
>> the only way to ensure civil forums

GPT will likely come to the conclusion that the only way to ensure civil forums is to keep the humans out entirely.
Browsers already do quite a bit of this -- for example one easy way to hurt performance is to have events that trigger on scrolling ( https://developer.chrome.com/docs/devtools/rendering/perform... ). However, the current way to fix this is "don't do that". I'm not sure it would be faster for a page to announce it won't do things in advance, than the page just not do them, and then the existing fast paths get used.
Dont you find it somewhat curious that you, in your echochamber of Maddow/Mueller, have not heard of this very real thing contrary to what you would like to believe is true?

And when confronted with information that taints your view, you advise the reports of the very people who would keep you from knowledge of that information.
Well Prusa was considering a less open but “source available” kind of license, which as you say would do nothing to stop unscrupulous people.

Also we did have luck forcing Creality to release their source code once it was found that they violated the GPL.
One of the few mitigating things of agw is that it predominantly hits Arctic climates and the impact to tropical locations is comparatively small.

If India was warming as much as Nunavut, they'd all be dead already.
Anglish: English without the 'foreign' bits [video]
now, yes. Not when it started.
Instead of denying your desire for status, surround yourself with people who will award you status for doing the things you want to accomplish.

We have a whole mechanism in our brain dedicated to chasing status — harness it!
We generally agree except that:

1. Agencies necessarily have limited scope and tools available.

2. In practice, not all complex topics can be handed wholly to agencies in a democratic system, inevitably people and legislators want a say on some of the bigger issues (housing, healthcare, etc.)

It's worth noting that agencies today are heavy users of gray area laws and still often find themselves overburdened with policy decisions. Iterated gamesmanship can only make that load heavier.
Jessi Combs not Kari Byron
Right, and (as I understand it) vendor neutral is a selling point of Terraform
What a breath of fresh air this comment is. Westerners truly suffer from a terminal case of "main character syndrome." It's really a bit hard to believe the comments here, as if the west of all places hasn't been historically very keen to damage OPEC members (especially in the Middle East). But for some reason, they should still act in the west's best interests, to their own detriment for... reasons?
I live in what I’m imagining you would consider an “unwalkable neighborhood”. It is very safe and suburban. There are 2 parks in about a 3 minute walk and 2 more in less than 10 minutes. There is also a canal a few minutes walk away and a McDonalds within 10 minutes. This is the kind of stuff kids like to do yet I see no reason why my 10 or 5 year old have any business doing it on their own.
You still need a waiver.
Tencent TDSQL breaks TPC-C record
On March 30th, the Transaction Processing Performance Council (TPC) released its latest rankings: Tencent Cloud's TDSQL set a new record with a performance of 814 million tpmC and a cost of 1.27 RMB per tpmC. This achievement placed TDSQL at the top spot for both tpmC performance and cost-effectiveness in the world.
When I lived in New York and worked at a trading firm, I met plenty of "high-status" people. They usually lived paycheck-to-paycheck on a 7-figure salary because they were busy playing status games - giving a few hundred thousand to charity, having a big loft in a nice neighborhood, throwing lavish parties, etc. Other people saved that money and retired at 40 to places like Wisconsin and Montana - they had wealth. Status is expensive. The only people for whom it is cheap are the uber-wealthy, those who earn $100 million a year or so.
I use Freshbooks and Gusto to great and simple effect in my one-person consultancy that's a C-corp for reasons. Income and expenses go in Freshbooks, payroll goes out through Gusto, I don't have to worry about much more. Quarterly reports on expenses are simple to generate. Cash accounting takes care of the rest.
> I experienced this myself when running my first company. We had been bootstrapping for a year when a competitor entered the space and raised $10 million.

This brought up a lot of insecurity....Comparing myself to them, I felt like an outsider—like we were missing something or approaching the business wrong.

I can see how status would be at play here, but if I were a founder whose market had just been crashed by a competitor that raised a ton more money, I'd mostly be worried. Even if I thought I was smart for taking a bootstrapped approach, I'd be concerned that having a well-funded competitor would make life much harder.
At this point there are much worse American things.

In a small European country's facebook I can't have a day without a payed onlyfans advertisement hidden in a story about a poor teacher who became rich instantly after she started a side job.
Fair enough :)

There's the problem of badly designed APIs, and there's the problem of crap hardware that lies to you.

IME, it's difficult to ensure that data "written" to disk has actually reached the disk, without disabling the drive's cache. This was true even with spinning rust, and continues to be true with SSDs. I'd rather not get started on read-after-write, with inline checksums in order to verify that your disk isn't lying to you.

In an ideal world, we'd have both well-designed APIs as well as hardware that isn't crap. If I had to choose between the two, I'd go with good hardware, because the API problem can at least be worked around - albeit with a significant investment in time, effort and pain.

I feel your pain, and wish you good luck in your efforts.
Those forces only exist in certain areas. California is a great example of everyone being a nosy fuck.
It feels like AI and automation instead of freeing us from drudgery are poised to free us from art and science so we have more time for drudgery.
It’s like Skyrim modders making the perfect load order with thousands of mods, but go “meh” after a few hours of playing, and the thing starts all over.

In such a case you are not a writer, you’re a tinkerer/mechanic.
just like poor people choose to be poor.
https://www.loveandlogic.com/

https://www.criticalthinking.org/

The two links above are good for raising children and teaching them to think with empathy and compassion. Schools should follow one or the other.

My father was a Drill Instructor Dad, always yelling at me, ordering me around. But he let me play outside with my friends in the streets and parks. Back then you didn't have to worry about pedophiles grabbing kids or school shooters. So I can see why some parents want to be helicopter parents. But you want your child to grow up independent from you so they can do their own thing. You don't want the dependence for the day you die, they won't know what to do.
Not ironic at all. The Mars trilogy is hardly a utopia. Instead, it's a repudiation of our political economy. Certainly his recent Aurora is an overt criticism of terrestrial hubris which posits that future generations would, if they could, come back and punch us in the face.
Show HN: Resource Forks
Many US states are size equivalent to entire EU countries. There’s no need to let the EU control those countries directly, same goes for states.

Going one level higher up the chain doesn’t gain anything other than further separating people from policy makers.
> I would be concerned if I see a kid walking alone without any clear purpose/destination, but even then, an isolated incident is not going to be a call to CPS.

Do you realise how threatening this sounds? You are all but implying that if you, conversely, see a kid outside a few times and can't figure out their purpose/destination, you might just call CPS. I wouldn't trust most kids to manage to look unambiguously purposeful to adult strangers most of the time (when I myself was in 4th grade and going to a primary school in a neighbouring town, I would frequently get distracted by something and miss three or four once-in-30-minutes buses in a row), so you're essentially saying that you may CPS on a whim after seeing the same kid multiple times in a row. If I lived in the US and knew I had neighbours like that, I would not risk letting any kids go outside on their own.
That isn't actually true. Ukraine's entire battle management system (Delta) runs on Starlink. The issue is specifically where Ukraine used the system to control long range aerial drones which were mostly old Tupolev models and suicide drones. That has been an ongoing issue that Ukraine obviously hasn't wanted to publicize.
TSA's Biometric Screening May Not Be Optional for Long
I don't think you have noticed. But politics has devolved into being anti-woke rather than making adult policy decisions.
I agree wealth buys optionality, but regarding variance wouldn't that imply wealthy people have better and worse outcomes than nonwealthy people, who would have consistently middling outcomes? That doesn't really match my observations.
I can't find it, despite trying for the last ~10 minutes.

edit/ You'll have to pardon the evening Dad brain, I googled it. Thank you, kind stranger!
> > Sounds like the total divorce rate goes up.

> > > the absence of a discernible long-run increase in divorce risk among these women

> If you're pulling in divorces from the future, shouldn't the long term rate go down?
RIP Houdini cards.

https://en.wikipedia.org/wiki/Compatibility_card

Montana option ("Power Macintosh 7300/180 PC Compatible") included an almost complete Pentium 166 PC on a card for dual booting Mac and PC MS-DOS/Windows.