skysight-inc/HackerNews huggingface dataset:
Funny that you cited GitHub action, because I find that to be the absolute tedious devops boilerplate that chat GPT excels at, and have had it write several of them for me already.
>I think if people feel the need to explain the concept of a library and this is some shadowy samizdat notion now we might as well give up all pretense like we aren't in a dystopia.

The author is being sarcastic. He knows very well that everyone knows what a (book) library is. How can you not tell that by "a few hundred years old already"?
There are hundreds of thousands of C++ applications out there running everything from factories and warehouses to airlines, airports, large enterprises, cars, aircraft etc. It’s like COBOL but times 10000. C++ developers will be needed for a very long time. Not to mention that new C++ projects are being started every day. And yes you will probably use LLM as a tool in your tool box working on C++ code. But it’s just a tool. There are hundreds of other tools already being used by C++ developers to automate things. LLM is just another one.
Where does it still exist? I'd appreciate a PM :-)
The resolution criteria for a Metaculus question[1] attempts to explain what a "weakly" general AI might entail. The question will be obsolete and the definition of AGI might need shifting if some things turn out more or less difficult than previously assumed though.

"For these purposes we will thus define "AI system" as a single unified software system that can satisfy the following criteria, all easily completable by a typical college-educated human.

Able to reliably pass a Turing test of the type that would win the Loebner Silver Prize.

Able to score 90% or more on a robust version of the Winograd Schema Challenge, e.g. the "Winogrande" challenge or comparable data set for which human performance is at 90+%

