MurphyA/hacker-news huggingface dataset:
by sersi | 2025-10-25 18:23:20+00:00
That's actually my biggest pet peeve with Montessori and I say that as a father whose son goes to a Montessori school.

Is it true that younger children have a harder time making the distinction than older children? Yes that's true. There's research that shows it. But does that necessarily mean that removing exposure to fantasy in stories is beneficial? And would a child exposed to fantasy not learn to distinguish between make belief and reality earlier? There's actually some research that shows that [1]

So while there's a lot I love about my son's school, the stance on fantasy is something I vehemently disagree with. What's interesting though is that most parents in my son's class will happily read fantasy books with anthropomorphised animals, talk about Santa Claus, etc... and completely disregard the idea that fantasy shouldn't be introduced. Officially, we can't give books with fantasy stories to the school library but last time I went to read to children there, 20-30% of the stories had clear fantasy elements.

If you're interested about the rest of Montessori ideas, it's interesting to read "Montessori: The Science Behind the Genius" by Angeline Lillard. She tries to go through most of the Montessori teachings and justify it with existing studies etc... For most part, she finds studies that are relevant and solid but not for the part of fiction where you can really feel that she struggles to justify her own bias.

[1]

- https://www.alisongopnik.com/Papers_Alison/Walker%20Gopnik%2... for a survey of research on that. It shows that fantasy is both beneficial and that children can start distinguishing between fantasy and reality.

- https://liberalarts.mercer.edu/wp-content/uploads/sites/5/20... Do monsters dream? Young children’s understanding of the fantasy/reality distinction
by rpdillon | 2025-10-25 18:23:21+00:00
This person wanted to create an alternate community because the Telegram channel was such crap.

https://www.reddit.com/r/valetudorobotusers/comments/1lmz85n...

There's a huge amount of drama over there because hypfer came in and tried to poison everybody against him.

> I have only 3 relevant interests here:

> Spreading information about offline IoT, because this is the journey on which using Valetudo has put me

> Providing a safe space where anyone can discuss ANYTHING about Valetudo, without fear or retribution

> Provide help with Valetudo to anyone, including people who don't want to create a TG account, and especially people who were banned from TG

I've kind of gone down the rabbit hole on this whole thing this morning and after a lot of reading my conclusion is that the leader of this project thinks that they are communicating far more clearly than they are. But trying to use an analogy of a private garden when it's clear that they just don't want to field questions from people is not the way to communicate.

Here's another relevant example. Somebody that did a huge amount of work and then asked a technical question that reflected that they had done the work and was banned with no comment.

> With all of that prerequisite searching out of the way, I decided to create a Telegram account to join the support chat and ask there whether or not splitting the "Mop Dock Wastewater Tank not installed or full" error into two distinct errors has already been investigated, and to express this as a feature request if it hasn't. I included justification for why I think it might be a feasible task, since there are three vendor error codes in DreameValetudoRobot.js mapped to that error and it stands to reason that maybe they could be split out with some basic testing.

> The next notification I saw from Telegram was: Valetudo: Hypfer !pban 1y
by dtornow | 2025-10-25 18:23:22+00:00
That's what we do at Resonate: We build Distributed Async Await, basically async await with durability provided by Durable Promises. A Durable Promises is the checkpoint (the memoization device). When the generator restarts, the generator skips what has already been done.

We don't have workflow and steps tho, like async await, just functions all the way down.

Disclaimer: I'm the CEO of resonate
by sutharjay1 | 2025-10-25 18:23:49+00:00
JUST LAUNCHED: Stripe Integration

Connect your Stripe account to MailAI. AI automates: Invoice tracking Payment reminders Overdue follow-ups Revenue reporting

Describe any workflow in plain English. AI does it 24/7.

Example: "Track unpaid invoices. Send reminders 3 days before due. Follow up on overdue payments."

Try free: http://mailai.live

