skysight-inc/HackerNews huggingface dataset:
Personally, I don't use type checking because the benefits are extremely marginal given how I write software.

- I avoid complex function/method interfaces. My coding philosophy revolves around relying on simple primitives as arguments and return values and keep complex state fully encapsulated.

- I use a TDD e2e approach which gives me excellent code coverage and catches 'type mismatches' early as such issues cause functionality problems that are caught in my tests. Type checking is redundant.

- My software is made up of small modules. The lower level modules are generic enough that it doesn't make sense to restrict to specific types or assume a specific business domain.

At a psychological level, I find that type checking tends to encourage developers to design complex function/method interfaces which lead to worse, harder to maintain software and encourages leaky abstractions and passing around 'live instances'. It encourages developers to add unnecessary constraints which make low level modules less versatile and cover fewer use cases than they could otherwise have.

Interface names of low level modules often end up unnecessarily referencing the specific business domain which should be a higher level concern.
https://archive.is/rxYnQ
Don't forget to explain that some buttons are inside faint pill shaped shading (or it could be a search field in which they could tap without consequence) and that chips (to show options for a specific context, so they could tap without consequence) are rounded rectangles.

Except if the site is still on Material Design 2, then it is the reverse in which some buttons are inside rounded rectangles and that chips are inside pill shaped shading.

Are we confused yet?
I giggled at this, but in starship troopers you'd not inherit citizenship.

OP's proposal seem more like what the Roman empire did granting citizenship to conscripted barbarians, which worked or not depending on your perspective.
Please just stop buying the latest and greatest and get some long term use out of the costly products you've already bought (or at least sell them on in the second-hand market).
Except those numbers now translate into money and resources needed to build units. In the past the units were human.
Eight countries join U.S. in pausing funding to UN aid agency in Gaza
ATK/CI, Kenji, etc - they all have said that many times they're talking about best results. It's often possible to cut corners from what they say and get perfectly reasonable results, just not as ideal as one could.

Also FWIW, my recollection of the pork belly episode was the same, that they said you'll never get as good of a crispy crust without frying. That's not the same as it's not possible to make it happen at all. I remember thinking "well, I'm not gonna bother with that".
The Z80 was common in MP3/"MP4" players too.
What do you mean by extension heavy? In my experience, Firefox has the best extension ecosystem amongst all browsers. It took them quite long to get that to work on mobile, but even there you could use all extensions already on a developer build for years.

Especially with the manifest v3 changes, which will basically break adblockers on Chrome-based browsers, I can't imagine ever using something else than Firefox.
I'm greatly fascinated by this kind of thing, but I have to call it "this kind of thing" because I don't even know if there are genre terms to categorize and analyze them.

They're inspired by game algorithms, but they aren't games; Conway's "Game of Life" was a misnomer. They're animated, but they aren't scripted like animations. In the real world we have someone like David C. Roy, who calls his art "kinetic sculptures".

Algorithmic motion pictures? Game simulators? Autonomous automatons?
Bitcoin ETF ads may appear on Google starting Monday
Agree but I think these things can be considered games in the sense that it gives younger kids practice in following rules and interacting within a group. Also is an activity for them to spend time and there is a concept of 'winning' even if the participants cannot impact that.
It has monopoly power over iOS-compatible apps.
At least in the current Ukraine context: tech + a lot of dumb 155 mm shells, highly mobile artillery. Although guided shells would be even more useful if they were cheaper to build.

Russia's human waves were just means to reduce the prison population: practical stalinism 101. They are phasing out prisoner benefits as the recruiting pool is getting smaller. Also there is an increased chance Putin might order be mass mobilization after he wins the elections in May.
> People who haven't graduated high school are inferior.

So they’re inferior because they didn’t receive some paper? What if they dropped out of last class?
Strong agree that half-assed type checking is the worst of both worlds. Most of the effort of real type checking but only a fraction of the real-world benefit.
So the Narcissist's prayer:

That didn't happen.
And if it did, it wasn't that bad.
And if it was, that's not a big deal.
And if it is, that's not my fault.
And if it was, I didn't mean it.
And if I did, you deserved it.
Will that disparate industry analysis have a good mitigation for an ICBM?
> Carmakers and regulators liked it that way. Regulators could announce what sounded like stringent targets, and carmakers would nod along, knowing they could comply by making electric cars with arbitrarily boosted compliance values. Consumers would unknowingly foot the bill.

Brilliant. Both sides were having fun until someone ruined their party.

I would also expect a much more tame reaction compared to Dieselgate. Everyone, including the journalists, will probably justify it that the end, getting rid of fossil fuels vehicles, justifies the means, a little cheating here and there.

Who knows maybe they are right. But then they also get to write articles about how people don’t trust the government and the media as much as they used to for some strange reason.
Same with things like sine plots.

