skysight-inc/HackerNews huggingface dataset:
> only to abandon it for 10-20 years.

This has not happened. Climate change is still very real and still being very countered by technology.

Mazda investing in an engine when it's way way too early for everyone to switch to an alternative technology wise is good business and will reduce emissions if it's a more efficient engine.

(In fact, I read the article and it's about a synthetic fuel so this is actually green tech entirely)

It's not abandoning the idea that global warming is real and needs to be addressed.
Absolutely. I had to find something for this. And thankfully, some guy was annoyed enough to build this: https://github.com/valinet/ExplorerPatcher
As a Bitcoin OG I would expect him to have more then 200 BTC.
Ok, separate from the fraud, this guy wrote a personal check instead of using the organization's funds to pay a state fee? That feels pretty sloppy for somebody running an organization "dedicated to improving financial literacy." While clearly innocent and done just for convenience, taking short cuts with a 501(c)(3) org is a bad idea. To keep the accounting straight, he'd end up having to get them to do up donation paperwork on it, which removes his goal of not bothering people over a small amount. Otherwise, it's co-mingling of funds.
In Kotlin it is just T, the function is suspend.
Most countries in Western Europe and South America (that I know of) have stopped using checks at least 10 years ago.
Start Out Writing on LinkedIn
I do feel this. I consider myself somewhat of a minimalist (not an extreme one but to a decent degree yes) and while we don't buy my kid a ton of toys the people around him do. I think the system we're settling into is a combination of cycling toys (he gets them for 1-3 months then we pack them into the closet) and then donate the ones that aren't his favorite. It's imperfect but it has helped stem the tide.
There is no surprise that synthetic fuels work. They worked for the nazis in the 1940s and they still produce them in South Africa, Qatar and other places. In fact in a lot of ways they are better than today’s gasolines because they have a low aromatic and olefin content.

The question revolve around affordability and sustainability. Most of the interest was driven by fears we would be running out of oil, now it is driven by fears that we won’t run out of oil.
https://books.google.com/books?id=7cIXAAAAYAAJ&pg=PA85&lpg=P...

Another use! But yes, if you kill off the many, many dictionary results that HN comment is first page. E.g.:

> "ustorious" -definition -dictionary -pronounce -spelling -rhyme
Good as DBC/assertions are, it absolutely does not "approach the robustness of formal verification in practice" especially for potentially large states.

Also DBC/assertions are of little value unless you provide test code to exercise that asserted section, so that's more work, unless you're ok with the assertion triggering by the user after you've shipped it.

Also comprehensively asserted code (with assertions switched on / compiled in) can absolutely crawl because preconditions that formal verification ensures have to be repeatedly checked at runtime - that's your assertion being run ten thousand times instead of being known-true in the code.

It is very good, I use it extensively, but it is not even comparable to formal proofs. Nowhere near.
> Simply put, the synthetic fuel operated much like normal gasoline would have, without the emission drawbacks of the latter.

Hmmm. The fuel is hydrocarbons; so the emissions are at minimum CO2 and particulates.
In my limited understanding as a non-Catholic, some of these are Traditionalist Catholic takes (notably the geocentrism), eg, rejecting the mild reforms of Vatican II. So, it being just the Catechism is something I think many Catholics would take issue with. I can't imagine any of the Catholics I've ever met offering up a defense of slavery.
Living in central Europe, when Air Canada gave me check (compensation for the rescheduled flight) I went through a lot of effort to cash it. Once in a lifetime experience!
It's in a subreddit called "DebateReligion". Just because someone takes a position in a debate doesn't mean that it's their personal belief.
Each of those probes has been justified in part via “this will help get humans to Mars” to earn approval.
This is why you don’t have to fire all annoying customers - just start raising the prices on them to insane levels
> If the compiler randomizes the ABI of stuff that you didn't explicitly export as an interface, that shouldn't bother anyone.

I somewhat agree with the parent's point if we broaden "compiler" to include all of the ecosystem tools that care about the ABI.

E.g., debuggers really benefit from knowing about the ABIs being used.
I am very grateful to all programmers and scientists who have contributed to making R packages for almost everything. Including the generation of simple nomograms: https://www.r-bloggers.com/2017/04/generating-dynamic-nomogr...
> The M2 showed that the M1 architecture is done.

How so?
Show HN: Block positive reinforcement from HN with uBlock
Inspired by the nytimes post "Luddites don't want your upvotes", and presumably being a Luddite myself, I have used uBlock to block my Karma score at the top of the page.

I found myself (on old account) reflexively checking my Karma score and found myself responding emotionally to it. I do not like this. Positive reinforcement can be a dangerous thing! And negative reinforcement make me feel a bit crap. I'm going to post what I think is the right thing, votes be damned! However I do see the use of downvotes for getting rid of stupid comments and spam as a good thing. I see the use of down/upvotes for political ideologies as a bad thing.

SO, I simply used uBlock to permanently block "Karma" across HN topbar.

Simply go to uBlock icon, press Element Picker Mode (the eyedropper), select the Karma number, and select the Create button. Done.
Indeed. I've not even played with this in one of the many simulators, but I believe the suggestion is to put the counterweight a tiny bit closer to Earth than the L1 to stabilise it.

Although (and I wish I could find this again), I've read that lunar He3 is so diffuse that getting it out would incidentally give us so much purified aluminium, silicon, and oxygen, that sending all that back to Earth and magnetically decelerating it on arrival would give us more energy than the He3, as would burning those ingots with that oxygen.
Also tax losses are usually calculated as cost minus value received. In this case the cost is probably minimal as I imagine he mined them way back.
Do you tell yourself graphs like this are faked or that they don’t matter?

https://www.climate.gov/news-features/understanding-climate/...

https://www.climate.gov/news-features/understanding-climate/...
We use rust full time at my job, and griping about the language’s rough edges is a common pastime. The fanboys are loud and obnoxious but I can assure you they don’t make up the whole rust community.
The author gives a rational answer at length, it's just the cultists are refusing to accept it.
Thanks. Do you think they'll have time to rewrite Firefox? :)
(or Chrome, which encounters the same issues)
I'm glad to see that people are willing go even longer distances than me for a practical joke. Unrelated, but this must be the only wikipedia page I know of that contains a joke.
I’m confused. This sounds like a good thing if the problem was an oil shortage, not CO2 pollution.

Explain why they aren’t solving the wrong problem?
That's your definition of intelligence? Space flight abilities? Then surely humans until a few decades ago were not intelligent either.
I think it's driven by a desire for strict validation. They provide XSD schemas and use them internally. Conveyor uses them too which not only helps catch internal bugs, it means if you provide a snippet of XML to do OS integrations the tool doesn't support yet then you still get good error messages at package build time telling you what you did wrong.

There are similar schema languages for JSON these days, but without any equivalent to namespaces. Microsoft uses versioned namespaces heavily in the AppX Manifest. It's got a bit crazy, a typical manifest might have 10 different xmlns declarations, but it means that if you mis-name an element or (more likely) put it in the wrong place that won't be silently ignored, it'll trigger a validation error. To get that you need to able to assign each element to a specific fixed schema and then compose them. If you just have a single schema and evolve it without any concept of namespaces, old software can't tell the difference between a mistake and a new extension from the future.
It's just hard to manufacture gas in a efficient way. It's a really complex and hard to make molecule and the most abundant source of ingredients for it is the carbon in the ground.

You can use atmospheric carbon but it's very hard to pull it down out of the air because it's very dilute.

That's why hydrogen is such a big deal and being focused on instead. It's harder in every respect, but the base component is water, which is very easy to get.
This is now my major gripe with windows with tool versioning (since i admit that IIS is now more than usable, unlike in 2012). The settings are a pain to go through. When i find a powershell command or a regedit/cmd action that can avoid me the pain, i take it (and i'm always bummed that those are often the last proposed options).

Also, i think spotlight in mac is way better than Search, and i dislike that it is Win+S instead of Win+Space. I also think that the default itl layout is a smidge better for dev on Mac, but at this point it's too late.

Also to be fair as i mostly use linux: search is way worse and the default are even shittier than windows, but since i can import "my" defaults in 45s, basically the time to type `sudo apt install git make; git clone XXXXXXX/my_default.git; cd my_default; make && sudo make install && reboot`, i'm not too cross about it.
It sounds like they ran it on straight ethanol. This isn't new or news. Many production cars can run on straight E in good weather. The mileage claim doesn't make sense though because ethanol is less energy dense than gasoline.

It'd be nice if this blogspam linked to the source so we could verify details.
AWD really does nothing, it helps with acceleration but that is the easy part. The hard part is slowing down and all cars brake using all 4 wheels.

You don't brake better with an AWD car.

Well, except if you have learned to drive using 4 wheel slides like a rally driver. Then I sincerely hope you lose your license before your endangerment of others lead to an accident.
I feel that you either have the best memory on earth, live offline and need to memorize only a couple of passwords, or you are doing something wrong (like using the same password over multiple services)
This shows again that even literally core bitcoin people are not competent to run their own banks.

What chance does the unbanked have? They'll have a much better chance in traditional banking.
The timing of his claimed loss is suspiciously convenient in regard to a supposed tax writeoff scam, assuming that is possible, but he is a deeply eccentric man. A discussion earlier on HN [1] mentions many examples of his (alleged) activities and core beliefs that I think it's fair to say many will consider abnormal, even by the standards of cryptocurrency and libertarian circles

You really should read more about him to see how this incident might be more plausible in the context of such an unusual individual's unique and non-mainstream lifestyle

[1] https://news.ycombinator.com/item?id=34210583
> If it comes our way, we will freeze it.

So much for “Code is law”.
“Thank You” letter to Designers for 2022
I was using explorer patcher when I did the update to 22H2 and it really screwed up my computer. After many tries I had to boot from a usb drive to get safemode to finally boot so I could uninstall explorer patcher.

But after a week of Windows 11's "grouped" taskbar buttons I risked reinstalling explorer patcher and it worked fine.
This is where I think Kagi helps. They've always got a nice tidbit section out for personal blogs. Very useful for tech work, nostalgia and personal touches/viewpoints on many tech (and non-tech) related things.
Anybody who thinks they have the grit for Mars life, for your own good - try it here first. Take 3, or better 6 months of your life to spend in one of the remote Inupiat villages in Alaska. In a few weeks, you will be climbing up walls. Here on Earth frontier living sucks, but it’s Club Med compared to Mars.
It is not a solution for all cases.
> Google isn't some grand authority.

Agreed, but collaborative efforts like C++ language steering, Clang development, etc. can benefit from a large pool of contributors.

So IMHO, Google reducing investmentin Clang could be a net loss for most Clang users.
I never used a check my entire life, it‘s just not a thing in Europe (:

In the pre-internet-banking times, you would just fill out one of these forms [0] to send money from your account directly to someone else.

[0] https://de.m.wikipedia.org/wiki/Zahlschein#/media/Datei%3AZa...
Ironic that you would make such a sweeping assumption about the audience based on the article.

Would you say the same of `Make Friends and Influence People`? That it's written for autistic people who didn't learn common sense during adolescence like all of the other well-adjusted people (you)?
There seems to be something really wrong with task manager.

In Win 11 22h2, if you start it as a regular user, you get the new interface. If you run it as administrator, you get the old one.

It also somehow manages to often maximize behind the taskbar. Or cut the output on the righ-hand side of the info in the performance / memory pane.
I don't think it's necessary to denounce religion to criticize these views, and that's usually viewed as flamebait.
Unless you use shared_ptr for all heap allocations (and are also careful about references to stack-allocated data) it allows for uaf bugs. And at that point you are probably better off with a GC since you've got all of the problems with a reference-counting GC but none of the opportunities for optimization.
So I started my journey with the Apple Watch and used a variety of apps, but I just didn't like the results and more often than not questioned the accuracy. There were always some discrepancies, moments where I knew I was awake but the app was saying I was asleep or vice versa. Plus, sleeping with a watch isn't the most comfortable way I'd say.

I then "upgraded" to the Oura gen3 and so far I've been very happy with it, but I'm still in the free phase of the subscription. I'm not a fan of this new model and I'm still unsure if I'll continue paying once my time is up or move on and sell the ring.

I do like the data points I'm getting, I like seeing the progress I've made to better my sleep and I like the almost real time prediction (based on things like temperature changes I can see if I'll be sick the next day). Was also very interesting to look at the data during the time I had covid.

I guess once that first bill comes in, I'll have to reevaluate how important this is to me. You know what they say, less netflix/starbucks === buy a home.
I honestly don't know how well (or not well) this article has aged. My impression is that 2022 might have brought some new developments (specifically the tech downturn and Musk's Twitter debacle) but I would like to hear what other people here think.
Trust like this is transitive, so I would not trust any organization that placed such blind faith in the NSA.

I hope your brave new world includes a requirement for orgs to disclose their software auditor, so my org can avoid trusting orgs like yours.
Current synthetic fuels cost around 10€/litre, which comes to around $37/gallon.

Not really viable for day to day use yet.
Few years back I tried writing Win32 code under Windows 10 to see if I still "had it". I set up my main window with an event loop and then, for shits and giggles, added a button. It entailed calling CreateWindow again with the proper button window class, which I did, and when I ran it... there, on my screen, appeared a small, flat Windows 9x button.

With a label in the Windows 3.x system font.

Never change, Windows. Never change.
The funny thing is, to somebody who's neither involved too much in C++ nor Rust, Rust syntax looks just as arcane as C++ ;)
Ask HN: Why did Frontend development explode in complexity?
Follow up question : Is that complexity necessary or artificially inflated?
The difference between a cheap car and an expensive car has gotten drastically smaller in the last 5 years.

Look at the features and interior of a modern Civic or Corolla. The software is as good as it gets, the quality of materials and fit an finish are as good as what a BMW or Mercedes was a decade ago. A GR Corolla has 300 HP and tons of torque.

Expensive cars just don't make as much of a difference as before.
This is a core developer.

Even core developers are not competent to run their own bank.

Can we now stop hearing about how the unbanked should start running their own banks?
It must come from outside pressure. Internal dynamics of institutions work in the retrograde direction: Individuals most easily rise to power by flattering prevailing opinions.
You don't seem to understand taxes, that doesn't make any sense.
It's easy to be a critic. Elon Musk have done more for the environment than most people ever will.

I see no posts for all the other rich people who uses their jets for trips that does nothing to reduce our impact to the climate.

It seems quite stupid to me to obsess so much over one persons negative impact and ignoring all the good that has come from the companies he runs.
I think some people believe C++ to be a mistake - if such people were to develop a new langauge they might take issue with framing the new language as a better mistake.
The synthetic fuels are made from sources such as hay, which, theoretically is a net neutral to the carbon cycle since the hay's carbon came from the atmosphere already. This approach doesn't contribute additional CO2 to the atmosphere like traditional fuels do. However, not sure what the carbon costs are to create this synthetic fuel so that is a variable in the total carbon gain to the system.
IANAL - and I think you need a very specialized lawyer to really answer this. But bear in mind that ~~90% of infantry casualties in sustained ground combat are caused by fires from artillery, mortars, and such. Which are often "random", targeting a general area (especially roads and other lines of movement), and/or targeted by observers who really can't tell "carrying a wounded comrade to safety" from "carrying broken equipment to a repair/supply facility".
Yeah, the humor of the OP was subtly alluding to this.
Except he’s not “Catholic” (at least by what most define that as). Apparently he’s a sedevacantism follower.
Who, exactly, is this "us" who benefits?

In particular, does it include any of the people asked to pay for it?
This MS inconsistency is entirely the fault of MS.

You could build thousands of KDE environments with the amount of money MS spends on Windows, yet KDE has managed to update everything across 5 versions of their desktop environment. In fact, EVERY common operating system GUI with the exception of Windows manages to update all the things.

If MS had spent some of those billions on updating those legacy apps each generation, they wouldn't be stuck with so much legacy garbage today. It's also telling that MS has never bothered to stick with a framework that would allow them to upgrade UI themes in-place. I'd also note that "complexity" isn't a good reason because MS could have gone with other solutions that were both more simple and more usable, but chose a convoluted design instead.
That seems like change for change's sake. XML is fine for stuff that's machine generated. I doubt anyone is hand-editing MSIX installers.
> it’s safe to assume that it’ll likely charge a hefty premium over traditional gasoline.

> Also worth noting is that while, yes, this synthetic fuel appears to make vehicles slightly more efficient, it still greatly trails the efficiency of EVs. Consequently, vehicles using this fuel will likely always be more expensive to drive per mile than their electric equivalents.

So why are we doing this again?
Low levels of pollutants in office linked with higher cognitive scores (2015)
Checks are basically the same thing, they're just given to the payee to give to their bank (to give to your bank) instead.

The high penalties (historically) for writing bad checks meant that if you had a signed check in hand, you had at least a small level of confidence that you had actually been paid the money, much like cash in hand (it could of course be counterfeit, but you can assume to some extent that it is not).
In a formal debate setting? Sure. In a debate where everyone elects to participate and what they'll be arguing - and when someone consistently, across multiple forums, including places that are not for religious debate, takes similar views (eg, he seems to consistently say that laws of the state are de facto moral unless they contradict the teachings of the church/"a higher law", with his views on slavery being a special case of this broader position)? Seems like a reasonable inference.
Just for fun, or why?

I try to use my credit card as much as possible for remote purchases, because if the extra legal protections.
Is there a 3rd printer model available?
Historic revisionism has become very popular so as to make everyone feel better about their ancestors place in the annals of history. That everyone was at the same level and made the same amount of contributions to the modern world, etc. And of course it was the singularly evil colonizers and their descendants that stole this history and claimed it for themselves, etc.

To me it’s weird because it’s so unimportant. Who cares which groups of who were advanced or not and what they were doing back then. Anyone who feels better or worse about themselves because of this is weird.
NPR gives me hope for humanity. Don't forgot to donate.
When I said store I meant online!
If you would like to hide more aspects of this, in uBlock -> My Filters, add:

## HN Block Karma View
news.ycombinator.com##.comhead .score:style(overflow: hidden; display: inline-block; line-height: 0.1em; width: 0; margin-left: -1.9em;)
news.ycombinator.com##.comhead:not(.sitebit):style(overflow:hidden; display: inline-block);
news.ycombinator.com###hnmain > tbody > tr:first-of-type table td:last-of-type .pagetop:style(font-size: 0!important; color: transparent!important;)
news.ycombinator.com###hnmain > tbody > tr:first-of-type table td:last-of-type .pagetop > *:style(font-size: 10pt; line-height: 1.45em;)
news.ycombinator.com###logout::before:style(content: "|"; padding: 0.25em;)
news.ycombinator.com##form.profileform tbody tr:nth-child(3)

Credit to someone else here, I don't recall who created this.
People who don't want to do it would be expected to pay for it. The people who want to try don't have enough money.
It was compromised more than once.

He kept claiming it must be physical access, but the information he shared about the attacks points more to an IPMI, BMC, iLO or iDRAC type interface being unsecured.

He also didn't use FDE on the server which made the attacks possible...
A lot of sites won't allow you to use a Google Voice number for your 2FA. There are services now that will validate if a number is VOIP, and then the site you're on can choose to filter those at the application level.

I did find a way around this, in that I had a real number, added all my 2FA accounts to it, and then ported the number to Google Voice, but this isn't a long term solution. Idk how long Google Voice will stick around, but I have found a couple backup options that are low cost if I need to keep the number long term.