MurphyA/hacker-news huggingface dataset:
by cb321 | 2025-12-05 17:05:50+00:00
Araq was probably trying to keep `Fibable` short for the point he was trying to make. So, your qualm might more be with his example than anything else.

You could add a `SomeNumber` predicate to the `concept` to address that concern. `SomeNumber` is a built-in typeclass (well, in `system.nim` anyway, but there are ways to use the Nim compiler without that or do a `from system import nil` or etc.).

Unmentioned in the article is a very rare compiler/PLang superpower (available at least in Nim 1, Nim 2) - `compiles`. So, the below will print out two lines - "2\n1\n":

when compiles SomeNumber "hi": echo 1 else: echo 2 when compiles SomeNumber 1.0: echo 1 else: echo 2

Last I knew "concept refinement" for new-style concepts was still a work in progress. Anyway, I'm not sure what is the most elegant way to incorporate this extra constraint, but I think it's a mistake to think it is unincorporatable.

To address your question about '+', you can define it for non-SomeNumber, but you can also define many new operators like `.+.` or `>>>` or whatever. So, it's up to your choice/judgement if the situation calls for `+` vs something else.
by jhide | 2025-12-05 17:06:02+00:00
I agree about with your claim, but the answer to your question is that “weeds” is a set of species that contains both invasive, ecologically harmful species, and crucial native annual and perennial forbs+grasses.

From the universalizability principle, if everyone merely let “weeds” propagate, because of the ecology of invasives that are in that set, we would be MUCH worse off for the next few millennia than we are now. Until the ecosystems healed and the “invasives” become “keystone species”. Not sure how long that would take but we won’t see it :)
by mytailorisrich | 2025-12-05 17:06:24+00:00
My experience is that you should always aim for frequent small commits. This is what continuous integration and trunk-based development advocate and it saves a lot of headaches and the need to come up with "exotic" solutions to problems created by big, long-lived dev branches.

This is quite orthogonal to developing parts serially or not, and it is perfectly fine to change or refactor ealier parts when you work on later parts. Development is an iterative process.

It seems to me that "stacked diffs" are an example of looking for a technical solution to process issue.
by alwillis | 2025-12-05 17:06:26+00:00
A gentle reminder: conditionals aren't new to CSS; @supports and @media are conditionals; so are style queries.

if() just codifies behaviors and hacks [1] developers were already doing.

[1]: https://lea.verou.me/blog/2020/10/the-var-space-hack-to-togg...
by WorldMaker | 2025-12-05 17:06:30+00:00
Add `--update-refs` to your interactive rebase and it will give you an easy line to know how many commits to drop because it will add an `update-ref` line for the old branch. You can just easily delete everything up to and including that `update-ref` line and don't have to manually pull up a git log of the other branch to remember which commits already merged.

(Plus, of course, if you have multiple branches stacked, `--update-refs` makes it easier to update all of them if you start from the outermost branch.)
by toomuchtodo | 2025-12-05 17:06:42+00:00
Indeed, but it is what it is. Cloudflare comes out of my budget, and even with downtime, its better than not paying them. Do I want to deal with what Cloudflare offers? I do not, I have higher value work to focus on. I want to pay someone else to deal with this, and just like when cloud providers are down, it'll be back up eventually. Grab a coffee or beer and hang; we aren't savings lives, we're just building websites. This is not laziness or nihilism, but simply being rational and pragmatic.
by colinstrickland | 2025-12-05 17:06:57+00:00
they did indeed have a crowdfunded tablet that went wrong in supply chain, and basically bankrupted the company. Many funders lost out. That's unfortunate, and perhaps might have been avoidable with better organisation. Absolutely it sucks. They did have a limited refund program as others have noted.

However, they do not have a continous history of not shipping. I personally owned their two previous phone handsets, both shipped. Also I've bought and run their firmwares on third party handsets, they also shipped the software.
by dpark | 2025-12-05 17:07:03+00:00
> People watching their tablet on a couch in from of a 55+” TV with a surround sound speaker system says on some level it’s a better experience.