The reveal is part of the fun.

I just had a thought about what might be really fun at 100Mhz, and that is cellular automata. There are the classic game of life rules. Going fast on those is fun.

But, maybe a more general engine is worth writing. I may try it on my 16Mhz 6502 system.
Yes. Great to read this type of nuanced comment. This nails it. Sometimes components are generic enough that type checking does not add any value. Type checking is useful when you want to frame your logic in terms of your business domain. But you don't want your business domain to leak into low level reusable components. Why constrain them to a specific domain when they could suit multiple domains without any effort.

Just think of a function which generates a random number for a lottery app. Do you want to call the function 'generateRandomNumber' or 'generateLotteryNumber'? There is no reason to constrain your function to the 'lottery' use case when it could also serve an infinite number of other use cases.

The function which is used as a dependency shouldn't concern itself with the specific business case towards which it will be applied.

As you move towards the leaves of the dependency hierarchy, the abstraction becomes more about technology and less about business domain.
The difference there is that the first amendment applies to actions of the individual but the fourth amendment applies to actions of the government. That difference in scope of application thus determines not just whom is protected but also to whom is limited. These first ten amendments exist explicitly to provide individuals lawful rights and when these rights are not violated these laws thus do not apply. For an example see the exclusionary rule. Thus the 4th amendment’s application does not apply all functions of government equally and no law or prior practice says otherwise.
Still use it, still rate it, but PGP/GPG doesn’t play as significant a role in much of what I do anymore. We have Signal and 1Password if we need it. I had a little company with two/three others for a few years and we used Keybase chat exclusively instead of Slack or Discord, that was good.
Mostly agreed. There's sometimes usage as well for cylindrical shapes like rigatoni when making chunkier sauces, and smaller shapes like penne can be made in smaller pots with smaller amounts of water, thus concentrating the amount of starch in the pasta water and improving the sauce when the pasta water is added to the sauce at the end, while the smaller pot is also easier to clean for people without dishwashers. But most of the issues people mark up to spaghetti and linguini have more to do with people's cooking skills than they do with the pasta's shape.
> it's all too easy to pigeonhole what actually appears to be reasonable support for a would-be ally into the same bag.

This seems to imply that Soviet intervention into an American war declared over the Cuban Missile Crisis would have been fairly characterized as "reasonable support for a would-be [in this case, already formalized] ally".
Society says that progress goes forward. Toes? Not always.
I think the best way to use "social media" is to pull eyes to your own platform, eventually people will transition (Myspace -> Facebook -> Reddit -> Twitter -> Mastodon) and each time they move the likelihood that they eventually use "RSS" increases.
You've seen people mock the entire idea of buying a GPU because improvements keep being promised? Because that's what I'm saying GP doesn't do.
>search engines SHOULD be clear whether a content is accessible without account or not, whether a content is accessible is paywalled or not.

And HN.
Unless you're passing honors and AP classes in HS, the knowledge gained by simply graduating does not give a strong signal about superiority / inferiority for military purposes.

Granted the Army will have to work harder on average to train these people, but some learn better outside of the traditional classroom.
I have a sciences degree, and I'm not a complete weenie about some of the downright amazing things we have accomplished, but some time ago it occurred to me -- and I haven't really been able to rid myself of it -- that we have replaced some previously "mechanical" processes with chemicals, which we then haven't developed a good set of strictures around developing.

Pull a weed? No, spray a crop. We could polish a thing thing but instead we will apply a coating. And so forth. Now, "pulling weeds" doesn't spread. It doesn't end up in water and going downstream. The act of polishing doesn't end up in food.

I am beginning to think that chemical design should include facets like "breaks down with such and such a halflife at STP" (and then the same rules apply to the breakdown products) and "everyone involved who wants to say it is safe, down to the CEO, needs to bathe in this crap for ten years before accepting any kind of financial benefit."

Then again, I also spend a lot of time wondering how much of the "cide market" (insecticides, herbicides, fungicides, et al) could be replaced by wee robots trundling their way through rows of vegetables, detecting weeds and yanking them, applying small and targeted blasts of fungicide here and there, plucking away insects and their eggs, and so on. Would such robots be affordable? Could they break even against the chemical approach? Or would they cost more and would we collectively decide to pay that price?
When Can an Employer Claim Ownership of Employees' Social Media Accounts?
I had no idea about this one. Thanks.
Your nonsense is unwelcome here, please stay on topic, it sucks scrolling through threads and hearing interesting debate about a topic, only to have someone interject with bait/non sequiturs.
The art cannot stand alone, but the relevant part is the audiences and what they make of the art, the fan subculture(s) and what they build on top of it - in contrast with that, the corporations which made them are far less relevant.
I never worry because fear and anxiety shrinks the brain and makes you stupid. If you rely on intelligence for your work why would you ever allow something to make you anxious.
>> if we implement the "service guarantees citizenship" scheme you allude to