#Stripe #AI #Automation
by jamesbelchamber | 2025-10-25 18:24:09+00:00
Porn consumption, especially at the scale we see today, us pretty new. Not 2020s new, but it wasn't that long ago when porn was "that one magazine passed around at school" and an "addiction" to porn just wasn't possible for most, certainly anyone under 18.

Not adding a value judgement to any of that, but I've seen this sentiment a few times and it jars with my experiences at least. Porn today is basically infinite, you can construct a whole world for yourself out of it and exist within it almost entirely.
by pclmulqdq | 2025-10-25 18:24:15+00:00
"Secret" tests have existed forever and will continue to exist. That's the nature of software. What gets pushed is only what the developer wants to maintain, not everything they did in the process of constructing and maintaining that software.

In practice "some lone developer in Iowa" will be held to the standard of quality of the original project if they want to add to it or replace it despite the support they get from the public package. Open-source software is also often not open to being pushed by any random person.
by simonw | 2025-10-25 18:24:19+00:00
> Even then, I would never use it, because it would be some proprietary model I have to pay some corpo for either with my privacy, my money, or both... and they could take it away at any time.

Have you been following the developments in open source / open weight models you can run on your own hardware?

They're getting pretty good now, especially the ones coming out of China. The GLM, Qwen and DeepSeek models out of China are all excellent. Mistral's open weight models (from France) are good too, as are the OpenAI gpt-oss models.

No privacy or money cost involved in running those.

I get your concern about learning more if you do everything yourself. All I can say there is that the rate and depth of technical topics I'm learning has been expanded by my LLM usage because I'm able to take on a much wider range of technical projects, all of which teach me new things.

You're not alone in this - there are many experienced developers who are choosing not to engage with this new family of technology. I've been thinking of it similar to veganism - there are plenty of rational reasons to embrace a vegan lifestyle and I respect people who do it but I've made different choices myself.
by ivape | 2025-10-25 18:24:33+00:00
Why would a human need to develop the ability to convince others if truth should be enough? One would have to make the argument that convincing others and oneself involves things that are not true to at least one party (as far as they know). I don't know why a species would develop misunderstanding if truth is always involved. If emotions/perception are the things that create misunderstanding, then I can see the argument for language as necessary to fix misunderstanding in the group. On some level, nature thought it correct to fix misunderstanding on a species level.
by pocketarc | 2025-10-25 18:24:51+00:00
I personally think this could pop up as policy at work. I'd personally push for that. "If you're pasting AI responses without filtering through the lens of your own thoughts and experience..."

Like, it's fine for you to use AI, just like one would use Google. But you wouldn't paste "here are 10 results I got from Google". So don't paste whatever AI said without doing the work, yourself, of reviewing and making sense of it. Don't push that work onto others.
by uvaursi | 2025-10-25 18:25:11+00:00
I moved our team from Backbone to Angular almost 6 years ago. I treasured BB on the fact that the entire source code can be read and understood by a junior developer, which made it appealing to me from an adoption perspective in our org, because there was no “magic” to it and a developer inherently understands and accepts that BB solves a real problem in a direct way. Having an army of jQuery devs who still wrote their own XmlHttpRequest functions and handled the inverted IE event bubbling by hand, I needed to ease them into thinking about front-ends as applications.

But my sensibilities as a software developer led me to adopt TypeScript and a kitchen-sink framework as a more stringent way of composing pages rather than just having a Wild West of filling patterns around what BB didn’t offer out of the box. After doing side-by-side comparisons Angular seemed like the most “similar” to what BB looks like day-to-day. I don’t have anything against React/Vue they’re fine.

We are on NG20 now and it’s looking good. I don’t miss BB, we still have some old pages that use it but overall I am not going to get caught up on this code golf stuff. Eventually when browsers catch up and offer out of the box solutions maybe that will be a point where we can go back to implementing things in a simple more native way.
by jerlam | 2025-10-25 18:25:26+00:00
MacOS is worse, my experience is that you might get ten years of support. The Apple Silicon migration is making it worse and shortening the support periods.

