MurphyA/hacker-news huggingface dataset:
by bmacho | 2025-09-14 19:27:20+00:00
You can try it out in Google colab[0] which is a free computer for people with Google accounts. You are allowed to anything that's legal, not a file-server, not crypto and not chess[1].

You can download and unpack it with

!wget -c "https://picat-lang.org/download/picat39_linux64.tar.gz" > /dev/null 2>&1 # 3.4MB so it's probably fine to download it every day !tar -xvzf "picat39_linux64.tar.gz" -C . > /dev/null 2>&1 !echo 'picat binary is at /content/Picat/picat'

You can create a file by

%%shell cat <<MultiString > welcome.pi main => print(" Welcome to PICAT’s world! \n "). main(Args) => print(" Welcome to PICAT’s world! \n"), foreach (Arg in Args) printf("%s \n", Arg) end. MultiString

and run it as

!/content/Picat/picat welcome a b c

I don't think that Picat supports the REPL workflow, even just defining functions on the fly. You have to put your functions into files (fix me). The official guide is at [2].

I've created an example notebook at [3] (although you shouldn't use people's notebooks especially if they are mutable: they might have access to your Google Drive files, or use up your resources).

[0] : https://colab.google.com/

[1] : https://research.google.com/colaboratory/faq.html

[2] : https://picat-lang.org/download/picat_guide_html/picat_guide...

[3] : https://colab.research.google.com/gist/bmacho/b0327ec63d1f50...
by yjftsjthsd-h | 2025-09-14 19:27:46+00:00
> You either build a debug image, so you just have it,

It is my understanding that that only gives root to adb, not apps, so no.

> or you add your own patches adding this capability (in exactly the same way the project modifies stock aosp), and build it.

If we're at the point of patching source trees, then no, we've left the realm of "very easy" behind. Installing Magisk is easy. Building Android from source, let alone patching it, is not.

> It's not disconnected from the project, but it's inherently within the project. SURE you can consider these two separate skills, but within the context of "getting the root on the GOS build" it's one. If you don't know how to make it happen, you don't have a skill to safely use it.

I really disagree. Knowing when to click the allow button or not is a separate skill from building/patching a ROM from source.

> Now let's consider the risks of that, - https://cybernews.com/security/rooted-android-ios-devices-su... - https://www.talsec.app/blog/what-is-rooting-and-how-to-prote...

I'd love to, but you'll have to mention what they might be. Both of those links treat root as nearly synonymous with compromise but never bother to explain how that compromise would occur, just 1. root 2. ??? 3. malware. That's fear-mongering, not a threat model.

> I mean, if you're a security researcher with a considerable reputation, you can certainly argue with authority, but I don't see the angle.

Or, we could avoid Appeal to Authority and talk threat models. The only one I've seen yet in this thread is people claiming that malware can fake out permission dialogs and that this is a problem for root permissions but somehow leaves the rest of Android's permission model in a usable state, which is... an interesting claim.

> Is the risk high? The consensus is that it is. I agree, you don't, I'm okay with it.

Many people making vague claims might technically be a "consensus" but it's not actually meaningful. If you've got an actual threat model, let's hear it, otherwise there's not much point to this.
by mschuster91 | 2025-09-14 19:28:04+00:00
> Abuse is way more prevalent than most people realize.

Frankly, abuse and childhood trauma has always been a staple of human history. Even in the Bible, so at least a few thousand years ago, physical punishment against children is described. Sexual abuse was rampant as well, the Quran documents marriages at age 9. Wars and all the horrors that came with them were all too common - Europe only got actually peaceful after WW2.

Just ask in your own family if you still got really really old people left alive... they will all report from some uncle, aunt or godknowswhat that just went loony. Or tell horror stories about rape, beatings, bullying...

Nothing is new, the only thing that is new is that abuse gets called out and, at least in some cases, perps get punished.
by brohoolio | 2025-09-14 19:28:07+00:00
Everyone is on their own journey and there are so many reasons a person might think a particular way.

