skysight-inc/HackerNews huggingface dataset:
It is "personal" if you attach someone's technical opinion to broader implications about their own competence. If you disagree with a technical opinion, say so and move on, there is no reason to even discuss someone's own personal skillset, experience, or value as a developer. It's a silly fallacy to automatically label people who disagree with you as incompetent. All it does is foster bias and stifle actual discussion. The responses to this post are evidence that this is not as cut and dry as the original posts suggests, so I suggest we try our best not to cover our ears and embrace tribalism just because we think less of someone's opinion. I don't think I'm being oversensitive by saying this is unproductive dogmatism. It is my honest opinion, yet I do not extrapolate to mean anything about the proponents' value as a developer. Unconscious bias is a pervasive problem for everyone, especially when it comes to binary holy wars like static vs. dynamic types. This is more akin to a builder who uses a nail gun rather than a hammer. Hammer enthusiasts can either acknowledge that both approaches have tradeoffs or they can petulantly insist that people who don't use their methods aren't "real" builders.
The other day I used one of those ultrasonic eyeglasses cleaning machines while I had my AirPods Pro in and they went crazy with static as long as I had the machine on.
Companies can use anti-competitive behavior to curtail your rights in all sorts of ways. Look at America's storied history with company towns. Free speech doesn't get you very far when being blacklisted from the company store means you starve, or your company scrip that you've been being paid in is no longer accepted to keep you housed, or they pay the Pinkertons to beat you senseless for using the word "Union". The reason we don't have that anymore (well, except for that last one Amazon) is government regulation.

The government at least has the obligation to appear as if it's beholden to your will and rights. Corporations have no such qualms.
Seeding the oceans with minerals could help slow climate change
Wrong way driver in a truck at a high rate of speed killed two 18 year-olds earlier this year:

https://westseattleblog.com/2023/03/crash-blocks-westbound-w...

Friend of mine just witnessed a crash the other day where a driver at a high rate of speed lost it on a wet corner and the passenger got ejected.
Legality aside, I'm not sure that Amazon is winning in the long run with this strategy. I mostly buy products direct from the manufacturer these days and virtually all manufacturers have high quality websites with solid ordering experiences. As long as they have the name recognition, they can either sell for higher on Amazon and take the advertising hit or just ignore Amazon altogether.

