MurphyA/hacker-news huggingface dataset:
by palmotea | 2025-10-24 21:24:37+00:00
> Well, the main thing this brings to mind is an Amazon tactic that emerged after the pandemic. There was a big move to get people back to working in the office, and Amazon staffers who weren't happy with that could change their SSID (home Wi-Fi name) to match the company’s official office network.

> Now, do not take this as advice to do the same! It’s highly likely that a more advanced application like Teams has a more advanced check going on here, such as making sure your device has an IP address that matches the corporate office network, or checking the MAC address of the router.

Is there any reason you can't spoof literally all of that?

But if your boss really wants to know if you're in the office or not, they can track badge-swipes. That's what my employer does to enforce RTO compliance.
by alephnerd | 2025-10-24 21:24:38+00:00
Even then, on a per capita basis, the UK is the primary destination for Nigerians (especially for education), not the US - and that community is much more established than the comparable community in the US.

NYC is not representative of the US, and you don't see the same degree of immigration of Africans in the US aside from isolate communities such as Somalis in Minnesota, Tigrayans in the DMV, or Igbos in tech hubs and TX.
by asdff | 2025-10-24 21:24:39+00:00
>In those situations the Montessori classroom's weakness is that there is only one guide for all subjects as opposed to a traditional school's subject-specific teachers.

This isn't a hardset rule. We had the main teacher but we also had specific teachers as well for stuff like music, art, languages, or gym class. By middleschool there was no more "main" teacher. You were basically in a committee of teachers all specific including science, english, and history by that point. Part of that I'm sure was to prepare you for highschool in a non montessori setting.
by wat10000 | 2025-10-24 21:24:56+00:00
> command-line interface != shell

I realize that. That's why I was talking about a hypothetical where it was designed all together, instead of evolving over the decades like we did.

In the situation we actually have, the shell is the only single entity that's in a position to actually do this. The terminal emulator doesn't know when a command completes. Of course, it doesn't have to be solved in a single entity. It would make sense to have the shell signal command completion to the terminal emulator, and let the terminal emulator do whatever it wishes with that information, which could include resetting any garbage state.
by SigmundA | 2025-10-24 21:25:05+00:00
a 1500W heat pump water heater with a COP around 3 will put 5500 watts of heat into the water.

My Rheem hybrid 220v heat pump water heater only has a 500w compressor but puts 1500-2000 watts of heat into the water pulling it from the hot garage.

I have the choice to run it in high demand mode which will run both the heat pump and electric 4500w element for around 6kw of heat into the water if I need fast recovery.
by em-bee | 2025-10-24 21:25:23+00:00
higher costs of teacher training and classroom materials

the current cost of montessori teacher training and materials is a matter of scale.

the training only takes one year. the cost comes from it being done on top of the traditional teacher education that most teachers likely went through.

if montessori training would be included into traditional teacher education, the cost would be absorbed (you could skip a few other redundant classes). likewise, the material produced at scale would be cheaper.
by practal | 2025-10-24 21:25:27+00:00
Indeed, and e:t in type theory is quite a strong ontological commitment, it implies that the mathematical universe is necessarily subdivided into static types. My abstraction logic [1] has no such commitments, it doesn't even presuppose any abstractions. Pretty much the only requirement is that there are at least two distinct mathematical objects.

[1] http://abstractionlogic.com
by tom_ | 2025-10-24 21:25:40+00:00
The question as I recall was what Perforce does that Git LFS doesn't, so I'm sorry to disappoint but my hands were tied.

Anyway, I dunno, man. If you want binary files to work, some form of per-file mutex is indeed a requirement. And for this to work well, without being a lot of hassle (and regarding that, see point 2, which I note has been accepted without comment - not that I expected anything else, the argument that Git is the artist-friendly choice would be a difficult one to make), any modification of the mutex's state has to involve a round trip to ensure the info is up to date. You can't rely on something local, that only gets updated sometimes, because then the info can be out of date! Worst case, N people find out too late that they've all been making changes simultaneously, and now N-1 of them will almost certainly lose work.

