skysight-inc/HackerNews huggingface dataset:
The blog sets up to address the "claim by proponents of dynamically typed programming languages" that "once you have unit testing static type checking is redundant". This is a strawman and I'm fairly sure it was a strawman in 2012 as well. The more interesting claim, which this blog post doesn't address, is that dynamic typing plus unit testing lets you produce working programs faster, without having to wrestle a type system for things you don't care about (e.g. malformed input leading to crashes when parsing machine-generated, standardised inputs, as is the case for three of the test programs -- keeping in mind that, in Python, a crash due to a type error produces an orderly, if surprising, program exit rather than, for example, memory corruption).
Without fail when someone asks me internationally where I’m from and I say the US they inevitably ask what state. Saying the state merely short circuits a follow up question that, in my personal experience, is likely to happen.
Being in Germany wouldn’t have saved them, and it’s fantasy to think they would have. They’d have to have been in Venezuela, Iran, NK, China, or as worked for Snowden, Russia.

Anti-whistleblower/leaker sentiment has always been a strong force in every gov’t - only being physically in the jurisdiction of the ‘enemy’ is decent protection, and even then assassinations happen.
Not sure how it works in California but where I live you can sign a voluntary termination of parental rights and if you're in a position to consider it they usually won't argue as far as I know.
That's silly; registering new domain names and putting redirects in place is much simpler than changing a freakin' country code.
I get freelance work through Twitter, as do many other people. The other day Musk silently changed users' DM settings from "allow message requests from everyone" to "allow message requests from verified users only". This meant that if any potential clients went to message me while this was in place, they would have received a notification saying "Get verified to message this user. Only verified users can send Direct Message requests to people that don’t follow them. Sign up for Twitter Blue to continue."

He also made it so that if you changed the setting back to "allow message requests from everyone", and left the page, it would reset back to "verified users only". You had to select the third option, "allow message request only from people you follow", refresh the page, and then select "allow message requests from everyone" again, to make it stick.

This might sound like I'm making things up up, or misrepresenting a bug, but I'm not. Everyone in my feed has been talking about this for weeks. Most people are still unaware this has even happened, so if you try to DM almost anyone, you'll get the popup saying you need to sign up for Twitter Blue.

What I'm saying is: he's a scummy businessman.
What's surprising is that it took California so long. My ex-gf adopted her sister's kids, and that came with multiple things for the kids, in Texas:

1. free healthcare

2. free college education

3. supplemental income
It’s incorrect in the related hosts/domains section, tried it on my personal site and listed a domain never heard of..
its because they're using autofocus
At some point the price of the bill is dominated by the fixed transmission costs which won't go away as long as there is a power grid.
This tweet reads like the plot of a bad dystopian sci-fi novel.

(fixed it for you)
> the legacy of slavery has left significant and enduring socio-economic disparities between descendants of enslaved people and those who are not. Inequalities in wealth, education, health, and opportunities persist, often along racial lines. These disparities aren't merely coincidental, but have been reinforced by racially discriminatory policies and practices like segregation, redlining, and racial violence, all of which have historical roots in the institution of slavery.

This is a fact.

> Also the argument that descendants of slaves in America are better off than their counterparts in Africa is problematic because it assumes that the progress of African nations would have been the same without the devastating effects of the Atlantic slave trade, which significantly hindered their development.

Maybe, don't forget the slave trade enriched tribes inhabiting those regions. It was Africans enslaving other Africans and selling them (at least to my limited understanding on the subject, which may be wrong.)

> Reparations could take many forms, including investment in education, healthcare, housing, and economic opportunities for communities disproportionately affected by racial discrimination.

Why make it about race? Just make those things available to all disadvantaged individuals, period.
> Why are you so adverse to accepting the reality of the situation?

Because your reality contradicts the evidence I’ve seen. Really, there’s a convincing, logical argument in Section 2.2 of that third link above about exactly this kind of equivocation on the meaning of experimental in the context of medicine.
It's just like crypto... It doesn't really mean anything
The firebombings were really, really terrible. No question. They would have continued to near total obliteration of the country if it hadn’t been for the nukes forcing the surrender, that much was quite clear.
>Somehow European countries pull it off without bankrupting themselves.

While providing universal health care to a similar number of folks and with a smaller aggregate economy.

Those Europeans must be cooking the books, eh? /s

US GDP[0]: $25,462,700 million

Aggregate EU GDP[1]: 15.8 trillion euros

N.B.: USD/Euro Exchange rate (23 July 2023)[2]: 0.89 Euro == 1 US Dollar.

