skysight-inc/HackerNews huggingface dataset:
The claim you made which I referred to as a sweeping statement was that juries "generally" ignore the standard of reasonable doubt.

This study you cite is not relevant to that claim.
I wonder if most opposition (or even ambivalence) towards strong typing comes from never having used it. If your entire career has been JavaScript, Python, shell scripts, etc.; then you have zero experience with it.
Python is very much heading towards static typing although it isn't as mature as TypeScript yet.
Hi, those libraries don't have a GPU counterpart, and for matrix multiplication we only support GPU right now.
Suddenly, Google's deprecation of their podcast software makes a little more sense. Not much, but a little.

That said, online streaming services are an odd one to target. I would expect the bigger fish to be website hosts, stores, etc. Or is that already regulated similarly?
I think you and parent are in agreement
There’s strong typing and weak typing.

And then, kind of orthogonal to that, there’s also static typing and dynamic typing.

I think strong, dynamic typing is just as good as strong static typing (weak typing is objectively bad)

As long as the types of your variables don’t change from under you, that’s good, but I’m also okay with the compiler / runtime figuring out what those types are for me.
Yes, anyone who disagrees with you is a shill, lol.
Author here. Please read the post, I actually said "Strong static typing" in the post itself (starting from the first paragraph), it just didn't look good in the title. :)
We need more of these non-React/Vue/WhateverIsPopularRightNow CSS frameworks. They are great.
Most of the disruption is done by startups not the big companies.

The influence is nowhere near as negative as the impact from the other industries I mentioned.

They gained gained market share by providing better goods and services than the alternatives.

Still, there are viable alternatives to essentially every good or service provided by these companies.
I think I agree.

Probably the biggest issue with python.

Seemingly random changes between float64 and object happen when doing unit testing(pandas).

Can't remember the exact situation because I switched to While permanently, but there was some For loop problem. If the data came in as length 1, the for loop would read the individual chars of the string. If it came in as >1 it would iterate through the list.

15 years ago when I started python, maybe it made sense. Probably ~5-6 'oof that was a bug I wasted time' in 3 years professional use. Today, I find myself forcing types to solve a bug, or at a minimum checking the types as the program progresses.
Amazon is not a product search engine, so the rest of your post is irrelevant. They are a store and describe themselves as such. You cannot find products on Amazon that are not for sale by them or sellers who agree to their rules, an actual product search engine would allow this.
there is a third option. as others here mentioned, find jobs in interesting places. i have been all around the world while working or traveling to look for work opportunities.
I thought this was pretty odd too but it does tend to find its way onto aggregated HN book lists (linked throughout the comments) a lot. My theory is that the short name combined with it's rather divisive content leads to people arguing about it by name which boosts these "per mention" metrics.

For example: take a look at some of the comments here https://hacker-recommended-books.vercel.app/category/0/all-t... while there are some recommendations (I expect this) there are also quite a lot of people using the book as a way to deride purveyors of its ideology.

I think what we're both experiencing here is an expectation that this list will be GOOD recommendations, but the methodology is popular mentions, which happen to contain some people's (subjective) GOOD recommendations but also peoples (subjective) BAD popular mentions.
People that still want to try and fight it either:

- Use notepad for development (don't laugh, I've actually encountered a dev who's choice IDE was notepad).

- Never worked with more than 1 person on a project.

- Never worked on anything but tiny projects.

- Never re-opened a project after having worked on a different project for several weeks.
That implies that thinking is not based on some kind of biological statistical system.
I used LastPass since it started, I had the opportunity to meet the creators at an event some 20 years ago or more. It was a nice product at that time.

And then it went downhill, with several issues (including a huge javascript block added to each page which was really too slow). It was not aging well as well.

I moved to Bitwarden a few years ago, I self-host the solution but like it so much that I also bought the cloud one just to support the devs.

I looked at at several solutions for password management and BW is by far the one I like the most, especially the ability to create organizations to share vaults and passwords easily.

I use it in Windows (the native client), Chrome, Firefox and Android. It works just great.

the only tiny, tiny thing they could fix is the ability to swipe off the popup that helps you to fill in the info with Bitwarden that sometimes gets in the way of the form (on Android). It is very minor and I will take the opportunity to raise the point on the community now that I think of ot.
Overclocking and *Underclocking* the Raspberry Pi 5
> Do you use something besides 8.8.8.8 or 1.1.1.1?

NextDNS
And yet most California utilities charge a connection fee and a per-unit-volume fee.
I work on [0] and we routinely get engaged by tech publications asking if we'd like to be featured in their upcoming article "Best Monitoring Software for 2023" (for example).

Some of them go as far as listing their prices for each position outright, or mention some bidding mechanism. And it's not your average obscure blogspam, no sir. There are household names in there as well.

In fact I'm suspecting that outside of a small minority of reporters with integrity, this shady practice is simply the default across industries.

We're taking a firm stand against this BS. But it does have impact on our marketing efforts.

[0]: https://monitoro.co
Came here to say this. Glad I'm not alone. This seems like such an odd investment to make given the development community's near-universal hatred for Jira/Confluence.
Beans and bullets are better than gold in a SHTF scenario. As are Bic lighters.
Clarkesworld: A Farewell to Kindle Subscriptions
"I warned you earlier this year that I would have to beat this particular drum quite loudly. I apologize for repeating myself, but this is one of those important moments in the history of the magazine. Our future has shifted back into uncertainty and this is the last issue in which I can talk to those subscribers.

There are over 1800 of them. No, we don’t know who they are. Amazon doesn’t share.

If you are currently subscribed to us on Amazon, we hope this isn’t goodbye. If you are already subscribed elsewhere, thank you. If you’ve never subscribed or lapsed, now would be a really good time to come back. Next month is our seventeenth anniversary issue. With your support, I hope to celebrate many more"
Strong typing is what allowed me to be a developer. I was never a great developer but I was good enough to be worth my salary. I was not smart enough to maintain a complete mental model of a a weak-typed software but I was able to do fairly complex stuff with the safety net of strong typing. My software developer would have ended much sooner (or never have been) without strong types. I had not other choice but to live or die on that hill.
> It is none of Amazons business what prices they put when they list their wares on other services…

It is literally Amazon’s business to offer pricing at equal to or better than their competitors.

> …the only reason they care is that they want to crush the competition.

Every company wants to beat their competition, and many (most?) want to “crush” their competition. Don’t you think Target wants to crush Amazon? Don’t you think Google wants to crush Apple in smartphone sales? Don’t you think a local retailer would love to crush Amazon for products in their niche?

The only question here is whether Amazon is doing this in an abusive way and/or a way that negatively impacts consumers.

We’ll find out in the trial…
Static typing is useful if you are building some program for other people to run that you want to be reasonably robust.
However, it does not work well with interactive programming. If I had to declare all the types every time I do something in Mathematica, I'd be severely annoyed for no benefit.

Common Lisp seems to be the best of both worlds, with dynamic strong typing in general and advanced compiler type inference that can correctly point out mismatched types in most cases in SBCL, leading to much easier time programming interactively.
We have benchmarks in the benchmarks directory, but these are for things like convolution, matrix multiples, etc. It's not for running a traditional benchmark set like resnet.

Like most benchmarks it really depends on what you want to do, and since it's a general library everyone might care about different things.
What kind of experimentation are you doing? Also, cloud GPUs are often quite cheap, so if you're going to have low utilization rates, that's an option to consider.
"This is very common" seems to be a refrain this year with Harvard, Stanford and so on. Yet we have trouble accepting this is a real problem when we approach 'climate change' from an emotional or political standpoint. I say this as an environmentalist who doesn't understand why we can't be more straightforward. Why we keep losing talented people when they can't fix the numbers to fit the narrative? This has been a 'thing' my entire life but I feel like it is reaching a crescendo, adjacent to the lack of motion in QED.
I work a lot in python. I hate it.
What you're saying doesn't make any sense. They could also just lower prices on other platforms - good for the customer. They can and should continue to lower prices, also good for the customer, until it is no longer profitable for them.

If they decide to raise prices, then that has more to do with the seller than Amazon.
Python is strongly typed. If your entire career has been Python, you will have a lot of experience with it.

Static typing, maybe not so much.
Ask HN: How does geolocating with IP addresses work?
There are many publicly available services that post only their IP address

Google, Quad9, and Cloudflare are biggies with 8.8.8.8, 9.9.9.9, and 1.1.1.1

How do they geolocate users so they're doing DNS resolution "locally" instead of from wherever that IP actually points?
By that definition, a business has to always pay someone less than what they're worth in order for hiring them to be a value proposition.

If I'm paid what I'm "worth" why would a business spend any time/effort interviewing and hiring me -- the best that can happen is they will break even through the deal.

It would be like buying a stock you know will flatline at the purchase price for the next 20 years. No monetary loss, but no gain either -- that's almost the definition of opportunity cost.
I think he's seriously contradicting himself there in that the algorithms he argue are AI certainly do not meet his stated standard, and it seems like he's drawing a line where he refuses to use the term about anything that might be seen as intelligent that doesn't meet his standard for intelligence, but is fine with using it for techniques where there's no chance of confusion.

I think if he wasn't making an essentialist argument about LLMs he worded himself exceedingly poorly. Arguing against the danger of blindly believing LLMs is good, but at the same time he's destroying his own credibility on the subject by exaggerating how bad they are vs. focusing on the dangers of blind trust.

This is especially notable when he then goes on to point to measurable success as a metric for other AI tech - he'd have made a far better point if he argued that LLMs also need to be evaluated carefully on a case by case basis like these other systems, rather than be taken on trust.
I don't understand. If you think a fully owned subsidiary can have a "basically ceremonial" to the parent foundation, then what kind of relationship would be "not ceremonial"?

For what it's worth, Firefox is also developed by a fully owned subsidiary of the Mozilla foundation. Do you also think the relationship between Firefox and Mozilla is "basically ceremonial"?
>> If the power goes out, I can't get any cash. I don't keep any meaningful amount cash on hand and neither does anyone I know, including my elderly relatives.

Well, that is well on your single data point, here is mine: I live in a bad weather prone area of the united states. I do not know _anyone_ that does _not_ have a meaningful amount of cash in the house for bad weather. Yes, stores here operate with low/no power or communications and use cash. I agree with the poster who noted that it provides a localized resilience. It is your fault, not anyone else's, that you do not have some currency.

Truth be told, I have kept about a weeks worth of spending in cash for decades in the house, just in case, and I have indeed had to use it during long term power outages. Heck, in my area just last week, all of my banks ATMs were down for the entire week due to a software issue after an upgrade (I am not making this up). While I might not have needed cash, it shows the fragility of our systems we rely on.
From what I know, it's just that you need a specified amount of air time from Canadian, French and indigenous presenters. What they choose to do with it is up to them.

It's more of a pass the mic around so every group gets some airtime law, and not so much a you cannot talk about this or that.

The idea is that it acts a bit like human rights, at balancing majority rules. Where financial incentives would prefer to always tailor to the majority since it makes more money, this enforces that minorities get some proportional airtime on big media channels.
What do you call the Common Lisp sort of typing where you can drop hints wherever the machine is guessing at the type, and it will yell at you if you do something dumb with those things. But you don't have to drop hints at all and it will still compile. It is strong when you turn it on but dynamic otherwise. Strongly typed with inference, maybe?
Again, I don't know what the situation is in the US, but over here it's a privilege available to anyone with a recognised form of ID issued by any EU member state. If you don't have that ID you'll have to go into a branch, but you have the legal right to a bank account, even if you have no home address, even if you've been made bankrupt, even if you don't have the legal right to be in the country.
if you abuse the type system enough, most languages will have weaker typing.

"the language" is not enough per se, you have to use the tools it gives you to gain some advantage: those projects were clearly actively avoiding strong typing, for whatever reason
> There's a huge network effect that's effectively led to a 3% tax on the economy. Since every other store accepts credit cards, you need to too.

The point of the whole sub thread is that a merchant can always accept a credit card but still incentivize use of debit or cash by giving a discount.

> Debit cards exist and partially solve the inconvenience of holding cash. But, they're really inconvenient in other ways.

What inconveniences?
They currently are, especially after Xi put a damper on Jack Ma’s fintech plans.
What about electronic negative environmental externalities? It requires a while network of internet (backbones, cables, satellites, telecoms) and constant electricity generation to feed it, creation of credit cards, etc.

This all seems to have a significantly greater effect than the creation of a new physical bill that lasts 6-10 years.
> BlueSky

I've been on it since June and quite like it. It's really picked up in the last month and has hit mainstream with the AcademicTwitter crowd.
List of Fictional Computers
Personally I think Strong Static typing is what's required. But with an option to do dynamic typing to avoid faff in certain parts. Strong typing on its own doesn't really solve the problem that the author is describing.

c# pretty much has that nailed. You can do dynamic typing if you want, but you're on your own if it fucks up. Moreover its obvious when you're doing dynamic silliness.

Python is strongly typed, the problem is that its also duck typed and everything is dynamic. Sure there is type hinting, but that's mostly optional and pretty much broken as its not really supported at run time. (unless I've missed something)

