skysight-inc/HackerNews huggingface dataset:
imho this is the only way out of this climate crisis.

Use absurd amount of energy to capture the carbon out of the atmosphere. Obviously this cannot be powered by fossil fuels. If this becomes a global priority, energy for everything else would just be taxed enough to ensure enough of the seemingly abundant cheap energy is left for this project to keep earth habitable.
> including from tofu made in a factory, out of soy grown on another continent, on ground that used to be rainforest and fertilized with nitrogen produced at the cost of huge carbon emissions, then shipped across an ocean

or from tofu made from organic, local soy. Why would you want it to come from another country and produced in horrible ways? Of course one can do anything badly, so let's focus on realistic, proper ways to do things.

Unlike raising one's own animals in awesome conditions, which is very costly and basically requires to be a full time job so which most people can't realistically do, I can just drop by the organic shop nearby and buy my organic, local tofu easily enough. Which I do.

Around 80% of the soy is produced to feed animals so that argument does not even work. If you eat meat, you are probably actually doing both at the same time and probably indirectly consume a lot more soy than a vegetarian. I see that you actually raise your own animals in other comments, so maybe not you, and congrats, but your situation does not generalize well.
I think lobster does this.

"Compile time reference counting / lifetime analysis / borrow checker."[1]

"Reference Counting with cycle detection at exit, 95% of reference count ops removed at compile time thanks to lifetime analysis."[1]

[1] https://strlen.com/lobster/
That's not complex at all.
Nowadays (and increasingly, going forward) it's possible to be a very productive programmer without knowing much low-level stuff. This may seem unfair to those who spent years wrestling assembly and then C pointers but that's just today's reality.

It's not possible to be a "productive" musician on a traditional instrument (i.e. excluding iPads) without knowing how to play scales, chords, etc.
Massive respect to that HA support. I’ve started running HA and it amazes me what is available on some cloud products once you remove the proprietary cloud from them. I used to be a Google home or bust, slowly I’ve been going the cloud agnostic route. Any Android device should work with Google home (for the wife) and both HomeKit + Home Assistant. I say HomeKit and Home Assistant because I really like Apple ease of use and the ability for home assistant to pipe other compatible sensors directly into HomeKit for example, ecobees sensors provide more sensor data via home assistant than they do in their regular app and in HomeKit. Via Home Assistant I can add this extra sensor data directly into HomeKit.
I've lived around animals all my file, even my SO grew up on a farm. Why on earth do you (or anyone) think they experience thoughts, emotions and relationships in a human way?

Simply because we have similarities does not equate that animals experience things the same way. We know this because we have a better understanding of what goes on in a more limited human brain (be it a child or neurodivergent) compared to a healthy adult one.

I frankly compare this humanization of animals as a sign of not having sufficiently worked and lived with animals, with apophenia/pareidolia playing a large role.
Brilliantly written. Though it didn't give my mom pause for thought — she also has the Homicide dvd's.
I was a fan of QT 20 years ago. These days I like to use .NET MAUI for cross platform apps.
Regarding “security”, consider that at one point in history there were no known security exploits for <whatever piece of software>, and so simply asking “why not” may have only elicited shrugs.

After a few decades of having your software’s ass handed to it though, is it so unreasonable to stop asking “why not” and instead start asking “why the fuck should we?”
It can work longer than you realize. Most of the internet is SEO spam sponsored by ads from the google ad network.
This ridiculous paragraph:

“Now Lisp and Smalltalk are just niche languages – but once, both of them were whole other universes. Full-stack systems, all live, all dynamic, all editable on the fly.

The closest thing we have today is probably JavaScript apps running in web browsers, and they are crippled little things by comparison.”
Old technology <> Mature technology
Sebastian Lague recently did a video on simulating fluids, which may be interesting. As always, he takes a "from scratch" approach to it.

https://youtu.be/rSKMYc1CQHE?si=pXdsHlQSCpw8nY8m

The GitHub repository also contains links to some of the research papers used to implement the simulation.

https://github.com/SebLague/Fluid-Sim
Solar inverters can curtail super easy. It’s the thermal power plants that sometimes can’t, or rather it could be beneficial for them to pay for a few hours and not let off steam until there are profitable hours again.

I’m pretty sure that the arbitrage possibility is made use of by building batteries to even out the duck curve.
This is ridiculous. Critical safety functions should not be dependent on a unreliable medium that can be easily disrupted. There must always be a fallback mechanism.
To me snowflakes should be random and not following some trigonometric function.
AI can and does. Modern phones already ship plenty of AI- driven automatic adjustments. Not always for the better, of course.

