skysight-inc/HackerNews huggingface dataset:
> "What I am having trouble to grasp is [...] why do you keep conflating type hinting with type checking?"

It's not my business to help you with your trouble grasping things, but why do you think I'm conflating type hinting with type checking? I specifically asked in this comments section what type hinting meant if not what I thought, and was told by several people "it's just standardized comments", which I then explained was unsatisfying (and other people agreed with me).

> "you are not talking about issues with type hinting but merely the type checker tool"

How about both?

Let me suggest you a more productive use of your time: address the article's complaints as a top-level comment (which I see you haven't yet). I suppose you're more interested in the article's topic than in correcting my alleged misconceptions?
"serie" is the singular for series in a bunch of languages, which honestly makes more sense than having a singular noun ending in s and the plural form being identical to the singular.
I'm definitely not Al Jazeera's demographic, but even I find their reporting to be excellent.
>> I'd guess that the anti-male discrimination is a fairly weak barrier to men who really want those jobs

Is this not the opposite of the line you quoted from the study?

>> "... positive employer response rates were much higher for women than for men."
Yes, in fact this is how we've been narrowing down performance problems in it and its dependencies :)

- https://github.com/let-def/owee/issues/23

- https://github.com/janestreet/magic-trace/issues/93
I've found rainbow block-level highlighting to be even better: https://github.com/alphapapa/prism.el
> unlikeable women that don't register as real people

I'm curious what you consider likeable or registering as real. As compared to, say, Batman.
I love seeing posts from Josh on HN. Such high-quality material.
I stopped using sketchup entirely when they went to the browser version.

I still have an old version I use to open up files I made before they locked the desktop version behind a paywall.

I started learning blender instead and in the long run was much better off for it.
It's absolutely a "boil the frog" situation.

I already see it on my own team. First, there were "no expectations" to come into the office. Then, it would be "really nice" if everyone tried to come in on Wednesdays "but only if you want to!" Then it became "highly encouraged" for everyone to come in for the three-year brainstorming. Now we're encouraged to come in to meet the other team. And now we're being asked how many days we would be comfortable to come back. It'll be one day, then 2 days, then 4, and finally fully back in the office before you know it.

Despite EVERY metric showing that people are as-productive (and often more productive!) working from home, they just cannot stand the idea of not being able to enforce dress codes, and mandatory morning stand-ups, and being able to interrupt us and have us listen to the damn dog barking down the hall while someone's cell phone is going off because they forgot it and oh how do you get this conference phone to work I've only worked here for four years and make $500k can a techie person do this for me. I really really don't care about what you did over the weekend and don't want to hear about your kids when I'm just trying to get coffee or go to the bathroom.

fuck I hate the office and I know we're going to be 100% back before the end of the year.

And if anyone says "just leave" how about you try finding a Remote Job that is ACTUALLY Remote. Because I've not found a truly remote job. The "Remote" in posting is pure bait-and-switch.
> Would you say that it is therefore OK for me to dump it in the ditch?

I'd say no - because it's decreasing the intrinsic value of a shared resource (whether or not it can be measured). Downloading a movie, on the other hand - doesn't decrease the intrinsic value of the media being copied.
World Cup women’s soccer lose to high school men https://www.cbssports.com/soccer/news/a-dallas-fc-under-15-b...

Telling girls they can be stronger than men is a lie that can lead to terrible outcomes.
Freelance UX designer here. I'd be into something like that but booking time for me. Kinda like how Tock does for restaurant reservations on off days. maybe for different lengths of time or kinds of projects? Feels like i do mini-auctions with 2-4 clients anytime I become free. Though this can sometimes make the "sale" feel more commodified.
As a baseline it's supposed to avoid running into objects. It doesn't seem to be able to do this relatively simple task very well even at 5mph, which is why you need to watch it like a hawk. Basically nobody sane ever uses it at all after they've tested it a few times.
That's why decentralization (away from exchanges) and untraceability is so important. I changed some of my (relatively small amount) of crypto into Monero in a local wallet and donated it to the a variety of organizations, including Russian independent media.
Monero has low transaction fees. It is also only (efficiently) mineable with CPUs which helps avoid centralization into entities with massive ASIC or GPU clusters.
those DVDs come with an EULA backed by a dozen laws, which, if they were universally enforced and followed to the letter, would put you in jail for the criminal act of making a backup copy, among a myriad other possible violations
I can think of a few reasons. Looking at that page, the extension seems to only be compatible with Crome OS. A pretty limited audience can use that.

Also, I assume this is a pet project of the author. They had a need, and found a way to solve it. They probably had fun, and learned some things along the way. Often, that’s kind of the whole point of a weekend project.

Even if there is another established solution, ‘Why not just … some other thing’ isn’t great feedback. Discovering people’s ideas and projects is one of the beautiful things about HN.