> No I didn’t say that or allude to it

Did you forget what you put in your own comment?

>>> There would be no need for sign-on bonus, you could add additional qualifications for g.i. benefits in the form of naturalization.
Is it wrong for people to want to view porn in their own age range?
> There's no foundation to build on, there's no axiomatic knowledge we can rely on.

Did you serve in the military? I'm wondering what axiomatic knowledge taught in 12th or 11th grade, exactly, that you think military training depends on.
> When China re-colonized Hong Kong I gave strong thought to joining the military.

In 1997?
Maybe for consumer and ubi gear. The enterprisish gear they have to actually support so it get's fixed enough at some point.

No way the big hospital systems / robot warehouses don't light people (VPs and up) up over flaky wireless.
Which Tasks Are Cost-Effective to Automate with Computer Vision? [pdf]
I believe in a squash and merge too but if someone thinks a PR shouldn’t be squashed, I think they should merge as-is.

It doesn’t make a difference to me whether you squash or not to honest. My Git client can show Git history however I want it.

I mostly support squashing because I want the Git history to contain absolutely zero “WIP” commits and you can’t realistically ask people to groom their commits.
Participate in what?

Axiomatic knowledge? Perhaps in maths and science. The rest is different in various countries, so surely cannot form some universal knowledge base.

And in maths/science, a typical high school or even non-technical medium-end college graduate has ~zero skills or knowledge, so that cannot be a factor either.
> There is nothing in NAT what couldn't be done with DENY rule in the firewall.

I don't get the "false-security" issue with NAT.

I still need NAT if I can't allocate 1 IP per host, so if I create a NAT rule, why would I also need a firewall rule covering the same port (assuming default is DENY)?

Where does the false-security come into play?
The Quad one is neat!
> You want to split it in multiple commits? Then it probably should have been split in multiple PRs.

I've seen this comment repeated in most discussions about this topic and it doesn't align with my experience. I'm trying to better understand that. Are you talking solely about web apps with continuous deployment, maybe with things blocked by feature flags? On many projects I work on splitting a PR by commit would grossly complicate things. And not using multiple commits makes it harder to track changes. I rely quite a bit on being able to read through source history and piece together what changed and why. But, I also work on compilers and runtimes which have a different deployment model and don't generally have a high amount of code churn.

I find source control rather unhelpful on any project I've participated in using squash merges. It helps distribute changes, but little more than that. I can't learn anything looking at the history. It requires access to GitHub because I can't access the original individual commits otherwise, making "git log" useless. It makes the mechanics of bisecting easier, but actually doing anything about it much harder, unless I want to revert the entire changeset. I find there isn't often an appetite for that, so we end up with follow-up commits that undermine the benefit of a single commit in the first place. You can't cherry-pick. Etc.

I can see some domains where you never really rollback and where things get replaced frequently enough that having access to the source history may not be valuable. But, I don't think it's a one size fits all situation. We have decades of experience prior to the squash merge feature in GitHub that demonstrates the utility of smaller commits.

Individual, logical commits are an incredibly powerful tool when stepping into a large codebase where the original author is no longer around. It's an opportunity for the author to document the rationale or design for a scoped change. Squash merges often add too much noise. Sure, you can roll up all the commit messages into one, but without access to the original commits that's of limited value.
^ This.

Schools are doing a piss-poor job of educating people. Only 20% of schools can muster a 70% proficiency score, with the vast majority being much worse.

What this indicates is a startlingly large number of students are receiving an education that holds no value whatsoever.

Further, as already mentioned by someone else, the military will still use its own test as a means to determine where to place a recruit.
>The problem is that a high school education represents literally years of knowledge a person has accumulated.

A high school diploma only signifies the individual was approved by the indoctrination of public education, unless you're the handful that had private or homeschooling which still doesn't mean much academically (see below).

Incidentally, in the US we have what's called the GED[1]. The GED can be taken at any time without any requirement for prior education, and passing the GED is equivalent to graduating high school.

So no, a high school education in the US does not represent "literally years of knowledge".[2]

[1]: https://en.wikipedia.org/wiki/General_Educational_Developmen...

[2]: I'm a GED graduate, and I can tell you its contents are roughly equivalent to elementary schooling in most other countries. I can also tell you that is what a high school diploma represents in the US, academic wise, because they are the same. If you can calculate 1+1=2 and speak basic English, you are an American high school graduate.
Follow the rules and chain of priority. Your manager knows what is important to them let them decide. Other pms need to go through proper channels.
I agree with a fair bit of this, except that I'm not convinced the consequences to humans will be as dire as the loss of a good part of the global population. If we're counting animal species though, then maybe.
and Groq does 485.08 T/s on mixtral 8x7B-32k

