MurphyA/hacker-news huggingface dataset:
by Glemkloksdjf | 2025-11-26 11:36:59+00:00
Its ignorant. Thats what it is.

The big tech will build out compute in a never seen speed and we will reach 2e29 Flops faster than ever.

Big tech is competing with each other and they are the ones with the real money in our capitalistic world but even if they would find some slow down between each others, countries are also now competing.

In the next 4 years and the massive build out of compute, we will see a lot clearer how the progress will go.

And either we hit obvous limitations or not.

If we will not see an obvious limitation, fionas opinion will have 0 relevance.

The best chance for everyone is to keep a very very close eye on AI to either make the right decisions (not buying that house with a line of credit; creating your own product a lot faster thanks to ai, ...) or be aware what is coming.

Thanks for the fish and enjoy the ride.
by embedding-shape | 2025-11-26 11:37:21+00:00
> And yeah, I get it. We programmers are currently living through the devaluation of our craft, in a way and rate we never anticipated possible.

I'm a programmer, been coding professionally for 10 something years, and coding for myself longer than that.

What are they talking about? What is this "devaluation"? I'm getting paid more than ever for a job I feel like I almost shouldn't get paid for (I'm just having fun), and programmers should be some of the most worry-free individuals on this planet, the job is easy, well-paid, not a lot of health drawbacks if you have a proper setup and relatively easy to find a new job when you need it (granted, the US seems to struggle with that specific point as of late, yet it remains true in the rest of the world).

And now, we're having a huge explosion of tools for developers, to build software that has to be maintained by developers, made by developers for developers.

If anything, it seems like Balmers plea of "Developers, developers, developers" has came true, and if there will be one profession left in 100 year when AI does everything for us (if the vibers are to be believed), then that'd probably be software developers and machine learning experts.

What exactly is being de-valuated for a profession that seems to be continuously growing and been doing so for at least 20 years?
by huhkerrf | 2025-11-26 11:37:55+00:00
> Corporations should stop renting offices in the most expensive areas of the country and instead prioritize locations where housing is affordable and people don’t have to spend more than 10 minutes commuting to work.

What's the benefit to the corporation to do that? They move to a more affordable area, which corresponds to less concentrated, which corresponds to fewer workforce available, especially if the goal is to spend 10 minutes commuting, as you state.
by lynx97 | 2025-11-26 11:38:05+00:00
I am surprised (and also kind of not) to see this kind of tech hate on HN of all places.

Would you prefer we heat our homes by burning wood, carry water from the nearby spring, and ride horses to visit relatives?

Progress is progress, and has always changed things. Its funny that apparently, "progressive" left-leaning people are actually so conservative at the core.

So far, in my book, the advancements in the last 100 or even more years have mostly always brought us things I wouldn't want to miss these days. But maybe some people would be happier to go back to the dark ages...
by robertlagrant | 2025-11-26 11:38:25+00:00
> and those systems go out to tens of millions from day 1

I like GDS (I even interviewed with them once and saw their dev process etc) but this isn't a great example. Technically GDS services have millions of users across decades, but people e.g. aren't constantly applying for new passports every day.

A much better example I think is Facebook's rollout of Messenger, which scaled to billions of actual users on day 1 with no issues. They did it by shipping the code early in the Facebook app, and getting it to send test messages to other apps until the infra held, and then they released Messenger after that. Great test strategy.
by zamadatix | 2025-11-26 11:38:43+00:00
> I'm assuming the people who are asking for Orion to be open source are not paying for it.

I don't know about the others, but I'm an Orion+ lifetime purchaser just because I like what they are trying to do and it's a good phone browser for my work phone. I'm not sure I follow why specifically people who pay are supposed to be uninterested in it being open sourced?

> If you like Kagi and Orion, supporting development by paying for it makes sense.

> Open sourcing everything of Orion means that Orion+ will be open source which defeats the point of supporting development of Orion directly.

Sure, one should support the development costs. Can you elaborate why you feel that relates to Orion being freeware vs open source or why it defeats the point of Orion+? The two aren't differentiated by functionality, Orion+ is a token of development support.

> I've seen projects start open source, change to closed source and then add in the enshittification later. It doesn't matter if the code is 'open' the source code would eventually be unmaintained and have security holes which there is no time in the world for anyone else to maintain.

Open source isn't a promise that the code will be maintained forever, nothing can guarantee that, it's a promise if the company decides to go closed source the community can decide what to do. Or, even if you don't care about that, a promise of easy/public auditing and hacking. Just look how many Chromium/Firefox build customization, UI tweaks, and forks people have made despite the possibility Google stop contributing to Chromium in the future.
by ben_w | 2025-11-26 11:38:48+00:00
> Asking whether something is in the interests of the taxpayer?

Yes.

Because they need to:

(1) understand the answer, and not mistake terms of art for things they sound like to normal people. For example, to use Musk's ideology, this would be things like mistaking a study in "transgenic rats" or "trans fatty acids" to be anything about gender.

In the case of `$1.3M State Dept. education contract for “Botswana MI curriculum”`, you've still not said if you recon this is in or about Botswana, and you've still not said what "MI" is, you've taken something that you think "obviously" sounds bad (or why else would you have quoted it?) without having thought too hard. I tried searching, the sidebar was an AI summary of (and linking to) this thread that made claims not supported by anything anyone here has actually said, and only one of the four(!) real links even got me a page with the string "Botswana MI curriculum" on them, which linked to X.com which also didn't explain what that was.

What you've done here is treat it as an applause light, not considered anything about taxpayer interests. Applause lights can be done by an AI, taxpayer interests cannot.

(2) for all items including those that sound good when you do know what they mean, be able to tell if they actually did what they said they did rather than pocket the money.

(3) even when they did the thing, determine if they're any good at doing the thing or if they're a bunch of well-meaning idiots.

For (2) and (3), I'm mainly thinking of the UK with this, with PPE bought for the pandemic that wasn't fit for purpose.

(4) have security clearance to know about clandestine missions, so that you don't cut the expenses which are deliberately faked by the government on purpose with a bland an/or politically correct title so nobody complains about the clandestine mission, despite the money being spend on absolutely nothing at all like whatever the line-item says it was, once what is and isn't "politically correct" gets inverted.

> In other words, you'd need a group that looks like DOGE.

No, you'd get something a lot more competent. And boring.
by megous | 2025-11-26 11:38:59+00:00
Not much. Even the argument that AI is another tool to strip people of power is not that great.

It's possible to use AI chatbots against the system of power, to help detect and point out manipulation, or lack of nuance in arguments, or political texts. To help decipher legalese in contracts, or point out problematic passages in terms of use. To help with interactions with the sate, even non-trivial ones like FOI requests, or disputing information disclosure rejections, etc.

AI tools can be used to help against the systems of power.
by timonoko | 2025-11-26 11:39:29+00:00
@grok solved the termux being too dark problem:

In .bashrc:

# Full brightness on entry termux-brightness 255 # Auto-brightness based on light sensor on exit LIGHT_VALUE=$(termux-sensor -s stk3a5x_als -n 1 | jq '.. | .values? | select(. != null) | .[0]') if [ -n "$LIGHT_VALUE" ]; then if (( $(echo "$LIGHT_VALUE > 1000" | bc -l) )); then trap 'termux-brightness auto' exit else trap 'termux-brightness 50' exit fi fi
by makeitdouble | 2025-11-26 11:40:17+00:00
I don't use Docs to write novels, but for basic official documents and a few reports I'm looking at, there's very few things missing.

When in phone view a lot of the options are hard to find, but in tablet/desktop mode (yes, that's a thing already) it's really close to what you get on the web. The main different is the menu layout, where most advanced functionalities go to an extended menu instead of the standard File/Edit/View/Insert... menus at the top of the page.

Otherwise there seem to be most of what's needed, including extensions apparently. Perhaps media management could be tougher, it's supported by on don't how much of a PITA it could be, I haven't pushed that far on the android version.
by mooktakim | 2025-11-26 11:40:38+00:00
Can someone write about how terrible the YouTube Android app is, so that some PM can actually fix it? Its an app i use constantly and hate using it all the time. I accidently click to another video and lose the position of where i was. It used to confirm the play of another video, but now it doesn't. The offline feature is terrible; you can't play something and make it go offline. It used to cast really well, with a "casting queue". When i disconnect from my TV, its still logged in. Adding/removing/changing the watch queue is so bad that I have to use my laptop to make changes. When browsing, you can't tell whether a video is already on your watch list; it's not always accurate. Sometimes you click add, and it removes it from the watch list because it's also in the list. Many more things.. can't think of them right now.
by pandaxtc | 2025-11-26 11:40:50+00:00
Sorry if I've got this wrong, but wouldn't the first example behave the same way in Javascript as well? The function parent() "awaits" the completion of child(), so it wouldn't be possible to interleave the print statements.

The example from this StackOverflow question might be a better demonstration: https://stackoverflow.com/q/63455683
by yodsanklai | 2025-11-26 11:40:56+00:00
In my big tech company, you don't want to be dismissive of AI if you don't want to sound like a paria. It's hard to believe how much faith leadership has in AI. They really want every engineer to use AI as much as possible. Reviewing is increasingly done by AI as well.

That being said, I don't think that's why reviewers here were so cordial, but this is the tone you'd expect in the corporate world.
by reactordev | 2025-11-26 11:40:57+00:00
This is gold.

Here’s a horror story for you.

A few years ago I worked for this startup as a principal engineer. The engineering manager kept touting how he was from XYZ and that he ran Pythonista meetups and how vast his knowledge of Python was. We were building a security product and needed to scan hundreds of thousands of documents quickly so we built a fan out with coroutines. I came on board well into this effort to assist in adding another adapter to this other platform that worked similarly. After seeing all the coroutines, being pickled and stored in S3, so that nodes could “resume” if they crashed yet - not a single create_task was present. All of this awaiting, pickling, attempting to resume, check, stuff, report, pickle, happened synchronously.

When trying to point out the issue with the architecture and getting into a shouting match with Mr. Ego, I was let go.
by Ar-Curunir | 2025-11-26 11:41:23+00:00
Curry-Howard is not some magic powder you can just sprinkle around to justify claims. The isomorphism provides a specific lens to move between mathematics and computation. It says roughly that types and logical propositions can be seen equivalently.

Nothing in the result in the article talks about types, and even if it could be, it’s not clear that the CH isomorphism would be a good lens to do so.
by gizzlon | 2025-11-26 11:41:41+00:00
So if you app enters a crash-loop and fails to start an AWS engineer comes in and fixes it? Because that has not been my experience..

The truth is that there's still a lot of things you have to handle, including cloud bugs and problems. And other problems you don't have to think about anymore, especially with fully managed, high-level PaaS- like services.

I ran a cloud backend service for a startup with users, using manged services, and we still had an on-call team. The cloud is not magic.
by abbadadda | 2025-11-26 11:42:17+00:00
I really enjoyed how your words made me _feel._ They encouraged me to "keep fighting the good fight" when it comes to avoiding social media, et. al.

I do Vibe Code occasionally, Claude did a decent job with Terraform and SaltStack recently, but the words ring true in my head about how AI weakens my thinking, especially when it comes to Python or any programming language. Tread carefully indeed. And reading a book does help - I've been tearing through the Dune books after putting them off too long at my brother's recommendation. Very interesting reflections in those books on power/human nature that may apply in some ways to our current predicament.

At any rate, thank you for the thoughtful & eloquent words of caution.
by mazswojejzony | 2025-11-26 11:42:20+00:00
Maybe I'm nitpicking a bit but the second concrete example shows different flow in the parent method compared to the first one. If the second example would be a modification of the first one like shown below the output would be the same in both cases.

async def parent(): print("parent before") task = asyncio.create_task(child()) # <-- spawn a task await task print("parent after")
by paranoidrobot | 2025-11-26 11:42:57+00:00
I'm saying that if you do want to compare two different platforms on performance, it should probably be done in consultation with someone who has worked with it before.

To use an analogy it's like someone who's never driven a car, and really only read some basic articles about vehicles deciding to test the performance of two random vehicles.

Maybe one of them does suck, and is overpriced - but you're not getting the full picture if you never figured out that you've been driving it in first gear the whole time.
by ynik | 2025-11-26 11:42:57+00:00
C# doesn't erase all generics; but there's also some type erasure happening: nullable reference types, tuple element names, and the object/dynamic distinction are all not present in .NET bytecode; these are only stored in attributes for public signatures, but are erased for local variable types.

C# also has huge amounts of syntactic sugar: `yield return` and `await` compile into huge state machines; `fixed` statements come with similar problems as "finally" in java (including the possibility of exponential code growth during decompilation).
by embedding-shape | 2025-11-26 11:43:12+00:00
> Implying being a hacker has some correlation with being progressive

I mean, yeah, that kind of checks out. The quoted part doesn't make much sense to me, but that most hackers are progressives (as in "enact progress by change", not the twisted American version) should hardly come as a surprise. The opposite would be that a hacker could be a conservative (again, not the US version, but the global definition; "reluctant to change"), which is pretty much a oxymoron. Best would be to eschew political/ideological labels in total, and just say we hackers are unpolitical :)
by zdc1 | 2025-11-26 11:43:21+00:00
Personally, I've never been able to make async work properly with Python. In Node.js I can schedule enough S3 ListBucket network requests in parallel to use 100% of my CPU core, by just mapping an array of prefixes into an array of ListBucket Promises. I can then do a Promise.all() and let them happen.

In Python there's asyncio vs threading, and I feel there's just too much to navigate to quickly get up and running. Do people just somehow learn this just when they need it? Is anyone having fun here?
by zero-st4rs | 2025-11-26 11:43:23+00:00
I read the intersection as this:

We shape the world through our choices, generally under the umbrella of deterministic systems. AI is non-deterministic, but instead amplifies the concerns by a few wealthy corporations / individuals.

So is AI effective at generating marketing material or propagating arguably vapid value systems in the face of ecological, cultural, and economic crisis? I'd argue yes. But effective also depends on an intention, and that's not my intention, so it's not as effective for me.

I think we need more "manual" choice, and more agency.
by Aldipower | 2025-11-26 11:43:29+00:00
We seeing exciting movement for Linux in the audio industry too. With Reaper, Bitwig and now Studio One (although beta), serious DAWs exist for Linux. Although the major subscription and phone home based plugin manufacturers, like Waves or UA are not offering for Linux, which is maybe a good thing, also serious high quality vst audio plugins are now available for Linux. Just to name some of them: DDMF, Toonboosters, U-he, TAL, etc. Also with RME and others, there are professional audio converters available. And with ADAT, MADI, Dante, etc. you can run basically every professional converter. And the newer Linux audio subsystem Pipewire has real time and low latency out of the box. I am producing successfully, stable and with fun since 2 years on Linux! After a long period of pain with Windows.
by jdranczewski | 2025-11-26 11:43:34+00:00
I may be misunderstanding it, but the examples shown don't seem to be illustrative? It seems reasonably obvious that the prints will happen in this order in any language, because in example 1 we are explicitly (a)waiting for the child to finish, and in example 2 both of the parent prints are above the await. So I don't feel like either of these makes the point the author is trying to get across?
by theshrike79 | 2025-11-26 11:44:14+00:00
It's a parental thing.

I have children, they have friends. None of them have asked for Robux as a gift.

They play the free games together, chatting after school (and homework!) and stop if they hit a payment limit.

Kids can't be trapped by "dark patterns" into paying, they don't have credit cards or money to spend. It's always the parents who give in.
by nenxk | 2025-11-26 11:44:32+00:00
The problem with the YouTubers posting these vids are they hide their faces and most of the cars are either stolen or borrowed and even when they aren’t they don’t have any plates so let’s say the police see a video there’s not a whole lot they can do they can get a warrant for the channels owners info but they still have to prove that the person uploading the videos was actually driving the car and not just editing the videos their other option is to figure out the cars owner but they still have to prove that the owner was the one driving which is hard and in many cases of atleast the popular channels they don’t even own the cars it’s not impossible to pin it on someone but it’s not worth their time to build a case like that for reckless driving they have many more important cases. If it was a few one off instances then I could see it but it’s became increasingly popular if you go on Instagram you can find thousands of accs uploading these videos and only a few ever get arrested and most of the time like in squeeze Benz’s case it’s for unrelated crimes. With these videos becoming popular and more people catching on that they can just drive recklessly without being pulled over there’s thousands more teens driving like this without ever posting about it nypd doesn’t have the time to track down 100s of cars each day just because they drove fast and didn’t pull over hell look at how long it took them to track down Luigi who was NYs most wanted there for a bit.
by aw1621107 | 2025-11-26 11:45:01+00:00
Perhaps it might help to clarify precisely what claim(s) you think are being made?

From my reading, the section (and the article in general, really) is specifically focusing on mutexes, so the observations the article makes are indeed accurate in that respect (i.e., C++'s std::mutex indeed does not have automatic unlocking; you need to use an external construct for that functionality). Now, if the article were talking about locking patterns more generally, I think your criticism would hold more weight, but I think the article is more narrowly focused than that.

For a bit of a more speculative read, I think it's not unreasonable to take the C++ code as a general demonstration of the mutex API "languages other than Rust" use rather than trying to be a more specific comparison of locking patterns in Rust and C++. Consider the preceding paragraph:

> In languages other than Rust, you typically declare a mutex separately from your data, then manually lock it before entering the critical section and unlock it afterward. Here’s how it looks in C++:

I don't think it's unreasonable to read the "it" in the final sentence as "that pattern"; i.e., "Here's what that pattern looks like when written in C++". The example code would be perfectly correct in that case - it shows a mutex declared separately from the data, and it shows that mutex being manually locked before entering the critical section and unlocked after.
by mikeayles | 2025-11-26 11:45:04+00:00
This isn't using the KiCad socket API, although it probably would have been cleaner. It's a bog standard Plugin that should work for v6+.

I'd be keen to have a look at your s-expr library, it likely has some overlap and utility for one of my other projects, https://www.circuitsnips.com , which is like thingiverse for electrical circuits. I had to figure out how to feed the embedded kicanvas renderer a full sheet, as it can't handle subcircuits, but allow the user to export subcircuits to the clipboard.

When I first shared CircuitSnips with the KiCad discord, the KiCad 9+ design block feature was brought up, which might be of interest to you as well?
by csmantle | 2025-11-26 11:45:26+00:00
> programmers should be some of the most worry-free individuals on this planet, the job is easy, well-paid, not a lot of health drawbacks if you have a proper setup and relatively easy to find a new job when you need it

Not in where I live though. Competition is fierce, both in industry and academia, for most posts being saturated and most employees face "HR optimization" in their late 30s. Not to mention working over time, and its physical consequences.
by embedding-shape | 2025-11-26 11:45:35+00:00
Across ~10 jobs or so, mostly as a employee of 5-100 person companies, sometimes as a consultant, sometimes as a freelancer, but always with a comfy paycheck compared to any other career, and never as taxing (mental and physical) as the physical labor I did before I was a programmer, and that some of my peers are still doing.

Of course, there is always exceptions, like programmers who need to hike to volcanos to setup sensors and what not, but generally, programmers have one of the most comfortable jobs on the planet today. If you're a programmer, I think it should come relatively easy to acknowledge this.