skysight-inc/HackerNews huggingface dataset:
The v1.3.0 version was released 3 days ago.

https://github.com/dragonflydb/dragonfly/releases/tag/v1.3.0

If you want to integrate it, you also need to check the Software License.

https://github.com/dragonflydb/dragonfly/blob/main/LICENSE.m...

Dragonfly Business Source License 1.1

License: BSL 1.1

Licensor: DragonflyDB, Ltd.

Licensed Work: Dragonfly including the software components, or any portion of them, and any modification.

Change Date: March 15, 2028

Change License: Apache License, Version 2.0, as published by the Apache Foundation.

Additional Use Grant: You may make use of the Licensed Work (i) only as part of your own product or service, provided it is not an in-memory data store product or service; and (ii) provided that you do not use, provide, distribute, or make available the Licensed Work as a Service. A “Service” is a commercial offering, product, hosted, or managed service, that allows third parties (other than your own employees and contractors acting on your behalf) to access and/or use the Licensed Work or a substantial set of the features or functionality of the Licensed Work to third parties as a software-as-a-service, platform-as-a-service, infrastructure-as-a-service or other similar services that compete with Licensor products or services.

...
> typed banned tuples

I think you mean typed named tuples
The issue is that to satisfy this bill should it become law, the automakers will likely need to address the issue of high noise floors in electric vehicles. That is not something an average consumer will be able to work around/buy as an add-on.
The idea is that you'll come back to this code years from now. You'll have your head full of other projects and code bases by then. You will have only a faint idea of what that old code of yours is doing and you won't remember how and why. Anything that can help you to understand your code is good.

The same reasoning applies to other developers working on your code next month. However if your Python turns out to be very far from idiomatic Python you're not helping them the slightest. You're doing harm to the team and to your career, unless everybody agree to make it the company standard and you have your back covered.
Also, Neeva was founded by Sridhar Ramaswamy (ex-SVP of Ads at Google) and Vivek Raghunathan (ex-VP of Monetization at YouTube).
I once made that remark to Tim Ferriss when he talked about hacking meditation. It was tongue in cheek, but he was very pissed.
Also, basically the entire Phoenix Wright series is an exaggerated satire of the Japanese legal system, including the ridiculous way the defense attorney characters you play can only get your clients acquitted by specifically proving that someone else did the crime.
Hmm, could you explain what makes it terrible?
A tutorial on Principal Components Analysis (2002) [pdf]
The thing with type hints in Python is that it's not enforced unless you make and maintain checking it as part of your workflow. And it comes with a bunch of things, at least: make sure to configure mypy, make sure you run mypy after push (experienced pythonists will forget to run it before), make sure everyone's IDE has it integrated, make sure to be super clear on which version of mypy you run (so errors people see in their IDE are the exact same as on CI). And don't forget to update all this when new version comes out.
The whole point of Python is to interoperate with existing Python code, which is unfortunately already everywhere and won't go away.
When the tech boys start asking for new regulations, you know something’s up
That is a very common perception from people whom haven't given him any attention. I used to be in the same boat but it was eventually very interesting when I listened to him.
Tyson Fury’s fight against mental health and addiction
Stupid position.. Australia has mandatory voting and there is a fine for not voting, but anyone who does not want to formerly place a vote can just cross the page and put it in a ballot box to avoid making a decision - but compulsory voting here is not because Australia is an Authoritarian country, we're just not stupid..
I don't see how using horses would have avoided any of those issues.
The medium is the message. Embedding anti-capitalist discourse into capitalism is how progressives get coopted and neutered, always.

You don't have to be a maximalist to express ideas, but if you express maximalist ideas (and Klein does), then it's only reasonable to expect you to be coherent. Otherwise you're just playing a part, for the benefit of a system that requires token opposition.

To be fair, she occasionally tried to be coherent - supporting Chavez in Venezuela, for example. That didn't work that well either.
More and more I see incentivized tweets verified through the scraper route. I imagine tweet postings will similarly go through a more brittle bot based route.

The advantages of an open and easy to use API are to avoid these hackish solutions and to corral would be spammers and other purveyors of low-quality content into easy to monitor channels.

Charging for API access makes it harder to analyze would be spammers. While legitimate users of automatic posting like the author are further burdened by setting up their own bots.

That said, one of those API glue sites probably offers a still working RSS to tweet feature.
Most people don't know a real programming language. (And using types in Python/PHP is a good way to start.)
I don't know how well the results hold up after a year, but according to Redis the Dragonfly performance test is biased and with Redis configured properly it reached higher throughput than Dragonfly. YMMV but just putting this up here. Personally I never used Dragonfly so I wonder if the "marketing metrics" actually hold up in production.

https://redis.com/blog/redis-architecture-13-years-later/
> I don't really understand how important these design patterns are because in the programs I write, I usually write the classes and call them in runtime myself.