The comment you are responding to is just trying to explain their own situation and say the person who wrote the article might want to investigate a similar experience compared to their own. I read the article as one where someone is exploring and ADHD is would be exploration. I would specify that ADHD inattentive type is the one that it reads most like to me.

I don't see why you'd want to knock someone's choice of treatment for a particular condition. You might not see a need for a particular treatment option, but many folks get relief from anxiety or other things such as RSD while being medicated for ADHD. They can make their own decisions.
by nailer | 2025-09-14 19:28:38+00:00
Saying people that *say they were only there because of AA* are obviously only there because of AA is a pretty reasonable point. Linking to the video (with someone’s angry wrapper) directly: https://x.com/alluring_nyc/status/1965931096539017536?s=46

I wasn’t aware they said they were there because of AA, this is worthwhile information.
by alexjplant | 2025-09-14 19:29:18+00:00
When I was in college I bought an iMac G4, threw Debian on it, and used it for homework. I wrote a lot of OCaml on that thing but didn't do much web browsing because the lack of hardware graphics acceleration and 700Mhz clock made the then-modern web a bit of a struggle. Amusingly enough it did have enough horsepower to play Marathon via Aleph One - that's enough to qualify it as a Mac as far as I'm concerned :-)
by incomingpain | 2025-09-14 19:30:01+00:00
I saw the significant difference in gpt5. If someone were using mostly or just gpt4 before, then it might be a culture shock of difference type situation.

Me who actively uses claude, gemini, perplexity, and a whole gamut of local LLMs.

The personality of the models are different and so when gpt5 came along, it wasnt really a surprise to me.
by mulmen | 2025-09-14 19:30:03+00:00
I really hate the “end of the empire” or “late stage capitalism” attitudes. They’re ignorant and self-fulfilling.

If you really believe it then please go out in the world and engage people in a positive way. Go do some volunteering. Not to make a change in the world but in yourself.

If you don’t believe this and are just repeating a meme for clout or whatever then just stop. It’s toxic and unfunny. Like “locker room talk” or whatever other lame justifications are offered for people to say gross things nobody needs to hear.
by johnisgood | 2025-09-14 19:30:12+00:00
It is safe when taken as directed, therapeutically. Much safer than NSAIDs. Misuse and abuse is bad, whether it is opiates or anything else.

As someone put it:

> Under the caveats of a competent physician and a completely med-compliant patient, opiates are perfectly safe. Those are enormous caveats though, given the history and prevalence of incompetent physicians and noncompliant patients (at least in the US).

Have you considered that your perception may have been distorted by irresponsible people? Please put that perception aside when comparing the side-effects of opioids and NSAIDs.
by dismalaf | 2025-09-14 19:30:14+00:00
> people living in small towns in the mountains _love_ the outdoors

You have to. There's no activities besides outdoor activity and drinking and almost every other aspect of living in the mountains is more difficult (versus a normal, big city in a more hospitable terrain and climate).

When I lived in the mountains everyone was either there for the activities, or was a drug addicted hospitality worker there because they couldn't find jobs in cities.
by drooby | 2025-09-14 19:30:43+00:00
This absolutely resonates with me.

I have always felt that my verbal recall skills and the size of my lexicon do not correspond strongly to the quality of my ideas.

Which is unfortunate because I believe most people over-index on these attributes. folks with extremely high wit and low/average critical thinking, I.e Russel Brand types are extremely persuasive due to their ability to be so _accurate_. But accuracy doesn't matter if you're not shooting at the right target. We confuse accuracy with truthfulness. It is some sort of cognitive fallacy our brains short circuit to.

The best folks in our position can do is find work that allows our results to speak for us. And yes, write. Find the time to write. Strategically position yourself such that the battleground is async written text.
by mr_mitm | 2025-09-14 19:31:31+00:00
They're addressing that:

