skysight-inc/HackerNews huggingface dataset:
> Duck typing is really enforcement of interfaces, not types themselves

A type system is just a set of rules that must be followed. The rules can be as weird or as simple as you want. Just because <int> + <string> is allowed doesn't mean it's not enforcing types.

Not really a criticism, just trying to push to expand your idea of what a type system is.
> Python could detect inconsistent type hints at runtime. But why would it?

Because the programmer explicitly intended a contract which is being violated, which would in turn indicate a bug.
I love the animated gif at the top of that page. Nice touch!
Ah, you're right, it's 6 (first initial + 5 character last name.) I can't count...
Honestly, I think that almost anything that would otherwise be interesting can become tiresome to people who experience it too much. I remember reading that the Red Sox manager, Alex Cora, would video call one of the Red Sox star players (Xander Bogaerts) to have him tell his kids to eat their vegetables when they were refusing, and it worked! The kids clearly were Red Sox fans who were impressed to hear from one of their favorite players, and yet, the fact that their dad was this player's boss was somehow not suitably impressive. No matter how impressive you might otherwise be to them if you were a stranger, it's hard to avoid being boring to your own kids.
Genuine question: what do people do on LinkedIn?
Don't confuse strong typing and static typing.

Python is strongly typed. It respects types at runtime e.g., `"1"+1` causes TypeError.
Python is not statically typed.

For comparison, C is statically typed but it is weakly typed e.g., printf function has no idea about actual types of its arguments (in particular, errors in the format arg may produce non-sensical results silently).
> I think that most people who talk a lot about DK believe that they are the experts in one field or another.

I recall that either Dunning or Kruger once made a remark to that effect. That rather than an indictment of stupid people, it would be better to view it as a warning to those who consider themselves the smart ones.
HN moderators didn't touch your comment. We moderate HN less, not more, when YC or a YC startup is the story. That's literally the first principle of HN moderation—lots of past explanation here: https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu....

There are a small number of trusted users (not moderators or high-karma accounts, but people who have been on HN for many years) who have the ability to mark a comment generic or offtopic, which downweights it. We encourage them to do that when a generic or offtopic comment is sitting at the top of a page, choking out more interesting discussion. It's actually the single biggest thing we've found to improve thread quality, because generic and offtopic subthreads—especially angry ones, like the one you started—tend to quickly suck all the oxygen out of a conversation, and end up making the thread be about obvious-generic things rather than the intellectually interesting details of a specific article.