It’s a more private/personal experience. Turning on the TV means everyone watches.

> It’s common on open floor plans / large rooms for a couch to end up in a completely arbitrary distance from a TV rather than next to a wall. Further setting up the TV on the width vs length vs diagonal of a room commonly provides two or more options for viewing distance.

You’re essentially arguing that people can arrange their furniture for the best viewing experience. Which is true, but also not what people actually do.

The set of people willing to arrange their furniture for the best movie watching experience in their home are the least likely to buy a small TV.
by clumsydude | 2025-12-05 17:07:30+00:00
In October, the state department introduced a new policy:

> Applicants for U.S. nonimmigrant visas (NIV) should schedule their visa interview appointments at the U.S. Embassy or Consulate in their country of nationality or residence

> Applicants must be able to demonstrate residence in the country where they are applying, if the place of application is based on their residency.

What sort of proof is required to demonstrate residence? What about cases where an applicant legally has residency in a particular country (e.g. PR card or work visa) but in practice lives in the US as an H-1B/TN/L-1/O-1/etc. worker or H-4/TD/L-2/O-3/etc. dependant? Especially for the dual intent visas?
by mariusor | 2025-12-05 17:07:40+00:00
For a company of their size that has to compete in the tech market of today, I'm surprised they're able to produce updates for the OS as regular as they do.

