skysight-inc/HackerNews huggingface dataset:
Up next, a story about how ants act as 'engineers' - choosing soft-enough-to-dig ground, that is not waterlogged, to build their nests.

After that, maybe a story about plant 'engineers', growing toward the sun.
"Yes, the Torment Nexus comes enabled by default but with the following terminal command you can make your computer act like normal."

I feel like this has become the defacto excuse for abhorrent software design nowadays. Like a learned helplessness, of sorts.
It seems every scripting language does duck/dynamic typing (as far as I can tell this applies to Koto).

I don’t understand why…
inferred typing is nearly as easy to use while being more robust.

For me the biggest gap in programming languages is a rust like language with a garbage collector, instead of a borrow checker.

Rust has a lot of features that should be strongly considered for the next generation of programming languages such as

result/sum types

Inferred typing

Not object oriented or overly prescriptive with functional programming.

I think the closest language to filling that gap is occaml (I am not familiar with it).

I have coworker's that are more skilled in domain logic that can write basic self contained programs, but stuff like traits, OOP functional programming is a bridge too far.

I feel like a language that fills that gap could be useful, context is a manufacturing ERP system.
>wait, you need internet connection to even login?

No, you can log in without being connected to the internet (that obviously happens a lot on a daily basis, where people are using a laptop with no connectivity until after they sign in).
This is the only reason I accept installing windows 11 on a device. I will no longer support anyone in my family from now on with Windows. Goodbye and good luck.

Can't wait… in a year every local account will be forced to log in :)
pg's writing is so lazy. At best he engages with thinkers in a superficial way, further, he never expands his horizons beyond the typical cadre of classics, he says nothing of actual intellectual substance and worth, and if anything he legitimizes an uncritical stance toward the world (a sort of pseudo-intellectual neopositivism). I still think a poverty of exposure and experience in the history of philosophy and literature on the part of his audience is the only reason he gets any sort of readership.
The "Command Line Tools for Xcode" don't require an Apple ID to install (and provides a C/C++/Objective-C/Swift toolchain (LLVM/Clang) and things like Make and Git). Not to mention other compilers not provided by Apple that you can just download and install. And yes, while you do need an Apple ID to download Xcode from Apple, you don't need to be signed into macOS with it (you can download it from the Apple Developer site).
The tech fantasy that powers AI is running on fumes
Maybe not psychologically healthy for the individual, but likely provides some social benefits.

Anyway, it doesn't appear to work as well lately so we maybe should come up with another approach for social stability.
Third base.
It sounds more like a way to save whats left of X, and leave xAI investors holding the $12B bag of debt that X is struggling to service.
can you remove the copilot, ad tracking, unnecessary widgets, teams, one drive, candy crush, xbox, and all other trash together with this? removing most shit from Windows11 makes it a pleasant os to use actually.
> That insects and mammals are both Animalia can be nonintuitive for preschoolers.

Insects and mammals both walk around. Plants and shrooms don't. Can't get more obvious than that for a kid.
The whole idea of pomodoro comes from a physical kitchen timer in the shape of... you guessed it, a pomodoro.

The best UX for the pomodoro technique can be found in this physical kitchen timer, if you'd ask me.
Is this article typical of the analysis style of the podcast? Because it was awesome, direct without too many asides.
interrsting. I find the signal/noise ratio of XML really bad.

what I really dread in XML though is that XML only has idref/id standardized, and no path references. so without tool support you can't navigate to a reference target.

which turns XML into the "binary" format for GUI tools.
This also seems crazy to me on a technical level: OP says, this operates on the contents of the screen. So essentially the OS already has the text in memory, renders it to the frame buffer, then OCRs it back - I suppose because it's "cheaper" in dev time to just slap OCR on a screenshot than maybe spend some time looking up what's already accessible in memory and through the UI toolkits.

