skysight-inc/HackerNews huggingface dataset:
The thing that the author says they would prefer is already in Python, it's called NewType (https://docs.python.org/3/library/typing.html#typing.NewType)

They say "...so I can't create a bunch of different names for eg typing.Any and then expect type checkers to complain if I mix them."

`MyType = NewType('MyType', Any)`

is how you do this.

At the end, they suggest a workflow: "I think my ideal type hint situation would be if I could create distinct but otherwise unconstrained types for things like function arguments and function returns, have mypy or other typing tools complain when I mixed them, and then later go back to fill in the concrete implementation details of each type hint"

That's just doing the above, but then changing the `NewType('MyType', Any)` to something like `NewType('MyType', list[dict[str, int]])` later when you want to fill in the concrete implementation.
more like 38x population and 233x area!
This was a great little article. Very fair summary of the situation.

After the demise of Twitter, I first tried Post.news — which had great branding but failed to get the everything-is-a-tweet model right (comments were 2nd class citizens to posts).

Then I moved to Mastodon, which I enjoy. Mastodon’s biggest issue is the enormous UX hurdle to pick an instance before even signing up, though. That and the lack of a unified view (mentioned in the article) will probably keep it niche. Also lack of quote-tweeting, a deliberate choice.

BlueSky is the first truly worthy successor. It’s better than Twitter in its prime, before it went algorithmic. It allows quote-tweeting but gives the quoted party control over the scenarios that Mastodon was trying to prevent by avoiding the feature entirely.
Claims that LLMs work like human brains were common at the start of this AI wave. There are still lots of fanboys who defend accusations of rampant copyright infringement with the claim that AI model training should be treated like human brain learning.
My point? If you think a staple food vast numbers of human beings have relied on for literally all of recorded history (not to mention thousands of years prior) is "not particularly healthy", then perhaps your definition of "healthy" is a little too exalted for everyday use.
Okay, but you know what? During my career as a software developer, I have wasted over a decade "getting used to" things being shitty, passively accepting mediocrity and suboptimal solutions.

Learning Emacs (and Vim too) finally made me realize that I was doing things wrong - I needed to be in charge. As a computer programmer, I should be commanding software, not being constrained by it.

Emacs has granted me that power by acting like glue. I don't turn away from useful software; I do use it. I just do it through Emacs, not instead. With Emacs, I make my own rules and I dictate what makes sense.

Most recent practical example? I just joined a team that uses Jira. Lots of people hate Jira (and for good reasons), in my case, I have no choice. So, instead of complaining how cumbersome and stupid Jira is, I decided to use it from Emacs. But instead of wasting time building a "native" extension, I just delegated things to go-jira - a command line client. Now, I can basically type 'FOO-31415' and Emacs automatically, contextually recognizes it as the 'jira ticket number', despite it being plain text. From that point I can retrieve its summary, turn it into a markdown link, browse the ticket, change its fields and status, etc. While anyone else have to waste their time opening Jira in the browser, I can perfectly do things without losing my focus, directly from my editor. That's working "with" software instead of letting software to fight "against" you.
Then you need to politically organize and get the votes together to vote in people who will effect the desired changes to the law. Till that happens, tough. The law is the law.
Thin gray text on an off-white background is not very easy to read, especially on mobile
It's in fact trivially easy to predict whether an author's life will end.

Watch: I predict an author's life will end. I give it very high odds indeed.
I believe there's a mode for VS Code type checking which ignores untyped code - have you tried that?
Yeah, now I don't quite believe it. Does anyone have a source for this claim?
It's not about the bugs, it's about designing the layout of the program in types first (ie, laying out all of the data structures required) such that the actual coding of the functionality is fairly trivial. This is known as type driven development: https://blog.ploeh.dk/2015/08/10/type-driven-development/
The problem with patents is not the length, it is that they are being applied to a general ideas and not implementations of those ideas. You patent your mouse trap, not all mouse traps.
Less surprising that Dominic West is British, given his roaming American accent.
This is a good time to remind people of how naive Americans were of the reality of the Soviets. The best example being when in 1944 the sitting vice president of the United States literally visited multiple gulag camps that the NKVD dressed up as Potemkin communes and was fooled utterly:

https://www.rbth.com/history/327846-henry-wallace-magadan-ko...
Or we could work on more modern forms of cash that make tax evasion harder while preserving privacy.

But sure, I suppose we could also start taxing everybody for the crimes of some instead. But why stop with cash and tax evasion? Just stop charging any monetary fines and increase taxes to make up for the shortfall...
Doesn’t matter if it’s true. It only matters that they spell your name right.

Threads filled with inaccurate posts like that are a large part of the reason that educating the general populace on security issues is so difficult.
Interesting, my work HP Probook does not have that functionality. I wonder why HP chooses to do this only for some laptop lines.
We have to be realistic though. We can't even get a law requiring right to replace a battery on our own iPhones...
default values! Since type hints are *hints*, it is difficult to set default values for complicated types. For instance, if you have lists, dicts, sets in the type signature, without a library like pydantic, it is difficult and non-standard. This becomes even more problematic when you start doing more complicated data structures. The configuration in this library starts to show the problems. https://koxudaxi.github.io/datamodel-code-generator/custom_t...

The issue very much is a lack of a standard for the entire language; rather than it not being possible.
The title of the article is of significant interest, however the article text never tries to assess a price, it just spends a few paragraphs on a goofy analogy trying to describe what the pricing would involve.

Potentially great subject, pretty poor article...
Python people legitimately upset they can't write every function like this now:

def func(data, *kwargs):
"""data: the data. kwargs: other data."""
In that data set

Compare
2023–24 Detailed Test Results
Results by Ethnicity for Economically Disadvantaged - Asian

with

2023–24 Detailed Test Results
Results by Ethnicity for Non Economically Disadvantaged - Black

Comparing poor Asians against non-poor Blacks, the Asians do about 3x better.
It's a huge difference.
You are downvoted (probably for saying "nope"), but my account was recently banned for being a bot. I used it almost exclusively for lurking, rarely for commenting or upvothing something. I guess I'm too botlike.
The Sega CD addon for Genesis. $300! when that was a lot of money and I was a lot poorer. Was happy with my Genesis and wanted to try CD+G and CD+games so it seemed like a decent buy at the time.

https://en.wikipedia.org/wiki/Sega_CD

It was kinda cool but they didn't support it long. Video was one of its selling points supposedly, but didn't have good replay-ability. I should have known that because I'd played "video" games like Dragon's Lair in the arcade. But the Sega CD was even worse, limited to (I think) 64 colors! Which looked like shit. At least I did not buy the 32X as well.

I did however learn a very expensive lesson about product support and being on the bleeding edge—let others live there.
Patagonia's Restructuring Has Led to Employee Fallout
There is a difference between policing the internet and supplying resources and services to known bad actors.

Their job isn’t to investigate and punish harassment and criminal behavior, but they certainly don’t have to condone it via their support.
Most business class thinkpads have a physical cover in the screen that covers the camera with a piece of plastic.

Led, no led, who cares, plastic is blocking the lens. Move the cover away, say hi on zoom, wave, turn the camera back off, cover on, and stay with audio only, as with most meetings :)
Take care to differentiate strong/weak typing from dynamic/static typing. Many dynamically typed languages (especially older ones) are also weakly typed, but some dynamic langugages, like Python, are strongly typed. 1 + "2" == 12 is weak typing, and Python has strong typing. Type declarations are static typing, in contrast to traditional Python, which had (and still has) dynamic typing.
In a free market of ideas, copyright would have perished long ago.

As a teenager of the 90s I have, correctly or incorrectly, been indoctrinated with the notion that RIAA/MPAA have too much clout for their own good. Sweden (Pirate Bay) and New Zealand (Kim.Com) taught us that.