Blaming they can't keep up with user requests, granted reasonable ones, is a little short sighted in my opinion. If we want to break the Apple/Google duopoly we need to be able to bear a couple of paper cuts. If you wait for perfection before committing they'll just end up going out of business. :(
by trashb | 2025-12-05 17:07:42+00:00
Don't worry the kid mode is coming on all devices, one thing you wouldn't want kids doing is sideloading applications after all.

I think this is the wrong approach, an example is youtube kids. There seems to be a abundance of inappropriate content for kids on there. These companies don't actually care about you or your kids they care about profit.

Only (hopefully most) parents care about their kids. They have the power to push a solution as a collective so the solution should empower them to choose and not not take power away from them and others (for example adults without kids). The age verification mandated on a government level constitutes to limiting access to content, and in my eyes that is censorship.
by andreygrehov | 2025-12-05 17:07:42+00:00
I respectfully disagree. VAERS can absolutely be used to establish causality when followed by proper expert investigation (which is exactly its purpose as a signal-detection system). The IOM has relied on VAERS data to confirm causal links in 158 vaccine-adverse event pairs, including rotavirus vaccine and intussusception.

Here, FDA career scientists conducted that follow-up: they reviewed 96 child death reports and concluded at least 10 were caused by COVID vaccine myocarditis. That expert finding, not politics, is what triggered the stricter protocols. Healthy skepticism means demanding the full data for review, not preemptively calling it invalid.
by Telaneo | 2025-12-05 17:07:46+00:00
What 5-ish inch screen phone has even been released within the past 5 years? The only ones I can think of are the Unihertz phones, and those don't get a single update after getting shoved out the door, not to mention that they're probably full of Chinese backdoors. I'd buy that exact phone in a heartbeat if it didn't have those problems, and all the other ones I've seen have similar dealbreakers.
by ASalazarMX | 2025-12-05 17:07:52+00:00
RSS has been traditionally used like an email client rather than a streaming service. You don't read every email, some go straight to spam or the trash bin. RSS is a time saver, not a time waster.

I can see that some feeds, like serializartions or low-volume/high quality content, is desirable to be consumed in its entirety, but the 80/20 principle seems to also apply to RSS feeds too in general. Specially if your RSS list reaches double digits.
by Kirby64 | 2025-12-05 17:08:13+00:00
Both as you mentioned. Charge circuitry for DCFC can be >200kW.

Motors, for instantaneous current, can easily exceed 100kW, some much much more than that.

Even assuming limitations to 100kW (which, would be very low for motor current), that's still 2000 amps at 48V. Remember, 100kW is ~134 hp.
by smsm42 | 2025-12-05 17:08:16+00:00
Or they are performant now. But once people start writing CSS code the same way the write JS code, they stop to be. You can still write super-tight code in ASM (or eve C) and it will be blazing fast. Almost nobody does it, because it's too hard. Once people start writing CSS the same way, it'll become slow and bloated too.
by runako | 2025-12-05 17:08:19+00:00
> clogging the circulatory system (hence the uptick in myocarditis and such)

Do people really believe that the Covid vaccines effectively give people sickle cell?

Less snarky -- it has been known for quite some time that infections such as the flu can trigger cardio conditions such as myocarditis. Knowing that, it is unsurprising that people exposed to Covid (vaccinated or not, since a vaccine is never 100% effective) would show similar outcomes.
by butlike | 2025-12-05 17:08:37+00:00
As always, hindsight is 20/20, but when you're living it, the half-baked decisions and add-ons are a product of you figuring it out on the fly. You don't have the knowledge of which proposal will solidify into an industry standard, and you don't know which vestigial implementations will be a nightmare for backwards compatibility down the line.

The context is also lost. Javascript was famously coded in a day or whatever and called 'javascript' not ecmascript as marketing to compete with Java. Besides that well known case there's presumably thousands of esoteric business decisions made back then which shaped the "sprawling, ludicrous" landscape, and which are now lost to time.

Yes, the web should have always been a programming language. And the flying cars of 23xx should have never used a z-debuffer doodad.
by mlsu | 2025-12-05 17:09:10+00:00
Netflix was still competing with blu-ray/DVD/cable at that point.

"why should I watch TV on the fiddly computer when I can just pop a disc in?" or "why should I turn on Netflix when there's clearly stuff on cable TV?" -- that was Netflix's competition in those days. Because there was competition, they had to lower prices and improve service to win consumers.

Now, that competition is being destroyed. Rest assured, Netflix will use this market power to extract more from the consumer.
by benatkin | 2025-12-05 17:09:50+00:00
Seems like it. I guess it also means Bugs Bunny t-shirts will be licensed by Netflix.

They could also do crossover merch, putting Bugs Bunny on a Squid Game jacket: https://www.netflix.shop/en-pe/collections/squid-game/produc...

They'll have to step up their game in plush, this to me looks like it's from CafePress: https://www.netflix.shop/en-pe/collections/squid-game/produc...
by Kirby64 | 2025-12-05 17:11:00+00:00
No it's not, only in a practical sense. If you truly had 'arm thick cables', you could definitely charge a 48V battery just as fast. Practically speaking, though, you don't do this because every becomes so unmanageable that you can't build a charger, bus bars, etc, that would be able to match the charging speed.
by tete | 2025-12-05 17:11:24+00:00
> I wouldn't want someone who is learning what is acceptable and normal to come across this.

I think that is a very very long stretch.

We live in a world where ads - also ads specifically targeting children - give wrong impressions of what's acceptable, "normal" and reasonable. We see huge effects of this.

Meanwhile we are in a society where romantic movies with sudden kisses are bordering on "rape" because there wasn't any verbal clear consent.

All while we live in a society where most people had relatively easy access to porn online and offline and that by today's standards was incredibly sexist only a few years ago.

I really think that if you have a child young enough to not understand that is not okay and at the same time looks at porn out of their own free will you have a serious problem in first place.

The whole "sex is something secret and forbidden" does a lot more harm and can also be seen by both perpetrators and victims.

It's also why schools start earlier and earlier about those things. Before there would be first contact with pornography even if there were zero measures and no parenting.

The idea that young children just happen to come across these things and not instantly close or even watch them, and draw morale conclusions from them if there wasn't any age verification is ridiculous.

But even if it wasn't, if parenting is that bad the expectation shouldn't be that this is the one thing that protects them from pornography. Because then it might as well run all day off a DVD or something.

I really dislike the whole "Let's think of the most ridiculous specific scenarios to justify laws" to then say "And if only one child can be saved", when we as a society seem to be arguing about whether it is morally okay to take a dime from a company to guarantee for proper healthcare for children - and parents so they actually can do a good job. And when we don't look at stuff marketed to children. We have Pokemon being a children's version of cockfights and that is evidently okay. We have dozens of fast food chains normalizing living off fat and sugar. We buy children toy guns and show them shows where they learn it's about being the strongest.

We have a mental health pandemic. We teach children that the right thing to do with your life is working for a soulless company at a bullshit job to then get shitfaced in a bar. The stuff that lets suicides skyrocket.

At the same time we are worried that children see two consenting adults having sex.

I think at this point that's "normal", but I really don't think it should be.

Totally willing to change my opinion if anyone can come up with perpetrators or victims become that by having seen porn, and then show it makes sense to do age verification here but not for James Bond, Superhero Movies or McDonalds ads.
by serial_dev | 2025-12-05 17:11:54+00:00
Why is overlapping content an issue? Isn't that good?

Let's say I like Show A and Show B. Show A is available on Provider 1 and Provider 2, Show B is available at Provider 2 and Provider 3. Thanks to overlapping content, I can subscribe to Provider 2 and I can watch both of my favorite shows.
by ghaff | 2025-12-05 17:11:56+00:00
Certainly TiVo came in--as well as boxes from cable companies (though I only had TiVo). And, if you really want to go old school, you could program VCRs to record shows if you were off on vacation.

But there was a long period even after cable came in for more channels and potentially better reception when TV was largely on a set schedule.
by ui23 | 2025-12-05 17:11:57+00:00
Mathematics is just a tool, like language, for describing reality, not reality itself.

A cake is not made of numbers like 5 cups flour + 3 eggs, but we can model it as such. In principle we could invent any such system of symbols to describe the physical world but those symbols don’t define it. The physical world only nudges us toward what symbols work and which don’t.
by dzonga | 2025-12-05 17:11:57+00:00
we are witnessing a profound moment in history.

for the 1st time - a world power admitting they're no longer top dog. & now realigning their strategy for a multipolar world instead of unipolar.

this will now either mean - the readjustment will work - america's public will suffer short term pains or the readjustment won't work - america's public will suffer long term pain

> At the same time, we cannot allow meritocracy to be used as a justification to open America’s labor market to the world in the name of finding “global talent” that undercuts American workers.

what does this mean for tech industry in the long run that has relied on O/H visas. with the context of 90% of capex going to A.I hyperscalers ?

with Regards to Taiwan - U.S is publicly admitting they won't be able to win a military fight against China (something profound). While also admitting that China is now less reliant on US
by danans | 2025-12-05 17:12:19+00:00
> Farmers got rich because all of sudden their manual labour capacity was multiplied by machines.

This sounds like a semantic disagreement.

I think you are using the word "farmer" to mean "large agricultural landlord". Today, those terms may have a lot of overlap, because most of us don't work in agriculture like we did then, but in the past, it wasn't so much the case.

Back then, the landlord who had the "big house" wasn't called a farmer, but often a "Lord" or "Master".

"Farmers" were mostly people who worked as tenants on their land. The confusion in US history started early as the local feudal lords of the time (the founding fathers) rebranded themselves as farmers in opposition to their British rulers, but the economic structure of the societies was scarcely different.
by rjbwork | 2025-12-05 17:12:20+00:00
Targeted tariffs in combination with robust industrial, economic, and monetary policy can be effective in incentivizing certain types of production to remain in, grow in, or return to a country.

Blanket tariffs on entire countries or indeed the entire world amounts to a massive tax increase on your entire populace unless you can somehow start producing everything yourself immediately.

There is an argument that it's primarily being used as a cudgel to give the US an advantageous starting position in trade negotiations, but that seems to be a post-hoc explanation/justification.
by nemomarx | 2025-12-05 17:12:31+00:00
Agree, but I think they moved away from growth to this not because they lost investor money / vc demands but because they started losing a lot of licensing deals and content, and had to shift from redistribution to making more and more originals with capital investment cost and etc.

Slightly different reasons for enshitiffication - if Spotify lost half of their catalogue suddenly they might move in the same way I guess.
by ulnarkressty | 2025-12-05 17:12:33+00:00
Is this really what they use to train commanding officers? It has all the hallmarks of a self-help book - vague advice coupled with some anecdotes - with a lot of bureaucratic fluff inbetween. How/why did the squad leader 'instinctively know' how to handle the reluctant machine gunner? Isn't that the opposite of training military personnel?
by kypro | 2025-12-05 17:12:35+00:00
I think people throw these accusations around way too broadly.

There is a small subset of weirdos who think the Covid/mRNA vaccines contain microchips or were designed kill off some percentage of the population.

But I think there's another, much larger group who might care a lot about their health to the point where they don't even drink from plastic bottles, and who when presented with a novel vaccine which was developed and rolled very quickly were hesitant...

Rightly or wrongly, I think these health-conscious people were concerned during Covid by mainstream media orgs frequently broadcasting what can only be described as pro-vax "propaganda"[1], and in some cases state compelled vaccination.

I'm very pro-vax, but I remember at the time (2021) being a bit torn on what I should do. I was in my twenties and already contracted Covid. Did it really make sense for me to take a vaccine when my risk was so low and there were some reports that young men were suffering from myocarditis post-vaccination?

I guess what I'm saying is that I think most reasonable people who may have initially been nervous about the vaccine can look at data like this and feel much more comfortable with the risk profile today. This is exactly the kind of data a lot of people (including myself) wanted when their governments were trying to force them to take these newly developed vaccines.

In my mind it's those on the extreme pro-vaccine and extreme anti-vaccine side in 2021-2022 that were the ones lacking critical thought. The reality was that as a society given the absence of long-term data like this, we were taking a calculated risk. Because even if mRNA vaccines slightly increased all-cause mortality that wouldn't mean the vaccine rollout was a bad thing... Similarly chemo probably great for you either and I'm sure people who undergo chemo unnecessarily suffer from increased morality risk. But if you have cancer or if you're in the middle of a pandemic risk calculations change a little.

[1] https://www.youtube.com/watch?v=Mq76QSlRiPo
by nonameiguess | 2025-12-05 17:12:59+00:00
As much as people complain, maybe if I was still 22 and dirt broke, I'd do something like that, but more likely I just wouldn't watch TV. I didnt own a TV back then and it was fine. Now, sure, I don't exactly like being nickle and dimed from a pure intellectual perspective, but these streaming services are what? Like $15 a month a pop? That's 1/40 the cost of groceries. It's annoying but makes no difference and isn't anywhere near worth the hassle of starting and stopping. If it was a $120 a month gym subscription or the old cable bundles I used to pay $200 for, then it's getting to the point that it's worth caring about.

The stickiness is probably just that. Even as they raise prices, it's still less than we're paying for pretty much anything else. Gas, electricity, food, housing. Cut Netlix and well great, I just reduced my monthly spend from $5000 to $4980. Really making a dent there. I can retire comfortably now. It's almost as patronizing as the old avocado toast thing. Avocado toast might be overpriced and nowhere near worth it, but it isn't the reason anyone is broke.
by randall0001 | 2025-12-05 17:13:27+00:00
Location: Montréal, Canada

Remote: Yes (North America), or hybrid/onsite in Montréal Willing to relocate: No

Technologies: AI (NLP specialty), TensorFlow, RAG, Embeddings, LLM, spaCy, Python, Flask/FastAPI, JS/TS, Node, SvelteKit, Tailwind, Postgres, Neo4j, Docker, some Kubernetes. Willing to learn your stack.

Résumé/CV: https://drive.google.com/file/d/14ZIr4kHDcR42bcDsGZhPC4Gqai9...

Email: In CV (not today, web scrapers!)

Technical ex-founder looking to sink my teeth into a new problem. NLP expert with experience training discriminative and generative architectures, working with embeddings, and implementing RAG systems. Adept with the full-stack, and a proven track record of designing, planning, and developing software systems. I am seeking an engineering or leadership role where I can build interesting tech, preferably AI solutions that drive real-world impact.