A 2017 MacBook Air can only run MacOS 12 - which was unsupported last year, giving a total of seven years of support. Yes, you can run OpenCore Patcher if you want to stretch the definition of support.
by mindslight | 2025-10-25 18:25:32+00:00
I'm still trying to understand if you're saying AC itself has a greater shock risk, or if you're merely commenting on peak vs RMS. For safety terms I personally think of AC voltages as their peak voltage, because I consider it a bit ridiculous to model myself as a resistive load being heated - meaning I consider my house wiring here in the US as being 170V. And I would consider (a stiff source of) 170V DC more dangerous in all respects, but perhaps I am wrong?
by eredengrin | 2025-10-25 18:27:28+00:00
> I'm not sure LP is a high-quality source. He has reputation that makes me want to listen to everyone else but him.

Based off his reputation, I would agree, but after reading a lot of his own words via blog posts, comments in github issues, etc, I wonder how he gained that reputation. He has solid reasoning behind many of his ideas even if you disagree with them, and his comments seem pretty respectful and focused on the technical aspects. Maybe things were different in the past, or maybe some segments of the community just never forgave him for the early buggy systemd implementations, or maybe I just happened to only read things he wrote when he wasn't having a bad day, who knows.
by Esophagus4 | 2025-10-25 18:27:37+00:00
I don't think that's a fair characterization of this particular situation: that the cops were idiots. This also wasn't entirely an AI problem, as it was reviewed by a (presumably) human before being sent to the police.

I'm assuming you're not in the US from your comment, so I encourage you to think more broadly about the problem rather than focusing on the headlines.

To play devil's advocate, this case exists within a larger system in the US. In particular:

1) the proliferation of guns in America causes tremendous uncertainty for police, for whom any encounter with the public could involve a firearm. In other countries where the public have fewer firearms, police don't have to escalate a situation as quickly for safety reasons because they can assume the person they're interacting with doesn't have a gun.

1a) therefore, police are trained to take control of situations in certain ways if they believe a threat to be present: for example, drawing their gun and handcuffing a potential suspect out of the abundance of caution, then performing their investigation once the scene is safe. That is what appeared to have happened here.

2) the risk of school shootings putting pressure on police, school systems, etc to prevent these situations. Hence, the deployment of technology, armed guards at schools, etc

2a) Sadly, local police often bear the brunt of larger system failures. Example: mental health treatment difficult to get? Police will have to deal with people who are not taking their anti-psychotic medications, or who are at risk of harming themselves or others. Proliferation of guns for political reasons? Police will have to encounter more people with guns.

3) Police are human beings. And even in the best case, with incredible amounts of training (which they may or may not have), they will still have to make split second decisions that could mean life or death. Some of those may be mistakes.

Combine all these forces, and you have a recipe for incidents.

It's absolutely fair to criticize behavior and hold law enforcement to a high standard, but man... I think we haven't put them in a position to succeed, and we ask a tremendous amount from them.

It's the same way if there's an incident in a production software environment, my general thought is not: "the bar for being a developer here must be really low because they're incompetent." My thought starts with, "what in our system allowed this event to happen?"
by dtornow | 2025-10-25 18:28:00+00:00
When we built Distributed Async Await, we went a step further: Every time the generator instance awaits, we "kill" the generator instance (you cannot really kill a generator, but you can just let it go out of scope) and create a new one when the awaited computation completes. So in essence, we built resume semantics on top of restart. We were inspired by the paper Crash Only Software https://dslab.epfl.ch/pubs/crashonly.pdf
by daxfohl | 2025-10-25 18:28:45+00:00
Something still feels off if the formal proof can't be understood. I don't dispute its correctness, but there's a big jump from 4 color theorem, where at least mathematicians understood the program, to this, where GPT did the whole thing. Like if GPT ceased to exist, nobody would have a clue how to recreate the formalization. Or maybe there's a step in there that's a breakthrough to some other problem, but since it was generated, we'll never notice it.
by hexbin010 | 2025-10-25 18:30:21+00:00
Most UK housing stock is poor quality, old and draughty. Pre-req of switching is fixing that. Then, when you've got a nice hermetically sealed house, you need to solve fresh air, which is another cost. Labour is extremely expensive in the UK and tradespeople are poor quality and swindlers (sorry, it's true 95% of the time).

