skysight-inc/HackerNews huggingface dataset:
Yes, you are correct. But regarding item 3, a derivative of the rate of CO2 level change, if the car is decelerating isn't the linear graph should become straight or start curving down? So lets say very roughly:

Graph y=x*2 is curving up, so rate of change is accelerating.

Graph y=const*x is linear and rate of change is constant.

Graph y=sqrt(x) is curving down, so rate change is decelerating.

In this case the graph curving up but YOY numbers tell us that it should curve down.

I've found daily numbers from Mauna Kea. If we take max and min levels for past years:

2023 - MAX=424.63, MIN=417.34

2022 - MAX=421.69, MIN=414.00

2021 - MAX=420.29, MIN=409.65

2020 - MAX=417.97, MIN=410.34

Admittedly it is not scientific measurement, but as a rough estimation it does look like 2022 to 2023 is higher than previous. And looking at the complete graph it is visible that the bulk of measures curves ever so slightly up, meaning positive acceleration of rate.

PS: I don't pretend to know more than data scientists of course. I'm just concerned that this emissions estimations are a perfect storm to produce misleading data. Because a) it is hard to estimate as an emissions, b) both pro-change and contra-change parties have financial incentive to produce numbers that show that emissions are lowering even if it is not a reality.
I think the drought poked the eye
The point is that LLMs and similar tools tend to be very good at automating the trifle but not very useful at what would be considered really "interesting" work.

So while your point is somewhat true [0], as he mentions that these tools could become good enough to do the formal verification part, it's precisely not the interesting part. See [1] and [2]; in particular some things that are very easy to do in real maths can be very challenging in an automated theorem prover, quoting from [2]:

>In the analyst's dialect of Mathematical English, this is a one-line proof, namely "by the standard limiting argument". Unpacking this into a formal proof required me to go through a fair bit of the Mathlib documentation [...]

It's impressive to be able to do such mathematics in Lean/Coq..; at all, but it is very tedious mechanical work [3].

>It was more tedious than I expected, with each line of proof taking about an hour to formalize

So I think that rather proves the point of what LLMs are currently good for, and what tools can help for really difficult tasks, rather than invalidate it.

[0] https://mathstodon.xyz/@tao/111305365372766606

[1] https://mathstodon.xyz/@tao/111305336701455719

[2] https://mathstodon.xyz/@tao/111259986983504485

[3] https://mathstodon.xyz/@tao/111305336701455719
You can't expect the entire Internet to always provide enough context for you personally, with your exact level of knowledge, to understand a social media post with no additional effort. How do you expect that to work at scale? Meanwhile, Google is just a tab away.
Then you're just describing your own experience. Unless you're saying your experience is the objective definition of a real life definition. Is there an objective definition you had in mind?
> He was obviously evading questions, trying to pour forth verbiage to distract Sassoon from what she’d asked

This line captures the recent wave of Silicon Valley bullshitters so perfectly.
Paul Rand is the complete opposite of Rand Paul in both name and deed.
Wait, aren't huge trucks slated to be the first ones to be replaced by autonomous equivalents? Making a self-driving long-distance truck is a simpler, more constrained, and easier to solve incrementally problem than making a self-driving passenger car.
He's a pretty smart guy.

Which is why it's so bizarre that he expected to get away with blatantly "borrowing" billions of dollars without permission. Even if he didn't lost one penny he would still have gone to prison for many years.
not really relevant to micromouse
Can someone explain why they did this "practice run" (I guess?) without the jury? It says the judge wanted to find out what answers would be admissible but it's unclear what that means or how the practice run will help here. When they bring the jury back will they do through the whole set of questioning again?
> Unless he pulls out of testifying, the jury is in for a once-in-a-lifetime shitshow.

Wouldn't it be better if these journalists stopped coaching the accused?

The only other effect I see is prejudicial rubbernecking entertainment.
They don't have to physically vote. They just give their ballot slip to a "Community Leader" and he fills them all in for the candidate. See Tower Hamlets as an example.
It's funny how impressions can differ, because my impression as a German visiting the US a couple times was that people there have an aversion towards drinking tap water.

That being said, the takeaway from this study shouldn't be that this is peculiar for the German population, it just happens that the Max Planck Institute for Polymers is located in Germany.
Article I, section 8 of the US Constitution says, “Congress shall have power… to promote the progress of science and useful arts, by securing for limited times to authors and inventors the exclusive right to their respective writings and discoveries.”

The intent of limiting "copying" is that it protects the incentive of people to create, and through creation, progress of "science and useful arts." This video takes an overly simplified view of intellectual property. Imagine you spend a decade researching and developing a new tech product; as soon as it's to market everyone gets to copy it and, at least from a financial standpoint, you get nothing. That means most of the advancement will be left to those who already have the times and means to be scientific dilettantes, like the 18th and 19th centuries.
The content of the Django admin is also basically the applications understanding of the database, making it very verbose at times. The admin has some tricks, for instance it replaces booleans with checkmarks and you can deep reference relationship fields or directly link to their preferred record.

