skysight-inc/HackerNews huggingface dataset:
> That question hides the assumption that static languages are always an improvement over dynamic ones, when in reality we should think as different species that have adapted to fit into different environments.

Let me give you a twofold answer to this.

1. I do think statically typed languages are generally better than dynamic languages for most use cases (with a few exceptions). I don't expect to convince you or anyone else of this. It may even be the case that I'm mistaken about this, but I made my mind after years of experience with both kinds of languages.

2. The alleged hidden assumption is not truly important. One should always criticize flawed features of any language, static or dynamic, and the answer should never be "well, choose another language". How else will languages improve if nobody is working on addressing their pain points?

> "Better practices" are what makes you team more productive, not just blindly copying what other people are doing. If your colleagues really believe that automated tests/type checking are not worth the effort, you are not going to convince them by saying "but so-and-so said otherwise". What you can do is ask for their pain points, and see if the tooling can help with it.

I'm both nodding in agreement and finding it very hard to think of something I said that made you think I disagreed with this.
Yes. The reason type checking is separate from the interpreter is that python is an ecosystem, not a language. Even if you like static typing, 99% of projects benefit from other code that lacks typing. Type hinting puts you in control of where types are enforced while allowing you to use duck-typed code. The cost is that you have an extra step in your build chain - but CI, IDEs and other automation all but negate that cost.
Interestingly enough, it seems like the KORG wavestate is actually based on some Raspberry Pi, according to KORG's github page, so you can definitely get less than 40ms latency and no stutter. And yeah, Teensy or even FPGA evaluation boards can get you very far, since software development in your spare time is "free". If you search the web, you'll find many examples of such projects. For example I remember some FPGA based project with iirc a small ~50€ Spartan-6 eval board which implemented a fancy 32 voice 6op FM synthesizer.
I think the imaginations of some who would strike down net neutrality go far beyond that.

They would disconnect the net at every border imaginable and charge for access along every gateway. It's an authoritarian's wet dream to have such control, and we the people should oppose it at every turn.

Setting up a framework that cements existing monopolies isn't capitalist, it's anti-competitive.
Unlimited internet is mostly a marketing term. Until you buy a DIA circuit you are just getting regular ISP access or prioritized ISP access.
Why? Who needs this? I don't even understand the use case for file permissions on an external drive. Who owns the files across operating systems?

FWIW, the company I linked elsewhere provides full ext4 support products for both macOS and Windows.
This confused me at first too. The issue is that "X" is your performance, and "Y" is your perceived performance.

Say that everyone is equally okay at assessing themselves, and get within 0.1 of their actual performance (rated from 0 to 1). Then X and Y are going to be very correlated, as X - 0.1 < Y < X + 0.1. But X-Y will look like a random plot, since Y is randomly sampled around X.

The only case where X and Y wouldn't correlate at all is if people have no ability to assess their performance (IE, Y isn't sampled around X, but is instead sampled from a fixed range).
> IBM... Oracle... Palantir much more so

Sure. But the discussion was about "rich people self funding", with him as an example.

I have a couple ideas I would happily self-fund with the state's mid-10 digit assistance.

> I do however notice a general trend of seeing Libertarians on the dole.

If nothing else, it must help with finding the time to write freedom screeds.

More seriously, just about every rich person will tell you all about their bootstraps. I just wish fewer were crass enough to whine so loudly about others getting similar, ah, bootstrap assistance, to theirs.
A Guide to Decentralized Biotech
The problem is that Ubuntu isn’t the boring choice. They keep making drastic changes without much notice.

For example, switching the default and recommended browser to snaps which breaks a whole bunch of extensions.