What I'd really like is something like perl's "use strict;" in python.

however I don't see that coming anytime soon.
I feel like the problem with Threads is the direct integrations with Instagram.

There's so many self-indulgent posts from IG influencers earlier on it becomes terrible experience to doom scroll. By the time they released a separate "Following" tab, people have lost their interest in using it.
Unprivileged user namespaces are much newer.
I wish people wouldn't conflate dynamic typing with weak typing. Python, for example, is dynamically typed, but it's strongly typed too. You don't get bugs like `1 + "2" = "12"` in a strongly typed language like Python.

You can still get runtime bugs, of course, but that kind of thing would manifest as a TypeError or something. All of those bugs could be caught with tests.

I like dynamically typed languages. They are simply the pragmatic choice for the vast majority of code that will ever be written. But being dynamic doesn't mean you can't do types. Python has optional type hinting and checkers like mypy are very good. Common Lisp has features that enable you to declare types and get near-native speed binaries.

These days I do type my Python code for many of the reasons given in the article, but I still enjoy using a dynamically typed language underneath.
I read it as a Bush/Trump comparison
> Nobody was forcing anyone to drive cars fuel powered by leaded gas either, could it have been so bad? And if it was so bad, why were so many people using it?

I wouldn't say this is a great analogy, because leaded gas was the only gas available, and alternatives to cars were disappearing in many cities. If you wanted to participate in the economy, you pretty much had to use gasoline.
In what world is 2:20pm the middle of the night.
The point is there is not and will never be consensus on what is "bad", so it ultimately is decided by power imbalance rather than some higher moralilty.