But it’s not just The US — the bulk of my record collection is still digitised as Ogg/Vorbis in protest of Fraunhofer’s hold on MP3 as a non-public format.

Was I brainwashed? Did the kids of yesteryear lose in the long run? Aside from nostalgia, it’s worth remembering the history of this battle to learn for the future.
> Twitter/X is actually a balanced discourse site now. CNN even admitted that the party affiliation of its users went from majority-left (65/31) to split down the middle, 48/47

To repeat a quote I have seen repeated in dozens of email signatures (below the pronouns, of course!)

"When you're accustomed to privilege, equality feels like oppression."
Do you mean that the government could merely print money instead of collecting taxes?

That would trigger higher inflation, which would have some very nasty consequences. Assuming you're thinking of the EU or US, it would effectively kill the Dollar / Euro's status as a global currency.
A capacitor can hold enough charge to power led for noticable amount of time even if powered for a brief moment, no logic needed
It's also wrong. If the C code presented is accurate the URL would have to contain &name=%22;shell-command-to-run;%22, or perhaps &name=$(shell-command-to-run). name=%27;shell-command-to-run%27 is mostly harmless.

That's nit-picky I know, but when some dude on the internet is trying to get clicks via manufactured rage at incompetent programmers, it's kinda ironic his code is buggy too.
Sure, implicit finite elements analysis scales up to two cores per DDR4 channel. Core density just grew up faster than bandwidth and it makes all those high cores cpus a waste for this kinds of workloads.
One thing to consider, maybe open the app up for interaction with Tasker (being able to send events and provide actions to execute) - this will allow people to implement advanced logic on their own. If you expose user answering or skipping the screen as event, and ability to bring the screen back up as action, users[0] would be able to easily add features like "bring up Intenty screen when user attempts to open specific app or apps during work hours", or "make skipping require solving an ordinary differential equation shown rot13-encoded, and write down the answer in Klingon", or whatnot. That could be a good testbed for ideas to later incorporate into the app itself.

--

[0] - Those that also use Tasker. I'd wager that for your target audience, the proportion of such users is much higher than in average case.
> Twitter fundamentally offers no killer feature.

Less censorship is a pretty important feature
Weird to see this here! I've used CoralBlocks in the low-latency trading domain previously. Highly recommend. The API is kind, they're very responsive, and the latency is exceptional (and comes with all the basics like thread pinning built-in for convenience)
> Perhaps The Onion should ask - who gets most promotion of this?