Or suddenly dropping Unity and switching to Gnome, which completely changed the workflow until Canonical bridged the gaps.
Powerful people will be powerful people. Who the hell cares?
Fox does pretty well selling partisan product.
The difference is being able to manufacture a chip that retails for multiple thousands of dollars in the case of server chips or in the case of chips that go into coffee machines or cars for cents or dollars each. Premium chips demand a premium price. When you send billions on your factory you don't want to be stuck making low profit chips.
The issue is that at this point it is a largely theoretical exercise, and we don't really know how things will turn out when the leases do run out. There's a lot of things that have to align for things to go smoothly, and while you seem confident that the SG government will figure things out, I'm not sure that could work in probably any other country. Indeed, we don't really know if SG will handle it competently. Time will tell.
There are still a lot of libraries without hints, so mypy has to be told to ignore them in the setup.cfg file. Last I checked, sqlalchemy still isn't so good with mypy. So we have it ignored. But mypy is still great overall.
Not always. This is why ISPs refuse to peer with certain customers. If they don't see mutual benefit, they charge for network connections instead, aka IP Transit.
Wolfire Games' Overgrowth Source Code
That original article was bogus and needlessly combative. I feel like the majority view in the HN comments saw it as such.

Most comments were splitting hairs on what _exactly_ the Dunning-Kruger effect was, plus some general nerd-sniping on how the original article was off base.

IMO it was something that fell flat on its own rather than something that needed a lengthy refutation, but I can understand that sometimes these things get under your skin.
Can't the US just cap market share of any company foreign or domestic?
Honestly, I've recently written a few 300-500 line programs in Python using type hints and I'm never going back. And I'm not even using mypy often, if ever.

My editor now has a fairly deep understanding of my code, and can tell me of all sorts of surprising errors I'm making before I run the code. There have been a few times where I found an error, went into the editor and saw I had missed a error message about that line. Shout out: Using LunarVim with LSP and TreeSitter.

The other thing I'm enjoying is that libraries can use them to make things happen more automatically. I believe it was Typer (the CLI argument parsing library) where if you declare an argument to a function as "files: List[Path]", it understands that the argument will take one or more files, or "-" to mean stdin. If you just say "file: Path", it understands it is a singular file.

I was curious about type hints when they first came out, wasn't really expecting to use them but they seemed cool, but now I'm totally sold.
Wow, went down that rabbit hole, and what awful reporting, spammed all over the place without real attribution. It wasn't even published/reviewed, it's BioRXiv with heavy promotion.

However, I did find a paper with something other than breathless commentary on microplastics. Interestingly, it's mostly unwoven PE/PS fabrics that generate microplastics, except in the case of nylon which decays in UV. Also many allergies due to synthetic contact are due to coatings (for wear and flammability) not the materials themselves.

https://www.sciencedirect.com/science/article/pii/S004896972...

https://www.biorxiv.org/content/10.1101/2021.01.25.428144v3
Their design is S tier, usefulness on the other hand, C tier at best.
This was abundantly clear when, e.g., every Trump tweet had the first (always highly negative) replies from a couple of crazy doctor brothers (twins?).
ok ignore that comment, but tell me who believes cycling in traffic isn't more dangerous than driving a car since you've indicated that HN (the monolith) seems to think that
I thought by "Profiles" it was going to be a Resume-like feature (aka how Stack Overflow does it), but it's not... which makes me think - why hasn't GitHub done something like this, as it seems like an obvious thing to do?

... I guess we could set a de facto standard and create a "resume" repository. Though, it would be better if it were a standard feature and searchable too.
This sounds useful, do you have a library in any languages for this?
You could also write your own profile file. It’s really just a policy file written in xml(-ish?) with a poorly documented schema. Or at least it was poorly documented several years ago.
This is like saying that taking the first step is useless because there are more steps to take before you get to destination.
yeah these companies act like were all protecting the coca cola formula or building nukes or something. like really, its blocks of text being put in order. the hr, pr, comms, leaders or w/e seem so disconnected. im sure there is some bs reason like were protecting the company, i think its misguided being so closed off though and missing the bigger picture of building trust with users.
I wrote a blog post all about this! And how to get better color-mixing in your CSS gradients.