One of the biggest learning moments in my work has been collaborating my past self. You need to have stepped away from some piece of code for a while to get this. If the code is not well organized you will think an alien wrote it.

It's only over time you realize that "it works because I know how to use it" is actually a problem. Over time you also figure out how to write the code in a way where you aren't surprised at your own decisions.
You can go into finance with the mildest of personalities, write financial middleware or support existing code bases and still earn six digits.

Do you think you need to be a trigger happy real time shark to craft that HFT backend code on top of which the actual trading will take place?
> I've seen a bunch of code like this, usually written by juniors

Yes and I'm going to be honest, my first worry when type hints came around is that the language would be inundated by the java drones where they would enforce this 100% of the time.

Instead it seems people are mostly using it where it makes sense (APIs, etc)

Type hints are a great asset. You don't have to use it everywhere. And it should remain that way
There's a reason for the saying: "There are lies, damned lies, and statistics".
TLDR Newspaper: Rewriting the News in TL:DR Format with GPT-3
TL:DR News is the AI equivalent of Rupert Murdoch. We collect the news, rewrite it and tell you the key differences between different sources. Next to the news site we are working on AI Generated newsreels that we'll post as YouTube shorts later this month.
The Guardian Optimizes Mobile Push-Notification Delivery Architecture
Yeah, the sleep is a mess with new hardware (and MS also does not help, with the new OS sleep). I have a "creator"-targeted MB from Gigabyte and it does sleep, but if it wakes up immediately after I put it to sleep (because of a mouse move), it does a series of 7-8 BIOS initalizations/restarts and it resets the full BIOS in the process.
At least in Australia, our national emergency broadcaster is primarily on AM. Commonly in bushfires, floods, etc, all other infrastructure can be knocked out in the initial moments, and AM tends to be the last resource standing.

I do not know what large natural disasters are like in the US, but expect that would only become more frequent and severe, with a similar kind of failure rate across technologies like FM and mobile phone coverage.

As many countries would likely follow the pattern set by large car manufacturers affected by this bill, I am heartened by it and hope it passes.
> Not really. Kagi weeds out those pretty well in practice. The results are mostly same as from Google, but the crap is removed and organic sites get a boost.

It doesn't do that because that's impossible. If you search for something that's in the news, you visit the news site retrieved by the search engine. That has no bearing on the fact that site will, most likely, be heavily ad supported, most likely.

> organic sites get a boost.

Sorry but I can't infer any meaning from that fragment. What is an "organic site"?
Sure but then the image gets copied shared reposted etc. If the images had cryptographic provenance included, sites like Reddit or Twitter could verify and display that, or lack thereof.

I would use the same infrastructure as HTTPS, so an image could be signed by bbc.co.uk. That way if you trust that domain you could trust the document, wherever you come across it.
> Strict typing is good, and you should definitely use it, but you should still have good names.

Linters and type checkers will understand type hints. They won’t understand your naming conventions.
> when system functionality grows beyond retrieving only by a cart ID.