And most people don't have £10k+ to drop on upgrades

We're not used to needing aircon, so the whole concept is a bit foreign

Electricity is expensive (0.31 EUR/kWh)

Plus, we've been burned by governments pushing "green" things:

- They scammed us with cavity wall insulation, which has caused some serious structural and expensive issues. It was inappropriate for many houses and a ton of conmen popped-up to take government money with no fucks given

- Diesel was sold as 'green'

- They had a scheme pushing loft insulation but the installers often just threw rolls of insulation into the loft and ran way (not even kidding)

Basically, multiple governments have created just about the /worst/ possible history and conditions to get people on board with heat pumps

I have a very small, draughty house and spend ~800 EUR a year on gas (heating + hot water + hob). Not ideal but I'm still running on the gas boiler that came with the house 10 years ago that's only had ~300 EUR of maintenance spent on it. The house gets hot, I can have boiling hot showers whenever I want. If anything goes, wrong, I can all any of 30 people to come fix it
by NoboruWataya | 2025-10-25 18:30:42+00:00
> significant can mean anything ofcom want it to

You're right in the sense that they can pursue whomever they want based on whatever interpretation of "significant" they may hold. But it is not Ofcom that ultimately decides on the meaning of the term, that is for a court to decide and that court would likely rely on the same authorities and principles that Libera's lawyers did in their advice.
by drdaeman | 2025-10-25 18:30:50+00:00
> tampering with the aircraft electronic systems

How? Unless I'm misunderstanding the word, "tampering" implies "making alterations to", and no aircraft systems are altered in any way - they are exactly as they were, doing exactly as they're programmed. (Ab)using the difference between implied programming and de-facto programming could be unauthorized access, but I don't see how that could possibly constitute tampering.

Not that I disagree with your overall point, just the tampering bit strikes me as particularly odd.
by delusional | 2025-10-25 18:31:39+00:00
> keep most people happy.

Not _most_ in the sense of a plurality of all users. _most_ in the sense of some subset of contributors. Free software is still a dictatorship of the able. A person who cannot contribute (whether that be code or money to pay someone else to code) something important is still without recourse.

If Linus decided to add a bunch of malware to the kernel, my mom would still be unable to fix that.

FOSS is still better than proprietary, but it's not perfect either.
by EvanAnderson | 2025-10-25 18:32:27+00:00
Lots of comments are talking about how loud rock tumbling is. I have an interest and space in my basement but I'm reticent to pull the trigger without knowing if it's going to be intolerably loud upstairs. Does anybody know how many dB the process actually generated?

Edit: Finally got to a PC to do some search-engine investigation and found this: https://rocktumbler.com/tips/how-much-noise-does-a-tumbler-m...
by blibble | 2025-10-25 18:34:20+00:00
> But it is not Ofcom that ultimately decides on the meaning of the term, that is for a court to decide and that court would likely rely on the same authorities and principles that Libera's lawyers did in their advice.

assuming of course libera don't fold the moment they receive a nastygram ("enforcement notice")

like they did when andrew lee commandeered freenode
by Liftyee | 2025-10-25 18:34:38+00:00
I agree with quite a few points here especially on short form content and the mainstream news these days. However on computer games I am still a little undecided. I tend to (try to?) play "creative" games... think Minecraft, Factorio, etc... where you have the chance to execute some project or vision without any real world costs.