[0[ https://countryeconomy.com/gdp/usa?year=2022

[1] https://www.statista.com/statistics/279447/gross-domestic-pr...

[2] https://www.xe.com/currencyconverter/convert/?Amount=1&From=...
If you build a few batteries next to the plant and that problem is solved.
Thanks for the link. We also make static websites by direct inclusion their HTML code in the C++ binary of ClickHouse.

I've tried to use this library but found a bug: https://github.com/graphitemaster/incbin/issues/61
It derives from the latin: it's math if there's only one subject area being discussed, otherwise it's mathi.
University of California, Washington, and Texas are hardly uncompetitive. Their admission rates are very low for the good programs.
Something about the way the text got more and more glitched while keeping the rhythm of the sentences intact made me want to keep reading. I think it managed to create the perfect amount of entropy that makes it feel like there could be a meaning in there, just barely out of reach, rather than feeling completely random.
Yes. That's thanks to Hindley-Milner type inference which makes the compiler infer which None you mean. But in longer code snippets full Hindley-Milner type inference can cause hard-to-understand type errors. Here specifically the compiler infers the type of a value in your function body based on the type of the function it belongs to, which is in the opposite direction than what a programmer typically thinks in. It leads to spooky actions at a distance.
> the best signal for poverty remains income and wealth, right here and right now.

i am having a difficult time understanding this sentence. Poverty by definition is a lack of income and wealth. Why are you saying it's a signal?
Okay, but this logic is explicitly filtered through class in the US context. Some of the most antisocial members of our society are CEOs, politicians, and similar leaders. The damage they inflict on society often far exceeds that by individual acts of violence, fraud, thievery etc. Think about what has been wrought by Sacklers, the people running 3M, or those who led the country into war premised on lies.

Indeed, your example of how urban cores have been affected by wealth inequality and real estate speculation is a great example of this. San Francisco was a lovely city until landlords and real estate speculators turned it into a casino for gambling on housing and office space.
Threads of Confusion
>Someone used the same exit to hack a NATO facility in Poland, which deals with chemical and biological weapons. Disarming, etc.

COVID origin story confirmed! Joking, but that's like something from a movie. I think its really awesome that William was willing to stand for what he believed. TOR is so important for free speech and exit nodes are critical for scaling the system. It just sucks how much his life was disrupted from this.

By the way: there's some very interesting activity happening on Tor at the moment where it seems that overwhelmingly people have decided that they are going to police their own speech to remove CP. In the early days hidden wiki had dedicated pages for that shit. But it's not a thing any more. Furthermore, it seems like hacktivists are actively making sure that the Tor ecosystem stays healthy. Really fascinating because in theory they could just do whatever they liked.
> Do lots of people view it this way?

Oh definitely. The internet today feels like a giant cesspool in which everyone is trying to get ahead by manipulating each other. Many of us do all we can to keep out of it, for instance by never seeing an ad and certainly by never clicking on one.

The last thing I want is to have to manually go and hide / downvote someone who's taking advantage of a community's goodwill for person benefit. If there was a distributed way to punish advertisers and waitlist-spammers, a 'boycott this product to punish them for their transgressions against the community' tool, I'd be first in line.
You resolved your own mystification at the end and yet chose to publish this anyway, so I can only assume you're looking to be further corrected. What you're missing is that criticism is (capable of being) a work of art itself. As your more perceptive self illustrated, criticism is not about telling you why you should love or hate a piece and someone who feels their perspective on something has no room to move or grow shouldn't care what a critic says. The audience for criticism is not "people who like film" or "people who read books". The audience for criticism is people who want to read criticism. Conflate at your own peril.
I feel shocked too. But not surprised. The shock is more of a reminder that the world for many is so unlike the world for me. It’s so easy to assume everyone has approximately my experience. But it’s just so not true. So many are dealing with such an unfair hand to begin with.
This wasn't a Formula 1 electric car, they don't exists. Formula 1 cars use hybrid engines. This was an electric rallycross car.
DC++ is still useful if you want full Blu-ray images of films. Most other public pirate channels are sharing only downsampled or remuxed films.
The overall precedence is that reparations are paid to the people who experienced the harm, and the reparations are paid by those culpable of the harm. The Japanese who experienced internment were paid reparations by the United States government that took their property. Holocaust victims that had their property stolen were paid reparations by the former Nazis.

By contrast Irish Americans could very justifiably claim that were it not for Anglo oppression, they would be far wealthier. But we wouldn't fine Anglos today to pay Irish Americans. Slavery hits a similar issue, limiting the reparations to the party that did harm is very vague when you're approaching two centuries later. Most proposals for "reparations" aren't anything remotely close to actual reparations. A recent immigrant is assigned as much liability as a descendant of plantation owners. This isn't a reparation, this is a tax assigned without regard to culpability.
Protip: These kinds of hosts are the same kinds of hosts who would sell the data on your server for $5-10k because they have no moral backbone.
Harvard and other Ivy League universities got caught discriminating against Asians in their admissions. How do you justify that as a good thing?
And the country should just sit and watch those kids gets neglected and abused?
Nah, the price is because EV market in China is very competitive. Tesla there still has the brand value and dominates the premium segment, BYD and the likes hold all of the budget segment, where Tesla has no offering. VW cannot compete with Tesla because it has no such brand attachment in China, so it has to compete for budget segment, hence the budget car prices.

Best-selling EV in China after Model Y is BYD Yuan Plus, which costs ~20k USD. That's the niche VW has to compete for.
You can have this, I’ve used it in Rust before.
In most cases higher education is to some extent "rationed" and generally less accessible than in the US. Only a few countries in Europe have more University graduates. Which is of course perfectly rational if you have no ideological objects to some degree of centralized planning.
i think since reddit gave the finger to its older users, HN has absorbed some of their people and interests.
What injustice? Each of these people have the same rights: those enumerated in the bill of rights. That is justice. If there were economic rights in our system there would be case for calling the status quo injustice but there aren't.

(this isn't to say that things can't be changed, but it would require the adoption of new amendments).
No. You can't argue with what I said, it's a fact. Facts just are. You can argue about what it means if you want, or how it makes you feel.
To put some numbers on it, at a 1% growth rate starting with the current population in around 12100 the volume of space we could theoretically have access to (a sphere with a radius of 12100 light years), the amount of volume available per person would be under 0.06 m^3, which is what the Internet tells me is the volume of a typical human.

Of course we couldn't get anywhere near that, because that 12100 light year radius sphere doesn't contain enough mass to make that many humans. At 1% annual growth here are some of the mass bottlenecks we'd hit.

3400 years for the mass of living humans to equal that mass of the Earth and Moon. 600 years after that we would equal the mass of Jupiter. 700 more years and we equal the mass of the entire solar system. 2000 years after that (or 6700 years from now) we'd need the entire mass of the Milky Way to make those humans.

From there it is just another 100 years until we need the mass of the Andromeda galaxy.

Another 5500 years (12300 years from now) and we'd need the mass of the entire observable universe.
I've always thought that valgrind is one the most metal names for a piece of software.

Valgrind, the gate to Valhalla. And Valhalla, the hall of the dead. Very appropriate name given what this piece of software does.
> Unidirectional type inference would make for more intelligible compiler errors. Full Hindley-Milner can get confusing.

Bidirectional type checking has good error messages and a very intuitive implementation.
Fuck off, Calvin.
Excellent points. We need to add living without nearly as much sunlight, and living in damp or submerged environments to the goals of our Merpeople program.

I'd imagine there are stepping stones along the way. We won't make it all the way to fish people right away, we'll likely have amphibian people first. Those people, amphibian people, should be pretty good in living in damp environments.

All that to say, I think we're good.
the only links are the FIA and the fact that Sebastien Loeb had been one of the previous drivers, I guess.

maybe automated-summary error?
This was an issue way before ChatGPT, because older languages have more online resources, more experienced developers, more libraries, and are more battle-tested and hardened. It’s why JavaScript and FORTRAN (!) are still alive today, and you rarely hear about new languages gaining mass adoption. The newest “production” languages today (Dart, Go, Rust, Swift, Kotlin) are all not actually new (some started being developed 10+ years ago), not as widely-used as their replacements (React, C, C++, Objective-C in Apple’s macOS and iOS, and Java), and this is despite being spearheaded by huge companies (Google, Mozilla, Apple, JetBrains) and a passionate community.

Still, the # of software devs is huge and increasing, and there are plenty of new indie projects made by people who are passionate about new languages and/or want to do things more fun and possibly faster rather than more reliable. Take Zig, a very early language which competes directly with Rust, C, D, Go, and more; but there are real projects being developed with Zig (e.g. Bun). These projects and the developers using niche languages are growing a community which others can use in the future, and writing code which an LLM can use; and while the communities aren’t growing nearly as fast as ones of larger languages, there’s probably an exponential dropoff of community/code growth + usability growth. More importantly, even if these niche languages never become popular (more likely than not), they’ll still be used by a passionate group who make projects 2x slower (since they have less resources/LLMs), but would otherwise be unmotivated and not make anything at all.
Waitlists are mutually beneficial. Users actively sign up to receive updates because they are interested in the product and want to be notified about it's progress and launch. If you see it as "spam", then don't add your email to the list.
If you would just build a pipe that goes up to the sea level, wouldn't the fresh water naturally go up it because of pressure enacted at it at 231 meters? You would only need to pump it up from the sea level.
https://archive.ph/viu7t
You do realize that most people in a "bad upbringing" don't go on to commit crimes?
There's another unique aspect to this particular case--if the children "aged out" without being adopted, then they don't have functioning parents to pay for the massive costs of college, which is what the current financial aid and pricing model relies on. Even if the kids had a good childhood, they aren't going to have the financial resources to pay for college themselves.

And even if they have an almost adopted type of situation with their final foster parents, those parents still shouldn't have to pay all the college costs. They may not have even had the children placed with them long enough to save for that.
Well obviously you would need some degree of rationing and central planning by the state in addition...
Also Scientific American, 8 years later (2016): Israel Proves the Desalination Era Is Here (https://www.scientificamerican.com/article/israel-proves-the...)
It's not weird you're just sampling beyond the max lenght it was trained on and the model is not able to extrapolate to longer sequences, probably using ALiBi would help instead of RoPE in this case.
The only reason I tolerate his ways is just to shake up the tech industry, and having a different approaches on anything is always welcomed.
> most of the time I actually want union types, not sum types.

Really? This surprises me to the point that I'd like to ask what you are coding.

I'm having a very difficult time picturing "You have A|B|C|D and you send in an A and extract a D" (union type without tag). The only way to do that is to guarantee memory layouts, which is something Rust explicitly does not do.

What am I missing?
Let me repeat your argument back to you. You are saying that classical scholars, purely out of deference for Plato, cannot be trusted to investigate properly just how depraved Spartan society was; and hence Russell is a better authority?
If foster children were raised so well that people were jealous, maybe that would create an adverse incentive for people to create more children than they can handle and desert children that they’ve already had?
News News Yum Yum with Marc Andreessen [video]
Antitrust Guidelines and Overthrowing a Corrupt Priesthood
They are heavy, but the very low center of gravity makes sliding off on bends very difficult.
A Simplicity Bubble Problem in Formal-Theoretic Learning Systems
1930s American Food at Thailand's Most Unique Historic Restaurants [video]
> John Bardeen was an American physicist and electrical engineer. He is the only person to be awarded the Nobel Prize in Physics twice: first in 1956 with William Shockley and Walter Brattain for the invention of the transistor; and again in 1972 with Leon N. Cooper and John Robert Schrieffer for a fundamental theory of conventional superconductivity known as the BCS theory.

> Bardeen was a scientist with a very unassuming personality. While he served as a professor for almost 40 years at the University of Illinois, he was best remembered by neighbors for hosting cookouts where he would prepare food for his friends, many of whom were unaware of his accomplishments at the university. He would always ask his guests if they liked the hamburger bun toasted (since he liked his that way). He enjoyed playing golf and going on picnics with his family. Lillian Hoddeson said that because he "differed radically from the popular stereotype of 'genius' and was uninterested in appearing other than ordinary, the public and the media often overlooked him."
I’m convinced this is a structural characteristic of America, resulting from the immigration patterns that built the population.

If you look at polls worldwide, most people wouldn’t leave their home country even if they had the choice to emigrate somewhere else: https://news.gallup.com/poll/468218/nearly-900-million-world.... In South Asia, where I’m from, it’s just 11%. Even in sub-Saharan Africa it’s under 40%. Immigrants are the outliers who are willing to leave everything they know behind.

Of course over time there’s regression to the mean, and new communities form here in the US. But most of the US population traces their ancestry only back to the late 19th century or early 20th century. This constant population turnover means there’s a very limited ability to develop the kind of solidarity required to make sacrifices on behalf of strangers in your community.
The rise of makers
I wish they would have compared against the TC66C. It's an amazing bit of kit at a quarter of the cost.
Hypothetically, even if your rude statement were true, is that his children's fault? Why punish them by taking from their parent?
when a succinct John Nagle TL;DR is worth a handful of animated diagrams.
That’s incredible. Is there any reason not to fix ldd to just fail if the program is using a different loader?
I think changing the positional encoding to ALiBi would help in this case but I guess it wouldn't be Llama 2 anymore.
Author discovered value of free body diagrams.
My understanding is that at the salinity levels involved, this gives you hydrogen and bleach as outputs.
Bibby Topaz saturation diving accident investigation: software caused it
Sure, whatever.

I wasn’t optimistic when Musk took over Twitter but I was interested to see what he’d do with it. This however is just dumb. Dumb nonsense piled on top of meaningless jargon from a man who thinks he can just will an American WeChat into existence through sheer hubris.

It won’t work but it isn’t even going to be an interesting failure.
Not that unit testing is enough, but the unit testing that these projects happened to do isn't enough.

I suggest that testing that's enough to have confidence that a non-trivial program is correct is going to cover just about everything static type checking could find as well (except in dead code, and how does that matter?) Or, to put it another way, if you didn't care enough about the correctness of your code to test it adequately, why would you care that static type checking could find some bugs? You've already determined quality is not too important.
Post-Quantum Encryption with Python
You're correct, I was agreeing and using and example.