skysight-inc/HackerNews huggingface dataset:
Ah yeah, didn't remember that constraint in Python. I thought I read something about a future version fixing that when it comes to just type hints, but I suppose that wouldn't work here, since it's not really a type hint, right?
>it's completely expected that whatever the vendor designs generically for the entire market segment will fail to achieve peak perf for your use case.

When Carmack left Meta I believe he claimed they were only getting around 20% utilization on their even then enormous GPU fleet. So I could see them also leaving a lot of perf headroom on the table.
It's been 10-15 years of microservices, and "tech influencers" and bloggers are writing posts for their Linkedin as if they just discovered the secrets behind proper microservices in 2025.

I don't know why people get satisfaction from writing the same posts for a decade about microservices but can we move on at this point? We know that microservices are better for development at larger organizations but it comes with a cost at things like service fragility, service discovery and investment in things like observability and alerts, etc. This is well established at this point, so if you want to write a post that talks about this, please don't.
People working hard their whole lives in order to provide a better than average life for their own families and children? WOW, how dare they?!
In fact it just leaves everyone free to be their absolute worst.
He's literally the only politician in my lifetime who does exactly what he said he was going to do. Except for the obvious troll comments like the "third term".
You mean avoidance.
> By this argument isn't America undercutting Europe by taxing companies less and being ok with less worker rights?

We, at least until Trump, got the US military keeping Russia out of Europe and dealing with a whole lot of other bullshit we were too frugal to deal with on our own on the global stage.

> Who is us here? Because you are threatening a takeover of Greenland and giving up Ukraine to Russia. Not to mention tariffing and threatening your closest allies.

Europe, that should be obvious from context.

> Per capita co2 emissions

CO2 is one thing, but the time that the Western world had smog events like China had up until their Olympic Games is decades in the past. Besides, China's per-capita emissions are driven down by the fact that they still have a lot of utterly poor people that barely cause any emissions.
https://www.youtube.com/watch?v=iwojZu7aVVg

https://www.youtube.com/watch?v=swYdKF1MpWg
An Introduction to Practical 3D Math for Programmers
It’s amusing that you acknowledge your comment is hysterical hyperbole preemptively as if that will defeat any rebuttal. Guess I’ll just take your word for it then!

The truth is you still have a far greater chance of getting in trouble for saying the wrong thing in most of Europe than you do anywhere in the US.

Also, enticing Europeans to move to the US is exceedingly easy. You ask, “do you want to 4X your current salary with 20% less taxes?” The answer is usually yes.

Maybe one day the 600 million people in Europe will decide to start finally integrating their countries for real and collaborate with each other on building and innovating like the Americans and Chinese. Until then, disjointed euro micro states are sitting ducks for getting stripped of their best talent and companies.
I was intent on keeping my low-vin release day Model 3 until they made good on their FSD promise, come hell or high water. Then The Salute and The Infomercial happened, and I gave up and ditched the car like a psycho girlfriend. They got my money and I was fooled by a con. I'll never let that happen again.
Yeah, welcome to 1930s Germany.
You really have to cite the dictionary you’re citing, because terrorism is notoriously ambiguously defined. One hallmark, however, is its perpetuation by non-state actors. If ICE were using e.g. DOGE to detain people, that would come closer to terrorism. (Though the violent component is lacking.)

The Gestapo weren’t terrorists, for example, again, unless even police brutality is terrorism at which point we have to conclude that every system has elements of terrorism in it, which again, dilutes the term to meaninglessness.
I just used this package list (and sandbox limitations) to synthesize a taxonomy of capabilities: https://gist.github.com/trbielec/a00a58fa97a232bef8984cc8d01...
> The answer everyone else is using is to add an operating system and an application language as a starting assumption, and then slowly grind through every issue caused by giving up control at the base layer to these more automatic systems.