CPU time is indeed cheaper than dev time, especially if it's your users' CPUs and not yours.
All the while programmers are not engineers but craftsmen, because... we don't use slide rules or something.
a lisp... like dsssl ? ;-)
This is a prompt I found somewhere..

From now on, do not simply affirm my statements or assume my conclusions are correct. Your goal is to be an intellectual sparring partner, not just an agreeable assistant. Every time I present an idea, do the following:
Analyze my assumptions. What am I taking for granted that might not be true? Provide counterpoints. What would an intelligent, well-informed skeptic say in response? Test my reasoning. Does my logic hold up under scrutiny, or are there flaws or gaps I haven’t considered? Offer alternative perspectives. How else might this idea be framed, interpreted, or challenged? Prioritize truth over agreement. If I am wrong or my logic is weak, I need to know. Correct me clearly and explain why
The first amendment is worth fighting for.
> Instead of the rigid pause detector, it would actually make more sense for the end-of-message token to be sent when you explicitly say a specific phrase, like literally "over".

That doesn’t sound very conversational at all. Instead one could train the network to recognise the appropriate turn-taking points.

The simple way to do that is to make the model output a “listen a bit more” token when it is not yet their turn to talk. You can use real life recorded conversations to build up the initial training set, and then add more data where clashes happen (where tha AI and the speaker speaks at the same time over each other.)

More complicated would be a system where the model is periodically fed the audio chunk so far, and the model predicts what the speaker is likely going to say and based on that when it is appropriate to respond and with wath. And then a smaller, faster, local model can be used to verify if what was said matches the prediction, and if so outputs the generated response. If there is a mismatch it engages the more expensive model to come up with a new prediction.

If you engineer this right you can reuse the state vector from save points and save a bit of compute that way.

Asking the user to say “over” at the end of their turn is the most heavy handed solution. Recognising the flow of a conversation is just pattern recognition. That is what machine learning is good at.
Jabdah
Tbh if you value speed and ease, Flatpaks are hard to beat. For most users (arguably also those on Manjaro rather than Arch), they make software installation and updates really convenient.

Fedora and its derivatives have been great for me. No issues with my rx9070xt and felt like magic compared to my windows partition. It’s not rolling-release, but if that’s important surely this is where where base Arch shines for full control?

Manjaro feels like an awkward middle ground to me and my experience with it a few years ago was negative. Though I understand it may have improved. I don’t have use case for it.

As for package formats, for opensource, compiling from source or COPR has worked for me.
I believe that the person you're responding to also passionately argues that "I'm not touching you!" is an acceptable defense to the charge of sibling harassment.
>Windows is over. I moved to Apple silicon a while ago and never looked back. Even though macOS has its warts, it's not hostile to its users.

It's also very naggy about signing up to iCloud and using an Apple Account.

It doesn't force you - but it's still annoying.
Damn we gotta ante up, if they're taking away my title of engineer and giving it to chimps, guess I'll just find a job where they can issue me "Doctor" job title. "Doctor and Principal Cybersecurity Engineer" sounds good.
To me, it means communication from a human to a human. Something like an elaborate bird's nest can be beautiful, but it cannot be art.
General -> specific

Animal -> Dog

(and a Dog will have more fields than an animal)
We are part of Earth too. One of many species to rise and maybe fall.
If you seized every billionaire’s money the government would be financed for less than a year. If you want sustainable taxation to finance your climate agenda you need to convince everyone to pay more. But people won’t do it unless you pitch it as a free lunch.
Once it's about "winners," getting free money from the government is a lot more efficient than anything that involves going "from seed to table."

And when food is about "winners," famine is but a losers gonna be losing.
You're absolutely correct, just look at the top languages and what's idiomatic in them
No, because all {x, y, z}s are {x, y}s, but the opposite is not true.