Thinking about it, my overall position is to maintain a balance between dopamine from long-term sources and short-term ones. I think long-running creative projects that make you think are generally good whether they are digital (see: 3D animators/artists) or physical - it's just personal preference which one you tend towards. The types of games I try to limit are those with temporary rounds/matches/etc... unlike a Minecraft world, there is no cumulative aspect, no long-term planning apart from your own increase in skill. Despite that, the short satisfaction from momentary successes in each game keep you playing.
by simonw | 2025-10-25 18:35:02+00:00
- Good automated tests which the coding agent can run. I love pytest for this - one of my projects has 1500 tests and Claude Code is really good at selectively executing just tests relevant to the change it is making, and then running the whole suite at the end

- Give them the ability to interactively test the code they are writing too. Notes on how to start a development server (for web projects) are useful, then you can have them use Playwright or curl to try things out

- I'm having great results from maintaining a GitHub issues collection for projects and pasting URLs to issues directly into Claude Code

- I actually don't think documentation is too important: LLMs can read the code a lot faster than you to figure out how to use it. I have comprehensive documentation across all of my projects but I don't think it's the helpful for the coding agents, though they are good at helping me spot if it needs updating.

- Linters, type checkers, auto-formatters - give coding agents helpful tools to run and they'll use them.

For the most part anything that makes a codebase easier for humans to maintain turns out to help agents as well.
by bradgranath | 2025-10-25 18:35:31+00:00
An extra clever system would include every temperature controlled appliance in the house. Heat could be exchanged between the hvac, water heater, refrigerator, and oven.

When the oven is done cooking it can dump heat into the water heater (and or furnace in the winter). The fridge and HVAC could dump heat into the water heater before pumping it outside in the summer.
by sersi | 2025-10-25 18:36:38+00:00
That makes complete sense. We live in HK and here most kindergarten will have an interview before starting school either at 3 or 4 years old. We applied to a play-based school and to a Montessori school and our son was admitted to both but that's because those two schools target more play focused parents.

So the interviews for those schools are less strict and competitive than some of the better ranked schools where children are competing against children who have tutored and been coached to ace the kindergarten interviews (!?).

I strongly agree with you that there's absolutely no point in testing for giftedness before 2nd grade. Even testing in 2nd grade is fully ripe for creating an arms race between parents by inciting them to hire tutors.
by Ygg2 | 2025-10-25 18:37:15+00:00
> It is a tool that works for me.

Is it? Or is it a tool that won't bug you when you make a mistake?

Programmers tend to, as Djikstra noted[1] confuse ease of programming with allowing unforced errors.

[1] https://en.wikiquote.org/wiki/Edsger_W._Dijkstra#1970s
by fweimer | 2025-10-25 18:38:20+00:00
> There is no Obama or Biden counterpart to Trump's extrajudicial killings in the Venezuelan coast.

Sadly, this isn't really true. The Obama administration had their Terror Tuesdays:

https://web.archive.org/web/20120530104348/https://www.nytim...

The program was only mildly controversial at thetime. The killing not so much—it was more about the alleged presence of a Democratic campaign strategist in those coordination meetings.
by deinonychus | 2025-10-25 18:38:32+00:00
Speaking as an apartment dweller, my new apartment's ductless setup is much quieter (inside) than my old apartment's blower. At the old place, the fan was either on or off and must have added another 10 or 20 db of noise forcing you to always keep the TV remote nearby in case the fan turned on or off. It's very convenient that I can control my ductless unit's fan speed with a remote.
by dwrensha | 2025-10-25 18:39:25+00:00
Where do you see any mention of GPT?

The computer-assisted component of the Noperthedron proof is a reasonably small sagemath program that was (as far as I know) written by humans: https://github.com/Jakob256/Rupert

Perhaps you have confused this article with a recent unrelated announcement about a vibe-coded proof of an Erdos conjecture? https://borisalexeev.com/pdf/erdos707.pdf