The OS community generally understands in theory, although this is much less accepted in practice, that mechanism and policy should be separated as much as possible. Forth, operating systems, Smalltalk, etc. all converge on making programmed systems, if in substantially different contexts, and this becomes a question of layering abstractions. A Forth-like OS that would solve your problems is related to microkernels and exokernels. Minimality and simplicity is essential for foundational services.
For anyone trying to get into speedcubing, I'd recommend YouTube tutorials from channels like J Perm, especially his Beginner Method tutorial, which I found taught me much better than any written resources I was finding. He keeps the alg count lower at a slight cost to efficiency, but this makes memorizing it a lot easier, and you can still get solve time down to a minute or two after enough practice.

For learning Roux method (my favorite), I found CriticalCubing's videos most helpful, though Kian Mansour is also quite popular, and SpeedCubeReview has some Roux videos as well.

For the actual cube, check out which cubes under $15 are popular on speedcubeshop or an equivalent online store in your country. I haven't bought one in a few years, but the MoYu RS3M 2020 and 2021 were both quite good. I would recommend picking up the extra magnets to add in, and a bottle of cube lube (as silly as it sounds, it keeps things working well for longer, and you only need a few drops). Generally the Rubik's brand cubes are seen as worse than any modern Chinese cubes (patents expired a while back).
Memelang: A hybrid graph-relational query language
What separates software from engineering are concerns about legal liability. If we actually sued software companies for shipping us harmful crap, software would start to look like any other kind of engineering.
You missed the fact that the mix shifted. Coal and nuclear are too expensive where solar is available so you go from:
35% coal
30% nuclear
35% gas

You go to
60% solar
40% gas.

Obviously the numbers are made up but that’s the point I’m trying to make.
In point of fact they are already trying to take away birthright citizenship. So clearly this is an endgame for them. “Oh that was a pretty critical tweet a few years ago citizen. Bring me documentation that one of your ancestors passed through Ellis Island from this brightly lit cell or we’ll deport you.”
There is nothing ad hominem here.

It was a simple question: do you trust a pathological liar, i.e. Trump over any of the other folks I mentioned, who don't have a history of pathological lying.

And what I mentioned are documented facts, not assumptions.

Let me list some for your convenience:

Fact: Trump is a convicted felon
Here is just one source of many listing his crimes: https://www.forbes.com/sites/zacheverson/article/tracking-tr...

Fact: He lied when he said he knew nothing about project 2025
He gave a speech to the Heritage Foundation in 2022 praising the formation of plans for Project 2025
https://www.snopes.com/fact-check/trump-video-project-2025-c...

Fact: Trump is following Project's 2025 plan to defund science
https://www.nature.com/articles/d41586-025-00780-2

Argument: Under his leadership federal institutions are dismantled, harming Americans and the democratic future of America. The blueprint is clearly laid in the project 2025 plan.

He hired the architect for Project 2025 to lead the OMB, which holds a lot of power.
https://apnews.com/article/trump-russell-vought-confirmation...

And one of the director of Project 2025 also praised Trump for implementing the agenda: https://www.politico.com/news/magazine/2025/03/16/project-20...

But I understand you won't accept any of these facts, since the first party source (i.e. Trump) didn't actually confirm any of these facts for you.

So there is no point continuing this discussion. Nothing will convince you that Trump is a catastrophe for America.
“ We protect ourselves with the childish: neutral-toned decor, minimalist technology, popular movies, basic clothing styles, or esthetic (i.e., visually appealing) images.”

I’d sort of argue the opposite, childish would be a huge improvement. it’s wild seeing like old McDonald’s filled with amusements geared towards children, instead we’ve sort of optimized for this safe early thirties aesthetic. It is boring in the way that adults who used to be cool slip into the monotony of work and childcare, but have nostalgia for the sort of safest experiences of their twenties. Like a soccer mom sneaking a listen to hootie and the blowfish while running to pickup a Starbucks at half time.
I have to wait 3 weeks for a doctor appointment in my utopian European nation. I also have to pay for it since I earn too much money after being taxed >40% on my slightly-over-us-median income.
Thankfully I’m not in need of dental surgery, else I would be waiting 4 years.