Said differently, any function that applies to the general {x, y} also applies to the more specific {x, y, z} (it will just not use the z part) but a function that requires a {x, y, z} specifically will not work with all {x, y}s.
I personally don't think technology for the most part is good for society. It makes nature boring and predictable and life less interesting as a whole if this is true, but I don't think we even understand the degree to which technology is just ruining life for the future. We don't have adaptations to deal with anything and adaptations take tens of thousands of years if not way more to occur. The romantic thought is that technology can help us solve the problems that come up as a result of itself, but I'm less optimistic there just because of how things have been going. It seems like human nature and us not being good at understanding large complex systems as a species results in the malignant actors and developments taking root and metastasizing over time.

- global warming
- antibiotic resistance
- environmental contamination
- food quality diminishing
- explosive increase in chronic disease, especially in young people
- extinction of most other species
- fertility problems
- declining birth rates
- poly-pharmacy becoming normal
- now things related to energy consumption with AI and cryptocurrency
- huge decline in social behaviors across the population

Just seems like for every new advancement we're making new chronic issues that are barely incentivized at all for being managed and alleviated
> the presence of an implicit conversion rule `T -> T?` amounts to the observation that `T <: T?`, where <: is the subtyping relation

So you assert that numbers and strings are the same type because PHP and Javascript will implicitly convert back and forth? That any C++ implicit constructor creates a subtyping relationship?

> I don't think any language allows this

Rust, Swift, Zig, just off the top of my head. C# too, value types is where and why it first introduced explicit nullability (back in C# 2.0).
I've come up with two possible conclusions:

1. Microsoft doesn't want me as a customer - despite being a developer in their ecosystem for 20+ years - because I don't want a Copilot-powered PC, don't buy their services and won't push my computer to a subscription model they own.

2. MS is a really big company and the parts that are still doing good dev-centric work have been crowded out by the consumer-oriented business, where the OS is just a means to pushing AI and cloud everything.

The reality doesn't really matter as I don't see how I can buy another windows machine when the desktop I'm using becomes unsupported in a few months, despite running triple-A games fine and being my development driver every day. I can't believe this was the goal and I'd bet their are people inside MS who are really disappointed with their direction, but hey - everyone is getting rich, so YOLO!
I think it's more that we don't follow ethical rules or something
Check out Wren.

https://wren.io/

Written by Bob Nystrom, author of Crafting Interpretors.
Real headline: "Actually, A.I. Is Pretty Mid"
When you Godwin your own thread, you are by definition done.
You're describing Gleam

https://gleam.run
> It’s almost kind of more impressive that the Incan empire of maybe 10 million people got by on the barter system.

In _Debt_, Graeber argues that it is largely a myth that pre modern civilizations relied on barter, and instead used different systems for tracking debt between individuals and entities.

He says this of the Incas knotted strings in a footnote:

> I note in passing that a study of the Inca khipu system itself would itself be quite fascinating in this regard; the strings were used to record both obligations we would consider financial, and others we would consider ritual, since as in so many Eurasian languages, the words “debt” and “sin” were the same in Quechua as well
I think functionally the Focus Dial (I linked to it in my README as well) is the much better „product“ and keeps exactly that UX compared to what I built. I had to face the reality of my own limited knowledge and skillset to build something like that (and wanted to do my own thing), plus I really ended up liking that epaper display.
The rust belt started long before that. So much so that the term itself was coined in '84 by Mondale. And I also think you are fairly incorrect about the media, it's just that the destruction of American manufacturing started happening in the late 60s and 70s and waves after wave of layoffs and downsizing. The transition from an industrial to a service/information economy was handled by the zeitgeist before Gen X's time. There's a reason the linked article isn't talking about people who dedicated their lives to corporations. Gen X has never trusted corporations nor has it ever trusted government institutions.
you can't get rid of a dedicated hardware button though, even if you set it to do nothing.
Cool so just switch cars in a desolate place, got it.
There's SO much wrong with what you're saying. I hate that these things happen too, but ... stop the absurd hyperbole. This isn't criminal prosecution in any way shape or form.

1) ZERO citizenships are being "decreed invalid". I don't know where you get any ideas to the opposite.