Shameless plug: https://www.joshwcomeau.com/css/make-beautiful-gradients/
> There is no way to get typing like dataclasses without writing your own mypy plugin. The syntax is simply not expressive enough to do it. This means that if you want to be productive with a library like Pydantic, you also have to add the mypy plugin to your dependencies and add it to your mypy config. Otherwise, no typing.

This would be solved by PEP 681, which originates from (and is already used in) pyright: https://peps.python.org/pep-0681/

> 3. To this day, there is still no way to express optional keys. Not "Optional" keys, but keys that can be left out of your dictionary. The closest you can get is this weird hack where you can set `total=False` in your TypedDict, which makes all keys optional.

This is solved by PEP 655, which introduces NotRequired: https://peps.python.org/pep-0655/

It's implemented in mypy 0.930: https://mypy-lang.blogspot.com/2021/12/mypy-0930-released.ht...

> I really wish Python learned from Typescript, but it's too late at this point

Personally, I feel like it's partly just entirely different styles: Python relies on a mix of nominal and duck types, whereas JavaScript is much more focused on structural typing. As a result, there are a lot of things like TypedDict that are absolutely essential for JS to even function but a decent bit less so in idiomatic Python code (keeping a significant amount of dicts around uses much more memory than objects, I recall a PyCon talk explicitly mentioning this too).
I’m tired of US Senators.

Also tired of the seemingly ever-increasing cost (and legal complexity) faced when creating anything.

But I suppose restaurants would say the same, and most of us are happy not to fall sick most of the times we eat outside.
Well, religion is a total bust too. I can’t count the number of times Armageddon has failed to arrive.

We don’t experience as many dead zones in the waters, thankfully, and we have lots of hydrocarbons left. Not sure I’m happy to be rich in PFAS and microplastics, though. Since our kids will never have known a world with glaciers and snow like we had, they won’t miss them, just like we don’t miss passenger pigeons and large herds of bison.
> I don't agree with what the ISP is doing, but I can rationalize how they think it makes sense.

It only makes sense if they perceive no backlash for overreaching.

We need to look closely at what they are currently doing. They're expanding zero rating on mobile, and also on broadband in some areas by claiming that their network is "proprietary technology" and not subject to such net neutrality laws.