(You might be inclined to moan at people for not going through the full process, but: we have computers now! They can do the full process for us!)
by anon291 | 2025-10-24 21:26:00+00:00
> How Gödel’s second incompleteness theorem shows that you can prove anything,

That is not at all what it says.

> They both can be useful or harmful,

If a proof is admitted into lean, there is no doubt as to its truth. There is no way in which lean can be construed as harmful.

> The 2009 crash and gaussian copula as an example.

There is nothing mathematical about the economics behind the 2009 crash. Such things are statistical measurements, which admit the possibility of failure, not mathematical conclusions that are demonstrably true.
by jongjong | 2025-10-24 21:26:12+00:00
I think the analogy between JavaScript and TypeScript is not 100% because although JavaScript has some quirks in its design, it is fully consistent. My biggest issue with math is symbols that are reused to mean different things in different contexts. It makes maths more time-consuming to learn and makes it difficult to jump between different fields.

Personally, at times, I struggled with the dual nature of mathematics; its extreme precision in meaning combined with vague and inconsistent use of symbols is challenging... Especially frustrating when learning something new and some symbols that you think you understand turn out to mean something else; it creates distrust towards maths itself.
by Imustaskforhelp | 2025-10-24 21:26:12+00:00
So theoretically if any one of the party in american system gets 2/3rd people of the same party and they all agree to one person and try to amend the constitution itself to add whatever they want, can't they theoretically create a purest form of dictatorship (one which lasts forever instead of just 5 years)

I mean given how much is already happening in America, I am just curious from a legal standpoint if there could be done something like that (forgetting the insane backlash but still), what could the president of america do to completely sieze the constitution ?
Show HN: Scout0 – Learn from AI code reviews, don't just copy fixes
by everaur | 2025-10-24 21:26:29+00:00
Hiya HN,

I built Scout, an AI code review tool that helps you learn instead of just patch code.

Tools like ChatGPT or Copilot make it really easy to get working code. But it's also easy to skip understanding! You paste, it runs, you move on, hit the same bug again later.

I remember the days when I looked on stackoverflow for help. Ever since the launch of ChatGPT, I had began to over rely on AI to do my coding and thinking for me... I knew AI was a valuable tool, I just had to find a way to use it well. For me that was with a simple Next app running off of localhost. I realized others might have a similar problem / need for feedback, so I thought I'd release it as a product.

I made it simple:

- Connect your GitHub repo

- Pick an analysis type (security, performance, quality, bugs, explain)

- AI reviews your code and explains why something’s wrong

- Gives you concrete suggestions and a quality score

- Doesn’t hand you the fix

It's for anyone, but I think it might be especially helpful for: solo founders learning to code, bootcamp students, and self-taught devs!

Try it at https://scout0.com

There's a video (https://youtu.be/Dj1TLNqVWbk), and a live demo on the landing page (works best on desktop)!

I wanted to keep it simple, 2 plans the cheapest at $14 / month with a free tier that can analyze with only bugs and explain (which is what I originally built for myself).

I’m 16 and building Scout to fund my spot in a high school field study in Ireland. My goal is to reach $1k/month in sustainable revenue before the trip. I’m sharing the whole process daily on Twitter (@everaur1).

I built with Next.js, OpenAI (via the AI SDK), and Polar.

Happy to talk about the tech, design choices, or business side. I'm very new to this, and feedback’s very welcome!!!
by j45 | 2025-10-24 21:26:59+00:00
Reading more about technologies like this it seems to create a unique profile of your usual type and style of usage (clicking, scrolling, typing) which can then be compared against.

Not condoning cheating - the point about just finding another job is it might not be that easy for people depending on what they do, what industry it's in, the number of jobs accessible to them at any given time, or average for those skills.
by mike978 | 2025-10-24 21:27:13+00:00
In my experience Black flies[1] and no-see-ums[2] are far worse (not counting mosquitoes born disease). It's like a massive angry cloud of micro horseflies that intend to dismember you bite by bite.