Either way, it's a lot of text that shows up in a consistently stylized and clean way, which is tough to achieve for something like an admin panel.
This actually infuriates me. All those people who spent the last 20 years building adtech and social media. Thanks! You created a world that is now skeptical of tech and makes the rest of our jobs harder.

Frankly, Id be worried with social and ad tech companies on my resume. I basically throw these away now.
My favorite case of "geographical hoax" is Poyais, a fictional country in central america that a con artist named Gregor MacGregor invented for a scam in the early 19th century.

In an incredible act of chutzpah , he invented a whole country along a fictional city of St Joseph, serving as capital, he printed dollar notes from the "Bank of Poyais", forged geographical data, wrote book about it under a fake name.

His scam resulted in a stock market crash in 1825, and the death of at least 180 peoples out or 250 colonists who expected to settle in St Joseph, but instead arrived to Belize.
There are two fundamental problems with social media. The first is the ad-driven revenue model as you pointed out.

The other is the dopamine economy that is driven by getting your stuff to have “engagement”, which is financially reinforced by the ad revenue model.

If any one platform by themselves tries to fix these problems then it will be suicide. The industry as a whole has to do it, and they won’t without regulation.
> Your conspiracy doesn't make sense. No German politican would ever ty to hurt the German automotive sector.

The same German politicians that shutdown nuclear reactors making Germany more dependent on fossil fuels like coal?
how does continuous low-level inflammation cause obesity?
And 1-2% don't matter? That's an odd take. Whom do you serve?
> Inflation on basic goods remains high

Not at the source level anymore, though. Things have already crashed hard there. Retail is still working off futures contracts from last year when prices were very high, so it is expected to be still high. Nothing happens overnight. However, that is not indicative of a long-term trend. Deflation is the greater risk in the near future as those older contracts start to expire and vendors start sharpening their pencils on the much lower new contracts.

> the housing market has not stabilized

It is true that the home ownership market is still falling (now down around 20% from the peak), but that is no doubt a promising indicator in the BoC's eyes. That will eventually relieve the rental market as well. Rents are extra high currently because people are holding off buying a home until the ownership market bottoms out, which has created a situation where more people are looking to rent than usual.

> In my opinion, the BoC responded to political pressure

CPI is the last leg in a long tour. While it may still look grim, all the leading indicators are telling a different story right now. From my perspective, the BoC responded to what is going on in the economy. Their actions are directed towards managing the future, not the present.
After reading all of the post I'm a little confused as to what's wrong with it. It looks fine for a UI bundled with a webframework. I can understand some of the comments in the thread mentioning accessibility issues due to colour/contrast(only example I saw in the comments here)
> Otis intensified so quickly that it basically outran the ability to measure how intense it actually was.

We're working on this problem at Care Weather (www.careweather.com). Current wind sensing satellites only measure ocean surface winds once per day. They're too expensive for governments to build additional satellites for more frequent refresh. We're lowering their cost by three orders of magnitude and launching a constellation to get hourly updates.
I genuinely chuckled out loud, thank you.

More substantively I wonder if he will try to argue his use of the money towards effective altruism made fraud OK during sentencing - surely the money was better spent on charity rather than remaining with the credulous.

Why he’s a modern day Robin Hood! And who could be more deserving of charity than himself?
It is a hurdle. I'd say vast majority of all development time goes into navigating through an endless stream of such trivial hurdles.
Yes, though I don’t use the symbols suggested on that page as they don’t connect with people’s mental models very well.

I just overlay the flows of data on other diagrams, adding notes about the type of the data, and sometimes add info about particular fields, where useful.

Where I work it’s also useful to add the internal classification of the data, which allows understanding of the sensitivity level of the data and its retention policy.
Wasn't the story, human driver hits pedestrian. Pedestrian flung in front of robotaxi. Robotaxi comes to a complete stop. Robotaxi pulls over, running over the pedestrian in the process. Robotaxi owner shows a video to the DMV that ends before the car runs over the pedestrian.
That is in progress: https://www.japantimes.co.jp/news/2023/09/24/japan/science-h...
No, the 3XXXG series do not support ECC; which simply do not work. This is because the iGPU doesn't support ECC RAM.
I agree 100% with what you are saying, but I don't think you need a human connection to have good content. The encyclopedia Brittanica didn't establish a human connection, but it was a valuable resource. An ugly problem with an attention economy is that you are rewarded for seeming useful and interesting, but once the attention has been given, there is no incentive to actually deliver. So we get clickbait headlines and veneer-grade content because that's enough to get the ad dollars, without the investment that original content would require.