Be able to score 75th percentile (as compared to the corresponding year's human students; this was a score of 600 in 2016) on all the full mathematics section of a circa-2015-2020 standard SAT exam, using just images of the exam pages and having less than ten SAT exams as part of the training data. (Training on other corpuses of math problems is fair game as long as they are arguably distinct from SAT exams.)

Be able to learn the classic Atari game "Montezuma's revenge" (based on just visual inputs and standard controls) and explore all 24 rooms based on the equivalent of less than 100 hours of real-time play (see closely-related question.)"

[1]https://www.metaculus.com/questions/3479/date-weakly-general...
Why do you think ebook licensing is cheap? The big 5 all have "metered" licensing, where licenses expire and require repurchase after either a certain period of time or a certain number of checkouts. These are usually set up so that every ebook will have to be repurchased every 1-2 years. Furthermore, ebook prices are usually between 1x-3x the physical list price depending on publisher, date of publication, and popularity.
i mean i don't know what i was expecting but you successfully fork bombed me
Have you seen their suicide statistics? I guess this also counts as people knowing when they've had enough...
no, this is exactly not what I want. Thanks though.
Computer History by Balenciaga
I suggest you watch Tom Scot mentioned in another comment and it might change your opinion. When OCR system was initially started 50% were done automatically. Today that is greater than 99%. Less than 1% are now handled by the Utah center and they it still going down (After closing rest of the centers already and Utah center is last remaining one).
So fast that Apple Silicon introduced specific memory instructions to handle ARC counters.
Open-source AI: LAION proposes to openly replicate GPT-4
I agree with this. My mom is a 1st grade teacher for almost 40 years now. She tells me that she can tell whether a kid will be successful based on interactions with their parents. If their parents are a lost cause, the kid will be in most cases too.
I always felt the lack of an ABI would hurt Elm, even though I understand the reasons for it.

If you are "ML curious" then I think that Fable / F# is currently the strongest option for compile to JS languages. It definitely benefits from being a mature backend language already.
Hobbies don't go away because there's a more efficient way of doing something, because they don't have to be profitable.
Holy shit, it seems that it is really dead, seriously, wikipedia has already taken it down. bros im so f###ing scared

"During early April 2023, the website would abruptly go offline without warning, officially ending the project after 23 years."

its apparently over, although it is not an official dead, at least not confirmed by its authors.
So then they move to another country, who maybe wants to use it for nefarious reasons, who won’t tax them.
2023 edition: https://press.princeton.edu/books/paperback/9780691242057/th...
https://en.wikipedia.org/wiki/Gigablast
Ever look into Touchdesigner or Resolume to drive it?
Ha, this is a nice coincidence. I was looking for a cool domain name a billion years ago and came up with Backslasher since I was just learning text processing in Bash/Perl.
My lifelong goal is beating the same-named horror film in search results.
I really think you're overestimating the average postal worker's sense of "duty" as well as how the post office works as a whole system. The USPS once delivered a postcard I sent to myself, because their system confused my "from" address with the "to" address. When I complained, they told me to go buy another stamp and send a new postcard. My postcard was crystal clear to a human, but somehow their automated system got it confused, and yet they acted like it was my problem, not theirs. This was about 15 years ago so maybe their automated systems are better now, but I don't think their "duty" or "commitment" has changed that much.
Isn't the paper discussing precisely the opposite? That chatgpt predicts text in a way that, with each version, resembles more and more human logic, both with its succeseses and errors?
Link? Does it test what happen if liquid splits on it? If F buttons work by default without Fn? How resistent is paint on buttons?
I send most of my emails as plaintext - have yet to find a problem with it.
Users who don't even know the meaning of "unsafe" almost definitely shouldn't be writing unsafe code.
You can buy commercial displays.

Most things marketed to businesses are still high quality. But you do lose features or design elements.
I'm not a part of this conversation, but I'd love to see those recommendations if you're willing to share.
You’re glossing over a lot of specifics. Who owns the machines? Who dictates how much food you get? Medical care? Who says who can have children? And how many?

Or will this result in infinite food, water, and shelter?
I'd argue that JSON is one of the least Human Readable serialization formats.

It lacks comments. Has no way to offer context. Cannot impose limitations, and normalizing needs additional, often poorly supported RFCs (JSON-LD or pointers).

It also is a poor non-human readable format, as it lacks crucial types (datetime, decimal) is rather verbose (just imagine the terabytes bandwidth wasted, globally on all these commas and curly braces) and cannot be parsed streaming.
Interesting! Personally i don't want it if it doesn't have CEC. I want to be able to control it via something I'm SSH'd into.
FastKafka 0.4.0 release adds in-memory testing
FastKafka, a modern Python library for building asynchronous web services that interact with Kafka topics, has just released a new version that includes an in-memory mockup of Kafka brokers. This new feature allows developers to test their code without the need to run actual Kafka brokers, making the testing process faster and more efficient. Built on top of Pydantic, AIOKafka, and AsyncAPI, FastKafka continues to simplify the process of writing producers and consumers for Kafka topics, making it even easier for developers to work with Kafka in their Python projects.
Reminds me of a talk arguing that drawing the number line in equal increments is counterintuitive coming from the context of the natural world.

The example: knowing whether there’s one or two lions in the bushes is a lot more important than distinguishing eight lions from nine!
Perseus – NextJS alternative in Rust
Perseus is a state-driven web development framework for Rust with full support for server-side rendering and static generation.

v0.4.0 went stable today after a year of development:
https://github.com/framesurge/perseus/discussions/270
Here is a better picture https://github.com/unrealwill/PythagoreanProofImage [Drawn with https://www.geogebra.org/geometry?lang=en]
Same here. Been struggling to remember idiomatic ways to write Elisp. But now with ChatGPT as a tutor I am writing a ton of Elisp to do all sorts of non trivial text transformation stuff, things I‘d have used Python for.
I'm not sure, if it works as advertised. I've been playing with one of the apps and despite selecting "No photos" option, I was still able to upload photos from my gallery. Perhaps some metadata is not shared in this case, but photos definitely were accessible.
If everybody makes the same amount then all you’ve done is inflate the currency. Money is used to control access to finite resources, with the goal to get more tokens than the other person. If you give everybody X tokens per month, then in aggregate things will cost X tokens more.
Beeper: All your chats in one app. Yes
The real formula we used to order servers was more complex than this, and included regional distribution, requirement peaks etc. I can expand more on that process if this is interesting.
However, for the context of this post, this crude approximation suffices IMO
Nice to see WMF in here, I highly recommend their cutlery. Knives that are actually sharp, I never want anything else
Tables are reliable. Css is insane. It is hard to track down where a style is coming from.
Gaming, flight simulator (which is a whole lot more realistic with it), also some stuff like 3D design though the apps are not the same quality yet. VR Chat is also great. Horizons I don't like, it's too curated. And I watch movies sometimes.

I use a quest 2 so there is no setup. Just put it on and go. I stream to the PC too.

The next gen headsets are a lot better too. I tried the pico 4 which was a lot lighter than the quest. But I had to return it as it had a lens defect that is common in certain batches.
NovaCustom also sells some of the same laptops with coreboot (there are a few differences in the configurations, but it's close), and you can choose a custom logo or no branding at all. Unfortunately, there's no option for a touchpad with physical buttons.
So forced adoption? If they wanted it they would vote for it. You don’t see a problem with forcing people to do something they don’t want?

This is scary, some people seem to be so gleeful at the idea of AI taking over everything they’re willing to resort to force to make it happen.
I think any new proof of PT is pretty cool. it doesn't even have to be "elegant" or better than previous proofs. Just a new one.

Will there at some point be a proof that all possible proofs of Pythagorean Theorem have been found. Or for any theorem? Is it possible to prove that all possible proofs of something have been found?
A program about fixing or maintenance on some heavy machinery in Australia: https://youtube.com/watch?v=J0BRlFMK0lY

Terrible scripting and faked moments, but still interesting for the good and the bad.
>I also don't get why you are bringing elephants into this

Because trees are invasive plants and elephants keep them out of the grassland ecosystems.

>especially because there are whole sub-species of elephants that are adapted to forest-dwelling.

Yes, trees did win that battle... potentially because of sudden drop in elephant population because of disease or famine... but it doesn't have to be the case everywhere.

>Savannas contain plenty of trees and other perennial plants.

This is a cause for concern and it is a direct result of the drop in African elephant population from several million to around half a million now.
Ask HN: Tech work that strengthens liberal democracy
If I could work on one problem right now it would be reinvigorating liberal democracy, both in my home in the United States, and around the world. I'm a bit of a jack of all trades, a software engineer, machine learning engineer, and data scientist in one, and a recent startup co-founder, with a strong interest in political science, constitutional governance, and so on; in other words, I think I have a lot to offer, and I'd love to get involved in the right project.

Are you all aware of any efforts in this area? Whether in the corporate world or in academia, foundations, think tanks, startups, and so on. I'm at a point in my work where I can be a bit choosy.

Rust, Typescript, PyTorch, Tensorflow, Vue, and much more are in my tech wheelhouse, FYI.

Just putting out feelers
I'm OK with accepting a certain amount of it. It's a thing. Is there a configuration under which there is no misery? What's the minimum possible amount of misery we could hope to achieve? My problem is that when people's thinking tends to go along the lines of "misery is bad therefore we must eliminate all of it" they come to conclusions that are counterproductive because they're trying to break the laws of physics.
Thanks for a great summary.

Perhaps worth adding that the author Dan Silva went on to create 3D Studio which was another game-changer application.
When people cry that there will be not enough work, the exact opposite happens.

Nevermind that these people aren't crybabies - and that it is incredible condescending to paint them as such.

More fundamentally - what you're asserting as a self-evident fact is massively contradicted by what is probably the single largest sea change in many Western countries in the last 50 years - the systemic disappearance of solid middle-class jobs (and at least some form of community in many places), due exactly to these nifty "paradigm shifts" you are referring to.

https://en.wikipedia.org/wiki/Deindustrialization
I certainly won’t claim that capitalism is immune from abuses or failures. It’s undeniable that it has its failures. But criticising its failures is one thing, while criticising it as a failure is another. To make the latter claim credibly you’d need to argue for a better alternative that either further minimises or eliminates the flaws. What is it?
It’s the majority in Australia too. Point is that the global stats look nothing like the localised user stats most people here would be emailing.
It still seems the right hardware, upstream or downstream depending on which direction you're viewing things from, could keep the connection alive with the HDID pre-negotiated. Like, assume the hardware doesn't change between switching. If you're the TV's firmware and have the CPU power to, why renegotiate when switching inputs. Solve for the default case and have it standing by and running hot. it's not like the panel is going to change in the interim.
Don't get me wrong, I like what Kiva does in theory, but it's definitely not charity. They mainly just partner with 'microloan' companies in poorer nations, who themselves can be pretty relentless about collecting their money back.

They often have pretty ridiculous interest rates, such that if you don't make a ton of money from it, you're trapped in debt for a long time. And yes, they'll come to your home to collect. Think of it as basically more aggressive payday loans. To be clear - not Kiva, but their partners.
We ended up doing that. We decided that while we have to store the stack, it can't hold 20 years of history.

> creating a dedicated real stack with self-imposed size limits and reporting.
Something perhaps less well known:

Bartosz Milewski on Category Theory

https://youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa...
So push forward and if it destroys humanity then so what? Is that also a separate problem?
Aren't there browser plugins that remap colours in ways that are useful for color blind people? It seems like a trivial thing to make. Could even map some colours to patterns.
This is awesome. Is there any way in Roblox we can whitelist games? The problem with allowing Roblox is kids go there and do all sorts of other addictive games and activities and forget what they were there for.
Lo-rain is an app that makes it rain in macOS, even over windows
Hello! I released a few days ago lo-rain, an actually native app that creates a fully customizable rain over everything in your MacOS.

I’m a developer and I built it for myself, I love coding with the rain over VSCode :)

I hope you enjoy it!
1. I 100% agree about comments.

2. I’m still not convinced it’s the file format’s job to encode every possible data type. We used to have deserialization layers for that, but for some reason, we don’t do that anymore. Nowadays we expect every file format to be self-describing, which I think is wasteful and limiting. But that’s a matter of opinion, obviously.

3. What do you mean by “cannot be parsed streaming”? Or to be perhaps more precise, what’s missing in existing streaming JSON parsers? I haven’t used any of them yet.
Even post covid?
As far as I can tell this is misleading? Look at the manual brandonagr2 linked for example: https://www.tesla.com/ownersmanual/model3/en_au/GUID-2E8E5E0...

Data Sharing you can turn off, but Data Sharing is different from data sharing as a concept. The telematics appear to get sent regardless of what you do. It seems they intentionally chose this Data Sharing label to deceive people into thinking that all data sharing would be turned off.
Assuming no-one is using the database yes. Also not trivial to set up and use plus vm startup is somewhat slow.

If your want a full featured product (in the postgres space) that does it then look at neon.tech (no affiliation).
By "blatant hypocrisy" do you mean some kind of motte-and-bailey? You are suggesting people upset about cancel culture are cancelling others themselves?
> TV does _tons_ of processing to display SDR content (24fps pulldown

I keep hearing this. How did we do it in 2005? Because I was definitely watching HD SDR content on large displays in 2005, and we didn’t have the monster SoCs back then that we do today.

In fact it wasn’t until modern “smart” displays started coming out maybe 10 years ago, Cable switched over to HD content, etc, that I started noticing major issues with jutter, lag, etc.
A wild example of this is from a paper published ~10 years ago: researchers wrote a program that would display an image, then slowly change the color of a significant object in the image. It was an unmistakable change, like turning a big object red in a grayscale image. When the change was slow enough (IIRC ~20-30 seconds), it would become undetectable to human perception if the person stared at it—even when explicitly told to look for a change. They published a demo video and I remember shocking several people with it.

Can’t remember the link. I might have found it through HN.
Damn, your using very little power. All power use under thr first 500kWh is discounted here in Seattle, your not even burning half that in a month.

Sounds like you live in an apartment or condo tho with other heavy power draws like heat offloaded, which is rare these days. Most rental buildings here got rid of central heat and left each tenant to fend for themselves with inefficient baseboard electric heat.
It's talking about the user mode application development. The Linux system API doesn't change much. May be the newer stuff like io_uring appears recently.

I have the Advanced Unix Programming book. From looking at the copyright, it first started from 1985. It talks about programming on io/file/process/ipc/signal/device/terminal/security/permission/etc. It's still relevant today.
I joined the team long after this was in production, but I can testify that the service has a lot of moving parts and attributing the reliability / efficiency costs for a specific issue was challenging.
> I don’t think so, the transmitter was under the power limit for amateur FM, and it didn’t overlap any local stations.

I think the broadcasting of the music without a license[1] might have broken some laws.

[1] Unless you only broadcast music/content that was in the public domain, or free for broadcast, or similar license.
I tried multiple times to pay more for textiles. I wanted to have some T shirts made at very good American wages, preferably in America. No one was able or interested in accommodating me. Admittedly it would have made their work much more complicated for a small order.
I think you would love this talk by Martin Kleppmann - Turning the database inside out with Apache Samza: https://www.youtube.com/watch?v=fU9hR3kiOK0

He basically explores similar idea, you have a log to persist and materialised views to query.
PWA is your friend
Python because of the growth of AI
I would love to see something like this but for recent kernels, and with notes on compatibility in other OSes
Just stop, this entire argument that a child comes out capable of speaking, understanding speech, and other concepts, is just ridiculous. We all know a child doesn’t come from the factory this way, we can stop over thinking it.
At the midpoint of lockdown when it became clear WFH was going to last, i believe well run listed property trusts 'fessed up to a writedown of the imputed value of their city centre office property.

If they didn't then I'd be sceptical of a return on investment for a while.
I can’t tell you which individual people will lose their jobs, or even which specific jobs will end up being cut and why. Can you? We’re both just making different estimates of the likely overall effects. I’m basing mine in the known historical effects of automation on economies and employment, and the fact that previous arguments that were all doomed by it have every single time turned out to be false.
The best comment for me here. Thank you. Even though I can automate my web app through AI, i still want to learn Rails because I want to.
> No space plane, no faster than sound travel, &c.

Look outside of the civilian market then come back. Also look harder at the civilian market.
China took our manufacturing jobs. Now, you want to take away knowledge work too
June (YC W21) Is Hiring a Senior Engineer (#4)
Use "reading mode" in your browser to avoid the popup. Same as NY Times.
Really confused. Article is dated "April 2, 2023" and linked Microsoft blog is dated "SEP 28, 2022" and talks about a preview for New Outlook going live, but the article says "It's finally here"?
Better distribution is through capital tax, not income tax. Taxing workers even more is the opposite of sharing productivity gains captured by shareholders. Are capital gains and dividends taxed at least at 70% in Sweden?
I wouldn't worry about the rest of the world. Clean up your own house first.

Here's a project for you: end gerrymandering. Gerrymandering is spectacularly corrupt and yet it is still practiced in the United States:

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

Eliminate gerrymandering and you will have taken a good step forward.

Good luck.
There are plenty of places where people live in hotter/more humid conditions. US dwellings and lifestyles are simply very badly adapted at natural conditions and the gap is made up for by expending energy.
I don't understand why they should hate libraries. Libraries get people hooked on books, then they start buying them. At least that's what happened to me.

Libraries typically have a limited length you can keep the books before you must return them. If you really like the book then you will want to buy it.