skysight-inc/HackerNews huggingface dataset:
This article has a really strange tone. For example, there is this section
"There is an Any type and it renders everything useless". Yeah, so does C with (void*). Just because somebody is abusing a tool doesn't mean the tool is wrong. Any is valid with dealing with a dictionary type that is deserialized from some file. If somebody is just injecting Any into their code because they don't know what they are doing, educate them.

The takeaway that type hints are worse than doing nothing just doesn't comport with my experience where the type hinting has caught very legitimate subtle bugs one code that was infrequently used. I wonder if the author would make the same argument for TSAN, UBSAN, or ASAN? Coverity? Or other annotation systems that help outside of the compiler? These tools are godsends, but do have false positives if their scope is understood.
That's what I did, but I suspect for a lot of the target market, they will get both, and there's a reasonable chance of a lot of people buying a Steam Deck, too.

It's a good year for portable gaming.
> However, even in Typescript it is nontrivial to _annotate_ these complex types

The only one which stands out to me as non-trivial in TypeScript is thrown exceptions… and even then only because you can only type them in a catch clause, and only with unknown, and they’re invisible to callers. But then this is why people who would care for checked exceptions quite reasonably just use something like a Result type.

But I agree with your conclusion completely, and it’s basically the same one I came to reading the post.

I was curious about how the current state of things compares to TS, as I may soon have a foray back into Python soon, and would be delighted to bring some static types into the mix. Pretty much as I expected, it’ll probably be more effort/less valuable than TS, but more valuable to me than to the author.
As IMcD23 commented, the real link is here: https://arstechnica.com/tech-policy/2022/04/isps-cant-find-a...

It would be nice if the mods/dang would update the link.
Oh I miss Patriot Act with Hasan Minhaj. Netflix cancel it.
still speculation without being an employee (even if it did some research from blogs which seems to be more then most do) twitter should just write their own post and shut everyone up already. idk why the company is so secretive about everything. its clearly not doing them any favors
> Overall, the community responded to the redesign enthusiastically

I have a hard time believing this.
Dozens of guinea pigs dumped near adult novelty store
Outside of the JA.NET educational backbone, I'm not sure there really was any Internet to speak of in the UK in 1990. When I got on in '93/94 there was only a few hundred of us that I was aware of.
> Warner Media wants CNN to focus on hard journalism