To be fair, most web users are happy with the arrangement - they get an endless feed of free tiny doses of dopamine while they avoid the real responsibilities of life. The large-scale effect is decidedly negative, though.
I truly adore the work done here by Hasura. It follows the principles underlying SQL itself of defining an interface where the user request WHAT data they want, not HOW to get that data.

Between this and Postgraphile's Grafast engine, I see a bright future in this space. Well done!
I have written software that has eliminated a lot of jobs. I am not going to jail anytime soon.

It is not a crime to deprive someone of their income stream, so I don't follow why that argument by itself concludes anything about ethics of digital copying. If it does, lock me up as well because I'm going to keep eliminating income streams for the rest of my life.
Twitter? Try going out to dinner without your phone. It goes way deeper than any single social platform. The way we relate to technology has become so weird.
> He's a pretty smart guy

People keep saying this. I’ve seen literally no evidence of it. Open to having my mind changed. (Working for Jane Street for three years is insufficient without knowing what he accomplished.)
> I'd argue it's in decline

can you please expand upon this argument? you didn't really try to convince anybody.
Android is potentially a better example. Compare Android to trying to get Linux working on <some random laptop>. You might get lucky and it works out of the box or you might find yourself in a 15 page "how to fix <finger print reader, ambient light sensor, etc>" wiki where you end up compiling a bunch of stuff with random patches.

Afaik Android phones tend to have a lot more hardware than your average laptop, too (cell modem, gps, multiple cameras, gyro, accelerometer, light sensors, finger print readers)
There's a higher evolution of this seen in certain religious circles. Where any mention of "doing the thing" is reviled, called "impossible", "sinful" even. Any discussion of technique banned from the conversation.

So what they do is the other 3, and wait for a random bolt of lightning, or a favorable judgment from the inscrutable supreme authority, or even declare that the "doing" is in fact the "talking etc".

It's an interesting bit of psychology for sure.
It doesn't work like that at all. Your brain's already plastic enough to be able to (quickly) accept new sensory input if you were given a new sense via prosthetic. Being able to twiddle your third thumb after it grows would be automatic.
Non-shit link: https://nitter.net/synopsi/status/1717394825010688097
Nina Paley has made comics, films, shorts, and she sells merchandise. Clearly something's working for her.
I've really enjoyed many journalist's takes on SBF/FTX, because it really seems like they're all having fun with it. This is an excellent example
That could be very interesting and fun - compelling even. Many upsides. But without risk to life or limb and without a test of human (or monkey, or dog, or self aware AI, etc) emotional and psychological and spiritual and physical limits in real time, it could never be cool or sexy or glamorous or badass or epic or moving.
I'm more worried about preserving information for today rather than tomorrow. E-books you own on subscription services are altered without your consent and can easily recalled if deemed inappropriate.
I think the primary cause of the obesity epidemic is the widespread availability of cheap calorie dense food and a few hundred million years of evolution devoted to making biological machines designed to consume as much calorie dense food as they could find.
Interesting. I don’t fully understand the attack vector, but would it be possible to identify still vulnerable users by searching for e.g. GitHub repos that have versions pinned to these older versions of these libraries or that use dependency versions that enforces a range under these versions?

E.g. if I know pillow<5.0.1 (just making a version up) has this, it’s pretty trivial to find projects still using that. I know folks using e.g. pyproj that are entirely unaware of any need to update this.
Botpress
So true. Got me reminiscing on show papers and Todd P lol
Interesting --- for racing use but not much else.

This is a lot more interesting IMO for widespread application --- and it will run on hydrogen or gasoline.

https://www.rideapart.com/news/618464/erex-one-stroke-engine...
People aren't authentic when they are talking to everyone on the planet at once, unless they are incredibly naive. They are authentic talking to their friends, or family, in private conversations. A lot of people were naive in the early days and it made for amusing conversation, not any longer and these platforms are just about brand management / advertising now.
I'd go a bit more with "being (self-)aware". Being conscious sounds a bit more like a (positive) medical condition, compared to being unconscious, while awareness is more of a mindful thing.
> It is more about stealing an income stream or someone's time and labor. When I deprive someone of an income stream that they are able to generate without coercian (by forcing others to buy)

Very murky argument, because pirating something doesn't mean that if the piracy option was not available, a purchase would happen.
So, was the income stream really stollen, or did it not exist to begin with?