In a liberal society we allow things we don't like in order to maintain individual freedom as a higher good than "perfect" society.

Those who do envision "perfect" society and pursue it with the power of the state are the worst sort of authoritarians, because it's all done "for your own good", no matter what you think.
https://youtu.be/Xb0UhDeHzBM
https://archive.ph/lsNRm
That’s an important distinction. Why not just use “Static Typing”. Yeah, the word “strong” sounds strong and cool, but since it’s something you’re betting your life on, it doesn’t hurt to be a bit more precise.
Pandas is a particularly absurd library.
Hi, I addressed the comparisons in other comments, but in general this is for c++ users and not Python. It's more of a comparison to numPy/cuPy, and we do have a table showing the comparison in the docs.

We don't support automatic differentiation (yet).
Not so quick with disqualifications…

Stallman was working at the MIT Artificial Intelligence Lab, long before most of us have first heard the term AI or were even born.

Also, for example:
„While working (starting in 1975) as a research assistant at MIT under Gerry Sussman, Stallman published a paper (with Sussman) in 1977 on an AI truth maintenance system, called dependency-directed backtracking.“

Source:
https://en.m.wikipedia.org/wiki/Richard_Stallman
Manual gear isn't hard to understand and in theory you can learn about them anytime. But in reality if your first car has an automatic gear, you aren't going to use manual.
Hey, I hear you, and I commend you for your good faith position of "I want to hear both sides". I'm just not there anymore. The arguments put forth ("the cost is worth it, it makes up for itself", etc) are arguments I've had a million times and I just no longer will engage.
Well then, they should've actually done something about ventilation in 2020.
Interesting to see he is very clearly against what IBM Red Hat is doing. Not surprising, since it was the obvious thing to say about it (they are trying to prevent you from using the full rights given to you by the license). Still, nice to see no ifs, ands or buts: what they are doing is ethically wrong and should stop. It may or may not be illegal as well, but it's certainly not a good thing.
Amazon was already told not to do this for anti-trust reasons, and they promised to oblige. Unless the government, Amazon, and the general public are all incorrect about what constitutes monopolistic behavior, you are. The idea that Amazon is openly defying pro-consumer laws to do right by its customers is absurd.
I believe the alerts from FEMA cannot be blocked on the device [0]