Where can I read more about that? It would be fantastic! Imagine a Walter Cronkite in this day and age; my completey amateur guess is that it would be enormously popular. Just imagine watching news without the stressors of constant emotional assaults (try PBS's News Hour for an idea of that alternate reality). But very possibly I'm projecting my fantasy of 'hard journalism' onto Warner Media's concept.
One thing I would personally really like is a bit more control around the creation of Public vs Private repositories in my enterprise (Cloud) account.

Namely, I'd like to be able to stop myself (the org owner) from inadvertently creating a public repo, or at least make it much more difficult to make that mistake.

I can do this for other users in my account (of which I have none), but not for myself as the org owner. I live in fear of clicking the wrong pixel one day and pushing private customer code to a "not meant to be public" repo.
https://github.com/rust-console/gba
Turiment
The corollary of Dunning Kruger is that everyone is equally capable and equally capable of assessing their performance. This nicely suits the current social rhetoric but does not match observed reality.

Edit-see below I meant opposite not corollary.
This is blogspam copied verbatim from TechRadar. @dang

https://www.techradar.com/news/world-of-tech/how-the-uk-lost...
yeah it was bad, but I eventually determined the problem was a faulty motherboard on one of our xserves by switching hardware around
> high quality and doesn't break

When it comes to build quality, I no longer trust TE as a brand. I have the Modular 16 from TE and both build quality and usability are terrible.

Here's a review of the thing: https://www.youtube.com/watch?v=RpjgwTTKeqc
See my comment above about "upvar".
possibly orthogonal, but fastapi's use of type hints to parse params + payloads for REST is life-changing

with the exception of some edgy form / upload issues, it's been bulletproof for me

fastapi feels like something the universe wanted to exist and type hints are a natural DSL for it
The demographics they're aiming for are conspicuous frivolous tech spenders. People with more money than they need, who would pay for the privilege of owning a product as much as the product itself. It would be sensible to wait for non-early-adopter user reviews before buying this!
Also, we don't really build dedicated interceptors anymore; the F-106 is the last US interceptor I can think of.

The F-15 was designed primarily as an air-superiority fighter (and in fact misinterpretation of the Mig-25 design was motivation for increasing its maneuverability; the Mig-25 was a dedicated interceptor).

[edit]

In general the Soviets seemed to really like interceptors, the MiG-31 is arguably faster than the Mig-25; altitude and willingness to destroy the engines affect the calculation.
Yeah, that was sloppy. What I meant specifically is that, while China has a strategic nuclear arsenal, it is insufficient to really count as a MAD threat, so it lacks Russia’s trump card against intervention.
>Youtube does not hold monopoly on communication or information.

What, pray tell, is that other service that has several hundred million of viewers and thousands of hours of video being uploaded every hour?

As soon as you tell me it's name, I'm going to concede that YouTube is not a monopoly.

>Where is the rage?

Are you implying you just call for censorship as a hobby without even feeling angry? that's even worse.

>You remove the attention and it dies out on its own

This is demonstrably false, the guy who made the video didn't have a trend to draw inspiration from, he thought up of a dumb idea completely on his own. Even IF (a very big if) your model of how social imitation works is reasonably accurate and taking down the video really prevents any further stunts of those type, other influencers will simply think up of new dumb stunts like this.

Let me stress, again, that the world is not a kindergarten and you are not it's caretaker. If people want to crash aircrafts to get internet points, that's completely an issue between them and the relevant authorities, those bureaucrats suck up an awful lot of tax money, let them work for it for once.

You don't get to decide for the hundreds of millions who watch YouTube what's acceptable and what's not. I and countless other people fund this shitty public record with the attention we give to countless 20-second ads, and I want every recorded moment to stay recorded, at least until they go out of business. You don't have the right to force me to respect what offends or worries you, don't worry about public safety, let everyone worry about their own.
If Elon Musk had a documented history of supporting free speech it might be different but he has no such history.
> Who cares if it’s not profitable? Who’s trying to onshore chips because it’s cheaper?

"Capitalism" enters the chat.

> We’re bringing chips back home for security and resiliency reasons.

The chips will close down by themselves if they're insanely non-profitable and a resource sink.
im sure there are plenty of fools willing to spend the money on this for cool points, doesnt necessarily mean it isnt stupid
> They can focus on hard journalism or they can be profitable but they can't do both.

I'm not sure that's true. When everything we consume all day is from rage machines, some hard journalism would be very, very welcome. Just a display of sensibleness would be rejuvenating, no matter what they were reporting.

Rage machines were once the new, exciting thing. Now, I think many if not most are worn out.
> Problem is there is no standard Smalltalk base-image.

No. That problem is that the standard Smalltalk class library is small.

For example, the standard does not include user-interface classes and different vendors provided different proprietary classes.

That problem has nothing to do with the image file. That problem is lack of standardization of Smalltalk libraries.
Give Taiwan and SK nukes then. Since that's the only thing stopping aggression these days. Both countries are perfectly capable of the responsibility
We were really exited by the Apple Business Essentials plan… until we saw you still needed an MDM. I thought it was an MDM run by Apple.

Looking back and forth between the Profile Manager / MDM capabilities and the new Business Essentials, I have a hard time understanding what the benefit is beyond automatic setup.

Does anyone else understand the business case?
I always wonder what people expect when they talk about twitter's algorithm as if this some sort of Deus Ex level AI developed in the depths of Area 51. If anyone wants twitter's algorithm I guess all you need is to download some arxiv papers on state of the art recommender systems and it's probably going to look like that.
Ooh, that is great news. I've been itching to write a "proxy thing" in Rust instead of JS.
I don’t think there One True Way to Release New Episodes that’s applicable for 100% of the cases.

Some shows worked better with entire season released at once, some didn’t. Streaming services will probably dabble with both.
To start, there's no single globally recognized definition of net neutrality. California enacted a law with a few specific provisions such as disallowing exemption of selected traffic from data caps and artificial throttling. Setting up CDNs doesn't go against that law. Of course you could say that prioritizing certain traffic means throttling the rest, but if those servers are physically close to the ISP then you can't really argue against physics doing its job.
A lot of talented folks worked in and around Apple. Susan Kare in particular helped design and create most of the Macintosh graphics, and I bet she (or folks influenced by her) created some of these Hypercard art bits.

She also created the playing card art for Windows 3.x solitaire.

https://en.wikipedia.org/wiki/Susan_Kare
Boosters customised for Omicron seem to offer little advantage
I think the question becomes who should be charged for bandwidth. The ISPs in this case are arguing they want to charge a small subset of above normal bandwidth consuming services rather than the ISP customers.
Most definitions of net neutrality simply don't prevent ISPs from hosting CDN nodes (although it would be nice if ISPs treated all CDNs the same). Likewise net neutrality doesn't prohibit direct connections between broadband ISPs and content providers because such connections generally benefit everyone involved.
You don't burn those though, they stay in the walls of homes/mains/whatever for a long time, by the time they need replacing I'm hoping we'll have a solution (easily 50 years in some cases)

Also actually that covers a huge portion of plastics considered "strong enough" ironically perhaps, this may turn out to be a huge nightmare but we won't be here to see it, so
> Why not price the network equally for everyone?

It's not clear what this means. I guess in the context it means everyone pays the same unit rate per amount of data transferred?

I think there's more subtlety than this. I pay more for a 100MBit connection than a 10MBit connection, and also pay more for the data transferred over those connections? Are they allowed to charge higher speed customers a lower unit rate?
Possibility 3 backed up by all the same data:

The less you know, the more random your guess at your own knowledge is. The actual value is low and less than zero isn't an option, so this drags the average up consistently.

The more you know, the more accurate your guess of your knowledge is. Especially as you hit the limits of the test, this noise can only drag the average down, but less dramatically than the other case.

With the reasonable conclusion: We all suck at guessing how much we know, but the more you know the less you suck until you hit the limits of the framework you are using for quantization of knowledge.
> The code is basically just Lua with some extra Playdate specific bits.

Now I'm interested in this device. I absolutely love working with Lua and I'd do anything to help that language spread.
I just get 500 on the homepage, and my profile also 500s when logged out. Most other things still seem to work, including https://github.com/settings/profile where I could turn it off.
Depending on how this is applied/interpreted, I could see reasons to oppose it.

For example, there can be a lot of "lawful traffic" that is harmful to a network. T-Mobile's T&C say that these things are disallowed: "Uses applications which are designed for unattended use, automatic data feeds, automated machine-to-machine connections, or applications that are used in a way that degrades network capacity or functionality", "Uses applications which automatically consume unreasonable amounts of available network capacity". I'm sure someone here is going to "but fetching RSS automatically..." but I'm going to ignore those straw-man objections. If someone is doing something that harms the network and the enjoyment of other users, it does seem reasonable to restrict that.

Likewise, many ISPs deprioritize data if a user has hit a certain threshold of usage. It isn't throttling, but they give priority to users who don't use as much data given the shared nature of the connection. That seems reasonable to me. It allows heavy users to use as much data as they want while light users aren't impacted by their heavy usage.

Many mobile ISPs throttle types of content like video. That's certainly controversial, but has become common.

> It also prohibits requiring fees from websites or online services to deliver or prioritize their traffic to consumers

This always makes me wonder if that means that ISPs must deliver free transit. Most people aren't really aware of how money is paid to transmit things over the internet. For example, let's say that I want to transmit a video to a Comcast customer in LA. Can I hand it off to them in NY and say "it's your problem now since you can't charge me to deliver the traffic"? Or do I have to get it within a certain distance of the customer and pay for the transit myself? If Comcast won't advertise BGP routes non-locally if someone isn't wiling to pay them transit, is that a violation?

I know a lot of people say that they just want a "dumb pipe", but I think that's mostly because many companies are kinda scummy. We've seen ISPs do crappy things. But there is reasonable network management. For example, I've had friends who have worked at universities where 1% of the users end up consuming 50-75% of the bandwidth. They've done things like put BitTorrent traffic at a lower priority. They don't block it, but they do manage it so that the shared network works well for everyone. If a lab starts using a crazy amount of bandwidth, they don't want everyone else's usage to suffer. It's quite reasonable to manage traffic in good faith - and I think a lot of the no-management/dumb-pipe stuff comes from the fact that we've had some scummy ISPs.
> CNN would be extremely liberal on social issues pretty much everywhere in the world.

Debatable, but even if true, its corporate capitalist economic stance would have it somewhere between the center and center-right, definitely no further left, the economic axis being the main determinant of left-right position.
> open-air forensic psychiatric ward

I wouldn't like that either and thankfully, that's not the reality. Do you have any direct experience? As many people here who have experience, and have said, that is not at all an accurate description.
There will be security implications when Americans are hypothetically mostly using Chinese tech (Weibo, Didi, Baidu), should it leapfrog a kneecapped US tech industry - unless the US also bans Chinese tech - which would isolate the US and make it less competitive while ceding tech leadership in the rest of the world.

Also, all the botnet-, APT-, ransomware and CSAM investigation & disruption ops would be hampered when the #1 desktop operating system, #1 & #2 phone OS authors, #1 network equipment manufacturer,#1 social network and top 3 cloud providers are no longer under your legal jurisdiction
Values in different colorspaces are not fully interchangeable.

Some values don’t exist. Some might have multiple values in another space
Blood-brain barrier–penetrating CRISPR nanocapsule glioblastoma gene therapy
Fair enough. I can see how my statement was not very clear.

I meant to say this: because Python's type hints don't work as well as true statically typed languages (based on my own experience), this makes them less useful and also makes them feel more like busywork. Because of this, my coworkers (who have no experience with statically typed languages either, and tend to dislike best practices and features unless they see a clear return of value from them) are hard to convince type hints are worth the time to learn and use them.

Also, let me restate we cannot pick the language. We can just make better or worse use of it.
I assume you're referring to progressives shredding the credibility of the institutions they run in an effort to advance their ideological agenda?
DOS with DPMI would be relatively easy. 16-bit support (real mode or protected mode on 80286) would require significant changes in LLVM, impacting frontend as well as backend code due to the requirement for separately defined _near, _far and _huge pointers and different "memory models".
You take that back. SotE was rough, but had some excellently varied gameplay and interesting, fun levels with cool enemies. Also some losers in there, but every great game has a bad level. :)
Of course they are now adding merge anyway: https://www.depesz.com/2022/03/31/waiting-for-postgresql-15-...
> How else will the language improve then?

