MurphyA/hacker-news huggingface dataset:
by kubav027 | 2025-09-17 21:00:38+00:00
This is reason I am not doing workouts at home. I hate splitting workout and normal life to separate categories. So I try to integrate physical exercise into daily schedule. I commute by running, cycling or walking paired with public transport. Also I do a lot of walking/running with my small kids. I am able to average 10 km walk per day with two 30 km bicycle rides in hilly terrain and one 5 km run per week. This is without forcing myself to "workout time". If I have time I am also going to bouldering or wall climbing once a week. It works great because I have reasonable physical exercise despite enjoying time with my kids and being an office worker.
by Karrot_Kream | 2025-09-17 21:00:40+00:00
> The 2017 white supremacist rally Unite the Right in Charlottesville, Virginia was planned through Discord, and the platform was used by far-right mass shooters in the 2022 Buffalo shooting and the Highland Park Parade shooting.

It's just free association untethered from the costs of physically finding your associates. During the 2020 BLM protests I found myself in a large Telegram groupchat of protest organizers. The organizers could have done the same thing in a person's house or a community center but it's cheaper and easier to do this in a groupchat.

I don't know what anyone can do about it without breaking US Constitutional freedoms or the SCOTUS narrowing the freedoms when applied to digital media (which I think would be a dangerous precedent.) It seems like the physical constraints of association used to have a pretty big hand in shaping 'radical' culture in the past.
by paladin314159 | 2025-09-17 21:01:17+00:00
> I think that, if you gave me the ability to search the pre-contest Internet and a week to prepare my submissions, I would be kind of embarrassed if I didn't get gold, and I'd find the contest to be rather less interesting than I would find the real thing.

I don't know what your personal experience with competitive programming is, so your statement may be true for yourself, but I can confidently state that this is not true for the VAST majority of programmers and software engineers.

Much like trying to do IMO problems without tons of training/practice, the mid-to-hard problems in the ICPC are completely unapproachable to the average computer science student (who already has a better chance than the average software engineer) in the course of a week.

In the same way that LLMs have memorized tons of stuff, the top competitors capable of achieving a gold medal at the ICPC know algorithms, data structures, and how to pattern match them to problems to an extreme degree.
by taeric | 2025-09-17 21:01:43+00:00
Certainly. Names are important, as much as it annoys us.

