skysight-inc/HackerNews huggingface dataset:
What would that do in terms of convincing China to stop rapidly expanding their emissions output (which is now greater than the US + EU combined and still very quickly climbing)?

The US has no power to do anything about China's emissions. The US could drop its emissions to zero tomorrow and it wouldn't alter where we're going in terms of global climate change at all. That isn't an exaggeration, that's how bad the situation actually is.

India is just coming online with its mega emissions boom and Africa is next (they'll add a billion people while simultaneously massively expanding emissions). The outcome is already set.
It has always been like that and people still sought to solve their problems. The problem with bigtech is that it pays too good, so people are incentivized to do nothing
Lost ‘Star Wars’ X-Wing Fighter Up for Auction Decades After Going Missing
> In the same sense that the lifetime of an object in a GC'd system has a lower bound of, "as long as it's referenced", sure.

These are not the same.

The problem with GC'd systems is that you don't know when the GC will run and eat up your cpu cycles. It is impossible to determine when the memory will actually be freed in such systems. With ARC, you know exactly when you will release your last reference and that's when the resource is freed up.

In terms of performance, ARC offers massive benefits because the memory that's being dereferenced is already in the cache. It's hard to understate how big of a deal this is. There's a reason people like ARC and stay away from GC when performance actually begins to matter. :)
"The X13S is not yet ready for prime time with any FOSS OS"

Not a glowing review.

This seems to describe every arm device that isn't a server, or a Raspberry Pi. The mac is in the same situation. It works with a long list of exceptions, given an Asahi image, and pretty much not at all otherwise.

These community projects are great, but by the time Linux gets full support the HW is usually obsolete, replaced with a newer version, or no longer for sale, and there remains a laundry list of won't fix bugs because the hackers have moved on to the next shiny.

I don't understand why this has been going on for > 10 years and arm hasn't bothered to step in and mandate some HW or firmware guidelines like they did in the server space. All these half baked and abandoned devices can't be good for their brand, and its pretty obvious Qualcomm is happy with the current model of milking a string of failures.
Summarizing stuff my mom and grandmothers said.

In the US during WWII women took over a lot of traditionally male jobs and got to run their own lives as men were often away. After the war there was a full court press to force women back into the home and traditional roles. And by 1960 women were in open revolt.

My mother mentioned being a housewife with small kids as. You spend all day at home with children and no adults to talk to. Then your husband comes home and now you have an adult to talk to. But he's been talking adult stuff all day and just wants some downtime.
Pakistan actually went for Ten Billion trees [1] next. This one is going slower, because of a variety of political and scientific reasons but there is still quite a lot of progress.

[1] https://www.unep.org/news-and-stories/story/pakistans-ten-bi...
This is America, where being against-slavery-in-theory - but unable to reconcile that theory with the real-world property rights and financial interests of the slave owners - was an enormous legal and "moral" problem for a century or few.
I have spent ample time in California and even if I hadn't, the data is available. My response isn't whataboutism, causation and/or correlation perhaps. If you don't see the connection between the decriminalization and accessibility of drugs and mental health, addiction and homelessness, I don't know what to say.
From reading the front page, it seems to have a similar goal to htmx: allow writing SPA without using JS: https://turbo.hotwired.dev/
I think this is a good way of thinking about this, except that I'd argue the single most important battery need right now is grid scale storage for which energy density, and to a lesser extent charge rate, are much less important, and almost the only things that matter are price per kwh, and recharge cycles.

So your full list is required to be a replacement for mobile devices and/or EVs, but a couple of them could be removed for the case of grid scale storage.

Generally agree though that almost all "revolutionary replacement" batteries have critical flaws that make them inferior to Li-ion
Better ways to name your utils module
I'm pretty sure the gp was talking about Go Mutex, not Rust Mutex.
You meant $29.99 right?
While that's a very good use case, the desired one where you're not allowed to use the Internet unless you're using a big three approved device that can attest you're not using an ad blocker isn't so much.
Or far-left ones, for that matter.
Defunding the police is a dumb slogan. Consolidating the police and professionalizing the police is a real answer. Also much harder.
>"the XYZ corp is bad!"

>please stop supporting them

>"https://i.kym-cdn.com/photos/images/original/001/259/257/342..."
Still not there yet. For grid storage we need batteries with 30+ years lifespan in harsh very hot/very cold weather conditions. They also need to be much cheaper per kW/h than current lithium ion tech.
Grindr Loses Nearly Half Its Staff to Strict Return-to-Work Rule
What is an "authentic experience" im 2023? Tourism is globalized
I had a prof who used a ChatGPT cooking recipe to make berry muffins with shrimp. The results didn't disappoint
How about returning to the tradition of college sports being merely a recreational break from academics, where scholastic merit cannot be trumped by athletic ability, and where the highest paid employees of states are not football coaches?
Ask HN: Recommend me a Search API now that Searx is down
Searx is in maintenance mode, but their api (at https://searx.thegpm.org) was a free way to implement search on my website.

I know of Bing/Brave, but I'd prefer not to pay/sign up for another service.

Are there any other free search APIs?
Elite: did you say something? Get back to work!
I legit think a lot of Web UI fans have just never, ever done serious work in any of several half-decent-or-better native UI toolkit w/ supporting libraries. If they had, they’d riot. Such an incredible amount of wasted person-hours, both for the people doing the work and the poor folks stuck using the resulting jank-fest.
Yeah, that's all I'm asking, and maybe its linked to on their pages with info for each app.
> There's a lot of pressure in academia to find and publicize examples of "not hierarchical and male dominated" settlements, especially ones that achieved technical successes.

It's more a realization that we only have a hierarchical, male dominated point of view on history and that there's a ton of backfill work to do because of that limitation.

> A friend once received a 10 email tirade over several hours by making some benign metallurgical observations

Welcome to science? If they were meeting in person someone would have bounced a muffin off his head. People take what they're doing really seriously.
I do not think you would make it very long as a government employee with that kind of attitude
Not directly, but now you can exploit vulnerabilities in other parts of the OS.
A trajectory question: why do Americans worship toiling so much when it comes to sports, like Kobe Bryant's "have you seen the streets of Los Angeles at 4:00am" were repeated endlessly by the media, but despise toiling in school, like this: https://www.wired.com/2004/12/why-nerds-are-unpopular/, and this: https://www.pewresearch.org/short-reads/2018/01/17/half-of-a...?

For someone who grew up in a different country, it appears to me that Americans do not hate working hard, they just hate working hard on academics, which is really strange.
The author claims that this is not the case:

> Note that at any point in this process, if the attacker is able to control code execution, there is no way for TPM to know that the measurement it was just handed wasn't a lie. Now let's assume you are an attacker trying to get the BitLocker keys, what can you do? [0]

[0] https://gist.github.com/osy/45e612345376a65c56d0678834535166...
https://github.com/hellzerg/optimizer

https://github.com/TheWorldOfPC/Windows11-Debloat-Privacy-Gu...
Do you have an empirical basis for that? I'm curious because on one hand, Bun is advertising they are solving a major challenge for library authors, really betting quite heavily on that being persuasive for adoption.

The risk for Bun's adoption is that they're wrong, of course.

The risk for Node's usage is that they're right, and library authors begin urging users to use Bun because it's 100x easier than making a useful library with Node. (This will happen very slowly, but things that happen very slowly can start happening all at once very quickly.)
Perhaps there is some sort of pressure by stockholders to have the ability to promote their own products and services on the device or just some sort of backroom dealings.

My personal hope is that Apple course corrects at some point that they do not need to extract the extra cash while damaging the customer experience. The company feels much less customer oriented now and has lost a lot of the premium feel. I have already stopped using their TV app because they have made it nearly non-functional with the amount of promoted content. The News app has an exceptional number of subscription only items in the feed to where I am about to go back to pure RSS. The feeling is like what Google would have done with Google Reader if it was still going stuffing in promotions.

I agree first party apps should be advertisement free if they are advertised as being included in the price of the phone. Otherwise it is a hidden bill you are paying with hours or days of your life that you can't get back.

I would pay for a service that just disabled all first party promotions advertisements. Give me the real price instead of wasting my valuable time with advertisements I would never click.
> it's open source, you can simply look at the code (or, better, at the differences with firefox)

Are you really serious? Firefox source is 21 million lines of code.
This still leaves room for believing all your views are the 'right' ones. Perhaps the third hard part is accepting that some of these views are valid.

But perhaps when you say views you are implicitly saying that all views are valid, which is a different kind of acceptance I suppose.
I think your conflating a lot of different time periods for events which differ between nations.

Since you’re using a British Egyptologist as an example and we’re speaking English let’s stick to Great Britain.

The divine right of kings was considered on a significant decline by the Glorious Revolution in the late 1600s so that’s off by several centuries for the genesis of early/gentlemen archaeology began.

The last witch trial in England was also in the late 1600s so again off by several centuries.

And while you are correct about Howard Carter and women’s voting rights I think it’d be important to note that in 1902 parliament had not even given the right to representation for men who weren’t property owners either which was a significant if not majority of men.
Breakthroughs where the newest "zeta-slotting" technique and mathematical group theory are crossing may see sub-4 second averages to those savants skilled enough to optimally solve the needed corner-edge pairs and insert them while either subconsciously optimizing for the penultimate pair or just by getting lucky.

The first to do it will likely be another olympic-level skilled 10 year old kid with a knack for puzzles, honed hand-eye coordination, and a naturally high level sense of visual acuity and a decent understanding of either functional composition or a base intuition of group theory.
California and Stanford, literally on the Pacific coast, just joined the Atlantic Coast Conference. That tells you everything you need to know about college football. It's not about the athletes, not about amateur competition, but all about the money.

Sports have become a corrupting influence on colleges and distract from their educational mission.
No kidding. Conferences are signing megadeals with ESPN, et al for broadcasting rights which gets split between the members schools. Look how quickly all of those Pac12 schools jumped ship when realized their commissioner dropped the ball and they won't be getting the big payouts. Decades of 'tradition' for schools like USC, Stanford, UCLA thrown in the trash over media rights.
Anecdata - a local farmers market weren only taking cash payments yesterday AFAIK - it sounded like a big deal
I expect nvidia to sell or close down their consumer division. Their whole business reality has changed in a few short months. Investors want undivided attention from the ceo to the new b2b cash cow.
In Coq, the tactics system supports writing solvers than can both find a result and give you the proof that it's correct. If Lean also has a similar tactics system, then solvers could be written in that.
Don’t forget the whole Debian Iceweasel thing (now thankfully resolved): <https://wiki.debian.org/Firefox#Iceweasel>
> because stackfull coroutine requires a runtime that preempts coroutines

I've used stackful coroutines many times in many codebases. It never required or used a runtime or preemption. I'm not sure why having a runtime that preempts them would even be useful, since it defeats the reason most people use stackful coroutines in the first place.
Awesome job! One criticism I have is these are emoji, they're more like bitmoji or memoji.
The TPM covers cases where you want to authenticate the machine, not the user (who'd have a Yubikey they'd carry with them between machines).

There are plenty of valid use-cases where you'd want the machine to authenticate itself to services (VPN to enterprise network?) before anyone logs in (or ever logs in, as in the case of servers who operate unattended).
Wouldn't the threath mitigation model be "prevent 80% of normies watching Disney on their HDMI monitor without paying"?
Not OP but I think they meant Zig isn't 1.0 and therefore could be considered "not ready for prod". I'm not claiming anything about Zig; I can only hope that the Bun folks have done their due diligence and ran it through fuzzing/ASAN/etc before making the 1.0 stamp of approval.
Unlocking the Potential of ERC-4337: Innovations in Crypto Wallets
Optimistically (and ostensibly), almost all the energy for the kilns would be free of direct emissions (e.g solar). In that case the plan sounds effective. Let's see if that actually works out.
> You are right that it is not strictly necessary, but in practice, it is so helpful as a guard against the yielding problem that it's ubiquitous.

This is honestly shocking to hear. I would think that if people had bugs in their programs they would want them to fail loudly so they can be fixed.
Huawei releasing faster phone competes with Apple. Here's why the US is worried
If its deep enough underground, the conditions favorable to that bacteria may not exist.
Show HN: Free Front End Resources
SpaceX – Updates
This is obviously a bad idea, private companies or individuals having the power to arrest people because they want to? Look at the recent few years of history in the US where multiple experienced and distinguished (at least by resume), members of the us govt, senators, reps, tried to subvert an elections, dozens of lawyers told them it was illegal, we have their email and texts telling them. That group still acted to do many illegal actions, lie about it, tried to cover it up. And they still deny any problems with their behavior and choices.

Private companies having arrest rights is just a nonstarter of an idea (putting it kindly).
They probably need to get into the vocal assistant business. I don't know about Siri but I find Google Assistant very frustrating. A voice to voice interaction with ChatGPT along with context tracking would definitely be great.
Is there an existing CAS built on top of a SAT or SMT solver?
also stability is more of a statement about api design than internals
Android 14 still doesn’t calculate device storage utilization correctly
Long term? It took 9 months!
interestingly in my locale the language is arabic and one of the names of coffee is "Bun"
Only because they have left so much written record that we don't really expect that another record will tell us something we didn't already know. The less we know about some culture the more valuable written record would be - but often it isn't available. When we already know a culture well archeology can tell us where they ideals they wrote about themselves don't match reality. When we know nothing though, archeology leaves us with a lot of evidence that we don't really know what to make of.
The sports contest is not a gambling game though or even inherently part of one. The players are not casino employees of any kind.

The fact that a person can bet on anything that doesn't make influencing the outcome of events generally a crime.

Influencing outcomes is a natural response to wagering on outcomes. If that's fraud and unsavory then maybe the problem is the actual institution of gambling and not the manner in which people choose to participate.

(I'd also apply this argument to whether insider trading or stock manipulation should be illegal.)
The baby has already died and the bathwater is diseased and festering. Give it a proper funeral if you like, but it needs to be buried deep in the ground where it cannot spread any more disease.
Go's GC is hardly state of the art.
> For someone who grew up in a different country, it appears to me that Americans do not hate working hard, they just hate working hard on academics, which is really strange

Really interesting way to put it.
SEO matters, but so does customer experience and they’ve begun to diverge.

With SaaS, which we are, I occasionally catch customers who have managed to get two or three copies of analytics in their pages, with different ids. It’s just…
Exasperating. I think I need to switch disciplines. Nobody who has tried to fix this one has made large inroads.
I've actually stopped using it except via bing or phind, for writing Claude is way more creative IMHO. gpt4 I think is better for code but I use openai API via code extensions for that.
> that should definitely be your starting point.

Could you expand a bit? Why?
> he desired one where you're not allowed to use the Internet unless you're using a big three approved device that can attest you're not using an ad blocker isn't so much.

There's no reason to believe this will require a TPM or depend on the presence of one. As far as I know, Widewine and similar DRM schemes successfully achieved this without any hardware assistance. Yes, bypasses exist and all the major piracy groups have them, but the objective of preventing the masses from having access to a working bypass is clearly achieved and doesn't require hardware.
You're missing the salient point that 8 out of ten largest stadiums in the world are american college football, NOT THE NFL

The thing that's supposed to be a fun side part of your education, or even a feeder program to the pros, can afford larger stadiums than the pros.
This makes sense. That would explain why the US has provided no military or financial support for Ukraine — its hands are tied by sanctions.
Honestly, though, that’s like crediting William Burroughs with Blade Runner.
There's an argument to be made that security vulnerabilities the user can't fix are worse than ones they can, but this article doesn't make it.
"stackful coroutines" the control-flow primitive is cumbersome to build on top of "green threads" but for use cases that are mostly about blocking on lots of distinct I/O calls at the same time people may be indifferent between these two things. These conversations are often muddled because the feature shipped most often is called "async" and not called "jump to another stack please" :(
I’ve seen many widely deployed applications of TPM for security, never for DRM.
I can't think of a better iPad app. Watching people really use it is magical. The same can be said for Sharpr3D (that is a subscription while procreate is a one time payment)
No but it might buy us time until commercialized fusion lets us create all the energy we want.
Because the term was coined by Alan Kay, who apparently later said he probably should have called it message oriented (paraphrasing).

There's also a written conversation you can find online where he disqualifies pretty much all of the mainstream languages of being OO.

A lot of people, like you, say that OO == ADTs. Or rather, what ever Simula, C++ and Java are doing. Some will say that inheritance is an integral part of it, other's say it's all about interfaces.

But then there's people who say that Scheme and JavaScript are more object oriented than Java and C#. Or that when we're using channels or actors we're now _really_ doing OOP.

There's people who talk about patterns, SOLID, clean code and all sorts of things that you should be adhering to when structuring OO code.

Then there's people who say that OO is all about the mental model of the user and their ability to understand your program in terms of operational semantics. They should be able to understand it to a degree that they can manipulate and extend it themselves.

It's all very confusing.
Based on his calculations from a video a year ago. He projects that we would need 940M tons of lithium, while 2022 reported reserves is 95M tons.[0]

Are we going realistically find enough undiscovered lithium reserves that is the same size as our known reserves as of 2022, even assuming that he is off by a factor of 4?

[0] https://www.youtube.com/watch?v=MBVmnKuBocc&t=2604s
Show HN: Generating ultra high-quality articles using Ground Truth knowledgebase
Backstory: In 2022, the big problem I ran into with AI-generated content was that the AI would make stuff up like crazy -- thus hurting the brand and, over the long-term, trust in the facts that were presented.

So now, I created this new tool that basically uses RAG (retreival augmented generation) with anti-hallucination methods to create ultra-high quality content grounded by a "Ground Truth" knowledgebase. In other words, you FIRST start with the "source of truth" (like Pubmed papers or curated list of document/articles) and THEN you generate the content based on that -- WITHOUT hallucinating.

What this tool does: Creates FACTUAL content from your Ground Truth KB.

Here is the (alpha) version of this tool: https://customgpt-blog-content-generator.streamlit.app/

Here is an example generated article (every word in this article is AI generated from a KB of 800 documents/articles on this niche topic of "shoes from tires") : https://www.wheeliesshoes.com/how-to-make-shoes-from-used-ti...
For now, when the cable bundle falls apart and programming goes DTC, revenue to pay the sports leagues will drop tremendously. My prediction is that the streaming services will turn back into the cable bundle via longer term contracts and selective packaging.
The Stasi museum was horrifying. It felt like walking thru the history of American politics of the past 20 years in parallel.
Seems like a bad idea to support both. Encourages bad behavior and half-ass code. I've had no problem moving codebases to es6 without a ton of effort.

Maybe at most, hide the capability behind an execution flag.
> All tracking is bad

All absolutes are wrong. I can play that game, too.