That question hides the assumption that static languages are always an improvement over dynamic ones, when in reality we should think as different species that have adapted to fit into different environments.

> We can improve the tooling and train the team with better practices though.

"Better practices" are what makes you team more productive, not just blindly copying what other people are doing. If your colleagues really believe that automated tests/type checking are not worth the effort, you are not going to convince them by saying "but so-and-so said otherwise". What you can do is ask for their pain points, and see if the tooling can help with it. You can look at your past burn charts and say "look at this bug here, what caused and why did it take so long to fix? Is this the type of problem that would be easier to solve with static analysis of the code? Look at this refactor that we are planning for next quarter, should we try to increase the test coverage to make sure we have more confidence in the changes?"
SpaceX got a couple million dollars in direct subsidies over the years [1], the really interesting question is if one also counts the various government-bought services and other incentives (particularly for F9):

- Falcon 1 development was privately funded, but would it have succeeded without DoD/DARPA funding the first three launches of it? [2]

- Falcon 9 development was aided by hundreds of millions of dollars in seed money, not to mention the billions of dollars worth of launch contracts [3]

[1] https://www.politico.com/newsletters/morning-tech/2021/12/13...

[2] https://en.wikipedia.org/wiki/Falcon_1#Launches

[3] https://en.wikipedia.org/wiki/Falcon_9#Conception_and_fundin...
Needs to be 386 and up with DOS extender then, but sounds fun…
>Major blockchains are effectively immortal