I continue to buy some stuff on Amazon. Mostly books (they're way cheaper than book stores) and gadgets (I bought a 12 volt car fan recently). The sort of stuff where I don't care who makes it.
Just to piggyback on the good comments already mentioned, there is often a need for a "technical spec to be written like a legal contract" because legal contracts often reference technical specs. Anyone who's worked a contract that has ambiguous technical specs knows it often becomes fodder for rules-lawyering.

One example from my past was a contract that levied specific requirements for equipment operated autonomously with software, but "autonomous" wasn't explicitly defined. A contractor who didn't want to spend the money to meet the extra requirements argued the system couldn't be considered autonomous because it required a human to turn it on (despite being fully autonomous after that point).
While MS licensing is shitty, there is nothing ambigous there, it's the same as everything else there, be it RDP, SMB or Apache.

If you use the User CAL model then any user can have any amount of connections from any amount of devices used by the same user.

If you have 100 employees using SSH (or Apache or whatever) - you need to license 100 User CALs.
Right now I'm using it on a daily basis to control OpenRGB, reconfigure screens and launch Steam Big Picture Mode on my Desktop PC. On my laptop I use it to turn on + off VNC on demand. Just like you I'm also curious what people will use the tool for in the long-run!
Ace needs to act like 14 for Jacks or higher purposes, and both 1 and 14 for straights.

Very cool and nostalgic app. I remember playing this for hours on my great-uncle's little pocket game.
> Please somebody make a site with no payola

Aliexpress?
> Eliminating Radio Interference from Apple Charger

Why not notify the FCC ?
When you're dealing with a specific subdomain, it's certainly possible you can exploit known properties of data in that domain to achieve better compression than a general purpose algorithm.

That said, it's certainly worthwhile benchmarking (de)compression speed and the compression ratio to see if the difference is actually meaningful enough to be worthwhile.
100% agreed on all points. But even in these languages, writing generics remains greatly facilitated by the use of type inference, which is all I'm saying.
> the person I'm replying to is [making that claim]

Er, no. I certainly wasn't, and the person you were replying to above that was making the opposite claim: that it's harder than that.

And no, the type system doesn't really help all that much, once you have unit tests. Because unlike the unit tests, which checks values (and obviously the types as well, incidentally) the type system only checks the types.

So, trivially, if you mix up addition and subtraction, your unit tests will rightfully balk, whereas your type system is going to be "works for me".

As I wrote elsewhere in this thread, in my personal experience the type system was happy during a large refactor long before the unit tests were. Which means that there was a lot of stuff that the type system missed.

And so if you feel your type system is going to make your refactors safe, well, good luck to you and the poor people who have to use your code.
Yes, they were byproducts of capitalism development: England wanted to expand markets and profits. China was a barrier. This caused a war and the devastation of that country. The rebellions were a byproduct.

To be fair, China always had great famines, at least twice each century. This changed only recently, which in fact is a good argument pro-revolution: after one last famine, it never happened again. The same cannot be said for other countries that were colonized or invaded by capitalist powers; and the famine and problems caused by them during XIX century in China were much worst than the famine after the revolution.
> biological weapons can't be controlled and the infections would travel back to their source

If a country found a way to make a racially-targeted bioweapon they could avoid that. Or a bioweapon for which only they had a vaccine/antidote.
I think my comment is not very misplaced given the original comment above in this comment chain.
That turns out not to be the case.

Smalltalk is memory safe and dynamically type-safe. That is, you cannot invoke an inappropriate operation. You can try to do that, but the system will refuse to do so.
> Where are the Cruise PMs trotting out the video footage from the car now?

From the article:

> Cruise said Monday night it was sharing the video with investigators.

> according to video of the crash shown to The Chronicle by Cruise hours after the incident.
You get to define "achievement" however you want here. It can mean spending more time with kids, if that's what you care about!
> “These days, though, every crypto company and plenty of scamsters of all sorts seem to be located in Dubai”

Hopefully they’ll one day scam the wrong sheik and get thrown in jail with no exit visas in sight.

It’s one thing to run your crypto empire in a place like the Bahamas where you expect to be able to simply buy the government (like FTX openly bragged about). It’s another to run it in an authoritarian country where the money you’re stealing might belong to the billionaires who own the whole place and hand out death sentences to critics.
TypeScript's type system is flat out amazing though. I wish more type systems were as expressive.
Felt a little disappointed on one level but really, the business model of online dating is that you're supposed to fail at it. See

https://www.amazon.com/Love-Time-Algorithms-Technology-Meeti...

https://www.themarginalian.org/2016/03/22/why-love-hurts-eva...

In fact conceptualizing the problem as "matching" is the way to succeed at failing whereas if you were really trying to hook people up you would apply psy-tech (psychological technology) to creating structured situations.

In particular it is very real psy-tech to be able to process somebody's social media output and get a highly accurate detail of where they are at in terms of state and trait. If somebody is posting regularly to instagram or Twitter or something and if you can get at it through an API, you shouldn't have to make them fill out a profile or answer questions and if there is something you can't sniff passively well you can probe actively by putting them into structured situations with PCs or NPCs.
+1 for Vespa. For me it is VERY resilient and production ready. It is such a dream compared to Elasticsearch, that we migrated from.
A weapon to surpass Metal Gear?!

Well, not quite there yet, but close...
It's an advantage imo. Makes the code more readable, and much more robust against bad refactors.
The big points of using a glass screen are durability from scratches and better surface feel over time. A large plastic screen is going to get all kinds of scratched up.
Or you could just pay $70 for Apple or an authorized dealer to replace the battery after three years.

Those same users don’t have to buy a $300 phone - which by the way is more than the average selling price of an Android phone - there are plenty of unsubsidized Android phones for less than $100.
> But nothing forbids people to pursue less efficient endeavors during their free time.

Assuming they have free time.
Not just Disney but Nintendo too! They just sleepwalked into a bear trap.
So what is it about a biological neuron that sidesteps the halting problem? Is it because there is a weight and bias set to it. Someone should tell OpenAI to add weights and biases to their LLMs. That will make them make have an emotional like intuition, will it not?

EDIT:
Maybe if we train the ANNs to focus their training on attention based techniques. Then they will simply tire on halts and continue on other problems until the model has sufficiently grokked lesser problems to focus on the previous halts.
Yeah, also this! Managing one contractor with them (or other comparable services) is only 50 € IIRC (and employees are just slightly more than that).
It's going to be a bit harder to win on this end I think. Manufacturer's require retailers to agree to this type of restriction all the time time (and it's mandatory, not voluntary) like it is with Amazon.
> According to Cruise, police had directed the company to keep the vehicle stationary, apparently with the pedestrian stuck beneath it.

> While spokespeople for the Police Department did not have an officer’s report Tuesday morning to clarify exactly when police made the order, they said it is standard procedure not to move cars at the scene of wrecks — regardless of whether a human is operating them.
I just did a bit of research. They updated[0] their ToS a while back. At the time I asked[1] if people thought this change would apply to tunnels. Based on the answer to that I would say it's no longer prohibited, which is great.

See also this interaction I had with Cloudlfare's CEO a couple years ago on this topic: https://news.ycombinator.com/item?id=30285554

[0]: https://blog.cloudflare.com/updated-tos/

[1]: https://news.ycombinator.com/item?id=35963143
No, the second sentence is a general observation on a widespread human behavior pattern. I don't feel like expanding it into an essay right now.
This will seem less and less like a hot take over time, I think. People seem generally unhappy that megacorps like Amazon and Google simply exist.
I've replaced batteries on my HTC HD2 5 times. It lasted 12 years, until the touch sensor died. I really miss this phone.
I can't apply, because I'm not in northern VA. But I watched the video on your website, and I think this sounds super cool.
Vespa.ai is spinning out of Yahoo as a separate company
"It only has some of the benefits over IPv4" is not worse than an insult.

Best practices changing applies to IPv4 too.

NAT exists but you don't need it and even if you do use it you don't have to track connections.
Agreed. I've never been on Mastodon, because there is no reason for me to bother (I did hear about it). Threads? I DID hear about it and I'm actively refusing, because if I need Threads account, it's bound to my Instagram account and if I don't like it and resign my IG is gone. Meh, no need for that.

But same applies with Discord for me. Why would I be there? Why companies expect me to contact them via Discord? Yo, gimme wiki, or answer email. I don't need some chat-thingy/Slack/Discord.

Edit: Why don't we have email, nntp and IRC anymore? Just build stuff on it, don't reinvent.
It does exists for that column also, try scrolling sheet towards right and the filter will appear :)
Well in some cases, like searching for an error message when troubleshooting, Google's NLP is a hindrance because it will alter or change your query in attempts to provide results.

So for example if I search for "Error 12345: Something bad happened", Google might remove the "12345" because it increases the number of results. They take the stance that more is better.
But that is a non-sequitur. Literally, in that that doesn't necessarily follow. We literally don't know why the buy box doesn't have it here and I could guess at a few other reasons. Most likely, I'd guess that the cheapest option not being Prime factors in to it more so than external offers being cheaper.
In general using a 32 MB or larger compression dictionary really improves compression size.

Not sure if that's why the Chrome installer uses 32MB+.
Google doesn't have a history of lying about how long products will be supported.
I suspect if the US collapses the remains will probably end up ruled by someone from the intelligence agencies, like what happened with Putin in Russia. In both Soviet Russia and the modern US, no entity has more power than the intelligence agencies.
I love this idea. It seems like a very practical approach. I'm going to give this a try on my next project.
I say this every time that education unions are blamed, but there are many states which do not allow teachers to collectively bargain in any way, thereby completely defanging the "unions" which exist in those states, and yet students in those states have lower test scores and educational outcomes on average.

There is already a live experiment where education unions are totally neutered, and it didn't fix anything. Private schools "work" because they get to expel anyone who doesn't pay enough money to outbalance any problems they cause. Public schools obviously cannot do this.
> Again, that's not what research shows. Type checking bugs are most definitely not the most common ones and typing doesn't really help with runtime bugs unless it's a strongly typed language.

Can you point to that research?
> McCarthy had a chance to do that and came out saying he would not be willing to give Dems anything at all to save his job.

Yup. Which seems dumb, but... y'know, maybe he didn't want to save his job? He probably didn't want to go out like this, but there's not too much shame in being ousted by crazies. He got his name on the list of speakers of the house, and maybe he just doesn't want to do it anymore.

> It's crazy but the only plausible option I see right now is for 10 GOP moderates to back Hakeem Jeffries.

I suspect that would be a bridge too far. But getting a small number of Democrats—especially in tight districts—to vote for a moderate Republican speaker, in exchange for some concessions, probably could happen. I don't know if it would—the new Speaker would probably also need to be in a district where having Democrat support isn't seen much as a bad thing, and probably need assurances that they wouldn't be primaried. On the other hand, courting that Democrat support might cost them enough GOP support that they'd never get elected anyway. I dunno, shit's complicated.
And yet, if the signal was that strong, it should be clear. It's not.
There's not enough data for anyone to know that, so it'd be tough to evaluate the correctness of the AI's assessment.
I'm fully a convert to static typing and don't think I'll ever willingly do another project without it, but you make a really good point about how people tend to always go overboard with types. I did this early on in a large TypeScript codebase while learning TypeScript, and now I regret it. I'm still far better off than I'd be without static types though.

This also happens with tests. It's easy to get wrapped in testing libraries and abstractions and spend way more time than you need to.

The 80/20 rule applies in both areas. You get 80% of the benefit with 20% of the abstraction. It's usually a mistake to try to go beyond this.

Of any popular language I'm familiar with, I'd say Go is the one that follows the 80/20 rule best. It encourages you to focus on solving the problem rather than leading you down rabbit holes of various kinds, including with types. That's not to say Go doesn't have its issues, but it really is excellent at discouraging over-engineering.
That doesn't necessarily contradict "the DNS standards people got fed up with people not implementing it, and made it a requirement."?
> Congratulations, your phone with a whopping 2-years of age still has a good battery. (Though I'm not sure losing 60% a day is really great imo...)

Well again, I spend a lot of my day with my phone on and being used to do my job. And I also use it plenty for bathroom breaks, screwing around between tasks, the usual stuff. In my mind, running like that for 16 hours per day and still having 2/5th's in the tank is pretty good.

> Try living in a world where a $300 phone is a big expense, and now it barely lasts a day when it used to last a week.

I have never owned any smartphone that lasted even close to a week. When I was younger, my droid would occasionally go a couple of days between charges, if I was particularly busy and therefore not using it. I don't think I've owned a phone I haven't charged overnight since... gotta be like 2011?

> 1: Some people have phones that are just fine, but have a dying battery. Replacing an otherwise perfectly functional phone just because the battery is going is massive e-waste.

But again that's what my question is getting at and what I'm trying to understand: how are people frying out their batteries like they are?
Old proprietary things can definitely be part of the problem. A lot of people will just cut and paste various scripts, download various packages, and make random edits until things work. I can't blame them. These things can be hard and for those not from a computer science background, it can be difficult to comprehend how things actually work.

Just getting old software to compile can be a challenge in itself. You could say to just put everything in a Docker container. Then when you have it working, anyone can just use that container. That's not so easy for someone who doesn't even know what Docker is. I'm not saying that to suggest people are incompetent. As developers, we really should do better to make things easy.
I'm talking about how many people react to any startling new information or idea. The advent of LLMs is just a relevant example.
To be fair, most hobby CNC tools were opened looped until more tools came out that were BLDC + zero cross detection for speed control. That being said, stalling your tool more or less means you’re just blindly cutting a part. Calculating the correct feed rate is absolutely essential for any router/milling operation.
I would doubt the owner has a bigger network than cloudflare as their cdn.

If you're cdn is Azure, GCE, or AWS, than you're cdn is spread over the regions that their cloud offers. You still have no use-case to know more.

So, who? There isn't a provider atm in the world. So the issue at hand is currently not existent, as far as I'm aware.
The original comment in the article I was responding to is "one of the world’s most repressive online censorship schemes", which is clearly untrue.
Tokens are just another representation of the image, like 3 matrices or electrical impulses in our brain. They probably encode most of the relevant information, the question is whether the linear algebra at the core of a transformer is good enough to use this data as efficiently as we do. I don't think we can currently say if it is or isn't adequate.
The parking brake can also just use the rear brake calipers so. And those are attached to ESP and ABS among other things on modern cars. Using the same hardware means interfaces with the systems using said hardware.

If the rear calipers are too hard to move without hydraulics, the parking brake might be a seperate system on the rear axle of a car.

Those seperate systemsnso don't have the power of the main brake system, even just the one on the rear axle.
i would pay more money to not have to put my credit card into or attach my identity to 100 different random websites all of which almost certainly have worse security practices than amazon and many of which absolutely will have that data stolen at some point.

even for people who don't think about stuff like that, it's way easier for the average person to buy everything from a single place than to go to a bunch of different random websites to buy things they want.
Pairwise linear in respect to inputs, for feed forward networks like those that use attention is the restriction related to linear or linearizable.

Those words are important.

But we know that ML cannot model all turning machines in the limit. As to more reasonable models that gets more complex.

Rice's theorem in respect to functions doesn't fit with you claim:

For any non-trivial property of partial functions, no general and effective method can decide whether an algorithm computes a partial function with that property.

The generalization problem being the important part.

But if you want to claim that ANNs solve all of the undecidable problems too, write the paper and become famous.
Clojure author Rich Hickey disagrees on this. He argues that not only typing is what you need since many of the errors are not typing errors and not even most are (not sure he said that last thing exactly though, talking from the top of my head). The point being that an alternative that can check that and more is better. Also, he argued that types are key/values no matter the formal type if it is the same thing in two systems.

So he created spec. Spec can check more invariants than just typing. Truth to be told, Clojure is functional and one of the goals is to generate test cases from those specs. So it is a bit of a different story probably.

At the end we want correct software.
I mean, the police directed Cruise to leave the vehicle in place. What exactly would you expect them to do when directed to not move?

From the article:

According to Cruise, police had directed the company to keep the vehicle stationary, apparently with the pedestrian stuck beneath it. Each car contains a speaker through which Cruise staff can communicate with passengers or with law enforcement trying to give instructions.

While spokespeople for the Police Department did not have an officer’s report Tuesday morning to clarify exactly when police made the order, they said it is standard procedure not to move cars at the scene of wrecks — regardless of whether a human is operating them.

“When it comes to someone pinned beneath a vehicle, the most effective way to unpin them is to lift the vehicle,” Sgt. Kathryn Winters, a spokesperson for the department, said in an interview. Were a driver to move a vehicle with a person lying there, “you run the risk of causing more injury.”