I am not sure local models have any future other than POC/research. Depends on the cost of course.
I've written a lot of Scala, and really like the language (well, aside from them not ditching null and exceptions entirely), but years ago I stopped recommending it for new projects, especially in a corporate setting. It's hard to hire experienced Scala developers, and most Java developers I've worked with were either completely uninterested in writing Scala at all, or didn't care to learn the language well enough to actually make use of its better features, and somehow ended up writing Scala that looked like worse Java than the Java they'd usually write.
I dislike toggles as the on/off state is not always obvious. Some fun examples I've encountered:

* red is "on" and by default already selected, black is "off";

* black is "on";

* saw one cookie consent form with red meaning "on", and green meaning "off".
“The problem is that a high school education represents literally years of knowledge a person has accumulated. People not having that knowledge means they will not be able to participate.”

The problem is, if you aren’t there on graduation day, you don’t get that proof of paper saying you know what you know. So before you go and put people down without context in their lives, you should be aware that there are dozens of reasons why someone who aced high school - didn’t get a diploma.
I mean, you can read all the data instead of relying on newscasters for scientific information. The first IPCC report came out in 1990 and, to my understanding, accurately predicted both a rise in average temperature and the resulting increase in extreme weather events. Both of which have occurred at unprecedented rates. All of the Reports are available online. Just because you do not want to read the data doesn’t mean it is not there for you to debunk. The IPCC has made all sorts of predictions, along with confidence metrics, for almost every component of the climate and local weather. I mean this tongue in cheek, but if you know more than the hundreds of scientific authors and thousands of reviewers that have contributed to the Panel Reports you should help them out:
https://www.ipcc.ch/report/ar6/wg1/chapter/chapter-11/
Can't say how much they cost. They were built some years before I said hi to earth.

Edit: Prices seem to have increased and a 42S sales used on Ebay from $150-259. So still quite some money.
Me too. I hope Deno fixes this.
As an ex-soldier, I'm sympathetic, but it's hard to do that when the military's budget is already so high. Fixing military budgets internally is a multi-pronged problem, with any such proposal taking multiple years to execute, none of which are low-risk / high-chance of success.
This might be annoying for iOS developers
Absolutely, that's why a bicycle/kick scooter is better than Segway, at least for your health :). This new tech is interesting. If we forget about the price, in my opinion the design is not that great. Btw, this reminds me of detachable inline skates (Hypno, Doop). While maybe the main function of riding them was ok, they were usually not looking so sexy, especially with the blades off.
Oh yeah, good pickup thanks!
Can you explain this analogy?

The way you structured it, I feel like the analogy for "living on Mars" would have to be "merging company networks", but that happens all the time.

If Mars is supposed to be IPv6 then I can't figure out what the utilities are supposed to represent.
Not to mention the confusion arising from checkboxes in web pages used in place of checkmarks. A checkmark alone should be the correct object to use for output only, while a checkbox normally would accept an input from the user. I don't recall where, but have seen this some times around the web and found it misleading.
This ruling means at minimum that a company can say ‘or sign up for less at on our website’. Cf. Spotify, who were allowed to serve customers that signed in from an account with an off-app subscription but were not allowed to tell the customer that this alternative subscription existed.
This is the standard Android SMS/MMS app that's even automatically updated in Android version 8 and 9?

I keep my phone unconnected except for cell service, so only get automatic updates every half a year or more whenever I purposefully or accidentally enable the wifi for some purpose. This last happened a week or so ago accidentally and I worried then that my data would be sent to Google despite not having a Google account (the Play Services still automatically updated Messages anyway). I deleted the saved home WiFi connection to prevent access from happening accidentally again, but there will likely come a time when I need to manually connect anyway. Is there a way to shut off these annoying automatic updates and prevent this, or should I just figure out how to switch the messaging app to another SMS/MMS app and say goodbye to my messaging history?
This has all the historical overtones of McNamara's Morons [1], and those guys were far more likely to get killed or seriously injured in combat, basically because they were too dumb to process events quickly enough under pressure. While having (or not having) a high school diploma isn't necessarily a measure of intelligence, or lack thereof, it's a good enough proxy. I just hope anyone calling in an artillery strike in any future conflict can read a map first.

[1] - https://en.wikipedia.org/wiki/Project_100,000
I just discovered Groq, which does 485.08 T/s on mixtral 8x7B-32k

No idea on pricing but supposedly one can email to api@groq.com
Hosted it here: https://identity.pub/pong-wars-web/

Control the paddles with:

- Q (Player 1, Up)

- A (Player 1, Down)

- P (Player 2, Up)

- L (Player 2, Down)
No you don't. You just have to learn how to compile things.
They greatly enjoyed the pasta. They didn’t say they “greatly enjoyed spending so much more money”.