2) revoking a visa does not involve a trial. ANY border control officer can do that, for any reason, including for no reason. This has always happened, including under Biden or Obama, only the reasons have changed (a bit)

3) only removing a green card requires "a trial". It's specified between scare quotes because it is called a trial but is NOT subject to the normal rules of justice (to give one extreme example: you do not have the right to a jury trial, you don't even have the right to be present at trial). The judges are employees of the executive (hired and fired, NOT appointed) and thus under the control of the executive (ie. Trump).

It's definitely a step up from the visa "process" but ...

It's like "youth court". It's called a trial. It happens in a courtroom. In youth court, the judges are actual judges. BUT IT'S NOT A TRIAL. You don't have the right to defense. You don't have the right to a jury trial (or the same as immigration, you don't even have the right to be present).

4) You can leave ICE detention by "self-removing". This involves proving you've booked a flight, and they will bring you to the airport to catch your flight. So you're not detained.

5) this is just utterly ridiculous: "One of the many reasons we have trials is to ensure that the agency actually caught the right person"

Yes. But these are NOT trials (even the green card removal isn't). To get US citizenship you must prove yourself for, at minimum, 10 years, often more, the the executive of the US government.

6) I would ALSO like to point out that what Trump is doing is the norm in the whole world. Including in Europe. In the Netherlands, protesting while on a VISA is stupid, and if you get arrested, you will be removed. Maybe not the first time, but it will happen. I hear France is the same.
> There's little here worth being curious about.

I’m all for OP returning the computer Google broke, as sibling comments have suggested, but the curiosity route would have been fruitful for them too; I’m pretty sure the flag I posted or one of the adjacent ones will fix their issue.

I also personally found this feature kind of interesting of itself; I didn’t know that Google were doing model-based OCR and content extraction.

> on the off chance that the tech involved is in any way interesting, it tends to have decades of security research behind it applied to mathematically guarantee we can't use it for anything ourselves

My current profession and hobby is literally breaking these locks and I’m still not quite sure what you mean here. What interesting tech do you feel you can’t use or apply due to security research?

> there's also decades of legal experience applied to stop people from building on top of the tech.

Again… I’m genuinely curious what technology you feel is locked up in a legal and technical vault?

I feel that we’ve really been in a good age lately for fundamental technologies, honestly - a massive amount of AI research is published, almost all computing related sub-technologies I can think of are growing increasingly strong open-source and open-research communities (semiconductors all the way from PDK through HDL and synthesis are one space that’s been fun here recently), and with a few notable exceptions (3GPP/mobile wireless being a big one), fewer cutting edge concepts are patent encumbered than ever before.

> There are other things to be curious about, that aren't caused by attempts to disenfranchise regular computer users.

If anything I feel like this is a counter-example? It’s an innocuous and valuable feature with a bug in it. There’s nothing weird or evil going on to intentionally or even unintentionally disenfranchise users. It’s something with a feature toggle that’s happing in open source code.

> it's one thing to fix bugs for the companies back when they tried or pretended to be friendly

Here, we can agree. If a company are going to ship automatic updates, they need to be more careful about regressions than this, and they don’t deserve any benefit of the doubt on that.
This thread is about Windows removing a feature, what makes you think they won't do the same with Copilot?
congratulations, you've just made windows 7, 2025 edition.
There was a survey done recently and the GOP is about as rightwing and authoritarian in outlook as the Russians.

Miles beyond most other right wing parties. https://on.ft.com/4iqh3qA
Yeah. I've never been particularly fond of the "traditional" computing essays by Stallman et. al, but compared to PG's essays they read like Tolkien.
Economic force wouldn't be enough, so I'm guessing you mean military.

The idea of the US going to war with Canada is seriously stupid. Canada has fought beside the US military. There are deep ties between the countries that go much deeper than trade, many close friendships, and family connections across the border.