To me, what makes a photo or painting "good" is the story it tells and the emotional connections it makes. This is subjective, and depends on the individual experience. Even the most advanced generative AI will be hit or miss at connecting with your individual experience, no different than the great painters and photographers over the centuries.
> statistically almost nobody does

Do you have the source of the statistic of everyone eating beef from horrible places?
It might be 3D but it is funny open source and printers coming up when closed source printer drivers help kick off RMS and GPL.
I guess it depends what you mean by "play an instrument" - almost all proficient conductors have proficiency in at least one orchestral instrument.

There is at least one (so I'm speculating he's not the only one, but it is likely to be rare) proficient conductor (Leopold Stokowski) who had no real proficiency with any instrument but he did have some very rudimentary piano training... and then pretty much taught himself conducting. Whether that rudimentary piano ability counts as "play an instrument"
> That's not how it would work

The wholesale electricity price on the Australian NEM, which covers 9 million dwellings goes negative basically every day, there's 11 million dwellings in the entire country.

You can see the price in the bottom graph here: https://opennem.org.au/energy/nem/?range=7d&interval=30m&vie...
One good reason is that your phone, or rather the account tied to your phone, already keeps all your favorite destinations.
This is simply not true. Here in Europe it is explicit that subsidies are not paid during negative prices.

It can take more than 12h for some thermal plants to pick up steam after they have shut down. So it sometimes makes sense to produce and pay in order to regain profits at the following non-negative hours.
Why do you need to turn it into dollars or euros for it to be useful currency? Just transact directly.
While your points are true, they are a really poor defense of social media. There are plenty of toxic behaviors that we possess, which we are aware of, and legislate for. We have a pretty well founded baseline for what things are dangerous to us physically, but have not yet codified what is dangerous for us socially or psychologically. Social media is dangerous in these modes.
Eventually we will recognize what an utterly destructive thing our current crop of social media platforms are, and in hindsight they will seem insane things that our descendants will shake their heads about.
Also, I'd add that doing HoTT or other such "high theory" stuff actually enhances my understanding of the fundamentals and gives me the machinery to handle complexities systematically that building a mere web search engine would not. I already have a job for building such commodity stuff everyday.
I don't think people are surprised that animals have thoughts and emotions. No farmer I know of thinks cows aren't capable of being trained: the ones down the road from my parents line up in an orderly queue to go into the dairy every morning and afternoon, including leaving a gap across the road and giving way to cars.

On the other hand, a lot of people who claim animals have thoughts and emotions seem to think that cows have complicated human-level thoughts like "I am an oppressed cog; my owner will send me to the glue factory when I am too old to give milk, and yet I must queue up regardless, for my spirit is broken; my calf has been taken and I will never know if he got a college degree; life is pure suffering." This seems unlikely to be true.
>Why on earth do you (or anyone) think they experience thoughts, emotions and relationships in a human way?

GP poster did not use the qualifier "in a human way". Take that away, and it's really hard to argue that animals do not experience thoughts, emotions and relationships. If you say otherwise, it makes it really hard to believe that you lived around animals all your life.
No comment on best places to raise kids, although I firmly believe a city (even a smaller one) would stimulate their development much more than a car dependent suburb.

Ask for no less than 200, preferably 250+ base. Live close to work, transit in the Bay ranges between somewhat tolerable to nonexistent. Check family health insurance costs carefully. Do not assume you will be able to work remote, return to office is very real. Several Peninsula cities are only about half an hour from SF, might be a good starting point that lets you explore up and down the bay and decide where you would want to settle in for the long term.
I've managed to excise D-Bus and other toxic freedesktop.org (Red Hat / GNOME) garbage from my Debian system. And it's still a fully usable desktop environment. Nearly everything works.

The removal process is quite spectacular, you can see apt delete hundreds of interrelated dependencies, one after another. So satisfying to see it all go.
I want nuclear fusion. Until then, making fission cheaper, will work, too.
>a sizeable number of the continuous glucose monitor systems rely on a cellphone app

I thought medical hardware had to go through stringent approval processes with health authorities?

This is just an awful design in general. An auxiliary control system for your body should be much more resistant against electronic interference and self contained to prevent this kind of vulnerability.

