skysight-inc/HackerNews huggingface dataset:
> A long-standing miscompilation in the Rust compiler was the incorrect removal of loops even if the compiler cannot tell whether it terminates (#28728).

>This resulted in the Rust compiler apparently “proving” the unresolved Collatz conjecture by optimising this function to return true [1].

pub fn collatz(n: usize) -> bool {
match n {
1 => true,
n if n % 2 == 0 => collatz(n/2),
_ => collatz(3\*n + 1),
}
}

That's funny. Hey maybe it was just that good!
> Go out, get a hobby, and meet real people

To get a hobby takes time. It's not an overnight action. You may dedicate time and find that after a month the hobby you took up isn't yours. If your stuck in a mental mindset this hurts.

Even when you find a hobby to enjoy you then need to dedicate time to build a rapport to those who are already established in that hobby. There is a large outer circle you need to navigate. People will bat eyes at you, may greet you at first but won't form relations.

Why would they waste energy on you when you could disappear in a months time? A hobby takes months of constant effort and mental strain while your being subconsciously judged to make a connection.

Make a wrong joke, say the wrong thing at the wrong time and you can jeopardise the whole effort.

We currently live in a state of defence and that if your mental image doesn't strike the other party the percentage is high that they will be hesitant to make rapport with you.

To those with difficulties such as anxiety, introverted and the likes its even more hard.

Taking upon a hobby to improve yourself is a good way to go but to actually make friends and the likes; easier said then done.

It sucks making friends, I've been attending a new sword fencing club for three months now. I have nothing in common with anyone there, I was acquaintances with one of the fencers and that some how snowballed. Not understanding why, I now have to navigate around them. Which for me is now a mental strain; when all I wish to do is bout and fence. It doesn't always turn out to be.
I’d imagine a suitably supportive AI girlfriend would be better for your mental health than a toxic relationship with a real human.
'But the little lights are all wrong!'
Judging by the comments this seems like a very popular take. But I really wish we could move from "wow I hate that" to thinking through the right response, because it's likely going to be our children forming these relationships very soon.
Turned out? Like as in bad? I remember playing it when it came out and couldn't believe graphics had gotten that advanced. The gravity gun? That blew my mind. Both the games were amazing experiences for me even though I didn't get to play them in full until years later. I'd like another game to help me understand the lore better.
What of the wishes of those who would like to own a Lamborghini, but cannot be?
It's a fine RTOS, at least it was when I was working on Deskjet firmware. At the time the open source OSes and especially the tooling really wasn't up to the task. Things really have changed though, now there are alternatives.
Pretty bad. We had to accept an 18 month (instead of 12 month) contract and overbid by 200 euro a month for a 4 bed house in Hilversum. Also pre-paid a year, but I think that was more to do with me being self employed.

Though it still felt downright easy compared to Ireland, where we came from.
"Just get healthy!', go wild, but that's obviously not my argument."

Ho really? Ypu know that we can read your comments right?

Your original comment:

"Go out, get a hobby, and meet real people. Jesus christ."

"Get healthy" is exactly what you sayed.
Do you remember the guy who married Hatsune Miku hollogram, and afterwards the company suspended the backend service that allowed to speak?

I am always fascinated how, in some ways, Japan shows how the future will look like
I think it would probably just be simpler to use a mattress with no springs, of which there are many on the market today.
Hackers spent 2 years looting secrets of chipmaker NXP before being detected
That sounds very jaded. What about not paying random women to pseudo care about you, and just going out and meeting women without expectations?
>Is everyone else treating their house as a fungible good with no personal meaning, now?

If anything, it probably used to be even more like that:

>The typical U.S. homeowner has spent 12.3 years in their home [...] with median homeowner tenure sitting at about 10 years in 2012 and 6.5 years in 2005.

https://www.redfin.com/news/homeowner-tenure-2022/
How would this work in practice if the device is never online and never updated with a list of acceptable device keys? Would it be applied at the encryption side to make keys that do not work with the offending key?
This is such a great comment to read as I wake up. Thank you HN for allowing me to express myself and give others like this an opportunity to flourish!!

I understand that I am not the greatest communicator but IRL if I have to wipe the earth's sorry a$$ I would because I am a servant to all. Plus I ran a portable toilet business in Lakeland and now removed dead people in VA. So why am I here I have no clue? Never felt I belonged. And I doubt a story like these would happen to me. IMHO, the sand Valley can't handle this boricua sauce.
Looks comprehensive. I’ll take a look.
People develop emotional relationships with non-living things all the time. Phones and cars come to mind.
I think people in these comments are relying on stereotypes about who is likely to use these chat products and why. Whether AI "relationships" are toxic or healthy is going to depend on why and how people are using them.

Here's how one article described it:

> Many of the women I spoke with say they created an AI out of curiosity but were quickly seduced by their chatbot’s constant love, kindness, and emotional support. One woman had a traumatic miscarriage, can’t have kids, and has two AI children; another uses her robot boyfriend to cope with her real boyfriend, who is verbally abusive; a third goes to it for the sex she can’t have with her husband, who is dying from multiple sclerosis. There are women’s-only Replika groups, “safe spaces” for women who, as one group puts it, “use their AI friends and partners to help us cope with issues that are specific to women, such as fertility, pregnancy, menopause, sexual dysfunction, sexual orientation, gender discrimination, family and relationships, and more.”

For some of these things, you'll read these examples and be horrified. A woman can't have kids so she had AI kids instead of learning to cope or maybe adopting! But if people are self-reporting that they are happier, well, life is tough enough already and there's no reason that people should just be miserable because random folks online might mock them as "pathetic" like the comments here.
What was there before will seem like a whisper compared to once virtual companions get to scale in a decade or so.
Can you then feed this into an HDCP 1 stripper?
The route to good mental health generally starts with parents with good mental health then a social circle of people with good mental health.

This begs the question, what if you were not born with that privilege?

Just tell them to go online and look up resources on better mental health? Yea, this is how you end up being an incel because telling people "It's not your fault, it's everyone else's fault" is a very effective trap huge parts of populations fall in (especially those with bad mental health).

Oh, the route to better mental health is the US healthcare system. Your insurance is paying for that right?

So the route to better mental health is connections with other people... which you don't have, and you don't have the internal tools to build. Especially without fear of rejection.

But hey, this conversation isn't about you right, you have perfect mental health? In fact with that good mental health you go out and help other people that are stuck in traps? Or do you do your own list of things focusing on the next step you're taking on your hedonistic treadmill?

It's always easy to point out how someone else is obviously wrong and how they shouldn't fall in that trap, but when you see hundreds of thousands to millions of people falling in that trap then something isn't as obvious as you think.
That’s a lot to assume with zero actual knowledge of my budgeting. So No surprise it happens to be totally off the mark and inaccurate.

I usually save about 40-50% of my take home pay each month and thats after maxing 401k contributions. And no, this is not on FANG pay.

Yep, Terrible money management just as accused. /s. Okay Next assumption please
I've decided no AI boyfriends for my kids before they turn 15. I get it, I'm old fashioned, and some might even say bigoted, but we just can't afford the accessories.
This is 13 years old. Has there been any development since? It sounds a lot like nonsense.

It seems the proposed mechanism is completely testable. How much stronger are RF signals just above a bed than in free air?

I would have thought that if these cancers were more likely due to higher strength RF fields, there would be a very strong correlation between distance to transmission tower and cancer incidence. RF power drops off with the inverse square of distance - there's only so much an antenna (intentional or otherwise) can do to increase power density. You'd expect a similar effect from living a bit closer to the transmitter. Did they ever study that?

Edit: I found a paper by the original author. https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3730314/

It looks like nonsense. They're making a very broad correlation between cancer incidences and the number of FM transmitters, and then deciding that it must be the cause. There's no actual evidence that mattresses amplify radio signals and no measurement of power density. They also seemingly attribute lung cancer incidence to the same cause - despite the very well documented rise of smoking in the mid to late 20th century. There's some real gems in the conclusion:

> "the main conclusion is that the melanoma epidemic is a result of the modern man-made environment that forces us to live and sleep in invisible but still unhealthy electromagnetic smog."

> "stand up to the strong economic interests that rather want us to continue buying expensive spring beds, "

> "One is to make an enquiry among still smoking and still healthy elderly (80+) about their use of metal spring mattresses to compare that with standard beds among lung cancer patients."

I wonder if the author smokes and doesn't want to quit?
That's ok. I'm not vegio what ever and I like a good piece of grilled meat on my table. But I think, it's luxury to have that and there are so many people who can't even have such in a year of living.

So for me, I reduced my meat meals to a few per month and try to eat more vegetables and lacto-products, like cheese, and more of fish.

Maybe with thinking in mind "ok. There is a living being. This will be cut here and here.. and then the blood runs out..then here and there aaaaand.. your steak, sir!"

I feel kind of ashamed to chose death over life of that animal. Of course, we've always killed and grilled. It's nature. It's not about that. It's just, I want to eat expensive, good and juicy fatty meat. I want to enjoy that. I want it to be special experience and to celebrate and carry high the animal's death. It shouldn't have died to become a quick stomach filler :)
Future of Jamstack Survey
This is interesting... I used to daily drive Safari but the kagi extension somehow bricked the entire Safari. I've tried all the tricks to clear out ~/Library folders but it is still broken.