[1] https://en.wikipedia.org/wiki/Black_fly [2] https://en.wikipedia.org/wiki/Ceratopogonidae
by TimTheTinker | 2025-10-24 21:27:48+00:00
Nearly 2 years ago, we had a small tornado come through, taking out our electricity for a week. During that time, it was snowy and the outdoor temperature was well below freezing (it reached about -10°C (12°F) at night).

Keeping my family warm was a real struggle that week. The next spring, I went to Costco and bought a big tri-power generator and wired up a generator interlock on the electric panel. Now if we lose power, we can run the natural gas furnace & blower with no problems. I can also power the generator from my home's natural gas supply instead of making frequent trips for gasoline.

So I'd say heck no to swapping the natural gas furnace for a heat pump. I'd much rather use natural gas to power both the generator and the furnace/blower than risk needing more electricity to keep my family warm than my setup can handle.
by ssuds | 2025-10-24 21:27:58+00:00
Hey Paul! Good to see ya on here. I'm in a Facebook group of small HVAC contractors, and recently there was a conversation about who is installing heat pumps vs traditional ACs and furnaces. I was thrilled to see that most were saying that they are moving a lot of their business toward heat pumps. Of course, there were a few that were stuck in their ways and were "gas or die" type people, but it's exciting to see the ship slowly starting to turn. There are more and more heat pump forward contractors coming online every day, and it's great that we can team up with folks like you pushing the hardware forward. There is so much work to deploy these systems, and winning is going to look like all of us working together!
Further Updates
by Okerew | 2025-10-24 21:28:22+00:00
Improved updating imagination creativity, further fixed main functionality usages in 64/86 code, added missing code to MacOS version, along with general improvments for better prediction. In Neural Web in https://github.com/Okerew/Neural-Web. Code clean for osxiec 1.0 in https://github.com/Okerew/okerew.
by akoboldfrying | 2025-10-24 21:28:56+00:00
No, it isn't the continuum fallacy.

I'm not claiming that a continuous range exists, and that one end cannot be distinguished from the other because the slope between those points is gradual. I'm claiming that there is a category, called technology, and everything in that category is subject to that argument.

If you want to dispute that, it's incumbent on you to provide evidence for why some technology subcategories should not be subject to that argument.

Specifically: You need to present a case for why AI devices like the one discussed in TFA should not be evaluated in terms of their risks and benefits to society.

Good luck with that argument.
by SigmundA | 2025-10-24 21:28:58+00:00
Its not hard to say at all, the math can be done pretty easily based on your local electric and gas rates, and most people who go for a heat pump already need an air conditioner for summer.

The math actually works out in many places unless you have cheap gas and expensive electricity. Its also better then to burn the gas at a power plant at 60% efficiency then 300-400% efficiency at the heat pump than pipe and burn the NG at 80% efficiency in your furnace.
by ZenoArrow | 2025-10-24 21:29:01+00:00
It partially addresses it, because it shows there's a way to save the software Mozilla develops from itself. In other words, I couldn't give a damn if Mozilla keeps misunderstanding it's market if there are open source forks of its software that undoes Mozilla's bad decisions and keeps the parts worth keeping. I'm not sentimental about Mozilla, Mozilla can continue to become irrelevant as long as competition in the browser space continues. New funding models can be developed to support forks of Firefox.
by oconnor663 | 2025-10-24 21:29:19+00:00
If you want to try an optimized AVX-512 implementation of KangarooTwelve on the command line, you can `cargo install k12sum`. On my machine it's neck-and-neck with `b3sum --no-mmap` (which does not use threads).