This is a perfect example. I didn’t even know the Screen Wake Lock API existed, so I learned something new!
Code, by Charles Petzold: http://www.charlespetzold.com/code/

Explains how we got from Boolean logic to microchips and software.

Also, the Computer History Museum in Silicon Valley has an excellent exhibit containing both early computing devices and the seminal papers that were the precursors and enablers of modern computers: https://www.computerhistory.org/revolution/; https://computerhistory.org/timelines/;
>"What you have is a value judgement of the golden age conservatism nonsense imagining the past as so much higher quality."

I know every generation feels like things are on the decline, but I can't help but think some of them had a point. There's some incredibly trashy, low-brow, and downright racy entertainment being consumed today that never would have been acceptable decades ago. Or at the very least, it was still being produced back then but you had to go looking for it and it wasn't mainstream.

It's easy for us to look back at the moral panic elders had about Elvis and the Beatles but part of me wonders if they were on to something because we went from "I wanna hold your hand" to Cardi-B's WAP. (It's vulgar, looking it up is an exercise for the reader).
Emerging fund uses on Dropbox and DocSend to manage their ops and raise capital
"why would they want to retain expensive office space"

The increasing value of property and the need to collectively keep office space prices high is a big reason. Do you know how much Apple or Google's campus is worth?
I've never had this problem. All of my remotely-controllable switches are just in spots that people would place normal switches, but they're additionally remotely controllable.
Sandberg doesn't "work at Meta", she runs Meta.
My wife keeps throwing out “wokeness” as the reason and I don’t buy it. Yes, that shit is obnoxious, but I don’t care. If your content is good, be as “woke” as you like. I just want good shows.

Bottom line is Netflix has too much competition from cheaper platforms with better content.
I think you're misunderstanding the NOTAM. It's a Flight Restricted area that's 30NM around DC, but it's not prohibited. Prohibited is only right around the actual capitol, and can be seen clearly marked as "Prohibited" on the charts[1].

Inside the Restricted area, VFR aircraft flying up to FL180 are restricted to 180Kts indicated airspeed, and from 30-60NM restricted to 230Kts indicated. You are also required to be in contact with ATC before entering this airspace.

So... no, the aircraft violated no rules/regulations at any time. Seems to be an overly jumpy US Capitol detail that didn't think to contact the relevant authorities before evacuating everyone... which is strange to say the least.

[1] https://aeronav.faa.gov/visual/03-24-2022/PDFs/Washington.pd...
I don’t want to own movies. I watch them once. I’d rather have the selection any day.
Go read the Superman stories from Action Comics #1 - #10. Tell me how kid-friendly they are.
Sorry, but i'm going to trust the folks who think hard about what should and should not be in documentation that ends up in literally hundreds of different countries more than an an absoluteist HN statement that "it's not offensive" from a random person.

But in typical HN fashion, i'm sure you know better. Just like the people who say that X or Y should take 2 people over a weekend.
Remind me again what your experience is here to say they are wrong? Are you a culture expert of some sort? It's really not obvious from your HN profile or comment exactly why you think your expertise should overrule theirs.

Otherwise, i'd say it sure is fun to get upset and pretend it's the reactionary woke police, rather than a group of people carefully thinking something through.
That would give the rich the ability to defame the poor at will.
> this newsletter is a good way

Thank you! ...RSS?

Edit: same "...RSS?" is valid for your blog, at https://jxmo.io/ ...

PS: the article: very precious summary!
Like I said, it's anecdotal, but I've known people who've transitioned to those fields. There is sometimes an issue of conflating IT to CS, but the converse seems to happen much more in my (again, anecdotal) experience. In that case a mediocre engineer with some software experience is crammed into an IT role because the engineering team doesn't really want them. If a SE adds a lot of value to an engineering team they are usually very reluctant to give them up.
I wonder if this has to do with superhero comics being popular in a particular era, let's say the 80s-90s, and most of it's fans getting into comics around that time, and sticking around.

I admit, I did try to get into comics a few years ago, during the peak MCU craze, but I found both Marvel's and DC's offerings, with hundreds of characters who stories run in parallel and intertwine in a confusing fashion over hundreds of issues over decades to be impenetrable.

I suspect newcomers struggle with the same issue, while for die-hard veterans, it's part of the core appeal.
> That's right, you run out of TLB-entries before you run out of L3 cache these days.

This is more reasonable than it sounds. A TLB miss can in many cases be faster than a L3 cache hit
US growth is saturated.
They raised the price 10%.
They lost less than 1% of subscribers.
What's the problem?
you mean... a mech uprising! :-P

I think it was mech warrior or something in my case...
I considered "they" but worried that it could be parsed as coreferential with matrix12's "they," so I used he/she which, because it is singular, refers unambiguously to the previous speaker, matrix12 himself/herself.
I think this is actually a great warning message to modern companies because of that factor. A lot of the products we're producing in the modern world are extremely complex and both risk and responsibility are delegated[1]. Since a single person isn't overseeing the concerns the question of whether each problem is dealt with with the weight appropriate is more a question of intra-company politics. You might, for instance, have the CEO hear that the price of material is expected to jump 10% in the next quarter and decree that the minimization of material costs should trump all other concerns. As all the engineers here might sympathize with, it can be hard to arrive at the optimal outcome when stakeholders have imperfect information and when imparting the additional information necessary is difficult to accomplish.

1. Possibly due to complexity alone, or possibly due to the employee power that confers, please break out tinfoil hats as appropriate.
Ouch, site shot down?
NFLX lost the past 5 years of growth. I suspect more tech stocks will (and many already have) follow this as the market corrects.
At this point, you would think a branch of the media industry realized establishing a unified platform before a 3rd party inevitably does it and then also wants to be cut in (Steam for games, Spotify and Apple Music for music) is the only move. You would think.
I live on rural property about an hour from SF. My neighbors aren't techies, but they really aren't that different. Lots of older/retired people, plenty of maker-type people. Out here there's space to have shops, tractors, and physically large projects. I can't discuss programming with my neighbors but welding, electronics, gardening, and construction are fun topics.

I still see many of my Bay Area friends; weekend parties at my place are way more fun than parties in their tiny city houses/apartments. And we still keep in touch remotely.

Not every rural area is the same; I also lived for a year in eastern Kentucky and the people are indeed a bit different there. But I still made friends, and I'm not a major extrovert or anything.
This story is about freedom of speech, which has been central to hacker culture for as long as there has been a hacker culture.
Music streaming doesn’t suffer nearly the fragmentation issues film and television streaming services have, though.

If I want to listen to something as common as Kanye or something as obscure as MSTRKRFT, I can do it on Spotify, Apple Music, Amazon Music, pretty much anything. And I only need to subscribe to one service.

If I want to watch something as common as ‘Inception’ or as indie as ‘Twin Peaks’, there’s virtually no chance I’d be using the same services.

The experience with video streaming is literally just some of the worst ever in terms of finding content. You pretty much have to just pick whichever one seems the best and pirate whatever else you need, which begs the question of why not to just pirate in the first place. That’s just not the case with music.
Can the creator of these supply to Ukraine? They are using anti aircraft weapons to take down drones. the anti aircraft weapons obviously better saved for aircraft.

https://ukrspecsystems.com/ these guys are a Ukrainian based drone maker, with contact info on the page. I'm sure they would be able to get these anti drone drones onto the battlefield. Could help Ukraine win the war.
I don't want to pick on the OP, but as perhaps an old timer, it is surprising to me that this isn't obvious.

Linux and free and open software is what gave birth to the web, and so quite naturally working with it evolves better and more naturally there.

Bill Gates and Windows famously absolutely missed the boat on the Internet nearly entirely. And yes, to this day they're still trying to catch up -- this is evident in their extremely late realization that they were never ever going to beat Linux at this. Hence WSL. (the Linux Subsystem for Windows :) )
It's unambiguously safer and easier to be trans in America now than at any time in history. I haven't been anywhere I felt unwelcome; I can drop into places like Dallas or rural PA and interact with strangers just fine.

The only ongoing drama I can see being credibly interpreted as a human rights issue is the stuff with very young children.

I came out ten years ago, and I didn't get to learn about transness until that process started. If you came up in the nineties you'd see The Crying Game in your early teens and not know the difference between a trans woman and a "hermaphrodite" (intersex person) until your twenties. Nowadays, kids develop alternative lives on the internet much earlier than my cohort did, and they learn not just that trans people exist, but what it means to transition and what leads people to transition, before they get to middle school in many cases.

The pushback on that, post-bathroom-hysteria, has largely been to try to reclaim some of parents' ability to know what's going on and to control their child's level of exposure to information—much like with sex and drugs in the teen years, it's import for younger children to explore their identities in a way that allows their parents to mentor them and help them interpret what they're feeling. I don't think this is a human rights issue—I think we've misplaced our wariness of abusive parenting and allowed it develop into a skepticism of nuclear-family parenting in general.

Much of the nonsense is initiated by the right, yes—bathrooms and ID laws and whatever else—but what everyone's talking about _right now_ has to do with a change in our understanding of The Family, initiated by the left, that I expect will play out in increasingly interesting ways over the next 20-30 years.
There's no end to how many ways to categorize someone. It's even worse when you realize people change. What's the point of coming up with new ways of creating divisions among the populace, and then trying to use them as if it meant something? It will only ever cause harm.

We are all one, we are all life.

There must always be freedom for thought.
There must always be freedom for speech.
There must always be freedom for life.
But there most not be freedom for abuse.
Do something against life, then forfeit yours.
Do something against speech, then forfeit yours.
Do something against thought, then forfeit yours.
I'm 34 years old and stopped regularly using Snapchat when I was ¿27? Mostly I used it to split bills with my roommates, but the snapcash feature was removed so I downloaded Cash App. I know I haven't used Snapchat since 2017. I remember this because I was visiting Seattle and viewed geotagged stories to figure out what was going on around town. I deleted the app again when I got back home.
I can relate to that quote (as I'm sure most people can).

When I was in middle-school, Pokemon TCG was still really new and popular ... "with children". Me and my friends played together, but I was horrified of the idea of anyone else at school finding out. I remember walking to a friends house with my cards and ran into some of our school friends walking the other way, and I did everything I could to hide my box so they didn't ask what I was carrying.

What a childish thing to do ;P

Now that I'm older, I hang my most prized Pokemon cards behind me like a poster. I don't care if my webcam picks them up during work. And I love to tell people about it.

I make sure to never show shame around my kids about "little kid things". Or even "girly" things or "boy-ee" things. When my son started to show shame for liking "pink" things, I slowly started including pink and purple as my favorite colors when my kids asked. I gently yet swiftly squash any "barbies are for girls" type of comments when they're spoken around me.

Sometimes I'll walk in on my young teen son shamelessly playing Barbies or other dolls with his little sister. I say nothing except things like, "Looks like you're having fun!" It makes me sad to think of the day when the wrong friend finds out and teases him for it. Hopefully by then he's gained enough self-esteem to not listen.
Silicon Fen in UK? https://en.m.wikipedia.org/wiki/Silicon_Fen
> I don't think this is at all "something we all know intuitively".

I really do, in the same way that a satisfying nutritious meal feels different after you're done eating it than a meal of junk food does.

> It also applies to basically any kind of content consumption, including reading books, listening to opera, or watching any kind of cinema.

I was pretty careful to say that not all "content" is like this (though anything that we'd naturally refer to as "content" instead of a "work of art" is probably telling us something). It's certainly the case that there are books, films, shows, and videogames that are meaningful and enriching. There's also 50 Shades of Gray, whatever Michael Bay's latest thing is, Jersey Shore, and Candy Crush.

The form of the media isn't the point, it's the merit of the actual content.

> These don't "engage our entire bodies, senses, and hands", and yet they can be valuable activities that enrich us greatly.

Sure, not every meaningful activity has to tick every box. But it's good to spend your time on things that tick at least some of them. Binge watching completely forgettable superhero series or grinding pointless quests on an MMO are doing little more than fast-forwarding someone towards their death. I of course respect their choice to do that, but my opinion is that choosing to spend signicant time doing that is infantile, just as eating chicken tendies and soda for every meal is.

> At the same time I don't get a lot out of sitting around in a boat for hours; if I want to be left alone to my thoughts I'd rather be on a walk (which I'd argue doesn't necessarily engage my entire body either -- I'm generally lost in thought and have no idea what my body's doing while on a walk).

I only used those specific examples because those are the ones the parent comment used. Find whatever activities are meaningful and rewarding to you. I just hope you're able to find some instead of burning your free time in a mindless fugue of media consumption which is all too easy to do these days.

> I can play video games without brutally murdering a living creature that feels pain, so that's nice.

If you've ever seen me fish, you'd know that harm to fish is rarely involved. In fact, most days there is no fish participation at all.
While I do agree with your skepticism, how would stopping immediately work on the highway? There are often bumps and ground shifts on the highway. Don't want to stop automatically then.
People's definition of "rural" varies widely.

Many "rural" people live in small towns/cities where their nearest neighbor is mere yards away, others would only consider "rural" to be where the nearest neighbor couldn't be hit with a high-powered rifle.
> What stops you buying on iTunes for example?

DRM. If it's DRM your still don't own anything
Yes, you are right. candida. Thanks for the correction.
US patent for the technology behind hyper-threading was granted to Kenneth Okin at Sun Microsystems in November 1994
Snide answer - look at voting records from the places you are interested in, and find those that match you as closely as possible so you don't have to be confronted by anyone different from you.
I agree that piracy likely isn't responsible for the larger immediate trend. But from the perspective of someone with a libre media setup, all these streaming/DRM/lockdown tribulations are like watching a storm from inside a warm house with a hot cup of cocoa. Especially on a technical forum where people should know better than to succumb to corporate ploys, its worth reminding everyone of that. And my comment did imply the end game for "most people" - technical friends/family running seedboxes and sharing them up.

Current market wise, I wouldn't be surprised if the Netflix situation is people canceling their membership to spend that money on a different streaming service, and then swapping between friends to get the union of shows for a similar $/month. This would explain both pushes of membership going down, plus them wanting to crack down on sharing.