Also, the "without coercion" is also shaky. Copying (for most digital goods) is practically free/unlimited. Everyone is being coerced by force of law/jail to abide by artificially scarcity rules. I wonder about the % of University students that would be facing legal consequences if laws were always enforced when some pages of study books are copied (and these aren't even as simple to copy as something digital)

> they are stealing my labor, my time

The labor already happened, it was not stolen, the revenue speculation was just wrong. It happens to any kind of business, regardless of piracy or not, I would argue that relying solely on income that comes from a good that is replicated almost freely is not a good business practice.

Same shit with Free Software movement, FOSS is not a business model, you can make money with it, but FOSS itself is not a business model, it's up to you to figure a way to make money with it. (And nobody is being stolen of labor when someone clones a repo/downloads some package). Plenty of people made their careers with just Free Software business, and there have been DRM-free games in #1 spot on Steam.

The same applies to any other digital artifact, it's up to you to figure a way to make money, the easiness of copy-ability is part of the physical reality, "artificial scarcity" is "artificial" for a reason.
Ah Syrus, good to hear from you as always. You know, people like to have options :)

As far as options go, I typically like to use what works. Some other options just tend to not work well.
Found the older person!
It’s probably drugs
Yawn. Stuff from the 1920s is only now entering the public domain. Argument doesn't stand when copyright is extended to such absurd lengths.
it's a very interesting question

https://en.wikipedia.org/wiki/Inflammation#Interleukins_and_... is probably a good place to start reading
Evs are great fun toys that I would absolutely recommend to anyone that can afford them and lives in a 2 car household. They are not currently an acceptable replacement for an ICE car in the United States due to infrastructure problems. I would bet we need 10-15 years to get that to an acceptable state
This logic doesn't hold in the case where you would not pay anything for the product.

For example bypassing a NYT paywall with archive.is doesn't deprive the NYT of any income since I would never subscribe to their paper or pay them any money.
Previously I objected to Musk's "Town Square" idea:

>The whole feed based "internet town square" concept is flawed, if anyone have seen an actual European town square you would have noticed that it's nothing like Twitter or similar. In a good town square, you have people minding their own business and the public activities are actually curated(a few agendas that fit in the physical location) and people visit those if they they are interested in.

However, maybe it is a town square but a bad one. Bad town squares are places where everyone tries to sell you something or make you do something and there are plenty of crazy people trying to grab attention and do things you would rather not see.

My "for you" tab is filled with "ChatGPT is great but you are not using it right" posts that look like copycats, the only organic looking content is from anti-vaxxers and all kind of conspiracy theorists and fascist(maybe because ChatGPT refuses to generate such content, therefore the only organic content is that one). Oh an that is organic but not really authentic, that is it is not independent thinkers but solders of a cult or a movement that keep repeating same talking points.

On the other hand, Twitter has become a better product overall thanks to making some stuff like lists more prominent so you have some tools to avoid the crazy town. However, the problem is that even the curated lists are not immune because now the people in those lists are incentivised to grab as much as attention as possible so they can monetise it. Thece are courses and tools made to optimize for that so the content becomes "made for Twitter to boost engagement". Youtube also has it but maybe of the higher production costs and longer to consume content format, a race to the bottom hasn't happen as dramatically. They still can get good engagement by creating higher quality videos.

So what about actual people who don't produce content professionally? The actual authentic content? The authentic discussions are happening in groups of people who know each other(online or offline), that is WhatsApp/Telegram or other channels that allow small groups interact privately.
I feel like nuclear energy is a bad example, because when it goes wrong it's "one big scary thing" as opposed to the papercuts that would add up with dangerous robotaxis. Also the benchmark for car danger is already so incredible low. You can see in this thread the argument that "cars are already killing people, so we as a society just have to decide how many it's ok to have die while we figure out to make them work."

As far as "objectively safer" - not sure how that works (or matters). Since when has safety actually mattered in terms of public opinion? If safety mattered we wouldn't have cars on city streets at all, all last mile would be slow & public and we'd have built our towns & cities to support that.
You can use it for logs. I have a basic example here: https://scratchdb.com/blog/fly-logs-to-clickhouse/

It's just storing data in a database so it persists as long as you want. For the hosted version you just pay per GB of compressed data, so if you have tons of logs then you can keep them, or you can clear out old data to save on disk space.
He already has.
HN is a website. Websites don't have the capacity to agree or disagree.
>I find it fascinating that these impressions persist in the complete absence of evidence

HN, Reddit, twitter and Facebook are all flooded with right wing bots.

The more fascinating part is why these platforms continue to enable clear bot presence.

Hilariously, HN limited my account on the basis of replying to these bots with actual facts, so get ready for your rate limit to fire up.
Right, I think that it could be good. But it's not obvious that it would be good while it would definitely add complexity, bugs, and attack surface, and discourage at least some people from using Tor.

> Being able to interject one’s own proxy... could be interesting.

I think this is essentially what the Tor Project wants to see instead: if you're in a position to do so, operate your own relay and make it your entry guard. That adds capacity for the network and helps you by mitigating the risk of connecting to a malicious guard.
You don't strictly need the permission of a trademark holder for their trademark to appear in your creative work.
It is generally done, but not required.