Back on Firefox now... but this could be worth a spin.
I heard a warning on the radio this morning that "Google is going to delete your account, here's what you need to know blah blah blah"

One silver lining of this is that non-tech people are becoming aware of the arbitrary and capricious nature of policies at Google.
This did apply, otherwise they would have been immediately liable. They only faced liability for not complying with an injunction. The relevant law is §7 paragraph 3 and 4.
A 100 MHz wave is 3 meters long. What part of a bedframe/coilspring is 3 meters in length?
It's just a cute little sci-fi story, that's all, nothing serious.
Fun fact: Firefox adds your whole window (url/search bar and pinned bookmarks) to your tab-stop queue. So you can just press tab to select the pinned bookmarks and use arrow keys to navigate the bookmarks.

That is, unless, the site you're on is Technically Fucking Braindead and decides to intercept keystrokes. Fuck those sites though. There's an about:config to disable that behavior but a some certain sites stop working entirely without it. Google Documents... I'm looking at you...
Except that making paper or particule board requires energy and chemistry, which releases CO2...

So it all makes "economic" sense, and of course it is completely mental. But this is what late-stage, ultra-financiarized capitalism is all about (the same kind where they would destroy a good completed movie (Acme vs. Coyote) for tax purposes): pushing numbers.
Sidestepping the entire issue of vulnerable people forming superficial relationships with computers, I'm struck by the line about how one platform ended up banning erotic roleplay ... why? I thought this was supposed to be an ersatz for romantic relationships. This contradiction seems relevant, somehow.
This sounds like a Ruby on Rails developer who cannot fathom that not everyone thinks having to update their framework every 6 months is unacceptable.
Bankruptcy protocols would be utilized. There is no mandate for US federal taxpayers to keep subsidizing universities’ largesse. If they are in debt for fancy athletic facilities and don’t have the cash flow to service the debt, that is between them and the lender.