Either you manage your system so it never ever uses any other key than a cart ID (services have been running for decades keeping the same unique ID, that's not some unreasonable thing).

Or you migrate your data to match the completely wild new requirement, and taking costly steps to deal with a funfamental business change would be seen as reasonable in most orgs.
Ecological carrying capacity has something to teach us:

https://www.resilience.org/stories/2022-06-01/the-limits-to-...
"The solution is to pay people not to buy cars."

The solution, IMHO, is to tax car use, based on its areal footprint, its weight, and how much time it spends on roads. That directly addresses the dangers and costs cars pose and incur, respectively, and counteracts the negative sum arms race whereby people buy increasingly large cars to make themselves safer from other people's increasingly large cars.
Languages that you would build serious production software in, rather than some script.

C, C++ are the main ones.
I was sure it was gonna be another James Hoffmann video but I was wrong.

You can indeed noticed these fermented flavours if you buy natural (not washed) processed coffee.
Type hints communicate intents. They can be used for many things.

Django-Ninja use them to do dependency injection and generate schemas for your API (using pydantic).
autodoc use them to generate the documentation of your function.
etc...

It does not replace duck typing, proof here: https://peps.python.org/pep-0544/
Maybe i got carried away amongst comments by NPs like 'stop eating tomatoes, eat turnips' and 'if you cant afford a cheese sandwitch, dont have a cheese sandwitch"
I guess that no matter what, it's impossible to believe people made things and the magical forces of the universe made it so only a specific people gets to make these things.
> The film industry of today got started because of misfits refusing to toe the line of the anti-celebrity industry bigwigs, it's why hollywood exists where it does (easy to skip over the border to film).

The history I've heard didn't involve celebrities... The movie industry began in the East coast. Movie producers began to use a variety of cameras, and Edison's Motion Picture Patents Company tried to stamp that out by sending gangs of thugs to beat people up and destroy equipment on productions that didn't comply. Plus a move to the West Coast meant better light for productions as well as cheaper land and labour (as Hollywood was just farmland at the time).
It's a red herring, only reaction videos would do that. Studios are going to double down on the current quantity over quality gambit they're running and not mention AI after this because AI tears are the first real entertaining thing to come from them in a decade. AI will not divide us.

I expect a lot more meandering miniseries MMO style where tangents for quality are pay-per-view. Mainly because if they try to starve out their audience with dither and delay tactics pirate AI will win.
> This kind of demonstrates that at the fundamental level, physics has been stagnating for quite a while, no?

Yes just like computers. Since 70 years they still fetch instructions and execute them, no improvement in this field. /s
I'd at least have time for the argument that they enable exploration of areas that are impossible to serve with transport, but that's why I don't actually hate cars, just car dependency. They also saved New York from mountains of horse poop.
Typically, the selection of a programming language is predetermined in brownfield projects, leaving little room for choosing the "ideal" programming language for migration unless it is absolutely necessary (go can be a suitable option for migrations).

Code, like the one provided by the OP, should be valued and encouraged to prevent future bugs. Incorporating tools like Mypy during pre-commit and pyright during code editing can make a significant difference. This approach helps eliminate the need for writing unnecessary unit tests that check for None type.

In my opinion, as a mid-senior developer, I always appreciate the use of types in Python. If you are confident about having predictable inputs, you can rely on duck typing and use it primarily for scripting purposes.
How does any of that effect the fact that the results will probably be the same, taking you to the same page as bing or google, which in turn are ad supported?
No, we have come full circle with added layers of complexity.
I’m sorry but this is a bullshit article. Turkey’s voter turnout has nothing to do with the fine, people are irrationally politicized to the point where they don’t talk about anything else. Turks wouldn’t care about a 8€ fine… Besides, why post this here on Hacker News? What sort of relevancy does it have with this platform?
You have definitely differebt definition of "amazing martial art". Just pushing out of opponent is not even martial arts
The increase would bring it [Japan] into line with Nato countries and make it the world’s third-biggest spender on defence after the US and China.

https://www.theguardian.com/world/2022/dec/16/japan-approves...
> Nevertheless, I enjoy reading the debate.

> But anyone wringing their hands over how much is GPT thinking is missing the point.

You seem to be missing the point.

> These debates about how well GPT can think seem merely philosophical.

Merely? Yeah, you're missing the point. You want a debate or you think the debate is meaningless? You don't get to appreciate it and call it pointless and sound reasonable at the same time.

> The ship has sailed. The revolution has started. Progress will undoubtedly be rapid and continual.

It started 2 million years ago when humans started roaming the planet. We're clearly a runway process. We don't need a chat bot to prove it.
So you deny that the industry used Python to build serious production softwares?

Understood, no need to argue then, I don't think any amount of proof would change your mind...
Thanks! BTW, there’s a bunch of minor corrections and clarifications here: https://sites.google.com/view/elizagen-org/the-original-eliz...

And if you’re into this sort of thing, just yesterday Mel Hogan, host of The Data Fix, released an interview with the whole ELIZAGEN team: https://shows.acast.com/the-data-fix/episodes/chatter-with-d...
> In all my life, I've never had downtime due to an automatic certificate renewal failing.

Do you have a WAF? Can I register a fake domain, point it at your IP and send it ACME requests? Getting a bunch of 404s from LE will wind up getting them blocked by your WAF.

Then when your server wants to renew its certs, it can't because LE got blocked. This exact scenario happened to one of my personal domains a few months ago. I hope you check the email you registered with LE.
Hmm, we need something a bit more deniable.

"I swear this essay is free of AI generated content or plagiarism. Every analysis that indicates otherwise is a lie, and every dumb AI that indicates otherwise must be deleted."
r9: Plan 9 in Rust
> My current (tentative) resolution of the surprise is that language encoded way more information about reality than we thought it did.

"A whole mythology is deposited in our language" - Wittgenstein
> Seems like the doubters were quite right - our ability to go anywhere is now dependent on forking out $25-50K for a car, hundreds of dollars in insurance payments, hundreds of dollars in gas payments, hundreds of dollars in parking, tickets/fines, tolls, registration, licensing.

As opposed to what? Horse and buggy? They required constant work and had very limited range. Automobiles were the first innovation that allowed people to truly go anywhere, and conveniently.
Lots of production software is written in Python, for better or for worse. In fact, production software gets written in every language eventually, no matter the intent of its designers. Maybe you only write your production software in C and C++, in which case good for you.
You can always leave it on github or some similar service, you don't need to "pollute the global namespace for your pet project"

And yes you can install it from pip, etc from there
Cool post, I've also been using more and more type hints and it really makes writing python more enjoyable.
Although unfortunately it's still quite common for libraries to not have type stubs.

On the section of construction functions, I've always used/seen `@classmethod` instead of `@staticmethod`.
I just had a quick look at some big python libraries (pandas, transformers), and they do use class methods.
Is there any particular reason you'd want to use static methods instead?
So many open bugs and each one of them sounds worse than the other... Use after free.. I'll wait for the Rust clone ;)
That's good, isn't it? It means we've discovered the actual fundamentals of several areas. People still need to know how forces work, thermodynamics, that kind of thing.

New areas build on those areas so we don't expect them in a course about the fundamentals.

It would be concerning if every 20 years the lessons got completely turned upside down.
Reasons not to become famous (2020)
Another one I came across recently that's got a great interface:

https://bitsearch.to
Why do such drivers need to live in the kernel? (Genuine question from me due to lack of context/understanding, not trying to critique anyone)

Lots of audio processing is already happening in userspace (think pulseaudio / pipewire), and putting USB drivers in userspace is also something that I think would simplify development. Or is there no ready-made infrastructure for that yet?
ChatGPT loves that shit. My favorite is asking it to help with code, and having it spend at least a paragraph telling me how to install all of the libraries it'll be using.
What is the smart money doing for type checking in Python? I've used mypy which seems to work well but is incredibly slow (3-4s to update linting after I change code). I've tried pylance type checking in VS Code, which seems to work well + fast but is less clear and comprehensive than mypy. I've also seen projects like pytype [1] and pyre [2] used by Google/Meta, but people say those tools don't really make sense to use unless you're an engineer for those companies.

Am just curious if mypy is really the best option right now?

[1] https://github.com/google/pytype
[2] https://pyre-check.org/
That's what I'm arguing against also. The default should be 'you don't need a car' - if you insist on having one that's fine, but it shouldn't be subsidized by taxpayers and instead billed at the point of use. Basically all roads should be toll roads. If you want to leave town to a place that isn't served by transit, you can rent one.

Most importantly though, cities should not be designed around them but instead around people, bikes and transit.

> They also saved New York from mountains of horse poop.

Wedding's over, we don't really need the priest anymore ;)
Out of genuine curiousity, what do you consider as serious production software? C C++ would probably help in embedded but I highly doubt they are used in every other domains.
I really like the extra audio bits before and after the lectures proper - they were removed on the commercial CDs. (“Why don’t they turn up on time!”)
Generate a state chart diagram for an AI face generator website.
> Juno is a disk-based store