Meanwhile, municipalities are prevented from building their own networks to compete with regional broadband monopolies. It's internet-highway robbery.
It's amazing how short and selective people's memories are on this subject. The 'debate' happening right now is coming from an earnest place but very uninformed about realities of managing large online spaces.
While the tweet is correct ("It is physically impossible to exceed the 70-pound domestic weight limit for a small flat rate box") the shortened title here which omits the word "small" is very misleading. The USPS offers a variety of sizes of flat rate boxes (https://www.usps.com/ship/priority-mail.htm#flatrate), all of which have the same 70 lb weight limit. It's only the "small" that cannot be overweight. The two mediums and the large can exceed the limit with dense contents. Perhaps the title could be changed to omit "physical" and add back "small"?
Right - I mean we had mypy passing across the whole project, but it just wasn't detecting any issues because so many of our types had to be ignored because mypy didn't understand that the runtime type of a Column field in SQLAlchemy is not Column, and things like that.

Rather than maintain all of the mypy stubs for no benefit, we decided to just scrap mypy.
That's a great point: counterparty risk is a much bigger concern on a billion-dollar loan
A million years ago the bark of a tree was impossible to degrade in nature, but now you can't prevent a log from decomposing. Similarly, nature will find a way-it always finds a way.
Math suggests a limit somewhere, we just don’t know where it is, or how plausible various step changes in the limiting factors will be. Probably war will thin things out at some point, I just hope not nuclear so the land and water remain relatively useable.
Companies can be held accountable in court for words used in their marketing.
That’s exactly how it seems from the outside.

I can’t tell if it’s funny or worrying.
>My editor now has a fairly deep understanding of my code, and can tell me of all sorts of surprising errors I'm making before I run the code.

I agree this is useful, but to me the most useful feature of types are the self-documentation. It's crazy the difference between a non-typed library with shitty documentation vs a typed library with shitty documentation.
The Stable Marriage Problem (1992)
I'm really curious to hear an example of why/how you feel that your political views are being silenced.
Honestly, this thing works pretty well for my use case:
https://www.amazon.com/Moukey-MK0149-RD-FR-Ultra-Low-Noise-6...

It's not quite the same thing as the TX-6, but if I were to go to the substantial effort of making a small mixer product marketed to people like myself, that's the sort of competition I would be intimidated by, not Teenage Engineering.
I get what they mean though. In a typed language you know the type of a variable at compile time. In dynamically typed languages there is nothing to enforce this and a variable can be passed with any type. So there wording may be off but the point stands.
That changed recently. As part of the migration, they had to reissue all cards, but they’re now charge cards instead of prepaid debit. https://news.ycombinator.com/item?id=29432683
How do you feel about Closys for targeting anaerobic species?
A nas like you propose is a bunch of drives, connected to a cpu, connected to a nic. Which then talks to a switch that the actual box using the drive connects to.

This solution proposes dropping a lot of hardware & getting the same outcome. There's one box with 12x 100Gbe on the back (across two switches) and a bunch of nvme (over rdma ethernet, "NVMeoF") plugged directly into that switch.

Why bother having a whole cpu & expensive nic just to connect some drives to the network? This box replaces not just that nas, but perhaps the top of switch box too.

This isnt supposed to be bespoke or proprietary. Its supposed to just the infra we already have. If your nas is really good it already spoke NVMeoF anyhow. Whats a little fancy is that you still need some PHY between switch and drive, which i think is throwing you off & confusing you a bit & making you think this is more bespoke than it is. The drive is an ethernet drive, could hardly be less bespoke.
Assuming a world where all the participants understand normal distributions, would this be addressed by asking people to rate how they did in terms of "standard deviations compared to the average" or such?
You could buy clothes that are naturally dyed which would eliminate the toxins.
I mean, I get that for all their other products. But this seems next level.
If they were using AD back then it was nowhere near their macs. For a while there they were on a mission to break AD integration and/or Kerberos with every update and release.
And when the wolves attack humans? Lobbyists have long claimed that there are no documented cases of healthy wild wolves attacking humans, but there are actually dozens of documented cases [1][2]. Wolves are nothing like dogs. They're large enough to hurt/kill humans, and they have regularly done so whenever wolf and human populations overlapped.

[1] https://en.wikipedia.org/wiki/Wolf_attack#North_America
[2] https://en.wikipedia.org/wiki/List_of_wolf_attacks_in_North_...
Susan Kare on the Computer Chronicles, discussing the Mac: https://www.youtube.com/watch?v=x_q50tvbQm4
This almost seems worse that it’s so inconsistent between accounts
especially on a platform like twitter :)
To Grow a Church
> Why is it so cheap though in terms of absolute value, is the percentage of revenues claimed by this asset very low?