Edit: Oh it looks like another option, `KeccakSum`, was released a couple months ago? https://github.com/XKCP/K12/commit/5271b58c990c1ac33c1097b4e...
by MerrimanInd | 2025-10-24 21:29:24+00:00
I used existing templates from the [typst universe repository](https://typst.app/universe/) for the resume then built something much simpler from scratch for a secondary document, a sort of cover letter/case study of projects I've done.

If there's interest I can maybe take some PII out of my repo and make it public. Not like there's anything wildly private in there, would just prefer to not get any more spam calls than I already do.
by amarant | 2025-10-24 21:29:42+00:00
This is such a weird tale to hear. I heat my 2 story 147m2 house in Sweden with a single heat pump and it's downright cosy down to -10C. I have noticed that my office, which is located at the furthest possible place from the heatpump, tends to get a bit chilly when outdoors temperatures fall below -10°c. usually a blanket is enough to keep me toasty, but on the rare occasion that it gets real cold (below about -15°c), I have a fireplace to save the day. That fireplace actually gets used more for the cozyness of a fire than it does for actual need of heating, but it does help on the worst days of Scandinavian winter.

All this to say: if your pump can't handle +5°c, I wonder if you got scammed or if there are other factors at play? Is your house insulated at all? Do you keep your windows open throughout winter? Your experience is so different from mine it's hard to believe we're even talking about the same technology!
by LexGray | 2025-10-24 21:30:26+00:00
That sounds like a fun thought experiment. What exactly would happen?

I think is why the EU and UK pushing so hard to open the gates is so they have the excuse to take control themselves and slam the gates back shut hard. I predict the outcome in even a ten year period is all apps will need governmental approval.

Opening the gates is not necessarily the best long term decision either.

You have to remember most governments are corrupt and it will devolve into a situation on who pays the best bribes over the current flat rate extortion.
by RyanOD | 2025-10-24 21:30:27+00:00
One thing I know about Teams is it shows me as not active almost 100% of the time. I have to refresh the page in order to get the green "hey look, I'm working!" icon. On one hand, I don't care...on the other, it's annoying. So I basically never trust that location / status info.

Maybe this is a setup issue within our org, I don't know.
by jononor | 2025-10-24 21:31:18+00:00
All language is referential. Even in everyday speech the meaning is not in the words themselves, in so much as they are pointers to concepts that (hopefully) exists already in the brains of the people we are conversing with. So when someone is very well aligned, one can convey ideas that go much further than conventionally expressed in the "general" language which is mutually intellible with most speakers of the same language. It is a rare experience though, at least for deep or personal topics.
by tgma | 2025-10-24 21:31:20+00:00
Yes your penultimate paragraph is my core point. I argue that’s the real standard. Freedom means different things to different people. If you try to define it objectively, you quickly are in the realm of ideology and then wondering why half of the country reject such ideology, while describing their behavior as “against their interest.”

The Mullah regime in Iran also tries to forcefully direct people to heaven, because they think that’s in their best interest long term and they don’t know better. In fact they sometimes even use the same phrases used in your analogy to refer to mortal life: a prison.
by Nifty3929 | 2025-10-24 21:32:19+00:00
Numbers aren't language, or even sequences of tokens, or vectors.

There is an inherent numeric-ness and logic to math that I don't think we can represent well using LLMs and transformers.

3 isn't about the word "three" - it is a quantity or a measurement. And 3x4 is a specific numerical operation that is not really contained in that sequence of symbols.
by orliesaurus | 2025-10-24 21:32:49+00:00
Interesting to see excitement around this release...

BUT beyond cross‑platform hype there's a practical question... what developer tooling will look like... Are we getting first‑class debugging, package management, continuous integration for Android targets...

ALSO adoption often comes down to licensing and governance... open SDKs thrive when the steering group is transparent and responsive...

And it's worth remembering that bridging two ecosystems isn't just about code... it's about aligning design idioms, APIs and expectations... Without that you end up with uncanny valley apps...
by sparky_z | 2025-10-24 21:32:55+00:00
Yeah, that's one of them. Here's the other:

https://en.wikipedia.org/wiki/Yamaha_Motor_Company

It even says in your link "The former motorcycle division was established in 1955 as Yamaha Motor Co., Ltd., which started as an affiliated company but has been spun-off as its own independent company. "
by DangitBobby | 2025-10-24 21:32:58+00:00
The issue in the US is not about safety near schools. School buses often have to go pretty far to drop evyone off, so most of their stops are not near the school. For route optimization they'll drop kids off on the opposite side of the road from where they need to be, not at a bus stop and not anywhere near a crosswalk. Also kids in the US tend to not be very mindful of how dangerous the road can be, so they are liable to run into the street unpredictably. To make sure kids don't get hit by a car that didn't see them, when stopping a school bus deploys a stop sign from its side that all drivers going either direction on the road must abide by (usually, there are exceptions, which makes matters worse). Drivers occasionally accidentally run these stop signs and very rarely intentionally run them.
by vlark | 2025-10-24 21:34:21+00:00
Everyone making recommendations for other apps is missing the fact that the article is aimed at non-techies who aren't going to fire up a terminal or go searching for a plain-text, non-stylized text editor. TextEdit can save as plain text as other posters note, but most non-techies want a word processor where they can change fonts and font styles.

While I do like TextEdit, I prefer Bean (https://www.bean-osx.com/Bean.html), which has been my quick word processor of choice on the Mac since the Tiger days.
by rstuart4133 | 2025-10-24 21:34:24+00:00
I also am a fan of the "expectation of privacy" rule.

That's primarily because it makes it absolutely clear the public always has the right to record officials doing their job. So if you see a policeman murdering George Floyd in the street, or fellow shopper pushing an old woman out of the way, or a parent screaming abuse at an umpire, or even just someone littering in a national park there is no doubt you are allowed to record it.

Yes, this means towards more surveillance, but it's a counter balance to the surveillance state. The state and large corporations put cameras everywhere. It seems odd to me that people get really upset by taking photos of them when there are likely numerous CCTV cameras already doing that 24 hours a day, in not so public places like offices. The "anyone can take photos in a public place" rule means Joe Citizen gets the same rights as the corporations and governments take for themselves.

I'm in the minority though. The best illustration I've seen of the was a man take a photo of the cheer leaders at a big football game. He leaned over the fence and put his camera on the ground, taking the photo as the girl kicked her leg into the air. His actions where caught on the TV camera that was broadcasting that same girls crouch around the nation. The police prosecuted him because of the huge outcry. I'm can't recall what the outcome in court was, but I couldn't see how he could be breaking the photography rules given my country has the "expectation of privacy" rule.
by fortylove | 2025-10-24 21:34:34+00:00
<this comment doesn't really add anything, but thought I'd share anyways for whatever reason>

I forgot the editor (maybe TextMate?) that was in vogue during the peak of the Ruby on Rails era, but there was such a feeling of magic to using what was a fairly basic editor that still had syntax highlighting.

Was this feeling of magic purely because I was younger? Or perhaps we did peak in terms of the ergonomics of human-controlling-machine without too many aids?

Fighter pilots used to fly with skill and instincts, but now are assisted by all sorts of high tech equipment that has removed much of the "flying skill" and replaced it with "equipment skill". It's not that fighter pilots are worse now. I'm sure they are better at achieving the outcomes desired, while commanding much more complex equipment. But the perhaps the art of flying is less emphasized.

In the same way, perhaps the era of software engineering is changing too?
by immibis | 2025-10-24 21:34:57+00:00
In general, systemd-ish projects expect you to bend the system to match the project's expectation while sysvinit-ish projects are infinitely flexible to match any system (jack of all trades, master of none; worse is better; etc).

From the creators of systemd we also have GNOME, PulseAudio, and Wayland. They have some design philosophy in common.

BTW most sysvinit distros barely even use sysvinit. sysvinit is a service monitor, similar to systemd but more primitive, but typically most of what it's configured to do is to launch some shell scripts on startup. We really have "systemd distros" and "ad-hoc script distros", not sysvinit distros ("ad-hoc" is not a pejorative). I don't know why they don't make init a shell script directly - you can do that, and it's typically done that way in initramfs.