Yeah, interfering with people's medical equipment is bad but whoever put such trash on the market should also get a prison sentence if it lead to harm.
The majority of my steam collection is games that will not run on the steam deck or Linux. Out of 15 I have, only three works on. YMMV but doesn't look like 'all' these windows games unfortunately. May be more of an issue with the type of games I like, i.e. Civilisation, Age of Empires, etc.
I believe it’s the gRPC’s choice to multiplex on http2 channel and the lack of support for this on the browser side.

Edit: source - https://grpc.io/blog/state-of-grpc-web/
As AIs can only be trained on datasets of colected human experiences if/when one day a superintelligent AI comes about I am sure it will only percieve us as inferior, unrational and dangerous beigns.
The TKey enumerates as a CDC ACM (serial port) to the host, so I'm afraid it doesn't work on the Chromebook from what I can remember. My colleagues would know better. In any case it's something we aim to support one way or another, even it if means a new hardware.

I suspect using Yubikey's FIDO2 functionality rather than its GnuPG smart card functionality would be reliable. I think Crostini's motivation comes down to security, which they enforce by only passing through certain USB device classes. A device enumerating as USB HID FIDO2 should work reliably, given that Google uses those kinds of USB authenticators internally.
'GP poster' said: 'Do you truly have believe humans are that special?'
It's had head of line blocking, proxy, and load balancing complications in the past, no? It's annoying to pipe it over
Http 1 and get it working in browsers or older runtimes. It's still not easy to make it work in Unity, for example. Http/3 solves it but that's not always available even today.
I don't know about it, please teach me :-)
We often get PDF's that does not work in our pipeline and it's always blamed on the pipeline, not on the creating software. The user usually converts the PDF to an image with adobe reader and screenshot, load up Libreoffice, paste and export it as PDF archive.
Jenny Chase just published a new edition of her book https://worldscientific.com/worldscibooks/10.1142/q0437#t=ab...
Banning is useless, as you say it's part of the world now. However, there's something to be said about delaying or reducing their use of it. Too many children are getting social media very young (8 years old) and they are constantly connected to their peers, which is harmful. They need time away (both mentally and physically) from their peers and more time with family (rather than being ON social) to be able to develop as an individual.
Well not for humans, but I believe it is for ChatGPT given the incomplete information that is often found in chat when users text each other this information (and which is why it is valuable to structure it, package it and make it transparent for all globally).
I feel like the problem is defined in the title.

Open Source. Company.

These are two pretty distinct concepts, and the (traditional) motives for those two things don't merge terribly well.

Over and over we see the same story playing out. Companies need to make revenues to sustain the employees. Open Source makes "competing" with an existing company trivial, but with none of the invested costs. So the first mover, the program author, is always at a strategic disadvantage.

This is not an accident- it is baked into the very point of open source. There's a reason that very few people in the bazaar actually make decent money. There's a reason the cathedral has treasures.

My recommendation is this - decide if you want to make a company, or if you want to make Open Source. The number if places that have succeeded in both is vanishingly small.
We don't want perfect systems but useful ones. A perfect axiom system wouldn't have true but unprovable statements either, yet, as we learned a while ago, any such "perfect" system would be unable to express even basic arithmetic.
"Best" isn't necessarily the same as "has the most features".

I think many people find that Preview.app does everything they ever wanted to do with PDFs. It really is surprisingly capable. It's also fast and far less convoluted than most PDF tools I have seen.

And of course it comes free with every Mac, which often makes it "best" in terms of value for money.

It doesn't help that many PDF editors (including the two you mentioned) are full of the most ridiculous pricing shenanigans.
> The difference with a web search engine is that nobody today can build such a thing completely from scratch

I'm sorry, but can you substantiate this claim? I've seen no indication that a search engine is not buildable from scratch at all.
El nino killed that function.
Yeah, they have some truly breathtaking software controlling the automatic wipers. It's like a true ai, probably competitive with a 6 month or so old child. The automatic high beams are up there with the pinnacle of software engineering as well.
I think the real problem is there are too many people.
The often proposed case against ChatGPT is that everything it produces is illegitimate, no matter how you use it. It would not be the knife in this analogy, it would be the murder.
> I’m pretty sure that the arbitrage possibility is made use of by building batteries to even out the duck curve.

You are absolutely correct, which is why these assumptions that building out lots of solar will result in free or even negatively priced energy make no sense.