> Devices may offer the capability to disable most CMAS messages, but end-users must not be able to disable alerts issued by the President or Administrator of FEMA ("National Alert"), as prohibited by the Warning, Alert, and Response Network Act.

0: https://en.wikipedia.org/wiki/Wireless_Emergency_Alerts#Part...
The comment said am
Sorry, forgot to say: Win10 / Firefox.
I’m agreeing! This would just redistribute the risk around. Right now, everyone knows what businesses are still carrying cash, it isn’t very fair to those businesses. This is more of a fairness issue: those guys are going to rob whatever, but so many businesses going cashless concentrates their activities.

If all businesses were cashless then they would find something else to grab. It wouldn’t be as easy or convenient as cash, they would need to use a fence, so maybe more shoplifting and smash and grabs.
Hi, yes, the original development was started for radar users who did not know CUDA but needed to write in c++. Many of our examples and code are radar related for that reason.
How a colleague went from almost quitting to thriving as a platform engineer.
Easy answer: because you are then beholden to them, same with Salesforce apps or any other "app marketplace". If they decide to change their rules or go out of business, there goes your business with theirs. Not saying SaaS apps shouldn't go in that direction, but it should not be their first play IMHO.
It doesn't really matter because Amazon isn't going to be broken up to begin with.
Show HN: Donkey, a TypeScript Implementation of Monkey Programming Language
If you're using C# instead of GDScript you can use Visual Studio (or VS Code or Rider) and get access to all the debugging tools available in those IDEs. You can also use VSCode for GDScript but I've never tried it so not sure how the debugging experience is with that.
Kindly, I think your logic here is too untethered from empathy to lead to positive questions. I think it's not an unusual state for someone to pass thru while they're still developing empathy.

In this case the well-being of the minors is being allowed to slip below the quality of legal machinations.

That said, I feel downvotes without explanations are unhelpful here.
OpenAI GPT-3.5 Fine Tune Now Supports Function Calling
OpenAI GPT 3.5 Turbo Fine tuning now supports function calling, still waiting on GPT-4 and GPT-3.5 16k fine tune support.
Sure. The rules at the place you're trying to sell.

Dictating how you sell elsewhere is a clear step beyond that.
I saw this one too, and it's an interesting point to consider. I would imagine those people's phones would mostly already be usually concealed, because e.g. an amber or a weather alert with similar effects and consequences could come in at any time.