The US will not start a war with Canada, despite what Trump may make you think.
We are born with the corruption inside of us; we must use God's teachings of love to cleanse and purify our souls so that it becomes enlightened like the spirit.
"Let's do all of this, but much worse, with more corruption, and more violently" is a weird response to perceived political grievances. Like how Leninist critiques of the Russian monarchy and subsequent revolution lead to a system at least as bad as that of the Tsar.

If you want to deconstruct the status quo, make sure that your outcomes will be actually be better for you. Even Stalin ended up as a victim of his regime at the end of days, his physician ending up arrested and being interrogated while his health declined.
For anyone struggling to manage their PL/pgSQL codebase via migration files. This is a game changer.

https://github.com/t1mmen/srtd
Nowadays nuclear power plants only make sense in case you want to build nuclear weapons. Just for power production they are just too expensive.
syntext serna was such an engineering marvel. a wysiwyg XML editor that used xslt to fo to specify your rendering. was built in the context of docbook and dita but did work for any xsd with a xslt to fo. amazing technology. ahead of its time. and then came json :-(
It’s a lot larger than you think.
I've been running LineageOS without MindTheGapps for about 2 months. (I was using LineageOS + MindTheGapps for several years on the same phone, but recently reflashed it.) My "app stores" are Fdroid and Aptoide. Not only what I have is usable, it feels faster and doesn't slow down after a week without rebooting.

My brother is stunned that I'm still using such an old phone (8 year old Moto). Unfortunately, no recent model Moto phones can run Lineage. My next phone will probably be a Pixel with Graphene or Lineage.
Thanks for your response, that’s actually very encouraging. I e definitely spent a lot of time looking at LED suppliers too.

Currently my favorite bulbs are the ones that are as you describe- two LEDs, one as high as 6500k and one as low as 2200k and it mixes depending on the state of the dinner. Automateable!
> The most impressive thing humans can do is to think.
> And the best kind of thinking, or more precisely the best proof that one has thought well, is to make good new things.
> ... but making good new things is a should in the sense that this is how to live to one's full potential.

I urge you not to take these opinions as facts. Originality is admirable, but it is not "your potential", "proof of great thoughts", or "the most impressive thing you can do".

The answer to the question: What to do? is not "Make new things", but rather begins with a simple question: In what context?

The idea of dividing people into two categories: 1) those who "take care of people and the world", and those who 2) "make good new things", is harmful.
Interesting!

However, while MIDI is 'working' (notes are highlighted when played), it doesn't produce any sound? But sound is produced when when clicking on the keyboard with the mouse...? Is there a setting somewhere to fix this?
Since it's written in Rust, that's the easiest place to use the embedding API. https://koto.dev/docs/0.15/api/ I imagine one _could_ use it from C, but it wouldn't be as ergonomic as Lua's C API. And Lua in turn isn't a perfect match for embedding in Rust
Do you use a GPT to generate the image? Or only chat with ChatGPT?
For repeat offenders, I prefer to call it out.
Show HN: RSS Reader for Android
Not relevant at all and I find the implication to be quite racist.
Half of Americans never supported the European side of WW2, but only the war against the non-white Japanese. They resented being forced, not just to take sides, but to take what they saw as the wrong side, in the European war. They taught that resentment to their children, who taught it to their children, etc. The frantic, performative anti-"Communism" of the Cold War was an effort to get those people back on side, but it could never have worked. For them, the only America is the one in the time machine, which did not get involved in the European war.
React-friendly toolkit for live video compositing
> if this were citizens I'd be on your side.

How do you know they aren't?

There was no trial to determine that these people even have visas, it's just the accusations of the administration.

The admin is additionally working hard to try and shield who they are deporting.
And unfortunately, AI companies like xAI are relatively cheap to keep running, so it could take a while before it goes bankrupt.
I agree with you in the general case but I'd also add that this specific post is even worse than the usual stuff he writes.

It's a 1500 word essay that says absolutely nothing at all.