skysight-inc/HackerNews huggingface dataset:
isn't there a new satellite coming online soon that will be taking pictures of methane emitters?

I vaguely remember reading about a planned project that would be able to call companies and countries out on their actual methane production, not just what they report
Not really, it's just the wurst.
Private schema in Supabase: learning from misconfigurations
Essentially the second law of thermodynamics for neural networks.

Neat!
When you say "after medication" do you mean the anti-depressants or ADHD medication? If the latter, what were you prescribed?
> it is everything involved under the covers

Yep! You explained it better than me!

> Groq probably realized that people buying 1-2 cards at a time, wasn't going to be profitable

Yep! And if would have bogged them down by slowing down R&D cycles and even fulfilling orders as they obviously are not placing orders the same size as Nvidia or AMD.

I wonder what this portends for SambaNova and other similar vendors as well.
Wait... What is the Janet IDE you are talking about here? I had no idea that happened, but can't seem to find reference to it on the website or anywhere.
Yes: https://github.com/ReimuNotMoe/ydotool
It is, however, humanly possible, to run a real Postgres instance in a Docker container. You may use for example Testcontainers. So, I would not resort to an inferior Postgres "mock" for E2E testing.

For unit testing (also mentioned in the tagline of the project on GitHub) I could see you wanting something snappier than a real Postgres in Docker, so then... maybe? Purists of some following will tell you to use a mocking framework instead, but I think that something closer to the real thing would be better in all cases. This might be it, just be careful not to lull yourself into a false sense of security about how close to the real thing this is (isn't).
You are double counting in multiple different ways.

Over 100 years it’s 80x for years 0-19 years and 15x for years 20-99 which averages to 28x by weight. Largely because 1 ton of methane turns into almost 3 tons of CO2.

Except when you start with CO2 at 44.01 g/mol it turns into CH4 at 16.04 g/mol you only get 16.04/44.01 ~= 36.4% as much methane and thus 36.4% of that global warming.

Net result for years 0-19 it’s 29x as bad and years 20-99 it’s 5.5x as bad. And considering the relatively trivial amount of CO2 released as methane vs sequestered in landfills they are a massive reduction in climate change.
>Think of speeding tickets, until the 70's, vast portions of the US did not have a speed limit. This changed during the middle east oil embargo with the introduction of the national 55mph speed limit (under the guise of saving energy).

They did not have a federal speed limit. State or local speed limits were imposed everywhere. Although pre-1973 limits were often a lot higher than the federal limit.

>When oil supply stabilized and domestic and foreign oil became plentiful, it was not repealed. Now speeding tickets are common. A huge majority of people have gotten them.

The 1973 law was repealed in 1995. And the mandate of setting speed-limits were returned to state-level
да, товарищ:

The Alexandrov Ensemble (RiP) https://www.youtube.com/watch?app=desktop&v=W_roE45-AIU
I know what you mean. Since I've been using ChatGPT4 and now Claude Opus to answer questions I think of while day dreaming, I find myself drifting further away from ordinary people. I don't know how to describe it yet. Maybe people who don't agument their thinking seem more like an NPC and say NPC like things?

I don't want to get to far out there, like in Kurt Vonnegut's "Breakfast of Champions." The protagonist wanted to kill himself because he thought everyone except him was a robot.
Insurance almost mathematically must be negative EV in dollar terms. It's positive EV in utility terms because of the declining marginal utility of a dollar. If it was dollarwise positive EV, every insurer would be insolvent.

This is pretty basic? Like, it's an economics frequently asked question why buying an insurance policy isn't as irrational as playing the lottery, since both have negative dollar EV.
Yeah, that's a given, but the point of fire doors is to maximize overall survivability instead of the "average doors crossed per minute" stat in isolation.
They won’t even accept a simple audit of the budget.
I've not been advertised to by any AI so far.

I've not had a product or service promoted to me by a chat answer, nor have I seen any advertising elements in an AI-generated image. The chat experience has been a lot better than, say, Google search, in terms of spam.

The claim would have to be that those promotional elements are there, but are subliminal, so as not to be consciously perceived, which is a stretch.

To be sure, there are likely developments coming which will bear out the concerns in the article.

Also, a lot of AI out there is paid. You get some limited free service, but must sign up and pay for a premium experience. That's the model, not ad support. Some of the sites are additionally ad supported, but in the regular way in that ads appear in the UI (easily blocked by a browser extension).
The fact that this can run in-process is a big deal, as it means you don't have to worry about cleanup.

As soon as you have external processes that your tests depend on, your tests need some sort of wrapper or orchestrator to set everything up before starting tests, and ideally tear it down after.

In 90% of cases I see, that orchestration is done in an extremely non-portable way (like leveraging tools built in to your CI system) which can make reproducing test failures a huge pain in the ass.
The Xbox 360 was only the second xbox.

Though at the time we joked they just needed a triangle based word in the name for the follow up and they'll have all the main PS buttons covered in the title.
If I understand this right: A supposed benefit of Nostr and Bluesky is the idea of having a strong cross-server identity.

Nope. This is most likely a bad idea. And we've already essentially proven this because the overwhelmingly most important method of internet communication DOESN'T centralize like this and has no need to. Email works fine, probably better, WITHOUT this strong centralization.

So while I agree with all the current short term clique-related critcisms of ActivityPub/Mastodon, it's still the smartest model.
Bundaberg would definitely be the most popular ginger beer brand in Australia, and their rum is so ubiquitous that you'll hear "bundy & coke" far more than the generic "rum & coke".
What I care about are the existing features. Bugs don't look any better in HDR.
I'm sure it'll all be fixed sooner or later but until then it's a downgrade for me, and I just don't get this "best time to switch" sentiment about an unfinished component that a user shouldn't even need to know about.
I got this wrong. We actually did the implementation in the libjxl/libjxl repo. There is no physical reuse of the jpeg xl code, however.

It would have been clearer to make it its own repo.
I'm in Illinois not far from where the broods overlap. I'm looking forward to it.

The last big brood was a bust where I live (About 30 miles west of Chicago downtown.)
To playfully invite for you to participate in conversation further, so that I may humbly learn from you. "I don't know what you're talking about" seemed too spartan and austere and aggressive, and you reciprocated politely, if again sparsely, when the other person playfully invited you to elaborate.
This is true; consumer hardware is crazy capable these days. Even less powerful hardware such as the Raspberry Pi enables various sorts of projects that can be done inexpensively. While it’s hard to find a Xerox PARC- or Bell Labs type of job these days, we have hardware that Dennis Ritchie could only dream of, not to mention a vast ecosystem of open source software to build off of that didn’t exist 50 years ago.

Thanks for giving a positive counterpoint; while there’s much to lament about modern computing, there’s also much to praise.
The law (in the US and the Commonwealth) already has a concept that captures the difficulty people with intellectual disability have with contracts: capacity.
I did.

There’s a very reasonable threat model in which KVM or Hyper-V or bhyve or Xen is inadequate and an air gap provides stronger protection.

But that’s not my point at all. Many uses of computers need to interact with potentially untrustworthy data, and make uses need to interact with untrustworthy transports that carry trusted data. An air gap is of little value if nothing can cross it. (Yes, some sets of threat models and design criteria allow data diodes.)

If I had a nation-state budget and wanted to get data across a gap, I would look toward a deterministic, formally verified VM. This is quite practical — a very simple, small VM can run an emulator that can emulate x86 or ARM. And I would also consider an air gap. But keep in mind that an air gap does not protect against persistent compromise of the thing on one side, whereas a formally verified VM does.
A friend of mine wrote a book about what happened in Germany: Scientists under Hitler : politics and the physics community in the Third Reich by Alan Beyerchen. I'm about a third of the way through it, but they mixed politics with the physical sciences to a remarkable degree, driving away many of the best people and isolating German scientists.
>> Occasionally, I've enjoying playing around with window management and hacking with WMs, using stuff like this and/or xdotool and wmctrl.

Ydotool readme:

> Currently implemented command(s):

> type - Type a string

> key - Press keys

> mousemove - Move mouse pointer to absolute position

> click - Click on mouse buttons

So... No.
This problem exists across the board, and it’s due to people using, and in some cases abusing, statistics. Instead of using statistics/probability to answer questions, we should instead not use it at all or have a limit on how much a decision can be made based on chance.
> Created a floppy image.

How?

Most PC floppy controllers were not "low level" enough to read those disks.

You even mention that in your comment.
> Human curators can distinguish between nuanced arguments, recognise cultural subtleties, and evaluate the credibility of sources in ways that algorithms cannot.

The Catholic Church use to do something similar during the middle age.
I forget the time frames, but you won't get far out of the 19th century undergrad in math like calculus. Statistics or stuff in Comp Sci you will but not in Calc or Differential Equations.
Remarkable artists' homes and gardens that are also museums
In rock climbing there's some evidence that there is a U-shaped risk curve. Newbs who do dumb stuff on one end and experienced climbers who get complacent on the other.
So corporations are people but don’t have to play by the rules. WTF.
Baiting blog posts are pretty toxic.

You’re trying to sell a course. This seems disingenuous.
They are not oversimplifying it. The law says they can’t use forward looking projections, only historical data to build rates. Coupled with climate change the CA insurance commission certainly doesn’t understand economics and they’ve created a recipe for failure.
New theory on Satoshi Nakamoto
But it may not have been sanitized. It may be the output of a source that we trust not to be malicious (for example, a string generated by a server)
maybe in sf but not really anywhere else
I am. Brazil is unfortunately under a judiciary dictatorship since 2019, when a news magazine was censored for publishing an article about how one of the supreme court justices was linked to the county’s largest corruption scheme [1].

After this, the so called “Fake News Inquiry” was established illegally (some reasons for its illegality are described in [2] but there are books written on the matter [3].

Its been going downhill since then, with people being held in prison for two years now without accusation and with their lawyers having no access to court documents.

Elon is allowing people outside Brazil to finally be aware what’s going on here and for that he should be commended.

[1]https://crusoe.com.br/diario/urgente-ministro-do-stf-censura...
[2]https://www.gazetadopovo.com.br/instituto-politeia/inquerito...
[3]https://www.amazon.com.br/Inqu%C3%A9rito-Do-Fim-Mundo/dp/659...
You shouldn't have to look up keyboard shortcuts to operate a GUI. That's the whole point of a GUI.
Thank you for thinking of this and implementing it!

But, I'm wondering is there any major difference between just clicking the "..." next to the song in the default interface and selecting "Download->Audio"?
How is composting organic waste any different from burying them in a landfill? Aren't landfills just giant compost bins?
New Treatment Rejuvenates Aging Immune Systems in Elderly Mice
You have to define reoccurring and significant. Much of CA is on a fault line, so should everybody move to the desert where it’s scorching hot but a bit safer?
Thanks. Not super useful without a keyboard, though.
Did you ever try a teaspoon of the Nestle Malted Milk drink powder?
Source? Or how do you know that?
I must have had the wrong matcha. I've never found one that has much of a taste at all.

It's nice, of course, but like chamomile or earl grey - subtle delicacies to be savoured, rather than reveling in the glorious boldness of it all.
The Realtors Still Need Market Reform
You asked for a "real planned experiment" and then asserted that "GPS cannot be used on the moon". This is a real, planned experiment to use GPS on the Moon.

NASA has already conducted experiments to use GPS in Earth orbits halfway to the Moon[1].

I'd think the physics of further signal propagation and the ability to receive them would be well understood.

1. https://www.nasa.gov/missions/mms/record-breaking-satellite-...
It's RISC-V that's MIPS-ish, not the other way around.
Phytomining – Extracting Minerals via Plants
Also covered here;
https://singularityhub.com/2024/03/28/these-plants-could-min...
Yes, see https://www.methanesat.org/
Or a good podcast about it https://www.volts.wtf/p/whats-the-deal-with-these-methane
Yeap, the data should be available later this year: https://www.methanesat.org/data/
I don't disagree at all, but unfortunately it's mostly out of the hands of any community to recommend or enforce usage of a given library. There are many valid concerns around GPL licensing (not that I necessarily agree with them), but ultimately ignoring the requirement of many orgs to not use GPL-licensed code would just harm the ecosystem.
Yes, MethaneSAT:

https://www.methanesat.org/
> No HBM because they use tons of fast SRAM instead. Isn't that the main driver for performance here?

No doubt fast SRAM helps, but from a computation pov imho its that they've statically planned computation and eliminated all locks.

Short explainer here: https://www.youtube.com/watch?v=H77tV1KcWIE (Based on their paper).
Part of the reason is that the only way to get the acquisition of a major new weapons system approved by Congress is to drastically underestimate the cost. This gives Congresspeople political cover to vote aye. Everyone involved knows that costs will explode later, and by that time the program has become too big to fail. Everyone knows we need a new frigate and it's too late to start over from scratch without endangering national security.

The other reason is that this program is constantly chasing a moving target. The national security establishment is getting increasingly freaked out about the risk of a naval war with China. The original inexpensive European frigate design was largely designed for lower threat environments, mainly European coastal defense against Russia plus gunboat diplomacy in Africa and the Middle East. Now the US Navy needs something that can fight and survive against a superior force in the Western Pacific, so many of the combat systems are getting upgraded. And even with those upgrades it's still dangerously short of VLS cells. If Navy leadership knew in 2018 what they know now then they might have chosen a different approach.
Thanks for posting. Putting the book on my to-read list.

I'm now convinced that just about any idea that is put into print has probably crossed at least one other person's mind at one point. The sorts of sociological factors mentioned in the article are important to be mindful of in thinking about why ideas get put forth or spread when they do.

My first association with Georges-Louis Leclerc is with Buffon's needle:

https://en.wikipedia.org/wiki/Buffon%27s_needle_problem

It's interesting to see his name come up in a different context. I had no idea he was interested in evolution and ecology.
Chela: Small URL Shortener
They’re losing money on it actually but you missed the obvious. Liberals want everything privatized to remove profit incentive. That’s the reason they’re creating a uncompetitive environment, to kill business. For further proof, see the recent minimum wage increase.
So a normal GmbH, which would be the equivalent of what I'm talking about, can be incorporated online for 25 EUR in 30 minutes?

I thought that's what the article is about. What's so specific about the form of incorporation they are talking about? A limited liability company is the most basic form of a corporation...

Sole proprietorship / self-employment can be started here for around 20 EUR too, but that's not a company. Or does Germany have some other forms of companies that I don't know?
Check out the DPRIVE working group (ekr's comments in particular) for some of the backstory. DNSSEC isn't happening either way, but I think ADOX might.
NZ Marmite includes sugar, which I find horrible, but my family likes it so we have both in the house. I am Vegemite for life.
I recall a similar comment from a TED talk by Scott Galloway where he was lamenting the brain waste of the industrial advertising complex:

> Now we have the 700,000 best and brightest, and these are the best and brightest from the four corners of the earth. They are literally playing with lasers relative to slingshots, relative to the squirt gun. They have the GDP of India to work at. And after studying these companies for 10 years, I know what their mission is: Is it to organize the world’s information? Is it to connect us? Is it to create greater comity of man? It isn’t.

> I know why we have brought together — I know that the greatest collection of IQ capital and creativity, that their sole mission is: to sell another fucking Nissan.
My understanding is that "window managing" tools like this are not possible due to how wayland handles information. Pro: More secure than x11, Con: I can't use wayland. Aside from investing a lot of time learning how to use a tiling wm I dont see how I'm going to get over my addiction to minimizing only the active window. ( xdotool windowminimize $(xdotool getactivewindow) )
> The Xbox 360 was only the second xbox.

thatsthejoke.gif
> I wonder what this portends for SambaNova and other similar vendors as well.

Time will tell. This is definitely an interesting development.
About pfas? I dont know. Wasn't commenting about that specifically, just how bad our system works in general.
The smoke and mirrors around groq are finally clearing. Truth is that their system is insanely expensive to maintain. hundreds (> 500 iirc) of chips to get wild tokens/s but the power and maintenance expense is crazy high for that number of chips. TCO just isn’t worth it
Absurd isn't really the word I would use. I think it's more of a naive/common misconception about how science advances. People tend to think of a single genius making breakthroughs when in fact a lot of ideas were building on prior work and in collaboration with others; essentially the ideas eventually have their time, and you get a sense that the specific people who discovered them, while impressive, are a bit of a historical detail rather than an essential ingredient. To me, the biggest example would be evolution - Darwin was famous for it, but you will find others speculating about it before him, and famously he sat on his work and only published it once Alfred Russel Wallace was about to independently publish his discovery of the same phenomena

"Connections" by James Burke is a wonderful documentary that first helped me to really understand this.
I am not aware of any outstanding SHA-1 issues that would require a change in the current RFC4880 OpenPGP standard. There was an obscure attack that involved generating two keypairs with colliding SHA-1 signatures and getting a third party to sign one of them but you can just use a different hash (say SHA256). The SHA-1 used in the MDC portion of the authenticated encryption mode doesn't and is very unlikely to ever represent any security weakness (the hash used there doesn't require any particular cryptographic properties). SHA-1 is used for the key fingerprint, but the use of a hash with collision resistance is not required in general for key fingerprints. An attacker could in theory create two different keys with the same fingerprint, but then they would just own two keys that would be hard for to distinguish from one another. You don't sign the fingerprints, you sign the actual public key. In general, it would be a bad idea to specify that the hash used for a key fingerprint required collision resistance as that would mean that the fingerprint would have to be something like an unusable 256 bits long to prevent birthday attacks.
Gatekeeping via the Index Librorum Prohibitorum ?

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

https://www.britannica.com/topic/censorship/Medieval-Christe...
This is curious. Is it because they hadn’t upgraded the lines out to the residence? I had always understood DSL used existing phone lines.
And their lemon, lime & bitters is fantastic.
I’m highly concerned that any announcement of investment in technology by Canada’s Federal Liberal government will actually go to well deserving companies. There’s been too many scandals and mismanagement of funds with no oversight into how the money is used. The latest one being the ArriveCan scandal (spending $60 million on an app hosting a webform with no track of where the money went to).
https://nationalpost.com/news/canada/companies-at-heart-of-a...
CNN Investigates 'Space Shuttle Columbia: The Final Flight'
It's the difference between your car's brakes failing and you plowing through a crosswalk and tragically killing a pedestrian, and being a serial killer.

Intentionality is key, and ExxonMobil is a highly profitable psychopath in this regard.
It’s like Pepsi vs Coke, but without the ease of appeal of 12% sugar content. Behind the imposing wall of salt, they have subtle yet significant differences in flavour. An alternative probably won’t trigger the same comfort memories.
Yes. The idea wasn't to get away with not having an MMU, though - it was to get away with shipping the Mac with an ungodly low amount of RAM for a machine with a GUI. I believe the original idea was to ship with like 64k or something?

Obviously, with the state of mobile hardware back then relocatable blocks were also similarly necessary in order to save RAM.

For anyone wondering, no, this isn't the thing that made classic Mac OS unfit for multitasking. The MMU is necessary to keep applications from writing other apps' heaps, not to do memory defragmentation. You can do some cool software-transparent defragmentation tricks with MMUs, but if you're deciding what the ABI looks like ahead of time, then you can just make everyone carry double-pointers to everything.
Hey man I'm Portuguese but just wanted to say how fucked up what's happening in Brazil (Brasil) is. The worst part is how people are fine with it. If you go to r/Brasil you'll see endless mobs cheering the supreme court.

What's the political situation like? Do most people agree with what's going on? Are they uninformed like in Portugal? Is it a loud internet minority thing?