> Those produced by cosmic rays would pass harmlessly through the Earth into space, whereas those produced by the LHC could remain on Earth. However, there are much larger and denser astronomical bodies than the Earth in the Universe. Black holes produced in cosmic-ray collisions with bodies such as neutron stars and white dwarf stars would be brought to rest. The continued existence of such dense bodies, as well as the Earth, rules out the possibility of the LHC producing any dangerous black holes.
by ptmcc | 2025-09-14 19:31:56+00:00
Me too, the hard part is showing that this slower, more methodical process is more valuable than the flashy, quick shallow approach. And it means I might have to chew on a problem for a bit before delivering anything, even a proposal or design much less a product. But for a longer time scale it does pay off.

Fortunately I've had a few good managers and business partners in my career that recognize the value, but it's far from universal and I sometimes have a hard time communicating it myself in the face of the common move fast agile culture that is so prevalent in most of tech.
by zubspace | 2025-09-14 19:32:41+00:00
I also thought about this a lot. Some things about slow thinking are great. I truly believe that it helped me thrive as a software developer.

But social interactions are awkward. I can't really come up with things to say easily and lots of times I can't respond in ways to keep the conversation going. Only after the fact I get lots of ideas of what I could have said. I'm truly impressed about others who can just come up with interesting or funny things to say on the spot.

I'm a tad older, so I stopped caring about it and just accepted my slow thinking. But I'm sure that I also missed out on a lot of opportunities regarding friendships or work. I still think, that others perceive me as awkward or just not fun and it's hard to just ignore that.

Funnily my wife is completely opposite to me and we have the greatest time.
by currymj | 2025-09-14 19:33:15+00:00
i think it just doesn’t matter much.

answering a question in 30 seconds vs. 5 minutes of thought is a very salient distinction in school and in some job interviews. it can impress people. so it feels painful to be slow.

all else equal you’d rather be quick. but it’s only a very small advantage for doing most real work.
by to11mtm | 2025-09-14 19:33:15+00:00
> There’s so much “trust your gut!!” advice when the gut can be deeply wrong especially when it comes to identifying interpersonal threats

This actually happened to me professionally.

A while back I was in a spot where for lots of good reasons, I decided I needed a 'reboot' of things; I had spent a lot of time listening to 'bad advice' and getting screwed over by bad people, and tried to have a bit of a clean slate.

I wound up finding a new job and a new girlfriend. Both felt weirdly stressful but I foolishly assumed it was just because they were both new things to me and I was 'out of my comfort zone'.

What I later discovered, was the 'boss' at my new job had actually tried to boast to certain people that he was trying to get me to quit, because he never wanted me on the team (He was sick for my first interview, and the person above him told him to hire me.)

He'd pull stunts like 'Oh I'm just gonna pull you into this meeting about our Crystal reports' (I was still new there and only knew that 'they existed in our legacy system') and then at the start of the meeting just a couple hours later, tried to claim that I was the subject matter expert on our Crystal reports! (Thankfully, I did use what little down-time I had, to do some basic digging and was able to at least speak to a potential solution to the problem they wanted to solve...)

Any time I wanted to get moved off the 'Support team' I would be given some seemingly impossible task to 'prove myself'; at one point I created a modular UI Frontend where different modules as ASP.NET MVC sites had backend logic to 'register' themselves with the main presentation service; thus delivering the ask, but he never even looked at a line of code.

And yeah they were a 'charmer'. He hoodwinked the whole board with empty promises and when he was finally found out (toxic behavior and all, the whole dev team had a 'group therapy' session or two b/c most folks were mistreated by him on some level) none of the code he produced ever really saw the light of day...

Couple that with partner that wasn't real, just using me to not feel lonely while her actual partner was busy in premed...

I suppose the irony being, that 'fake' partner is now a technical writer, working at the same company where the director who got me hired at the job with the shitty boss... (No that 'partner' didn't work at the place I worked at, but it's still just crazy as far as coincidences...)
by hungmung | 2025-09-14 19:33:34+00:00
Reminds me of one of my favorite stories, from Phaedrus:

> Now the king of all Egypt at that time was the god Thamus, who lived in the great city of the upper region, which the Greeks call the Egyptian Thebes, and they call the god himself Ammon. To him came Theuth to show his inventions, saying that they ought to be imparted to the other Egyptians. But Thamus asked what use there was in each, and as Theuth enumerated their uses, expressed praise or blame, according as he approved or disapproved. The story goes that Thamus said many things to Theuth in praise or blame of the various arts, which it would take too long to repeat; but when they came to the letters, “This invention, O king,” said Theuth, “will make the Egyptians wiser and will improve their memories; for it is an elixir of memory and wisdom that I have discovered.” But Thamus replied, “Most ingenious Theuth, one man has the ability to beget arts, but the ability to judge of their usefulness or harmfulness to their users belongs to another; and now you, who are the father of letters, have been led by your affection to ascribe to them a power the opposite of that which they really possess. For this invention will produce forgetfulness in the minds of those who learn to use it, because they will not practice their memory. Their trust in writing, produced by external characters which are no part of themselves, will discourage the use of their own memory within them. You have invented an elixir not of memory, but of reminding; and you offer your pupils the appearance of wisdom, not true wisdom, for they will read many things without instruction and will therefore seem to know many things, when they are for the most part ignorant and hard to get along with, since they are not wise, but only appear wise.

https://www.antiquitatem.com/en/origin-of-writing-memory-pla...
by b_e_n_t_o_n | 2025-09-14 19:33:39+00:00
I feel like a simpler explanation is that the author is roughly average in most traits, and comparing themselves to others who are above average in certain traits.

I doubt it's about thinking speed. At times I've thought I was fundamentally deficient in some way, only to realize later that I was catastrophising about a poor performance in something and generalizing that across my entire life.

There is also a lot of variation in our abilities, mostly due to practice. When I've holed myself up in my room working for weeks I lose the ability to socialize in general, let alone make witty comebacks. But once I'm in a social environment for a while I can banter with anybody.
by tastyface | 2025-09-14 19:33:52+00:00
What still shocks me — though maybe it shouldn’t at this point — is that the richest man in the world is seemingly an out-and-proud white supremacist, with direct personal and financial ties to far-right groups across numerous countries, and this barely gets a peep in the news or on HN whenever the latest Tesla/Grok/SpaceX press release is disseminated. In fact, mentions of this on HN are usually just flagged and killed, as if it’s somehow irrelevant.

As far as I’m concerned, every single Musk-related article should be prefaced with "and just as a reminder, the owner of this product is a (no longer closeted) white supremacist who spends his free time promoting things like remigration and taking down the 'liberal state' by violent force."
by vijucat | 2025-09-14 19:33:52+00:00
Wish I was taught things these in school. Psychology, CBT techniques, etc; I have always had a low EQ and learned a lot from basically messing things up, and from having a wife with super high EQ. Perception is reality for all practical purposes, despite the more mathematical wanting it to be not so, simply because the objective can literally not be perceived: each perceiver is subjective. Fixing this input layer would have saved me a lot of CPU churn, so to speak.
by petermcneeley | 2025-09-14 19:34:04+00:00
The WebGPU tutorial is also Game of life.

https://codelabs.developers.google.com/your-first-webgpu-app...

It would be interesting to see a perf comparision. WebGPU does not have a 64 bit type but it could be emulated with a Vec2u load/store.
by jjav | 2025-09-14 19:34:58+00:00
> Another way to look at it is that depending upon social media for anything beyond promotion leaves you at the whim of those companies.

Another instance of that is when your account at these proprietary companies simply disappears for no reason. It is far too risky to depend on them.

A long-time friend, for example, has a decades old business which had a 15+ year presence on facebook. A few weeks ago the account just silently disappeared. Obviously any response from facebook is impossible to obtain.