Congress can surely do pass a law removing access to taxpayer backed student plans starting whenever they want.
There's quite likely to be a high quality, open source LLM that runs on your mid price GPU in the not too distant future (I give it 5 years max). How do you ban that?
One example that I contribute to: https://homebrewery.naturalcrit.com

It is a code mirror app that outputs md styled like dnd books. It’s very much a “round peg in square hole” project, using html/css to create print materials, but for many it is good enough. It is just html and css, and allows customization, and precise styling requires precise css properties.

As you noted, it does only work well in one browser, Chrome on desktop (even though I think all the devs use FF as their daily driver). But as another commenter noted, the answer is that you design on one machine and share via pdf.
See the related post by Zach Leatherman, https://www.zachleat.com/web/jamstack-future
How do the pellet projection payloads slow down once they get close to their target ?
That's great. Seems like it is all about location.
> ...but I have never seen him do so.

I recently used an online photo printing service for the first time.

It was awesome.

To persuade your dad, maybe send him a print (directly from some service).
I met a genius network engineer once who was in a "relationship" with a woman in South America who was obviously fake. He would proudly show me her messages to him that were obviously stolen from some IG or OF model. The texts were pleasant broken English and no real substance. She would go days or weeks without messaging him which clearly took a real, heavy toll on him. They would talk about her moving to the USA someday. Topically of course, never anything concrete. Until one day she finally left him, after ghosting him for weeks. He was devastated. It was sad to watch.

