skysight-inc/HackerNews huggingface dataset:
> Many dynamically typed languages have static analyzers, but retain the flexibility of not needing to prescribe types up front

Almost all static type systems have escape hatches that let you go dynamic when you really really need it. Also, I bet that most of your use cases for dynamic typing could be solved with a simple tagged union. Most people bemoaning the lack of flexibility of static typing just don’t know about how tagged unions can easily emulate dynamic typing when we need it, such that we rarely even need to reach for the actual escape hatches.

> (it’s impossible to know exactly what data structure you need at the start of a project)

Thankfully data structures are even easier to change with static typing: change it, gets a ton of type errors, fix them, done. With dynamic typing you run the risk of missing a call site.

> Having to prescribe the types I need before I actually need them goes against how I tend to build.

There’s type inference for that. I personally take advantage of it any chance I get.
If evolution is a response to the environment, then you might say the environment also evolves with the organism, and that a neutral net is merely trying to respond to its logical environment, in a logical way, to maybe repeat (or regenerate) the environment that created it?
It works again, so you can go back to 1.1.1.1
Quebec passes bill outlawing planned obsolescence
The thing with a company like Gartner isn't that they're explicitly biasing their results based on how much you pay them but the whole game is rigged in general against small companies unless they've made a real name for themselves outside of the big analyst channels.

- If they're not Gartner clients, the relevant analyst may just not be very familiar with them. There are a zillion little software companies out there, many of which do a crap job of explaining what they do and what their unique value is. (Go to a big tradeshow sometime and talk to booth staff.)

- Gartner's MQ requirements are very biased towards their enterprise clients. They want customer references and have a very detailed questionnaire that may not align very well with what a small software company can respond to and, yes, is a big time sink to even try.

- Gartner does some other reports that highlight what they consider innovative small companies or up and comers but generally speaking none of those are going to be in the upper right of an MQ.
> The law also creates a warranty of proper functioning applicable to many new goods, including stoves, refrigerators, dishwashers, washing machines, tablets and televisions.

> The item may be repaired free of charge if it malfunctions during the period covered.

> Furthermore, spare parts, repair services and information necessary for the maintenance or repair of an item must be available for a reasonable period of time.

> Consumers will be able to do business with the repairer of their choice.
> The examples he gives are technologies where you can point the AI to a problem and trust the results will work as intended.

No, they're technologies where AI's have been tuned and tested and validated for there domain so that we after that process know that they will work as intended sufficiently often to measurably be a net benefit, just as you yourself go on to describe. They'll still make mistakes, just like you yourself point out. But they've been tested to ensure they make few enough mistakes to be worthwhile.

> What is the equivalent for LLMs?

The equivalent for LLMs is exactly the same process. To quote myself:

> 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.

In other words: Test them on your use case, and validate their performance on that use case. Don't assume. We wouldn't take the performance of any domain specific model on trust, and there's no more reason to take the performance of an LLM on trust for a domain we've not tested it thoroughly for, and quite possibly fine tuned it for.

The difference is that LLMs do well enough to convince some people of the idea they can skip the testing and validation step, and that point - that people are prone to give them a level of trust that they should not be given - is valid. But extending that to dismissing them as "bullshit generators" as he did is equally ridiculous.
> I just talk directly to the root servers from my home network and pre-cache the most popular places I visit.

Out of curiosity: Why, if you generally trust your ISP? Do you get worse performance using their DNS servers?
Not all type systems are born equal, for instance I'm amazed daily at the lack of type safety in Java/Kotlin
Same here. Been doing this for too long that I refuse to even bother anymore.
Thanks for the feedback! I agree the into audio sounds a bit robotic. And yes the speed of the app in general is horrible - a lot of low hanging speeding optimizations on my list tho
Rules like this have existed in Canada for 40+ years, and regulating content is quite popular up in Canada. See Quebec and it's French-first laws.

You might see it as a problem, but the majority of Canadians are fine with it.
you better believe the State whom they are hacking is interested in whether their act just reached the magic threshold to lawfully drop a missile on them.

Absolutely. I should have added that as well. Well meaning hacktivists may or may not be aware of or in denial about the risks they are taking on.
Tried that, couldn't get it to work, weird
why in the world are they doing that I wonder.
No, I mean it lacks strong typing. C and C++ also lack strong typing even with static typing being a core feature and checked at compile time.
It's like some choice who brainwashes my kids. Are they going to learn about men being pregnant and go to a drag show or that god created earth 5 thousand years ago.

Maybe i could even alternate every year so they are "well rounded".
works for me (Firefox 118.0 on Linux)
The real solution is an open source Amazon. What happened to Magento? Does it have any traction?