My question was more on if you could move the algebra into more focus in the types defined. Specifically, I don't think I've seen people use +/* in describing the type that often. Or ever, really.

As an example, I could see defining an Either<A, B> as (A + B) as a fairly easy to understand example that would make it very easy to see the algebra being described. Though, at that point, I confess I don't know of any common product types by name. Tuple, but that is not really satisfying to me, for some reason. (Fully ack that is a me problem.)

Could easily explain this using cards. You start with the types of Suite and Rank. With a Card being (Suite * Rank). This nicely could show that asking about a Suite is effectively asking about only part of the type for any Card.

I'll probably be slightly thinking on this longer than makes sense. :D
by sjrd | 2025-09-17 21:01:47+00:00
Wasm 3.0, with its GC and exception support, contains everything you need. The rest is up to the source language to deal with. For example, in Scala.js [1], which is mentioned in the article, you can use the full extent of JavaScript interop to call DOM methods right from inside your Scala code. The compiler does the rest, transparently bridging what needs to be.

[1] https://www.scala-js.org/doc/project/webassembly.html
by craftkiller | 2025-09-17 21:01:54+00:00
Yeah, that's the brand I've been watching most closely. How would you rate the sharpness of the display for text editing / coding? Like if you opened some large code files on your glasses and desktop monitor, and adjusted both their font sizes to have the same legibility + feel, do you fit more text on the glasses or your desktop monitor and by how much?

This is the one aspect that is hard to find info about online. Everyone talks about the weight and what size the virtual display is, but if I am going to seriously use it for productivity then I need at least 3 files open side by side, fully legible, with 100-character-wide lines at the bare minimum to be considered.

Either way, I'm not going to purchase until they solve the longevity problem, but I am curious if the sharpness is at the point where I can stop worrying about it.
by palata | 2025-09-17 21:02:01+00:00
> Your defensiveness

Start by not calling everybody disagreeing with you a cultist, next time.

> I said system package, not official repository. I don't know why you keep insisting on countering an argument I did not make. Yes, system packages can be installed from unofficial repositories. I don't know how I could've made this clearer.

It's not that it is unclear, it's just that it doesn't make sense. When we compare npm to a system package manager in this context, the thing we compare is whether or not is it curated. Agreed, I was maybe not using the right words (I should have said curated package managers vs not curated package managers), but it did not occur to me that it was unclear because comparing npm to a system package manager makes no sense otherwise. It's all just installing binaries somewhere on disk.

AUR is much like npm in that it is not curated. So if you find that it is a security problem: great! We agree! If you want to pull something from AUR, you should read its PKGBUILD first. And if it pulls tens of packages from AUR, you should think twice before you actually install it. Just like if someone tells you to do `curl https://some_website.com/some_script.sh | sudo sh`, no matter how convenient that is.

Most Linux distributions have a curated repository, which is the default for the "system package manager". Obviously, if users add custom, not curated repositories, it's a security problem. AUR is a bad example because it isn't different from npm in that regard.

> though the part where you harp on about doing dependencies properly compared to me and not elaborating one bit is very funny

Well I did elaborate at least one bit, but I doubt you are interested in more details than what I wrote: "What do I do then? Well exactly the same as what your system package manager does."

I install the dependencies somewhere (just like the system package manager does), and I let my build system find them. It could be with CMake's `find_package`, it could be with pkg-config, whatever knows how to find packages. There is no need to install the dependencies in the place where the system package manager installs stuff: it can go anywhere you want. And you just tell CMake or pkg-config or Meson or whatever you use to look there, too.

Using git submodules is just a bad idea for many reasons, including the fact that you need all of them to use the same build system (which you mentioned), or that a clean build usually implies rebuilding the dependencies (for nothing) or that it doesn't work with package managers (system or not). And usually, projects that use git submodule only support that, without offering a way to use the system package(s).
by Yasuraka | 2025-09-17 21:02:09+00:00
> 95% of Go packages[=code, the author] are hosted on Github

So "GitHub is every single programming language's centralized package repository, because lots of code is hosted there" ?

> Python supports installing from other non PyPI indexes > 95% of Python packages are installed from PyPI, but just like Go can also install from non-Github sources, Python supports installing from other non PyPI indexes[0] or even from a Git repository directly[1] like Go.

And yet there is a clear difference between source distributions and pip/npm/rubygem/cargo packages - and between tooling/ecosystems that ONLY support the former and those that MAY use either and unfortunately mostly use the latter.

> What is it that you imagine Python or NPM packages consist of?

Something like a script that runs as part of the package that downloads a tarball, modifies package.json, injects a local bundle.js and runs npm publish (see this post). Usually also hosted at the default, centralized, authoritative source run by the maintainers of the package management tool.

But I'm repeating myself.

> (or do they? do they just use https to check out?)

Maybe try it out or read the docs first.

I'm closing with this:

> NPM, Python, Rust, Go, Ruby all suffer from this problem, because they have centralized and open package repositories.

is either wrong or disingenuously misleading, requiring nothing to apply to every single thing, depending on how you slice your definitions. It does not hold any water, that is my entire argument.
by dvt | 2025-09-17 21:02:10+00:00
> The axioms are not chosen just on pure consensus without their own epistemological standards and evaluations.

I have a hard time seeing if this is true or not. The Axiom of Choice, for example, has reached consensus because of its usefulness, not necessarily because of any epistemological standards. I guess "doing more math" is a bit of an epistemological standard, but AC also leads to all kinds of weird stuff (Tarski's paradox, etc.), so I'm not sure if that's a pro or a con. To me, AC seems more ad hoc than not.

But the more salient point here is that you can have people that vehemently disagree with AC (and a minority of mathmaticians do). Now, I'm not arguing that Charlie Kirk is some intellectual giant here, nor was he even a conservative thought leader (like Scalia was, for example). But, and admittedly this is a pretty soft argument, I'd rather err on letting him do his thing rather than stifling his speech by arguing that he's somehow orthogonal to the marketplace of ideas. I think J.S. Mill would agree. To me, even the homeless weirdo yelling "THE END IS NIGH" at the street corner seems to be a part of that marketplace.

Do I believe that C. S. Lewis has more interesting things to say about Christian doctrine than Charlie Kirk; or that Alvin Plantinga makes better arguments than Ben Shapiro? I do, but that doesn't make Kirk's or Shapiro's speech less "speech-y."
by stonemetal12 | 2025-09-17 21:02:29+00:00
>The web is straight up unusable without an ad blocker.

Parts of it are good, and parts are bad. The problem with ad blockers is it distorts the signal for bad sites. Why reduce ads if your page views and time on site metrics are good with them?

Without Ad block when you hit a garbage site you backout and go somewhere else, maybe even blacklist it so you don't end up there in the future. Then their metrics start looking as bad as their site and they shape up or go under.
by smegma2 | 2025-09-17 21:02:56+00:00
Sure, I couldn’t find a better data source than that. If you find a better source that includes liquid assets specifically that would be helpful. I am skeptical that of the 39k in assets listed there, there isn’t a substantial amount that can be used to pay the bills (i.e. who has $39k in their 401k but $0 anywhere else?).
by privatelypublic | 2025-09-17 21:03:00+00:00
A 20 or 24" box fan still moves a LOT of air- you should get a decent breeze if you guide the air. the largest mistake I see is forgetting that a fan can't blow if theres no air coming or going- you need openings of equal size (larger is better) between where the fan is and where you want the air to come from/go.

An easy mental model is imaging the air is water. Close a door on a room and it'll fill up and block the hose.

PS: a box fan and a 5" thick MERV13 filter makes a heck of an air filter. 2" likely also will work. MERV13 is great, but some HVAC can't handle it, and it takes a couple passes (term is air exchanges per hour, I think) to capture what HEPA does in a single pass.
by thinkingtoilet | 2025-09-17 21:03:45+00:00
You said conspiracies always land on one place, which clearly implied blaming "the jews". There is no point in debating people like you but I will reiterate a point you should care deeply about. Israel, right or wrong, is losing massive support among the younger generations world wide. And pretending they aren't massacring civilians and intentionally starving them only weakens Israel in the long run. So keep it up, you are actively eroding future support.
by taylodl | 2025-09-17 21:03:46+00:00
I wait until Apple stops supporting my phone or I run out of memory. I then go out and buy the smallest iPhone I can get my hands on having twice the memory. The last time I did that was in 2020 when I got my iPhone SE2. They're rumored to bring out an SE4 next Spring. All I really use my phone for is a music player, a snapshot taker, messaging, and managing boarding passes and transit cards. I really don't need a lot of fancy hardware.
by munificent | 2025-09-17 21:04:13+00:00
In the 80s and 90s, most of the enthusiasm I saw was from nerds who just wanted to make cool stuff and share it with people. It felt like magic to make computers do things.

Much (but not all) of the enthusiasm I see with AI today seems to be from people who think it will make them rich, powerful, and freed from the apparently intolerable burden of having to interact with other humans in order to generate and consume media.

It's not the same.
Tell HN: EasyList break more than just YouTube
by LiamPowell | 2025-09-17 21:05:01+00:00
With EasyList in the news for breaking YouTube view counts I think that it's a good time to post my list of ways that I've personally seen EasyList break other sites. I think many people here who use ad blockers are not aware of how ridiculous many of the rules in EasyList are and how unwilling the authors are to fix it:

- https://forums.lanik.us/viewtopic.php?t=48142-supermicro-ipmi - Blocking anything called eventlog.js because a website they didn't like must have used that name once.

- https://forums.lanik.us/viewtopic.php?t=48173-300x250 - Blocking a few hundred variants of NNNxNNN because some ads happen to have that in their file name, nevermind that this also blocks probably millions of not-ad images that also happen to put their resolution in their file name.

- https://forums.lanik.us/viewtopic.php?t=48478-go-oracle-com - Blocking Oracle's link redirection domain just because I guess.

- https://forums.lanik.us/viewtopic.php?t=48491-belong-curtin-edu-au - Blocking a university's outreach program page because they dared to use an Oracle service.

- Blocking anything called `disclaim_bar`, `disclaimer-box`, `disclaimerBox`, `disclaimerC`, or `disclaimerDialog_modal`, which as you might imagine blocks all sorts of important warnings on websites.
by beeflet | 2025-09-17 21:05:14+00:00
It doesn't need to be required of anyone. People are responsible for their own funds and have their own security/effort profiles. The "right way" of doing things will be discovered through natural selection.

If some idiot leaves all of their funds on an exchange like this, and it gets hacked, then good. That's how the market evolves and money moves out of the hands of the incompetent and into the competent.
by rs186 | 2025-09-17 21:05:22+00:00
As long as you can publish a package in a CI environment (which is essential), none of what you mentioned matters. And that's not even the point.

That phishing email is just one of the ways attackers use to infiltrate, which is not Microsoft's problem to begin with. Next time, the attacker could install malware in your machine that silently runs code and publish a package on your behalf using your own credentials stored locally while you think everything is ok, and you'd still blame Microsoft for not doing enough.
by kulahan | 2025-09-17 21:06:24+00:00
Makes no sense whatsoever. It’s a view counter. People want to know how much it was watched, not how much money YouTube made off of it. They’re pretending people care about their internal metrics, when people really do not. Maybe the creator, but again, they’re probably also just interested in eyeball counts.

It’s dumb in almost every direction I can imagine. The only one that makes sense is if you’re simply at war with adblockers and you’re trying to turn the public tide of opinion against them.
by dmitrygr | 2025-09-17 21:06:45+00:00
Even if this worked (it will not and cannot), it will only work in SOME places, whereas it will constructively ADD in others since the fan and the speaker are not co-located. To make it work in ALL places you'll need an infinite number of speakers with precise phase control for each. This is how beamforming works. Fun stuff. Mathematically quite a bit more complex than "put a BT speaker near a fan"

Why won't this work even if you could co-locate your speaker with the fan? Fan noise is neither stable in time nor as simple as a sine wave. This would need a complex active system to work.
by potato3732842 | 2025-09-17 21:06:45+00:00
You gonna complain that they drink light beer and eat junk food while you're at it?

Only showboating "english language for the sake of it" type use cases need much beyond middle school reading level. News and the like aren't that because they need to reach a mass market. Professional communication needs to reach the ESL crowd and be unambiguous it too isn't that. Even legal literature is very simple. Professional and legal communication just have tons of pointers going all over the place and a high reading level won't help you with that.
by salutis | 2025-09-17 21:06:45+00:00
Psychology is stuck in pre-Galilean era. Even if it studies "properties of thought", as you put it, it does so without formal basis, let alone understanding from first principles. As Chomsky said, about psychology and the like, "You want to move from behavioral science to authentic science." [1]

[1] Chomsky & Krauss (2015) An Origins Project Dialogue at https://youtu.be/Ml1G919Bts0
by godelski | 2025-09-17 21:07:07+00:00
I don't disagree. The second is more concerning but I do think the first is interesting. At least in how cultural values and laws pass beyond country borders. Far less concerning but still interesting.

But what are you attacking my claim for? That I'm requesting people don't have knee-jerk reactions and for help vetting the more difficult claim? Is this wrong? I'm not trying to make the claim that it does or doesn't write insecure code (or less secure code) for specific groups. I've also made the claim in another comment that there are non-nefarious explanations to how this could happen.

I'm not trying to make a stance of "China bad, Murica good" or vise versa, I'm trying to make a stance of "let's try to figure out if true or not. How much is it true? How much is it false?" So would you like to help or would you like to create more noise?
by ukblewis | 2025-09-17 21:07:40+00:00
Serious question: Has anyone accused (I’d say slandered but it’s besides the point) your nation of genocide on a platform you trust? Does your nation have mandatory conscription? Does your nation face mainstream media, politicians, artists, actors and other call to annihilate it? This post on Hacker News genuinely made me feel less safe here: not because of words or criticism (which I am the first to support and accept and encourage even) but because of lies being used to encourage the murder of Jews. The murder of Charlie Kirk isn’t a coincidence: we’ve reached a fever pitch where now many people that others should be murdered for their views and words and not for their actions
by MarkusWandel | 2025-09-17 21:08:41+00:00
All I know is that decent noise cancelling over-ear headphones (Bose QC35 in my case) are really good at cancelling exactly that sort of noise - the hum plus whoosh of a box fan. Given that they are ineffective for high frequencies but very effective for the low frequency part of the spectrum where most of the fan noise (or airplane roar, or bus engine) is, I also always assumed that they played the least-possible-delayed anti-wave to cancel out the wave. Doesn't work for speech, sadly, since that has enough high-frequency energy to be intelligible even through these phones.
Show HN: SmoothTalk – Practice Cold Approaching and Flirting with Voice AI
by shehbaj | 2025-09-17 21:08:48+00:00
I wanted a way to practice cold approaching, flirting, and keeping conversations flowing when meeting new people at bars or other social settings.

I first tried ChatGPT’s voice mode, but it often refused to roleplay these scenarios. I experimented with tools like Vapi and found the practice surprisingly effective. That led me to build a dedicated app for it.

I’ve been testing it with friends, and they’ve found it helpful too. It’s now live on iOS TestFlight and Google Play beta.

https://www.smoothtalk.app/download

Would love feedback from the community. Curious if others find this kind of conversational roleplay useful!
by stevesimmons | 2025-09-17 21:09:08+00:00
As a former ICPC winner, I'd say ICPC is mainly a test of teamwork, given the format of the competition (3 team mates, one computer, scoring that rewards clean solutions submitted quicker, tackled in the optimal order for your three sets of skills, etc).

Sure, you need to be individually good at thinking, etc. But the difference between 1st and places further down the ranking is teamwork.
by cadamsdotcom | 2025-09-17 21:09:47+00:00
> specifically designed to enrage inexperienced college students so he could generate viral social media clips of himself “owning the libs.”

The author is describing a symptom of modern society: “viral video clips” are the most powerful way of building an audience right now. They’re powerful for getting re-shares but lack nuance and are dangerously prone to misinterpretation.

As a society we need more and better ways to engage and debate ideas. People are coming around to the idea that a soundbite doesn’t cut it for a complex issue, which is good. But platforms haven’t caught up - so predictably we shoot the messenger.
by stavros | 2025-09-17 21:10:42+00:00
It's literally a 70" HD display around 4m from your face. All HD displays fit exactly the same amount of text in their 1920x1080 pixels, the only thing that changes is the field of vision the display takes up.

I use them to do work, the issue I have is, having owned three pairs (for reasons), the lenses can be hit-or-miss. The pair I own now is more on the miss side, and some part of the lens is blurry. You don't notice it when watching films, but it's noticeable for text. The other two pairs were OK, this one I got less lucky with.

This one also seems to tire out my eyes if I wear the glasses for more than an hour, and I don't know why (it might be the blurriness). It's not the focal distance, they did a good job there, it's about 5m as far as I can tell.

Anyway, overall I like the glasses. They're worth the 200 € I paid used, but I probably wouldn't pay 400 € for them, I only use them on flights. They'd be great if I watched lots of movies or played games on a Steam Deck, though.
by wduquette | 2025-09-17 21:11:48+00:00
"they are AWFUL at stats."

SF author Michael Flynn was a process control engineer as his day job; he wrote about how designing statistically valid experiments is incredibly difficult, and the potential for fooling yourself is high, even when you really do know what you are doing and you have nearly perfect control over the measurement setup.

And on top of it you're trying to measure the behavior of people not widgets; and people change their behavior based on the context and what they think you're measuring.

There was a lab set up to do "experimental economics" at Caltech back in the late 80's/early 90's. Trouble is, people make different economic decisions when they are working with play money rather than real money.