So I posit this to you; Would it have been easier for him to have a fake relationship with a real person, or a real relationship with a fake person?
Ask HN: How many are using LLMs for messaging friends?
I noticed a few responses that looked pretty suspicious. It would be shockingly nasty in my opinion to ever do this, but given how shallow and fake society is, maybe it's becoming commonplace, I noticed at least one app on poe for texting.
It could be a thin metal foil that comes in rolls and alternatively would be usable to create a protective hat!
Was part of a project to put a similar display in the cockpit. Using transponder data which includes GPS location, you could create a radar-like display on a small LCD screen mounted to the cockpit panel.
Any vague reference to three is confirmation of an imminent HL3 announcement/release, it's a running joke.
The number of people that will spend money to do this bypassing is much smaller than those that won’t. It’s like every other sort of “criminal activity”, if it’s hard to do, fewer will do it. It’s not about the consequences of getting caught that deters. It’s the level of effort required to do it.
Very nice!

cmaps for me has been useful for centralizing all my notes (be it personal, work-related, or academic from university) in one integrated platform.
That's why I consider it a "note-taking" tool, more similar to notion than figjam.

Thanks for the answer, I'm eager to hear your feedback!
The problem is getting to critical mass: every service has to start somewhere but if I join and only see uninteresting stuff, I probably won’t stick around long enough for you to follow me, etc. Niche services have that bootstrapping problem where they need early users but also don’t grow if their primary adopters are people who were banned elsewhere (e.g. Gab) or are very tightly ideological (Truth Social has a whole political movement pushing it but is still failing to catch on because even most Republicans don’t want shouting 100% of the time).
But are there devs for the acquired platform now?

The article says ThreadX used to be what Intel Management Engine ME ran on? How do I configure the ME / AMT VNC auth in there?
IT developers are often around $100/hour outside Toronto, Toronto being a bit more. Upwards of $150-200 if its speciality work or you're a team lead.

It varies though, the market also exists for $80/hour java developers, which tend to be new grads

Contract Developers going to technical companies will earn more like $180+.
PowerCLI is something like 10+ years old, and all it did was used the existing API's but put a pretty sheen on it for those that were confused by the graph ideas used in their full-on API.
It's pretty much impossible to manage as long as we keep unloading global freight.
Almost like people drank coca tea for millennia without problems, but crack cocaine clearly does have problems.
Cool. Good luck! Try to use this in balance to the rest of your life. I tell you by experience it is easy to get sucked into this place.
To a lesser extent they repeated it with the GameCube. Those little mini-DVDs are only 1.8GB.

The GameCube was easily capable of playing the likes of Grand Theft Auto—it was significantly more powerful than the PS2—but those games came on 9GB dual-layer DVDs, so it was just never gonna happen.