Why sell on Amazon instead of your own site? Can’t competitors to FBA spring up that have great logistics? Are there any? Can anyone link me to them?
Having choices is bad. Today I learned.
It sounds like the main way to meet content requirements is simply to remove non-Canadian content. Is there really much room for niche K-dramas on Netflix when you can’t find enough Canadian content to justify keeping it as a streaming option? Do you run an anime streaming service? Well, you’ll need to find a bunch of Canadian anime to remain compliant, otherwise your service is unviable.
The devops answer to complexity is always more complexity.
This is pretty much my take, too. I don't hate the idea of TS, but TS is so painful to work with, and it's owned by a company I really don't like, too.
Show HN: StormHub Engine – Build and scale your SaaS in no time
I mean, if you accept that we should have a warning system where the government can communicate with everyone quickly, it does need to be tested. And early Wednesday afternoon is a better time than most. What would you rather them do?
I will say that I used to buy stuff from AMZN all the time and now I hardly ever do.

For me the last straw was when Amazon Prime deliveries stopped arriving in two days despite being claimed to arrive in two. It made a difference because in two days it could be a hassle to drive to the store but in five days I can easily find the time.

Not long after that, Prime service became officially five days at my location while Amazon was shouting to the rooftops that other people were getting one day. Around this time it seemed every other retailer was trying to impress me with fulfillment and often shipping is free if you buy $200 of camera equipment or $80 worth of games, even when it isn't it isn't very expensive but it is always faster than AMZN, I even get Ebay packages from Japan faster than AMZN gets me packages from the next state.

There was also the rising problem that the quality of the listings was going down on AMZN; I'm not so concerned that the $24 product is crowding out the $17 product but rather that there are so many junk products that crowd out good products. On top of that there are many product listings that make no sense at all and it all adds up to a stressful process of sifting through a lot of junk and then not knowing if some absolute garbage is going to show up at my door.

So I went from buying something on AMZN probably several times a week to now less than once a month... I canceled my Prime subscription because I couldn't have any self respect if I was paying a subscription for something that was worse than average as opposed to better than average. And boy is it annoying to shop on AMZN now. The only thing you have to click more times than to cancel AMZN Prime is to order something from AMZN without signing up for a free trial of Prime.
Applied for principal SRE role recently. Wondering if someone it?
My child doesn't see the point of high school, and I strongly fear for their future. Of course there's history, and a lot of psychological damage done by said institution... so that might have something to do with it.

High school is an extremely cruel place.
And you’d be wrong on almost all counts. The NHS runs on the N3 network, and runs its own email servers. Emailing outside of the organization about patients is a sackable offence.

As for mobile devices: I seriously doubt unless security has gone to shit in the last few years that people have access to clinical email on personal devices. If they have the devices will be under MDM.

I’d rather they moved everything to Linux of course, but placing trust in Microsoft is a hell of a lot better than placing trust in Palantir. Microsoft have reputation to lose. The reputation of Palantir among its core audience is improved by misdeeds.
Sellers want Amazon’s audience
The "Meditations" book I believe is to be from Marcus Aurelius, not Descartes (which also has a book with a similar name)
Software Is in the Grey Areas
What does "no establishment at ground level" mean? It is in the middle of Milan, it's full of establishments, there is also Piazza Gae Aulenti three steps away. (I have been there several times)
Would be nice to see HAMMER2 ported to other operating systems. It's a serious competitor to ZFS. It's BSD licensed, so there is less barriers for GPL-licenced (vs. ZFS), closed-source offerings (vs. Btrfs/Bcachefs), and other BSD operating systems.
IPv6 is an insult.
I must admit, it is slightly unsettling knowing that there is a communications side channel out there which could effectively DDOS every mobile phone.

Not for nothing, I understand why it is useful to be able to broadcast messages/alerts like this and you can just click OK, the message goes away and you get your phone back. But people are really bandying about conspiracy theories that this will activate Marburg virus (what is this, the X-Files?) or be painful if you're vaccinated? FEMA (more X-Files!) is going to literally demonstrate its capability to control your phone.

I need to hang up this tin foil hat.
Then why do wealthy people congregate in specific suburbs that have highly rated public schools?
> exclude Google.

Their DNS? or all of their services?
I hadn't thought about the consulting use case much yet but I think for lectures/ education this could be a potential game changer. I suppose any Q&A style talk could benefit form the format - thanks for the ideas!
The Singing Detective: the British masterpiece that changed TV forever
I'm not really sure how you could ever realize something like this without inventing prepaid cards which go through a card network anyway and are just ephemeral bank accounts backed by real banks.

Any business that is large enough can get their gift cards in retail stores which would be fine. It would definitely create a moral hazard if Netflix had to provide a cash option like this because retail stores would suddenly have crazy amounts of leverage but w/e. But then naturally there would be market need for "accept cash payments for your online service" as a service for smaller businesses that can't just get partnerships with Target and Kroger and the entity providing that service would just be a bank issuing branded prepaid cards but using their own bespoke card network.