Currently these arbitrage possibilities are infrequent enough that they can't be exploited profitably. There just aren't enough super sunny days where an absolute excess of power is generated that would make it possible for, say, a battery farm to get built out to capture that storage. But everyone knows storage will be essential as renewable energy makes up more of overall power generation, and at that point it will make sense for power producers to save up their excess "sunny day" energy to sell it at other times.
It does not help that those philosophies are also very closedminded and very agressive towards any new ideas or any changes to their worldview and lifestyle.
and what would an average user write?
Because it's a simple (for me as the user) and reliable way to get a UI without having to send my personal files to some server somewhere. What's the big deal?
But it would be a lot faster... and I don't have much issues with the fluid in my gas car
>There is 0 security in this. It is also hard to understand because it uses random crypto that doesn't really accomplish anything.

There is zero security if you dismiss every such measure to accomplish a level of security by saying that its just 'random crypto' that doesn't accomplish anything (why do you say that?)

>Nothing stops someone from registering your domain. Nothing stops someone from doing a Sybil attack and just always returning an attacker's account public key.

I think there may be some confusion in your understanding of the system. Registered names aren't visible, only their hashes. The design masks names through a verifiable delay function which forces registering parties to do lengthy computations to construct the lookup function. Since computations can be stored in bulk - names can be registered atomically across IRC servers without revealing what they are directly.

>Nothing stops someone from doing a Sybil attack and just always returning an attacker's account public key.

In the context of networking 'sybils' refer to being able to create multiple identities, machines, or so on controlled by the same person. But your usage of the term here is confusing because (1) users don't control third-party servers (2) users can't see names directly (3) there is a cost to creating names (4) and a threshold system is used to do consensus over name lookups and registrations (which was designed to solve the problem you're talking about.)

>The author would be benefit greatly by taking another look at blockchains for this problem. They typically are much better thought out distributed systems than what the author was able to come up with.

I would love to use a blockchain for this. There's only one problem. Currently there are no such blockchains that have zero transaction fees to use them. I think that such a system would be very useful. But it seems that no one wants to do it -- and working at blockchain startups for more than a decade has taught me that bolting forced monetization and funky tokens onto everything can make a system worse (or even unusable) for its intended purpose.

I think if you re-read the post you will see how I've addressed the problems you raised.
The need would still exist. TFA covers the often-overlooked issue of different "kinds" of quantity that have the same dimensions but shouldn't be mixed. Eg. Hz and radian/s for frequency and angular frequency. Both have dimensions of 1/time but they're different. You have to be an extreme purist to refuse to use Hz and only express frequencies as angular frequencies.

And by the way, if the metric system is so great, why does Avogadro's constant still exist? Since 2019, it's fortunately been downgraded to an exact arbitrary number but it's an ugly legacy of even metric-users refusing to accept change.
Black Triangles (2014)
I think it's fair to consider what the tool is designed to do as well. Generative AI is capable of distorting reality, but I would argue that it is not the primary purpose of the tool. Likewise, knives can be used to kill, but for the most part they are tools made for cutting, not killing. On the other hand, I fail to see a purpose for guns apart from killing, and for some guns such as hand guns, for killing people.
Yes, life is precious.

Consciousness is even more precious.

The smarter the lifeform, the more precious it's life.

This is the main idea that drives vegetarian and veganism is it not?

To exist is the greatest gift of all. You're experiencing it right now.

It would be a sad day to see such a smart, useful, beautiful creature be extinct from this Earth such as the cow.
Any recommendations for a desktop/cli PDF optimization tool that will reduce the size of a pdf? I've tried few and the best one so far is the one that is included in the subscription version of Adobe Acrobat. But I only need it occasionally and is not worth paying $20/month sub.
On a tangent, is there a way to “dump” excess electricity (other than cutting off production). Like passing it into the ground or something.
Get one with Hose connection.run longer without Tank emptiing.
Beyond the Naked Eye: How Invisible Signatures Are Transforming Brand Protection
That's a terrible safety hazard, DC arcs don't self extinguish, and DC high voltage tends to cause your muscles to hold on to the source.

It's a horribly painful and slow way to die.

--- append

For low power dc loads, running completely separate DC circuits wastes a lot of copper for minimal theoretical benefits.
No, blocks are not first class (procs are, and procs are the closest thing Ruby has to functions, and a method definition can bind convert the block passed to the function to a proc if a first-class value is needed.)

Blocks are a syntactically special single argument to a method that can either be yielded to (a Ruby construct similar to a function call but which only applies to the block passed to the current method) or converted to a proc (but the latter only as part of the method definition, since they aren't first class and thus cannot be manipulated or referred to directly.)