I think the idea is the US’ terrible gun situation
Core counts have increased dramatically. The latest AMD server CPUs have up to 192 cores. The Zen1 top model had only 32 cores and that was already a lot compared to Intel. However, the power consumption has also increased: the current top model has a TDP of 500W.
The point is that if an ecosystem needs to be "collapsed" to effect beneficial change for the humans living there in order to not die of illnesses, then so be it. Even referring to removing mosquitoes as "collapse" is not understanding the core argument, because not all collapse is bad and not all preservation is good; there is no value judgment in saying collapse but you are adding one there inherently.
If you want to hire someone to walk your dog you probably won't put an ad in the New york times to a head hunter that you will pay by the hour with no oversight and it would be totally unfair to that head hunter when you don't want to pay them for the time of all those interviews. But an infinitely scalable service you somehow can't put immediately terminal limits on is somehow fine on the cloud.
Thanks for this answer.
Async support is handy if the framework in which you're using the tools is async (let's say FastAPI). See my answer to a similar question on reddit: https://www.reddit.com/r/Python/comments/1fvv11p/comment/lqb...
My abject terror scream is a last chance for comedy.
Show HN: A free AI summarization web app
Good luck auditing even just a single day of moderately active web browsing.
How does this compare to dustmite (https://dlang.org/blog/2020/04/13/dustmite-the-general-purpo...)?
Recently read that if you are going to be using an LED bulb in an enclosed space, buy bulbs designed for the high temperature, otherwise you WILL get premature failures in bulbs that will last for years in ordinary lamps.

https://duckduckgo.com/?t=lm&q=led+bulbs+enclosed+fixture+ra...
The problem is that the copyright period is too long, and it is not dependent on whether or not the copies are still being actively sold.
They'd be very expensive. Is there really a consumer market for large amounts (tens of GBs) of RAM with super high (800+GB/s) bandwidth? I guess you'll say AI applications but doing that amount of work on a mobile seems mad.
I wonder if when language models are better integrated with image generation models it’ll get any better at this. Or is this a fundamental issue that can’t be solved - it’s not like we’re going to add these edge cases to the training data
I have 128gb in PC (largely because I can) and android studio, a few containers and running emulators will take a sizable bite into that. My 18gb MacBook would be digging into swap and compressing to get there.
IMO the primary reason is the difficulty of supporting older titles across various modern systems, for a too small of an audience. If older games were so popular GOG would dominate the market by now.
This is not surprising, and unfortunately, this situation is unlikely to get better any time soon given our increasingly conservative (corp friendly) federal courts. It's really a shame because these corps have shown they can't be trusted to properly archive their own games, and any change of ownership or economic fortune can mean they are lost forever.

From a personal level, I'll just keep doing what I've always done. Help archive the things I can. Support and buy games from smaller devs or publishers who care about their games. And if you want to play something from a shitty AAA dev, nothing is stopping you from playing it anyway for free and just giving the money to your favorite charity instead. Consumers can have a lot of power if they choose to exercise it.
An existing research exemption for copying materials has existed for many decades. Libraries have copiers.

That they ruled that this specific case is not covered by that exemption is unfortunate, and the argument is not the slam dunk you appear to think it is.
Why? We have no records of other writing systems that have been conclusively dated to be earlier, and in this case (unlike others, e.g. Chinese) we DO have a very clear record of the development of the script, from accounting symbols to pictograms to ideograms to phonetic transcription. It definitely did not derive from an earlier script, as we see the progression of development in isolation.

So why can't we call it the first?
I think it fits this case. It's an open secret that despite constant public statements from games publishers about their old IP still having value that it's actually a scheme to push consumers on the new content treadmill. Now we have someone confirming in court that it's exactly that.

Which is a terrible misuse of copyright that goes against even its most publisher-friendly interpretation.

Meta: I don't think the phrase is actually overused, I think it's used so much due to so many companies all discovering at once that they don't have to spend time crafting a plausible cover narrative, and that nothing will happen if they just say they're being shitty and there's nothing you can do about it.
Hey, that's very helpful to know. I'm semi-shopping for a battery to take out for ham radio things - looking at the River 3 and an Anker C300. Haven't dealt with EcoFlow before but Anker has taken care of me on a couple of warranty requests in the past. Thanks for the heads up!
I think that's pretty standard outside the Apple ecosystem. HP seem to have this on most (if not all) the laptops I've seen at $DAY_JOB which uses HP for all laptops.
1000% agreed, especially the silent carrying on with the topic without acknowledging the cancer actual link. I know e.g. Deng is a real person who works hard to make HN decent, but wtf is this, are we just going to accept Daily Mail links too?

I weep for the internet we had as children.
I'm not sure why this seems to be a needlessly negative reply to a fairly benign comment. Yeah, of course a child is unaware of those, it's just a fun observation by the commenter, you don't have to read so much into it.
It only learns like a human when I use it to rip-off other people's work.
But it is based, ultimately, on a doorstep sized book of hard hitting journalism about the participants and victims of the drug war by one of the writers and the real life experience of a journalist, a cop and a teacher. And it shows.
What a perverse world view. The writer thinks we exist because the government allows us to exist. What an idiot.
I guess they would be okay with preservation if no one played retro games?

That was a rhetoric question, because I think they would only be happy if retro games became unavailable, so their profit grew a bit next quarter.

I don't even think retro games eat much of their profits, otherwise they would see it as a business opportunity, but their posture only makes sense if there's not much profit to be had in that niche.
And it all goes right into your friendly LLM training data and then spewed right back out again!
this is too funny. comparing X before and after Musk takeover… wowsa… can’t believe this is even a thing anyone can say/write with a straight face
Supporting that theory: my HP EliteBook does have a slide-over cover.

(It could also be contention between thickness of the display vs enterprise customer sensitivity to cameras)
It looks amazing, but I'm wondering what are your plans to monetize it.
https://web.archive.org/web/20241127211958/https://www.busin...
That whole conversation is worth listening to
That sounds nice. In my case, I rely heavily on many "essential" apps that are available on smartphones. Maybe the approach of having another Kale phone and a "Junk" phone is a thing (https://x.com/george__mack/status/1681378342627311640). And Punkt will be a great candidate for Kale phone.
It is not a given that we should incentivize the production of cultural good beyond of what is already achievable.

I should note that there is already strong intrinsic motivation to create and there are already too many works to read, watch, or listen, and a lot of slops created clearly to make money.

People are willing to accept deplorable working conditions to pursue their dreams, such as developing video games.

Since I do improv, most of the value I created are on the spot and ephemeral anyway and I basically perform for free anyway. I would stand to gain if people go out to theaters and other avenue as opposed to consuming content on netflix.
Needing an account to view replies to posts is one of the (many) reasons why I only use X through a proxy. I've been running and using nitter for years, even when you could peruse twitter without needing an account and do not see any reason to stop doing so. That said X is the only platform where you'll regularly come across opinions different from your own no matter where you personally stand. On Mastodon (and on Pleroma instances which I have experimented with myself), on BS and on Lemmy (which I also experimented with) you'll either be welcomed as a comrade or shunned as a foe with not much in between. While BS theoretically could be a place where the whole GAL-TAN spectrum is represented it currently seems to harbour mostly those on the left two quadrants - left-liberal and left-authoritarian. Even if and when the other two quadrants become populated the blocklist feature will probably keep the separation in place for many if not most of the ideologues. It will be up to those around the centre to go light on the blocklists so they can interact with those on the other side of the X and Y axes.
No problem! To be fair, turning multiple on at the same time would be a great (premium) feature, for people who want to work on multiple things like me :)
It's funny how they keep actively pushing normal people towards, rather than away from, piracy (or copyright infringement).

From a certain angle it could be seen that they're backing people into a corner from which the only escape is piracy, and once the convenience of that apple has been tasted, it's difficult to go back to the sub-standard service provision and heavy usage restrictions of the 'legitimate' world.
One thing I’ve heard repeated all over the internet is that NASA has great studies and guides on electronics longevity, but I can’t seem to find much online and most of what I find is about radiation, temperature or motion hardening which isn’t as relevant on Earth. If anyone has specific links I’d love to read them.
Decided in Eldred v. Ashcroft. As long as Congress stipulates a non-infinite copyright term, it's constitutional. Given that the chance of a human being eventually ceasing to live has been 100% so far, it's legitimate to assume that life + n years is still a finite period of time.
Those cultures postdate this part of the chronology by about a thousand years. And in any case, the article is just quoting what the records say.
Don't bother Mark, he's working on chewing crayons.
It interesting that this vulnerability has not had the flag raised in the wider Lisp community, since it also applies there.

Most of the packages and modules that the Lisp systems have are shipped as source code, and compiled on site. That suggests that innocuous importing of a internet sourced module can wreak havoc on your system just by loading it, you don't even have to run it.

Granted, it's not quite the same as having something like auto-complete drain your bitcoin wallet, but it's close.

Most every other eco system you actually have to run the code itself to be worried about an exploitation (which, mind, in today's world is a low bar, but a bar nonetheless).
The "why" is often habituation
Yeah I’m very interested in this. I’d love to be able to easily create digital representations of handwritten notes, even if that requires me to markup specifically-formatted documents.

I love reading paper (and eink) but I hate losing notes, and I don’t have a good process for importing those notes to my Logseq database.