Like you can't fight it, you always invent Visa.

You could probably cut card networks out eventually with $as_of_yet_unlaunced_service backed by FedNow but that's not exactly cash and still requires a bank account.
You don’t just “spring” up to owning a nationwide network of distribution centers and 1M+ employees. It takes decades of work.
Not sure why this article is focused on car ads.
Nowadays, I ignore most of industry and many other awards.

E.g. "Ranked #1 as the most popular university among international students" (I saw this ad on a bus). It doesn't say anything about the quality of the education or the recognition.

You can trust customer reviews more than these awards.
> If you took things for granted before LLMs, you shouldn't have, and if you don't trust trustworthy authors post LLMs, you should.

Blaming LLMs for everything is becoming the preferred excuse for people who like to reject what they read and substitute their own beliefs instead.

It’s true that LLMs hallucinate and are definitely not correct all the time, but the way people are using that as an opening to reject everything on the internet and elevate their own prior beliefs to the top is strange.
Taxes have not gone down in any of the cities mentioned. In fact property taxes have been increasing a lot since the value of homes have increased.

The other point is none of the issues need money to solve them:
The advent of remote learning during the pandemic altered students’ routines and led many to conclude that in-person attendance was optional. School districts have eased grading policies that penalized students for missing class or turning assignments in late, further reducing incentives to attend. After years of Covid quarantines, parents are more inclined to keep kids home for minor illnesses or mental-health issues. Technology isn’t helping: There’s evidence that absenteeism had already begun rising in the years before the pandemic, coinciding with the explosion of smartphone and social-media use among children — which increased distractions and weakened students’ connection to school. Those problems only worsened while schools and other activities were shut down.
The consumer is Amazon’s end customer, not the seller. Amazon sellers can and do take a loss to sell on Amazon, and ultimately the seller's fate is of no concern to Amazon. Again, they don't have to sell on Amazon to begin with. I buy plenty of bike parts, for example directly on their site and they're not even offered to Amazon to begin with.
The type system makes development much faster than with a language that doesn't have a strong type system.
You should legitimately try a project in notepad. Not Notepad++, specifically Notepad. Probably a very short project, but you should give it a shot. It'll give you a bit of a perspective. And some real appreciation for Notepad++.
Hey look, numbers that don't mean what the person said.

What percentage of their wealth do they pay? What are their effective tax rates compared to the working class? Why are capital gains taxes so much less than most income taxes? Why does our "progressive" tax rate stop growing in the 150k range or so? Which one of those groups can afford lawyers to structure their incomes to pay even less?

The rich are not paying their fair share and generally have been paying less and taking more for decades, I don't know what you are on about.
To be fair, every single wholesaler operates this way.

I have personalky spoken to wholesalers who sell widgets X (lighters etc) to retail stores.

If the retail stores undercut everyone else and drop the price below MSRP, they will exclude them in the future. There is centralized price control even though the retailers are free to do what they want.

That is done by auto dealers and anyone else who does MSRP. The difference is that they are still competing in that product category. Amazon on the other hand is a platform that stands BEHIND them. This leads to an emergent price cartel, just like in the propu lica piece on NYC real estate:

https://magarshak.com/blog/?p=385
I can find plenty of sources pointing to net education spend decline relative to inflation/gdp:
https://www.macrotrends.net/countries/USA/united-states/educ...
https://www.cbpp.org/research/state-budget-and-tax/a-punishi...
https://edlawcenter.org/research/$600-billion-lost.html

https://www.cbpp.org/research/state-budget-and-tax/most-stat...
The question is not really is it increasing — but how much it has increased and whether that actually affords a quality education.
https://www.theguardian.com/us-news/2018/sep/07/us-education...

(Hint: it probably has to do with the fact teaching makes very little $ in most places and is not treated as a good career in the states)
Nintendo’s Wii U and 3DS online services will shut down in April
The economics of a weekly paper work out a lot better than a daily in most places. We have three civic minded weeklies in Tompkins County that cover important news much better than the tired old daily which is coasting on being a "paper of record" and running DBA listings and things like that.
A Resy Founder Expands His Loyalty Program for Restaurants
I'm tired of this adage. Yes, you can. Some languages make it way, way easier to write bad code, though.
This articles assumes all people are good at smelling and tasting and that it is just a matter of education.

But just like some people has bad eye sight, some people has bad smell and taste abilities.
Discord not running in a browser on a system that can ONLY do 3 billion instructions a second is an insult to the Internet.
Hoping to elicit one more double-take, here's someone else who wrote a paper on (implementing a genetic algorithm in) Prolog, a long time ago:

https://people.idsia.ch/~juergen/geneticprogramming.html
To extend your argument, nothing we perceive is _exactly_ how it exists in the universe. Everything that comes into our senses is an approximation, whether directly or via technological instrumentation. I don’t think any of that contradicts the possibility that consciousness is some state of matter.
> you can't change a function signature without having to grep your codebase to find all callsited and pray you fixed them all.

I really wonder how people can actually work like that. Is there some overarching methodology like super strict tests with 100% code coverage or so?
That is from 1996. Not sure that is why all of the sudden kids aren't attending school.
Dynamic vs static typing is a similar level of design decision as interpreted versus compiled. It's ridiculous to try to claim one is universally better than the other as they both have styles of programming and domains they are better suited for.

I would never want a statically typed, compiled awk for example.

I generally think large, production, multi-developer software should be written in a statically typed, compiled language.

Strong vs Weak typing is a closer to a debate about having a name spacing system or not. There is really no great reason to have weak typing or not use a name spacing system.
https://erowid.org/experiences/exp.php?ID=89644

I still haven't listened to Maggot Brain since that day.
I agree with the title, but not with the blog post. Strong typing is great. There is little reason not to use strongly typed systems.

The post adds "static" typing in too, modifying the argument. Dynamically typed languages allow you to easily have a very intimate understanding of your program; because you can write the program and modify it while it's running using a REPL. The post seems to conflate dynamically typed with untyped, which is very much not the same thing. The two are actually incompatible ideas.

OP: I highly recommend you look into SICP if you want a concrete counter argument to static typing for large systems. A main focus of the course is controlling complexity through abstraction as systems grow to be large, and the course was taught using Scheme, which is a dynamically typed language.
That doesn't really sound like price setting power. They are saying you can set whatever price you want, but it has to be the same as other sales channels.
%b and ‘ tiny but helpful
Great, you gain more sales and immediately go out of business since you were already pricing your product near cost.

Prices then rise back up as your nearest competitor was smart enough to not lower price below their cost.

Or do you somehow believe that price competition currently only exists everywhere EXCEPT on Amazon's platform?
For smaller things I use Target. I rely more on Costco as well (versus Amazon's subscribe and save)

For more niche items I buy in bulk from different the manufacturer's site. To be honest it's a little more work but to help retailers it's worth it. Sometimes I have to pay for shipping but I do remember that I'm saving 130 dollars a year by not being Prime.
Good suggestion about the demo, thank!

The idea came when a few friends and I wanted to "start a podcast" but ultimately didn't want to actually share what we were talking about. We also were spread out all around the world so we started uploading short audios to a google drive.
> humans will say that they're not sure and might be wrong

Is that so? https://innocenceproject.org/dna-exonerations-in-the-united-... These people were convicted by people who were 100% convinced their memory was correct. The DNA evidence, which is "harder" evidence, said otherwise, and in these cases, was exonerating. (There are hundreds, possibly thousands, of other cases like this by the way, where the imprisoned innocent is NOT yet exonerated, all based on overconfident eyewitness testimony that yet managed to convince a judge/jury.)

There is also the well-known Dunning-Kruger effect, the cognitive bias where individuals with limited knowledge or expertise in a particular area tend to overestimate their competence and confidently assert their opinions. We've literally seen this countless times just since the 2016 US election, just watch literally any Jordan Klepper interview https://www.youtube.com/watch?v=LoZ2Lt_aCo8 (honestly, this is a little too political for me to use as an example, but I ran out of time seeking out unbiased examples... Mandela Effect? Misplaced keys being common?)

I'm afraid you're a little off, here, on your faith in humans not hallucinating memories and knowledge.
The fight for 2% − how residuals became a sticking point for striking actors
For a different view under the line, check this calculator to see how much less the wealthy are taxed nowadays compared to pretty much any time last century except the wild 30s. All that money is not going into education, roads, healthcare, you name it anymore, an entire system of public funding collapses.

https://qz.com/74271/income-tax-rates-since-1913
Without paywall https://www.nytimes.com/2023/10/04/dining/blackbird-resy-fou...
In the 80's these things were blamed on D&D, in the 90's on video games, I guess nowadays it's "ideology".

regardless, you just moved the goalpost. HN meets your definition of ideology. It does so because your definition is flawed. You recognize this, which is why you've now added the requirement of murderousness.
There's no agreed upon definition of "strong" vs "weak" so you'll have to elaborate a bit.
Gotcha, yeah thats totally fair.
It does the opposite - it prevents the price going lower than cost plus Amazon fees.

Amazon is not exactly cheap for sellers, so the price has to go up everywhere.
For what it's worth I'd consider myself to be a moderately above-average news reader (Reuters and WSJ most days with misc other sources irregularly), and the first I've heard of this is just now