No, this is extremely wrong. I would encourage you to look into the rather large graveyard of cryptocurrencies that collapsed and are now worthless. A digital cash platform will shut down when it's not profitable and nobody wants to use it anymore, the exact same thing is true of any cryptocurrency.

It also seems really bad to me that this view is becoming more common, that's it's actually a good thing that BTC and ETH are getting "too big to fail" despite the flaws in them being relatively well known at this point. It's like we've come full circle...
The way to think about gradual type annotations is not like types in C. You're not saying "this variable is 8 bytes that we're going to interpret as a floating point number." What they do is let you express constraints on the behavior of your program, and then run another program to check whether those constraints have been violated.

Suppose you start with the function

def foo(bar, baz):
if bar > baz > 0:
return bar / baz
return "bar is not bigger"

And this is what you want the function to do, for some reason. But by the time you start writing other code, you've forgotten about the unusual "bar is not bigger" case, and you just assume you're always getting a number back. This could turn into a runtime exception somewhere else in your code because a field in some object somewhere now has a value of the wrong type, but you've never run into it so you don't know about the ticking time bomb.

Now you start adding type annotations to foo:

def foo(bar: float, baz: float) -> float:
...

And when you check the types, mypy yells at you, and you realize you actually need to write this:

def foo(bar: float, baz: float) -> Union[float, str]:
...

At this point mypy starts informing you about all the places you failed to handle the "bar is bigger" return value, and you go and fix them. You keep going until all of the constraints you've put on your code are consistent. You don't have to completely type everything for this to be useful, nor is it particularly important to check this stuff at runtime, because all mypy is doing is telling you that the code you've written satisfies the assumptions you're telling it about.
Very sleek design, nice work
Cash is king, royalties may dry up tomorrow.
GitHub is first and foremost a development platform, not a social network. People should always have the option of opting out of "social network" features.
How does this make you feel?
The fun thing about databases is that they can sometimes spend more time figuring out what to do than actually executing the query. It's usually worth it - because doing the wrong thing is pretty expensive.

But it's nice to be able to use index hints when you understand and accept the danger. I've seen queries that take 30-40ms drop to < 1ms just by telling the DB which index to use, on multi terrabyte data sets with a few complicated indexes. The query always was fast, and picked the same index, but by just telling it which index to use you get an order of magnitude better performance.
> That's totally what happened. We are in a renaissance of artistry, of artists creating meaningful art out of conviction, and making a living.

I assume this is sarcastic, but to be fair, generative and computer art really is thriving and getting more recognition than it ever has in the past, in part because of recent NFT boom.

[1] https://news.artnet.com/art-world/vera-molnar-venice-biennal...

[2] https://www.sothebys.com/en/digital-catalogues/natively-digi...
Cool product and pricing model

> Cloud Log Lake

That's the first time I'm hearing a Clickhouse backend described as a lake. Care to explain?