The question is definitely interesting. And to be fair, Juno was originally in memory.
Yeh but isn’t the Redis one just a biased?

What might have been interesting would be to test on a range of cores / clusters, and consider the overhead of managing 1VM vs 64VMs etc.
> Don't charge for your time if you can negotiate a better arrangement.

Charging for time makes perfect sense in some cases, though. If you're working for a pointless startup that is likely never going to be profitable (or "exit" while unprofitable), you can't express your rate in terms of business value because, well, there isn't any.
Generate a state chart diagram for an AI face generator
Because the original Redis is the fastest already ?
What the skeptics seem to get hung up on is the lack of common sense. These LLM’s are trained on language describing the world, not on the world itself. They lack the lived experience that we take for granted. So it is trivial to ask them common sense questions and see them fail amusingly, but that is unfair because they haven’t been taught the world, only a linguistic map of the world, and the map is not the territory. Also, we don’t even know what map they learned, because the only way to know is to ask a million questions, like an early seafarer discovering the shape of a foreign continent beach by beach.

LLM’s are not people, they lack common sense, but they understand and can reason about what they are trained on. That is exceedingly powerful and very useful even at today’s level of ability, so products built on top of this technology are going to transform everything. The trick is boxing it in and only making it do things it can, so the art of LLM product development will have to become a whole subfield of software engineering until the LLM’s develop to the point where their map of the world is close enough to the world itself.
Indeed. But given negative externalities are not the job of companies to compute (because they don't get to define them) the establishing and enforcing of non-mark-distorting negative externalities is government's, and it's government's failure when it's not done, or not done well.
Even bands who are not so Kremlin connected these days have called attention to the phenomenon: https://youtu.be/GEWIfS7ZIr8?t=125

That said, I find being against diversifying political risk —whether the antagonism be rooted in oligarchism or in populism— to be pretty petty-parochial.
Whenever I see someone arguing their code is better because it's multithreaded, I cringe.

Most developers cannot do multithreading correctly, and unless you're particularly good about it it's just going to introduce not only lots of bugs but also performance problems.

The only folks in that space that seem to do it well are ScyllaDB.