I doubt anywhere in the USA is that bad. To me it looks like health insurance is baked into the cost of living. Obviously bad for poor people and should be addressed but I imagine anyone on the median wage should be fine?
Large scale unstructured text extraction? Anything you can set up a job for and go to bed?
Why Apple's Severance gets edited over remote desktop software
https://archive.ph/vee7v
Sure, but it's becoming increasingly obvious to everyone that the American car industry is in major trouble. In a decade, I'm confident in saying a lot of American car companies will not exist.

We see it in our day-to-day lives. People aren't buying new cars. Cars on the road are getting older and older. Views of Tesla continue to dwindle. Anything Stellantis is on life support. I mean, Chrysler has literally one car. GM is clawing for any sort of relevancy. And Ford is only afloat because of toxic masculinity. We all know that it's bad in the US, and we know outside of the US it's 100x times worse for these companies. We also know the US car market as a market is getting overshadowed.

It doesn't matter what stupid investors think. We can see the writing on the wall. These investors are delusional, period.
> obey the law and don’t overstay your visa

Khalil and Ozturk broke zero laws and had permanent residency. They are now in jail essentially forever simply because the administration doesn't like what they were saying.
I don't think thats the case at all

At least in STEM, its all about the ability to get grants. A professor who consistently gets grants is worth their weight in gold in "indirect" costs. Foreigner or otherwise
Seems weird to me. The strength of Django is the ORM and the ecosystem/idioms.

Why would I break compatibility with the latter by taking a fork?