This is an experiment in extending moderation powers to the community at large (and I'd love to extend it further*, because the results have been superb so far). But it has nothing to do with YC—in fact we've instructed these users not to apply such downweights when YC or a YC-funded startup is the story, because the principle I mentioned above takes highest precedence. So I'd presume that the user who downweighted your subthread had no idea that Fig was a YC startup.

You posted 16 comments in this thread attacking someone's product from what is clearly a pre-existing entrenched position. That's way too much, and not at all the curious conversation that this site is supposed to be for. (Edit: we also got an unusual number of emails complaining about how you derailed the thread.) So I think the user who applied the downweight in your case was correct in principle—doing that did improve the quality of the thread (at least for a while), which is exactly what the downweight is for. They just didn't catch the YC aspect; if they had, I'm sure they would have held back.

* (Side note: if anyone sees this and wants to 'try out' for the right to downweight comments in this way, you're welcome to email hn@ycombinator.com. Send a few examples of subthreads you think should have been downweighted and I'll take a look.)
This is one example where "zopfli" or other optimized zlib compressors don't help, the input data is too simple.

"oxipng" (my current preferred png optimizer) bring a plain 256x256 image created with imagemagick down to 179 bytes, as long as you tell it to strip all metadata objects.

Interlacing doesn't make any difference, it's the same size with it on or off.
Is it? The finalized says ten per cent of gross apparently.
I blame social media. Ignorance used to be bliss.
The whole industry also went through the same sim revisions. (And, with eSIM, there are now four revisions.)
just remembered - it seems 90% (?) of the planet fitness gyms won't let you join unless you have bank account / routing number to give them to take dues from.

I would of joined one and gotten a few others to at least try it out - but that just seems shady (hard to cancel / no chargeback for shady actions) - what kind of business relationships are they trying to take the power over in.
Just go in assuming you’ll get screwed. You can learn something for next time.
I mean, vice versa. I have to hide my private code from public eyes for the same reason.
Right, it’s definitely still a voluntary feature. What I meant is if you opt in and make it part of your project’s standard build procedure for python code, you effectively get the behavior and benefits of “compile-time type checking” (to the extent that you actually use type annotations in your code).
Will Moderna be selling the combo covid booster for profit?
I use different email addresses for everyone, and have a catchall on my domain. Been using this setup since the late 90's.

My spam comes from a few sources:

- data breaches that leaked an email address (Adobe, Dropbox, LinkedIn, GoDaddy etc)

- family that used to forward all kinds of crap using the TO: field instead of BCC:

- some companies sold my email which then started to propagate more and more

- some just figured it out. If you own a domain firstlast.com you'll get spammed at first@firstlast.com

- dns records

There are more I'm sure. These are the sources I'm certain of.

Your email is only as secure as the weakest link that has that address.
THIS is why I am on HN. Thank you for the research. Excellent.
I remember the announcement to remove MagiskHide, not sure what people are using these days. Still, even back then with MagiskHide it was a constant arms race between Magisk and SafetyNet and I got tired of constantly having to update.
Some of r/wallstreetbets mods moved over to communities.win, the_donald guys who made their own site now named patriots.win and communities, basically a reddit type clone/alternative.

You can basically make any new sub just like reddit now.

The problem with building another alternative site, you start from scratch. Lots of tools/mods/services(gify) for reddit, even 3rd party like IFTTT integration, have to recreate from scratch.

Same goes for twitter, gab took a long long time, but now they have more features than twitter, gab pay, gab video, gab marketplace, gab groups. But they even censor, even though they say they don't.

I miss the old newsgroup usenet days, they had moderated and unmoderated newsfeeds. I loved reading subs, but then everyone broke out to their own personal websites, killing the good ones. Always wished someone made a website to usenet convertor, turn a reddit sub into a newsfeed, or quora/yahoo questions/stack exchange into a newsfeed. So much easier to search.
How many modern day “conservatives” would read the NYT? They started leaving Fox News when they called the election fairly and their journalists started saying that claims of “election fraud” were unfounded. Heck they started calling RedState a sellout until RedState kicked out the NeverTrumpers even people with conservative bona fides.

I’m sure the left would turn against NYT if they started publishing about the silliness of mask mandates in 2022.
Harvesting lineage information could be a good use case.
Same with a lot of neighborhoods in NYC, even trendy ones like Williamsburg and Greenpoint. Always research what your building is built on top of before you sign the lease.
I'm 28 and have loved puns about as long as I can remember. No plans to have kids, but it turns out you can get almost anyone to groan, even adults!
A remarkably nuanced view of the situation.
I mean, I think this is just one of those things where it only matters rarely, but when it does it matters a lot.
For the songs I assume because they produce fewer and fewer royalties over time, and the only ones for sale are those that aren’t worth that much.

But it would be amusing to get that Shrek set heh.
A few differences:

- Even though logtail is quite cheap, we are even cheaper solution
- Our pricing model separates ingestion from query. If you don't query, you don't pay for query. Just ingestion.
- We are JSON native. Our SQL allows querying JSON fields that are nested under nested JSON arrays.
- Performance. We believe our solution is much faster for selective queries. This like most performance claims, it all just depends on the data shape, volume and what you are querying.

Similarities:
- We both use ClickHouse as underlying DB.
This is giving me so many flashbacks to my time at jpmorgan. There’s a bunch of wonderfully interesting corner cases I’d really love to learn about how you address!
In Andy Pavlo's current seminar class 15-799 [0], everyone parsed SQL to extract which columns were being accessed in a workload's queries. This was used to build an automatic index tuning tool.

[0] https://15799.courses.cs.cmu.edu/spring2022/project1.html
You've got it all backwards. They are making it harder to cheat. It's the other party that can't win if they play by the rules.
If you have a dictionary with heterogenous, optional keys then I believe you have a struct-like class. If you have any constraints on the keys beyond a homogeneous domain and a homogeneous range then you have a struct-like class.
noImplicitAny is a very common config option that helps catch a ton of bugs. I wouldn’t use TS without it.
That's an interesting idea...
I don’t get it - Article says Meta is reviewing her conduct [0] but then the same article mentions the spokesperson statement essentially saying she didn’t do it. [1] So is Meta done reviewing?

[0] Facebook is now reviewing whether Sandberg violated company rules, unnamed sources told the Journal.

[1] “Sheryl Sandberg never threatened the MailOnline’s business relationship with Facebook in order to influence an editorial decision,” a Meta spokesperson said in a statement. “This story attempts to make connections that don’t exist.”
I didn’t have fig just work. Actually I realized it made assumptions about the way my bashrc and bash_profile worked that broke the installation of fig and my shell configuration after I made some seemingly unrelated edits to my bash config.

It’s been broken for months and I didn’t get enough value out of it to figure out how to fix the installation.
But we (the ISPs) made assumptions about aggregate consumer bandwidth requirements back in the early 2000s and now they're cutting into shareholder value! Would someone please, PLEASE, think of the shareholders?!
I haven't needed to use storage in a serious way. GCS, S3, Digital Ocean storage, they all seem to work relatively the same for my use cases.
I think I might not have been clear: this is not a limitation of the type system, but of a specific type checker (mypy), that will hopefully be fixed soon. Both Pyright and Pyre support recursive type aliases right now. Open one of their playgrounds and you'll see that the following, intuitive definition

JSON = Union[
None,
bool,
int,
float,
str,
List['JSON'],
Dict[str, 'JSON'],
]

works without issue.

>In fact, you admit that even fixed JSON can be difficult without a 3rd party library.

Sure, but that's just because the standard library (for now?) doesn't offer deserialization with runtime validation. Java doesn't have that either, if you want to parse JSON you'll have to either roll your own or rely on a third party library.

Don't get me wrong, the situation isn't perfect, but especially if you use the 'right' tooling, you can in my experience already get a perfectly serviceable experience, which to me is indicative that the type system itself is fine and pythonic, it's just the tooling that is lagging a bit behind at the moment.
> The order of operations are out of whack and makes pipeline ing a little hard

It makes it really hard to offer good autocompletions too.
Convert to svg maybe?

For OpenStreetMap 136 bytes

<svg xmlns="http://www.w3.org/2000/svg" width="256" height="256" viewBox="0 0 256 256"><path d="M0 0h256v256H0z" fill="#aad3df"/></svg>
I think "Linux drops will drop executable pages without swap" is a symptom of machines with small amount of memory, say 4G or less. So it is pretty outdated for regular servers, and probably only relevant when you are saving money by buying tiny VMS.

Those build servers had at least 64GB of RAM, while executables were less than 1GB (our entire SDK install was ~2.5GB and it had much more stuff than just clang). So a machine would need to finely balance on memory pressure: high enough to cause clang to be evicted, but low enough to avoid OOM killer wraith.

I don't think this is very likely in machines with decent amount of memory.
Putting systemic racism in scare quotes seems like a tell.

The demonization of "being woke" is a simple replay of "political correctness" -- find cases of true over-reaction and then label the whole affair as nothing more than pearl clutching by out of touch liberals.

This kind of engagement is disingenuous at best.
Having the computer draw for you isn't exactly creating art.

I disagree. It is like using sampled music or an arpeggiator or drum track to compose music.

a gut wrenching image of innocents being beat by police is gut wrenching because it's something that exists in the real world

Can't a painting be gut wrenching? It doesn't exist in the real world.
Sounds like exercise or maybe a dry sauna would be a cost effective non pharmaceutical way, short term increase in inflammation that results in a long term decrease in inflammation. Same thing with injuries and fractures but that’s more unrelated.
As a fan of immutability (edit: I suppose I should say rather referential transparency is more relevant here), that horrifies me, but at the same time I have to commend the ingenuity.
I'd love to hear more about your project. I've been looking at McClim and CLOG for UI. Don't know if they support OpenGL viewports.

I agree with the "least resistance" notion. The way I've always thought about it is that Lisp is the only language that doesn't fight me when I'm using it.
Seems like the right move to me. On-premise servers are a thing of the past, the cloud is where it’s at.

And apparently, Apple feels like there’s no need for them to compete in this space (with 3rd party vendors covering what’s needed).
I'm baffled by people loving type hints in python when strongly typed languages have been widely available for so long. This is why people liked java and c#.
The fact that we can't have a type for JSON really does make it look like a toy.
If it's for sale to the public it most likely means it's overpriced. Everyone who owns a share of it knows more about it than you, and the manufacturer itself has almost complete information. If they aren't buying it at this price, it's probably not worth it.
More privacy is always good but why it's important to hide what I am staring and what kind of GitHub repositories I like? It's anti transparent and against what's github is and has been for a while not just for hosting the code but for sharing the development experience. It feels more like we can ship this feature so let's do it.
The slow drip of games is a feature, not a bug?
/fly /invisible /speed 100000 30 /jump_boost 1000 20 /spiderman /hammer
Fun fact. Many autoimmune issues can be triggered / worsened by diet.
There is an auto immune protocol diet that is all about reducing inflammation.

Spend a few months on any of the support forms and you’ll see a pattern where people take years to be diagnosed. Most have a mystery illness for several years before it’s diagnosed.

Then they go through years of various medication options with mixed results.
Eventually many end up going to diet as a solution.

Many of the various low sugar tend to be fairly close. So a lot of people dealing with autoimmune via diet without realizing it.
I'm not very pedantic about it but I do create a few ones. I don't do catchall as my domain has been on the Internet for a very long time and the catchall usually gets pretty badly spammed (I tried).

For instance;

- I have something like NetflixJio2021@familydomain.com, which is the free Netflix account that I got from my Jio Fiber connection. I gave that to the In-laws.

- IndiaPassport2022@familydomain.com because Indian Passport Office won't allow more than 5 Passport (I think 5 was max, last time I checked) applications from an account. I'm usually the person dealing with the Internet and digital stuffs for our family, and most of the relatives. The limit gets hit pretty easily.

I used to sign up for almost every Startups that pops up from friends, acquaintances, and people whom I had even interacted once in the hope that I'm helping them with one more account. Unfortunately, especially Startups in India, will bombard and spam relentlessly (emails and phones) that I have totally stopped signing up for anything. I either use a throwaway or the "+" method when I really have to -- brajeshwar+StartupName@gmail.com

A few years ago, I started logging the ones that specifically spammed my phone number. I visited a Startup and agreed to give them my number for the visitor log entry. I trusted them because I helped them with their product during the MVP to pitch Investors. They started spamming me after I left and before I reached home.

I stopped the logging and now I have declared SMS/Text Bankruptcy.
https://drive.google.com/drive/u/0/folders/1jI0DxmZ586cBmyu1...
Same thing happened to the JS world with typescript (though typescript seems more powerful than python type annotations).

Its fine though - I'm glad the culture is trending towards understanding that strong typing saves you time rather than causes you extra time. This is true even for very small and simple programs, and even if you're the only developer.
tldr; D+K's experiment was: Assign the numbers 1 thru 10 to ten people. Have each role a 10 sided die. The person assigned a 1 will roll higher than his assigned number 90% of the time.

Daniel:
>It’s not a “statistical artifact” - that will be your everyday experience living in such a world.

You can experience statistical effects. I think a lot of controversy comes from how Dunning and Kruger's paper leads people to interpret the data as hubris on the part of low-performers, and the statistical analysis demolishes that interpretation. Not knowing how well you performed is not the same thing psychologically as "overestimating" your performance.
That's your opinion but it's not the majority opinion. Like I mentioned, Fox is not only the most profitable news org, they have growing competition who are even less ethical. We could have been elevating NPR or the New Yorker this whole time but it hasn't happened.
In iOS 15 and macOS Monterey, you can screen share inside of FaceTime.
Even corporate clients are moving into the cloud. On-premise servers are a shrinking market. Not to mention that Apple’s traditional strengths (vertical integration across large swaths of the hardware and software stack, great usability) doesn’t matter for server workloads.

I totally get why they’re finally ending macOS Server.
This comes up for me in autocompleting editors. Have to start with "select * from table t;" then go back and then remove * and t.<ctrl-space> to get the hints to populate and then continue with joins which may require going back to select. Update and delete at least start with tables and joins.
> Nah, it's classic overreach. Until someones constitutional rights are violated, and it could take awhile, it will be the law of the land.

Violating people's constitutional rights needs to come with jail time. This should include anybody who votes these laws in, implements them through bureaucratic policy, or chooses to enforce them, from POTUS all the way down to the officer walking a beat.
Because once swap activates, build now takes hours instead of tens of minutes. So it would timeout anyway, but only after wasting lots of resources. And even if you increase the timeout a lot instead, your machine how has a bunch of things swapped out, so now your tests timeout, which is even worse.

Yes, killing that part of the build did destroy the work of hours. It was still better to disable the swap than try to "ride it out".
I think the flood of hot-take Steam Deck reviews has given me handheld console clickbait fatigue. I saw the title and thumbnail for this video on my YT feed, and immediately blacklisted the channel. Maybe it's a fine review; I definitely understand why YT creators do this (money) but it still leaves a bad taste in my mouth, and I tend to find that it correlates with lower quality content.
It's it just me or do those counterbids from both parties look passive-aggressive?
I wonder is there any option for async for NT-based legacy system like 2000 or XP? They have fibers and preliminary multicore support far as I remember. On other platforms slapping a simple single threaded runtime is probably fine.
I totally agree with that! The thing is, that's exactly what people have been doing only to be constantly dismissed because hey it's a private corporation and they shouldn't complain. The comment I replied to was literally doing just that, mocking people and calling them annoying because they kept voicing their concern for free speech, because they apparently shouldn't even complain since it's not their platform.
I like the most of it, but I've noticed that if you enable this feature, your profile page will stop showing the Top/Pined Repository list while visitors can still see those repositories on the Repositories tab.

Maybe just keep the Top/Pined repository list since they only show public repositories anyway?

Also, based on my test, even if I set my profile to private, I can still see my activities through GitHub API (say https://api.github.com/users/<UserName>/events). I mean...???
Much like with other things, recursive-descent is probably the best way to write a SQL parser as it's easy to debug, modify, and extend. There's some great hyperlinked grammars at https://ronsavage.github.io/SQL/ for those who want to try writing one.

Also, is it just me or does the text of this article have an almost SEO-spam-like "texture" to it? It reads very unnaturally.
How the JWST positions mirrors with nanometer accuracy [video]
Classic Macintosh bitmap fonts were (and are?) beautiful. A couple of days ago I was amazed at how clear and legible Monaco 9 (bitmap or non-antialiased) is on a 32" 4K monitor.

Regarding Chicago, I keep seeing its TrueType imitation (which isn't as beautiful as the bitmap version, but is distinctive) everywhere.
Oh component costs have gone up for sure the last year or so. But I'm saying the per-unit component costs wouldn't be that different between making 1,000 per year or 10,000 per month. [1]

[1]: Except that in the current supply chain environment, it would change the "should we pay scalper prices for that component or should we spend the fixed costs to redesign with a different, more available component" calculus.