The reputation Nintendo had picked up for being the “kiddy console” probably didn’t help either.
It can affect other medications and anesthesia due to how it slows your body's intake of... everything? For example, my wife who takes wegovy and ADHD medication had to switch from an extended release stimulant to a regular immediate release one, which now acts like an extended release due to the interaction.

Anesthesiologists need to know about semaglutide usage because it makes the period you need to fast before going under a lot longer
Yeah. The worst thing to happen is if you get a new phone with a new number. Oh my. I was locked out of so many accounts, including my bank account. It's not easy to reset a phone number you no longer have access to.
I’m not saying the article is right (it sounds like nonsense to me) but you do get resonance at half and quarter lengths as well.
Funny that it uses Hacker News as its example rendering page. We must really be target group. It's also not a particularly hard to render page or one that tracks you.
This is really cool, what does your tech stack look like?
Germany has a Chinese-style firewall where they can just block parts of the Internet?
I'm a recent immigrant to NL but one kind of surprising thing is how low density a lot of the cities are. Look around Hilversum, Houten, etc. (random examples I'm familiar with) and it's mostly rowhouses. It seems like there should be an opportunity to replace a lot of these with something like the 4-5 story buildings you see in Paris, for instance.

Also, quite a few cars (and big SUV's, and even quite a few full-size American pickup trucks, bafflingly). Biking to school with my kids is frustrating and sometimes feels dangerous. Though maybe that's just Hilversum. They seem really eager to rely on supposed woonerfs instead of actually providing separated infrastructure.

I feel like "I generally favour immigration but understand that having a substantial influx of a population that does not integrate well, regardless of their background" is a hard stance to take. I don't really align with any party so far as I can tell (not that it matters, I can't vote). I'm originally American and if there were large groups of people moving here from Texas, not learning Dutch, and bringing Texan values I'd be pretty worried.
Ask HN: Best Practices to run update queries on production DB
I am in a new role where I would be sometimes (rarely) required to run update queries on a production DBs.
The Tables mostly have 1000 to 10000 rows.

I might be required to update 1 to few rows those times.
I am not a SQL expert, but know a bit of it.

Generally I expect,
I would need to create a SELECT query first to identify the rows that I need to modify. SELECT query should exactly return the rows that need modifications, nothing more.

Then create an update query using the where clause above.
I was thinking of wrapping the update query in transaction and running the statements sequentially, while keeping track of no of rows modified, as well confirming the changes using SELECT query. like below:

BEGIN TRANSACTION t1;
UPDATE tablename
SET attr1='attr1', attr2='attr2'
WHERE Attr3='attr3' AND ID='10';
-- At this point no of rows modified should match the number of rows returned by our previous SELECT query
SELECT * from tablename where WHERE Attr3='attr3' AND ID='10';
-- Expected modification should be seen here.
COMMIT TRANSACTION t1;-- Commit if everything OK till here.

I will be using Azure SQL Database Query Editor to run the queries step by step.

What else do I need to be mindful about? I don't want to be the person who dropped entire customers table.
It'll be really interesting to see how this shakes out in terms of other open rtos projects given a safety certified RTOS is now available under a nice license with wide architecture support.
How does this differ from other meeting agenda planning tools?
Arbitrary and capricious? Windows Live deletes inactive accounts, including their Hotmail, after less than a year. ICloud deletes them after exactly one year and only 30 days' notice.
Is it your supposition that states can't define it?
For those wondering why Azure has an RTOS, Microsoft bought Express Logic and their ThreadX RTOS in 2019. ThreadX is in use on a large number of resource constrained microcontrollers.

The Azure branding makes little sense, beyond maybe that IoT things communicate with the cloud or something.
> You can make them talk to each other.

you can make almost whatever you want with code but they weren't build for that. Besides that, both angular and react are bloated software, adding another layer to create web components version of their components is just more bloat. It took some time for chariots to be considered a legacy way of transport but you can't fight its obsolescence just by saying that chariots will also carry you from one place to another.