Luckily they also have their own website with all the content.
by gjsman-1000 | 2025-09-14 19:35:22+00:00
The realistic outcome, most likely, is mDL (mobile driver's license) automatically being passed through from your OS, to your browser, to the website. This will make compliance with age verification requirements easy, in addition to making ban enforcement and blocking crawlers/robots/spam much easier.

There's already a W3C browser standard in development - The Digital Credentials API. Apple is adding support for "Verify with Wallet on the Web" in iOS/macOS 26. Chrome is currently rolling out Origin Trials.

https://digitalcredentials.dev/

https://www.w3.org/TR/digital-credentials/

https://developer.apple.com/videos/play/wwdc2025/232/

https://developer.chrome.com/blog/digital-credentials-api-or...

On the flip side, there's no anonymity. Welcome to the real Web 3.0 - an internet which has been finally put in a box, for better and worse. An internet which is finally forced to respect national laws, for better and worse. An internet where what you say online, will be treated with no difference than if you had said it in person.
by schneems | 2025-09-14 19:36:09+00:00
The pay question is valid, but not appropriate for a technical interview. If someone asked me I wouldn’t even know the answer. That would be a question for the recruiter or possible engineering manager.

I think it’s 100% okay to ask about pay in an interview but not okay if it’s the only thing you ask about.

For me: I care about the day-to-day of who I’m working with and what that dynamic is like (in addition to money and benefits).
by bastawhiz | 2025-09-14 19:36:13+00:00
I think that decentralized solutions to the Web mostly suck because they're worse to use for the majority of people. But if the Web becomes useless for things people actually care about, decentralized solutions will creep in. People won't simply give up, the things that work will become better in the ways that serve prospective users.

That's kind of the worst case scenario, though, where bad politicians don't get removed from office. We can hope that most people will decide that enough is enough, or politicians will quietly back down when they realize they're dooming their own careers.
by burakemir | 2025-09-14 19:36:27+00:00
There is an old definition of language safety which means "no untrapped execution errors". It is not the only way to define safety, but it is a good way that you can adapt to various kinds of x-safety, such as memory safety.

I have a little post that explains this using a few more words, if interested: https://burakemir.ch/post/memory-safety-the-missing-def/
by spijdar | 2025-09-14 19:36:31+00:00
There's a "ship of theseus" problem with this idea. There's enough different about OS X (different kernel and BSD base, different display server, different driver stack) that I think it's fair to describe it as a separate OS, yet clearly a lot _is_ directly taken from NS, especially the ObjC/application layer stuff. The waters are further muddled by the existence of Rhapsody and OS X Server 1.0, which are much more clearly "NeXTSTEP 6 with Apple logos, Carbon and a Mac OS 9 VM". I don't think anyone outside the original OS X development team really knows just how much code was kept vs scrapped for the start of OS X development. Given that NS/OS was based on USL-encumbered BSD, it seems likely to me that nothing from the original NS kernel was kept for that, at a minimum.
by stevius | 2025-09-14 19:37:46+00:00
Good question! So, there's actually clear separation of concerns between Ansible and Cinc that makes a lot of sense for this LXC-based approach.

First, these aren't immutable containers – they're LXC containers treated as persistent, stateful systems (more VM-like than Docker-like).

Here's how the tools are used:

Ansible handles the "outside" (Proxmox host level): - Container provisioning via Proxmox API (`base/roles/container/`) - LXC lifecycle management (create, start, stop, destroy) - Base infrastructure setup (SSH keys, networking, storage mounts) - Host-to-container bootstrapping

Cinc (Chef) handles the "inside" (within each container): - Application-specific configuration (`config/recipes/`, `libs//recipes/`) - Service management and desired state enforcement - Runtime configuration updates - Cross-container state coordination (like the Git service managing repositories)

*Why this makes sense for LXC:* Unlike Docker's "build once, deploy everywhere" philosophy, LXC containers in this system are *long-lived infrastructure pieces* that need ongoing configuration management. Each container might run for months/years and needs to adapt to changing requirements, handle updates, manage state, etc.

The recursive self-containment aspect is particularly clever – the control plane (running in its own LXC container) uses the exact same base configuration and tooling as the containers it manages, ensuring consistency and enabling the whole system to bootstrap itself.

So while you're right that immutable containers don't typically need provisioning stages, this isn't really following the immutable container pattern – it's more like "Infrastructure as Code" for persistent container-based services, which absolutely benefits from both provisioning and configuration management layers.