It's not a percentage but a fixed dollar amount; the court case from the 50s says the agreement is to pay "six dollars on each & every gross of Listerine & Lithiated Hydrangea manufactured or sold". There was also an agreement for something called "Dugongol & Menthated Camphor", which was 10%, but that hasn't existed in a long time it seems (can't find anything in a quick search).

I assume that with a "gross of Listerine" they mean 144 bottles, but this bid isn't the complete contract since they sold other parts before; this 30k/year one sold for $561k in 2020.[1]

I'm not an expert on these things at all, but overall seems like a bit of a so-so investment because inflation.

[1]: https://auctions.royaltyexchange.com/auctions/sales-royaltie...
The ability to slowly add typed code to an existing database has been a lifesaver. I always hated JS because of callback hell (and the notions around its community) but since I started working with typescript my mind has been changed. I love it
I had the same hopes for my kids with PICO-8, but it didn't really pan out— the things they were excited to do (make a platformer!!) all require a ton of boilerplate around movement, gravity, collisions, sprite animation, and so on. The high profile projects on the platform are all super polished and based on endless hacks and tricks that push the boundaries of the system, and it can be hard to get away from those expectations.

GameMaker has gotten pretty professionalized at this point, but back in the day I think it was a good entry point, with decent non-code workflows to get the basics going and a smooth on-ramp to adding behaviour code as needed.

I don't know what fills the hole that used to be platforms like ZZT and MegaZeux, though. Maybe it's Minecraft and Roblox that are the modern outlets for that kind of creativity.
Imagine outdoor activities before nylon.
This sends shivers down my spine. Will it always be like this? Which will be the generation that will be computer literate? In ten years? A hundred? A millenia? Sigh.
Obama’s plans to fight disinformation are better than most
Noise complaints can potentially escalate into future violence if an authority doesn't make a call. I'm also not sure what you mean by other ways. The number of new recruits keeps shrinking year after year and the number of retiring officers keeps growing.

I just don't see another alternative from mass surveillance unless you have a homogenous, group first population like Japan.
I agree with your general point (a lack of competition is why they can get away with double-charging for traffic), though this feels like a theoretical concern as of yet.

But you're conflating different ISPs with different types of anti-competitive behavior. Prioritizing non-streaming-service (e.g. throttling Netflix at prime time) packets could, for example, help a regional ISP stay competitive. That's different than the anti-competitive behavior the big ISPs engage in when they lobby governments/help pass laws which _block_ ISP competition in regions like Denver. Different issues with different effects.
You may be looking for http://webscalesql.org/
I just started to use it a few weeks backs (I brush and floss daily), and so was wondering if the sudden sensitivity I have been feeling was related to the recent use of Listerine. Hence my query.
> Why do you assume the government can’t plan out new property to replace the old?

I'm not - but this was 191 units. What happens when 20,000 units expire in a single year? You have a lot more confidence in government than I do. Besides, your top level comment was about how western countries could resolve their housing crisis with the SG model. My contention is that the SG model as it exists could only work in SG - if it does at all - which still remains to be proven in the coming decades.
The OP article mentions in their rumination that there's some difficulty in generalising DK:

"And maybe there’s no contradiction - there’s always room for nuance, for finding out where the Dunning-Kruger effect is relevant and where it’s not. That can be done with more studies, but only if the authors manage to agree on assumptions and basic statistical practice."
This is exactly why it started because Netflix switched to a lower tier provider (Level3 iirc) and the big ISPs wanted money pay for the transit which Level3 and Netflix didn’t want to pay.

It all went away when Netflix started installing CDN caches.
> I'm not even using mypy often, if ever.

Hopefully your CI does?
It’s funny; I never thought of it as a desirable behaviour.

To each their own!
Did they actually SPEND the capital, or just set it aside? Even if they were going around filling DC's with transcoders I feel like they'd have a hard time spending $300M that fast, unless they grossly overestimated the size of their audience.
> But as a general rule: You don’t know if there really is a tool in place to check them. You especially don’t know this when you join a new project, but it’s also a little hard to tell afterwards. Did the mypy task in your build pipeline silently break? Maybe mypy is misconfigured? Maybe it spits out errors but does not cause build jobs to actually fail? What if mypy has a bug? What if mypy is not even complete and doesn’t cover all cases?

This seems like an extreme overstatement and a sign of a very weird team environment.

Are you not running your linting and validation locally?

Heck, when dealing with some poorly-typed external code, I run mypy manually to help me figure out what the stupid types I need to assign even are. This is far from ideal, but in lieu of a better solution, it works for me.

I just find the idea that people would be adopting typed Python and then completely ignoring the type-related tooling a bit wild.

And sure, libraries can have bugs, you can open yourself up to big holes with Any... and in cases where I'm super worried about things like that, I'm generally not using Python. But I'd rather use Python with type hints + use the tooling in a sane way then not use the type hints at all.