I would love to see better admin (so many have tried to do this) but it’s unclear to me why the goodstuff here can’t be a Django project template. (https://docs.djangoproject.com/en/5.1/releases/1.4/#custom-p...)

As a longtime user if I want anything different these days it’s a lighter-weight experience like Django Ninja or FastAPI.
https://archive.is/20250329135312/https://www.wsj.com/tech/a...
Well it depends on what you are referring to. If it’s people not being allowed into the US for various reasons I don’t think that has anything to do with the constitution. But yeah obviously these people being rounded up and being sent to Ecuador and whatnot definitely seems to fly in the face of the founding fathers
I don't have much help to offer, but just to echo your experience... at my group we have tried to train Transformers from scratch for various NLP tasks and we always have been hit with them being extremely brittle, and BiLSTMs working better. We only succeeded by following a pre-established recipe (e.g. training a BERT model from scratch for a new language, where the architecture, parameters and tasks are as in BERT), or of course by fine-tuning existing models, but just throwing some layers at a problem and training them from scratch... nope, won't work without arcane knowledge that doesn't seem to be written anywhere accessible. This is one of the reasons why I dislike Transformers and I root for the likes of RWKV to take the throne.
Giant Enemy Crab
What do you mean by this? Do you not agree these events happened in an attempt to bring the stock back up? That government officials gave stock advice on TV that would cost financial advisors their licenses, for the benefit/as a favor to Musk (a billionaire), the very definition of DC swamp behavior, government officials doing illegal/immoral favors for their rich sponsors.
Due process is how you check that they are both immigrants and did so illegally.
If I was going to chose a scripting language for rust I'd pick nushell's syntax. Nushell is an amazing shell and it's syntax is one of the reasons why.
Because addition and multiplication are not associative with floats ?
EU probably should start thinking about its own economical and security interests. Eu is not ready to be a true player at the moment, but at least she can think of ways to balance US and China.
Twitter (X) Hit by Data Leak of 2.8B Users – Allegedly an Insider Job
> That's... not true? The language can just have an implicit conversion rule for convenience.

It is true regardless. What you are talking about is a language implementation detail that is orthogonal to reasoning about the type system. Depending on your definition (reasonable people disagree and could be contextual), the memory layout is also rarely a concern when modeling type theory.

However, I can't make sense of the idea that "most languages don't have subtypes". Every language I can think of above ASM has at least some. In C, int8_t is a subtype of int16_t, for example.

And the idea that this is new territory... Here they contrast subtypes in C++ to that of "the new language Java".

https://www.cs.princeton.edu/courses/archive/fall98/cs441/ma...

I agree with the comment that OP really should make it explicit what they mean. It presents itself as "what is subtypes" but they unfortunately use the same term for different concepts in the same text, which I guess contributes to the wider confusion in this thread. Inserting a few "Algebraic ..." and making the context explicit in a place or two.

Or put differently: Algebraic subtypes are a subtype of subtypes.
At my age I find this issue annoyingly predictable -- it suggests replacing LaTeX with something more modern and/or flexible. But that was the original idea behind LaTeX -- to replace what preceded it, create a portable comunication medium for mathematical expressions.

Not to discourage experimentation, but I would like to see some behavoral reserve and healthy skepticism before adding another layer to the mathematical expression enterprise. There's also this issue to consider: https://xkcd.com/927/ .
There was a time when all the people who would be electrical engineers were basically tradesmen. In the US, mostly trained by Edison. They were called "muckers."
In my experience, both SQL and real-world database schema are each complex enough beasts that to ensure everything is fetched reasonably optimally, you either need tons of entity-specific (i.e. not easily interface-able) methods for every little use case, or you need to expose some sort of builder, at which point why not just use the query builder you're almost certainly already calling underneath?

Repository patterns are fine for CRUD but don't really stretch to those endpoints where you really need the query with the two CTEs and the four joins onto a query selecting from another query based on the output of a window function.
Perhaps you’re not American and unfamiliar with the situation here, but Trump’s election was largely a reaction against the Democratic Party’s abandonment of the rule of law.

This played out at the local level, with progressive district attorneys and progressive judges refusing to prosecute or sentence criminals. And at the national level with the Biden administration failing to enforce a sensible border policy, against the wishes of the majority of Americans.

Is Trump going too far in the opposite direction? Maybe, but the prior administration did far more to destroy the perception of the rule of law than Trump has so far.
Yeah they really need to rebrand.
I'm building a 6502 system to build a 6502 a system -- it's a hobby. The challenge is accomplishing things using limited technology. It's art. I'm building the computer (with paging and "kernel mode"), an operating system, programming languages, GUI, etc. Keeping it 8bit also helps keeps the scale small and doable.

When I do a "microcontroller project" then I slap an ESP32, Arduino, or Pi Pico on the breadboard -- not a 6502.
I think subtyping is the general concept in the programming language / type literature and interfaces / traits are an example of subtyping. If A implements interface B, A is a subtype of B.
There's always this:

Neil's Bahr

https://s3-media0.fl.yelpcdn.com/bphoto/klVBsVG959uNP_CEsyOS...
No other platform looks this bad

https://cdn.bsky.app/img/feed_fullsize/plain/did:plc:y5xyloy...

Where are the advertising dollars coming from on that horror show

Certainly not $45 BILLION of income over even a century
For many people in post-Soviet countries, it was the other way around: raised as atheists, many of them found religion when it became allowed.

I wonder if the same thing will happen with China.
Agree completely. I was referring more about entry to the US in the first place.

I suppose the current admin doesn’t believe the first amendment applies to non-citizens. I think I saw that judges are trying to block it. Do they have a point? Does the second amendment apply for non-citizens?
I think you meant, time for crab souls. https://en.wikipedia.org/wiki/Another_Crab%27s_Treasure
Big scary number does not mean system is broken. That is hysteria. I am not the one making generalized statements about financial apocalypse without some sort of notion of proof. Studies, links, evidence if you’re going to cry apocalypse and be taken seriously.
I agree on the conflict of interest part, but that conflict can be removed by winning elections and not some authoritarian seizure of private property. If Democrats controlled the government to the point that they can seize private property, he wouldn't be in government in the first place and there would be no conflict.
It’s interesting because many Europeans would be safer from fascist government overreach in the U.S. than they presently are in Europe, despite what you saw on MSNBC.
The Tab Manager for Firefox (That I Use)
This is a tab manager for Firefox.

It has over 500 commands and around 780 settings.

It can do a lot, and it's aimed to provide advanced features without getting limited.

Some features to mention could be:

https://rentry.org/grasshopper-urls
Veloren – Voxel action-adventure role-playing
Your war rhetoric is false and dangerous, because if we are at war, then acts of war against them are justified. Should we bomb them because they work too long hours?
I'm switching back to religion. I used to not believe but after the pandemic and researching the immune system, I don't believe that a complex system like simply the immune system can be not only created by chance but can be spread across an entire population. There are many components of the immune system and even the endocrine system that requires things to be designed together, not randomly across millions of years and I've decided that we were designed at some point because it's too perfectly intertwined across different body parts.
It’s without exception.

I’m sure it’s just because he likes money, and because we have very little in common.
That doesn't even appear to be attempting to address anything relevant to consumer networking. It's a purely enterprise-focused project, mostly about putting a Debian-based OS onto rackmount ethernet switches.
> We, at least until Trump, got the US military keeping Russia out of Europe and dealing with a whole lot of other bullshit we were too frugal to deal with on our own on the global stage.

Well we have Trump now.

> Europe, that should be obvious from context.

There is no "we" if you threaten to invade land and treat us like enemies. I thought the sarcasm was obvious.

> CO2 is one thing, but the time that the Western world had smog events like China had up until their Olympic Games is decades in the past.

How many decades of pollution did the USA emit developing through the last century while Asia didn't because they were insanely poor because of war and colonisation?

> Besides, China's per-capita emissions are driven down by the fact that they still have a lot of utterly poor people that barely cause any emissions.

Germany has a per capita co2 emission rate of 8.01 so even lower than China. The USA is at 14.21.
Interesting! A use case I could see for using builtins would be to gradually rewrite a bash script in some other language, as otherwise you have to do it through subprocess which can be slow and inconvenient.
God you are both just awful at making a compelling argument.
It builds muscle memory over time.

Analysis paralysis and getting it perfect before beginning is the enemy of good.
All of this is a strawman. I said nothing about the other side of the aisle, and they get no excuses either. But whataboutism is not a valid argument nor an excuse for this current administration's behavior.

> significant drawdown under Trump

Dude is literally going full empire mode right now with our neighboring allies. And he also got very close to starting a war with Iran on his way out of his last term. And now he is continuing to support the same genocide as his predecessors, and siding with Russia over the Ukraine conflict. He is an absolute clown and an illegitimate tyrant.

> Has the US government been out of control for decades? Sure. Is Trump doing something uniquely bad? I've yet to see it.

Status quo has never been a legitimate excuse for tyranny.
You need to preallocate space on LVM2 for storing changes and if it fills, bad things happen. You have write amplification of 4MB per write by default on LVM2, while ZFS just writes what is needed, since LVM2 isn't aware of the filesystem structures. All of the advantages WRT cache are gone if you use LVM2 too. Correct me if I am wrong.

That said, if you really want to use block devices, you could use zvols to get something similar to LVM2 out of ZFS, but it is not as good as using snapshots on ZFS' filesystems. The write amplification would be lower by default (8KB versus 4MB). The page cache would still duplicate data, but the buffer cache duplication should be bypassed if I recall correctly.
“In the end most systems will work somehow”

The older I get the more I feel like this is a feature, not a bug. I have spent too much time over engineering systems that end up being canned because leadership decides to go in a different direction. These days I am much more concerned with striking a balance between perfect and good enough.

Get something out into production, start generating some revenue and finding the stuff people like about it, then see what is giving you the most problems and fix that. That’s going to be a much more successful path than never shipping anything because of endless polishing and optimizing.

If I ever find myself spending a long time debating some technical decision (aka bike shedding), I have learned to hit pause and say let’s just pick a path and go with it. As an aside this also works for deciding what restaurant to go to or what kind of pizza to order.