skysight-inc/HackerNews huggingface dataset:
I think you're underestimating the effort cost of D sumtypes at scale. Every individual instance of StrOrInt(10) is cheap, but once you're actually constructing structs in the same line, you end up writing a lot of terrible code like

publish(TrackingEvent(UpdateTrackerEvent(trackerId, position)));

that just adds visual noise. And the fact that you cannot return out of sumtype apply expressions just makes so many neat idioms impossible. Something like

Object obj = nullableObj.case(null: return false);

is just fundamentally impossible in D.

So it's not one thing, it's a lot of things coming together. :) Mostly I just realized one day that D was never going to be the perfect language for me, because it wasn't even interested in being that language.

> The effort to create a language and a stdlib and a package manager etc. is ridiculously high compared to improving existing languages.

Have you seen the DMD source code? Genuinely, writing my own compiler was easier than improving DMD.
There is no demand that prose be internally or externally consistent, let alone logically functional, to achieve its objective of conveying information, emotion, or nuance. If you think there is, you're writing bad prose.

On the other hand, if you're writing code for a human audience, you're just doomed.
I was about to buy the new Zelda game online, you are right though it’s hard to imagine how they can ever stop supporting it without everyone who bought a digital game coming to them with a bill. I wonder what the terms and conditions say?
Any past T-Mobile commercials that violate their own policies would be false advertising, right?

Like if there was a T-Mobile ad shot in a bar, or if there was one where a horse galloped down a public street.
Which ones are your favourite libraries, let's say for a TypeScript only code base?
Their previous model was better than 46% of such competitors (according to them), so 85% seems achievable by throwing more compute resources at typical ML training. After all, training on millions of examples of logical reasoning will undoubtedly store logical rules in the model in some shape or form (it does so even in ChatGPT), yet the results are still more "convincing" rather than "correct", or "probably correct" at best, usually achieved with lots of postprocessing on top. GPT-4 is better than 90% of lawers at the bar exam, yet still manages to fail at reasoning on much simpler domains.
When has "but this has never been enforced" ever been a valid argument to defend an existing law?
I agree with the advice which is what we do. Average home user (with emphasis on average) doesn't have 40TB, but a "normal" non-professional one might.

We have about 9TB of photos. I can easily imagine someone like us, who is into video, of having more than 40TB of videos.
They probably adhere to some crackpot theory. The focus on “independent thought” as opposed to facts point in that direction. Don’t bother.
It depends on what you are good at. If you are good at your day-to-day job, yes, you stagnate there. If you are good at helping junior teams members learn and grow and become as good as you at the day-to-day job, you get promoted.

That doesn't mean that lower visibility to your management doesn't have an effect - it clearly does. But there us more to it than that, as being remote also makes it harder to mentor others. It can be done... it is just harder.
Quasar.dev provides a full "interoperable" solution to get to electron and others. All the code can be written as regular Vue3, then built for:

- SPAs (Single Page App)

- SSR (Server-side Rendered App) (+ optional PWA client takeover)

- PWAs (Progressive Web App)

- BEX (Browser Extension)

- Mobile Apps (Android, iOS, …) through Cordova or Capacitor
Multi-platform Desktop Apps (using Electron)

Might be worth considering if you're going full client.
This is cool! I just sent you a note since we're in a similar space.
What domestic flights even are there? The only ones I'm aware of are Belfast to assorted cities in England.
Larger stores, compared to smaller stores, have access to more methods to reduce their tax burden.

For example, they have the capital to build a dedicated store for their needs, then place deed restrictions on resale use to prohibit competition, and to have those former sites - which essentially always pay lower tax rates - included as comparables for tax assessment purposes. Eg, https://ilsr.org/dark-store-tax-tactic-makes-big-box-stores-... .

For another example, a store with the name "PandaMan" may not actually own the trademark to "PandaMan" but instead pay "PM Trademark Holdings", a Delaware LLC, for trademark use. This is a business expense, which reduces the local taxes, and the choice of state LLC can be chosen to reduce overall taxes. Delaware does not charge income tax on royalties. https://troyandschwartzlaw.com/2020/09/holding-companies-str...

These are called "loopholes" and are of course completely legal.

As a result, big box stores pay far than smaller stores in mixed-use areas , when measured in net tax revenue acre. ("Net" is important since it costs the government money to provide the roads, water, sewer, etc.)

For example, from https://www.cnu.org/publicsquare/2021/02/11/how-mixed-use-de... regarding Carmel, Indiana:

> When left to the market to allow developers to build what they build,” the result is strip centers, he says. “Even nice retail, like the Target on the west side, generates a half million in assessed value per acre.” Stand-alone office buildings generate $1 million to 1.5 million in assessed value per acre, he explains.

> “Then you look at redevelopment projects that the mayor and council have done together,” he says. “Instead of a million or a half million per acre, we are netting $23 million in assessed value per acre, $20 million in assessed value per acre. Twenty times the assessed value from redevelopment projects. That locks us into a positive tax generating position for the next hundred years. This is smart planning.”

This has been true for a long time, like this 2008 summary of a report from 2003, at https://cdn.ilsr.org/wp-content/uploads/2008/12/bbtk-factshe... , which shows a net-negative revenue for big box stores, due to the lower tax revenue per acre and higher infrastructure costs than specialty retailers, which had a net positive tax revenue.

So maybe the government should say the existing costs to subsidize Walmart are high enough, that government-provided police protection is too much, and if Walmart's business model can't afford additional internal security then it's time for Walmart to leave the area, and let the government support other businesses which both need less subsidizes and provide higher tax revenue.
The search term you’re looking for is “consumption based emissions”. There the uk in 2021 was down >30% from its peak, though the number for this year may be lower. Example: https://ourworldindata.org/grapher/consumption-co2-emissions...
In large part due to making up the French nuclear shortfall.

https://www.nytimes.com/2022/11/15/business/nuclear-power-fr...
I have no idea honestly, it's all sort of in a state of confusion rn. The big thing coming up is editions, but that's not even slightly codified or implemented yet. I'm curious where it's going as well, I'm very hype for that approach. It could end up really good for the language. Or it could all sort of come to nothing. We'll see over the next years.
The main issue I felt with Qt on mobile, was that the effort writing JNI bindings or Objective-C++ wrappers for stuff Qt didn't account for, like the file dialogue example, would be better spent just having the business logic in C++ and writing the UI in the platform native languages.

The effort was already there anyway, so Qt wasn't bringing anything to the table, when a desktop app isn't part of the offering.

Everyone is looking for the magical WORA, however the reason Java failed at that, and Electron sucks, is that they are all leaky abstractions.

In reality, for delivering a good experience, knowing the underlying platform is still a requirement, and it only adds up in layers to debug, OS APIs to wrap, build tooling to integrate, IDE plugins for the platform SDK interoperability, and so on.
This is probably down more to the lack of overlap between people who care about carbon accounting and those who celebrate petty jingoistic "victories" like being the first nation in the G20 to achieve collectively agreed targets.
> Understanding the difference between O(1), O(n) etc is essential for literally everyone who writes code.

No it isn’t.

It’s a great thing to learn and understand, and essential for designing and maintaining data-intensive systems, but your statement simply isn’t true.
For a reasonable number of services the "correct" solution is to configure the service via debconf during the installation (or by pre populating debconf answers before installation).
> I sometimes login to the hotel wifi on my personal phone, tether that phone to my personal laptop, then setup that laptop as a router. The work computer can then connect to the wifi from the personal laptop

Why go through a laptop? Isn't this exactly what generating a hotspot from the phone does?
Having a programmer understand the economic and societal background when they create a new project seems to be a bold assumption. Obviously tech can solve everything, right?
I wonder if the author would say reading code is the same thing as reading prose?
Dezeen's top product designs of 2023
As the sibling says, 40 TB is not exactly "average home nas" territory. What I personally do, though I don't have 40 TB available even if I counted all my hard drives together, is I just have a second device that can hold the data and back up to it regularly.

My NAS has something like 5 TB used. It's all synced to an old server that can hold about 8 TB and that's off most of the time (no fun living next to a jet engine). This cold server lives at my parents' house.

My "really important stuff" on the NAS, which is a few hundred GB of pictures and such, is regularly backed up to a bucket with object locking.

My "super important stuff", which is my company's accounting and other such documents, and lives on my laptop, is backed up to the live NAS and handled there as the really important stuff. I also back up my laptop to two normally offline external drives, one of which lives in my apartment and the other at my parents' house.

Everything non-cloud is ZFS, so after each backup to an external drive or "cold NAS", I run a scrub to make sure it is still operational. The live NAS runs a scrub every Monday morning.

Granted, this is not a "modern NAS" environment, since it made no sense to me to forego the free servers that my employer was going to send to the trash and buy some expensive off-the-shelf solution without the guarantees of ZFS (despite the issue TFA talks about). I know about power usage, but my live NAS eats less than 50W at idle (which is 99% of the time), so breaking even with the electricity prices in France would take forever.
company:open source::sand castle:water

A little bit helps the sand stick together. Too much and goodbye castle.

Or maybe it’s more accurate to say that trying to build a capitalist open source company is like trying to build an ant hill out of insecticide. FOSS software, at least in my eyes, is a tool to help achieve the ultimate goal of toppling capitalism. I love it when people try to make it compatible with capitalism, since it helps further the goal.

If you want to work at a truly open source company, it should probably be a non-profit foundation of some kind.
Protein from beef is the least efficient way (2%) to farm protein. https://ourworldindata.org/grapher/protein-efficiency-of-mea... (last chart).

It’s trivial to get protein from plants which are far more efficient source to farm.
Show HN: OnSubmit – the last input validation library of 2023
Because input validation shouldn't require convoluted set-up and mountains of nesting.And it should work both on the client and server.
46% of 'British Peoples' carbon emissions are released overseas (2016)

https://www.wwf.org.uk/sites/default/files/2020-04/FINAL-WWF...

> In 2016, 54% of the UK’s carbon footprint was domestically sourced with the
remaining 46% coming from emissions released overseas to satisfy UK consumption.
The overseas proportion of the UK’s carbon footprint increased substantially – from just 14% in 1990 – thus reducing the scope of UK climate policy to affect emissions associated with
consumption.
If coding is made easier for human’s and AI, by better abstractions, how would that make humans more useful and AI’s less useful?

The opposite is more likely.

The simpler a task, the easier it is to automate it.

The simpler a task, the greater the competitive need to automate it.
How do you perform the testing of these backups tho?
> An alternative explanation might be that such an employee changing the color of a button has probably millions of times more impact than an engineer working at a B2B start-up with three clients.

There's people who certainly tell themselves that, but I've started work in a 12 person company which grew to 300, got acquired into a 1.8k behemot and I have to say the impact is a linear decrease. But people at the 1.8k people company think they are "more professional" while in one week the 12 people did more than 800 of them do in 6 months.
A very comprehensive video on that topic :
https://m.youtube.com/watch?v=hX2aZUav-54
Yeah, "anti nuclear advocate Mycle Schneider pooh poohs most recent move towards more nuclear" probably isn't the grand revelation you make it out to be.

The fact that most of the world under-invested in nuclear the last two decades or so is well-known. Extrapolating past trends linearly into the future is ... unwise.

Particularly when there has been a significant policy shift, not in small part due to the disaster of the German "Energiewende".

The Tragedy of Germany’s Energy Experiment

https://www.nytimes.com/2020/01/08/opinion/nuclear-power-ger...

Germany’s Energiewende: A Disaster In The Making

https://www.thegwpf.org/publications/germanys-energiewende-a...

Germany’s Energy Disaster 20 Years Later

https://www.americanexperiment.org/germanys-energy-disaster-...

Germany’s Energy Crisis Dispels Several Myths

https://www.forbes.com/sites/michaellynch/2022/08/31/germany...

"Much of its problem is self-inflicted and demonstrates the perils of populist but irrational energy policy."

As for China:

"As of February 2023, China has 55 plants with 57GW in operation, 22 under construction with 24 GW and more than 70 planned with 88GW. "

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

That is almost a tripling in both numbers and capacity. Because you need some reliable power.
I would not have the patience to spend years organizing “walk and talks” and experimenting with the format. But I’m glad that somebody does —- it sounds meaningful for participants at least. I wonder if my opinion will change as I age; perhaps when I’m 40 I could be motivated to organize something like this myself.

The linked article that touches on the sandwiches in England made me laugh, I love the opening: https://craigmod.com/ridgeline/167/
Humans might evolve tools to lower cultural drift or get it to zero even, which is also needed I think if you want to build galaxy spanning societies, for precisely the reason you state.

E.g. you could have many jobs in society be done by machines, have humans be raised by them, interact with them on a daily basis, etc. If you want to prevent language drift, you could have these machines speak only one specific kind of language. That way, all the cultural works of the ancestors are still directly accessible to everyone without translation.
U.S. Strikes Iran-Backed Groups in Iraq in Round of Retaliation
https://archive.is/vmxP4#selection-341.0-341.63
Exactly my feelings too.

The reality of tech, especially big tech, is much more mundane. The vast majority of engineers work on maintaining and (slowly) upgrading the products that we use every day -- search, mail, maps, video. Each of these have thousands of engs that work on stable projects -- not wildly innovative, but not bullshit either.
Which is why those countries focus on wind energy. The northern regions, outside the Arctic are the windiest places on earth, and wind is anticorrelated with the sun being stronger in the winter.

https://globalwindatlas.info/en
I don’t know what you mean by contract, but an employer can always tell an employee they can no longer access the employer’s facilities (or log in remotely) anytime, barring an extremely weird agreement giving an employee that right.

And outside of Montana, employers can stop paying employees immediately barring an agreement that the employer cannot do that. This is called at-will employment. The most common agreement that typically does not allow an employer to do this are usually called collective bargaining agreements, negotiated by unions.
Same with all these cuckold fetishists on the internet. It's a fringe, rounding error.
> The UK seems to have the perfect conditions for getting rid of the automobile entirely

How do you get your dog to the vet?

Or, we're going away to a country cottage for christmas. How do we get all our stuff there?
Yeah, I played Descent (1995) yesterday on my deck without needing to do anything but invert the y-axis on the keypad (which is non-standard). Aside from that the game ran flawlessly. I’ve played a number of my childhood games on the deck and been incredibly impressed.
> sounds to me like the author was naive and idealistic, nothing wrong with that

Naive and idealistic like the Wells Fago CEO who had no idea that his employees were actually committing fraud trying to meet his impossible demands.

The author was running a paper mill with underpaid postdocs students and presenting their work as her own with very minimal supervision.
Please. Privacy is hardly a right at all in the US. And in other jurisdictions, privacy is limited to natural persons only, not legal entities.
Plantuml, doable in.
You don’t care about the impact on your health or your children’s health? That seems short sighted to me.
Model S price segment competitiors: Porsche Taycan, Mercedes EQS, Lucid Air, BMW i7, Genesis G80 EV, Audi e-tron GT

Model X price segment competitors: Audi Q8/SQ8 e-tron, BMW iX, Mercedes EQS SUV, Lotus Eletre

There are dozens of EVs with better powertrains and interiors for less money than the S/X. I have merely listed cars with similar MSRPs.
I am surprised that no one has mentioned Donald Knuth's literate programming yet.

https://en.m.wikipedia.org/wiki/Literate_programming
> France is currently reducing the share of nuclear in favor of renewable energy.

That was the plan indeed until about 2020 when they realised that renewables could not sustain the French demand. The Russian war was the final nail in the coffin of the all renewable plan.

The law reducing the share of nuclear then got scrapped and the custom electricity market applied there negociated in the EU designed to prop-up competitors is in grand danger of being scrapped as well.
LOL. I still remember when the South Korean police stole my friends eye-glasses from the metro in Samsu station in Seoul. Buddy was pissed but I couldn't stop laughing at the cop inside the metro booth wearing his glasses. I have no doubt they'll shakedown some poor fools over this demand-side inflation nightmare. Let no good crises go to waste.
UHK Ultimate Hacking Keyboard.

https://ultimatehackingkeyboard.com/

I’ve tried several split keyboards but this is the one I finally stuck with. Amazing config software, I have several Mac and PyCharm shortcuts setup.

ChatGPT iOS app with voice.

Ninja Air Fry Digital Oven
Conversely, 10 years ago we also had Grunt, Gulp, etc, which were poor implementations of build systems we had ~40 years ago.

It’s not all progress.
Trade adjusted emissions are also down. The percentage due to trade has increased over time: https://ourworldindata.org/grapher/share-co2-embedded-in-tra...

Note: 1. the US hasn’t seen such a big change so this thinking doesn’t really carry over to there.

2. The chart is a percentage of domestic production so decreasing domestic production while holding emissions due to trade constant would make the line go up.
The Apparatus that plays some wordgames (OCR on 8-bit MCU with 2.5KB of RAM)
The Apparatus that plays some wordgames, with on-the-fly OCR on 8-bit ATmega32U4 with 2.5KB of RAM, and ATmega2560 as secondary MCU for word processing.
Renewables account for something like 40% of electricity production in Germany. That’s a lot more than „some be energy some of the time“.
GPS has helped a whole helluva lot of people!
I think I'll propose a vrgatherei4, analogous to vrgatherei16, but with 4 bit indices, for LUTs, when I eventually finish my project with a blog post.
20 Year regulatory delays can easily be overcome with political will.

Political will requires a median IQ high enough to understand the tradeoffs and lack fear from decades pass, which I don't think is possible this century.
I think the article mentions this clearly in the introduction:
“it is unprovable in Peano arithmetic (but it can be proven in stronger systems, such as second-order arithmetic).”
This is open source software sir, it needs multiple steps to ensure users actually need these features and are willing to use them.
Because it works when the Sun is down and the wind isn't blowing, and doesn't pollute like coal does. It mean in the dead of winter when there is little/no sun, we can run electric heaters.
Perhaps we should call software craftsmanship "the solitary vice"?
Can you write down what you think the number would be?
But you're misframing the point. No one is saying animals (or even simpler living life) can't communicate or do basic reasoning.

You're claiming that humans, without modern society, are somehow in the same realm of intelligence of even the next "smartest" animal (chimps), despite the fact that human intelligence is blatantly orders of magnitude higher just from mere observability let alone deep comparison of neural activity, reasoned and logical thought, and social interaction.

Especially if you start breaking things down into slime molds, ant colonies, plant interactions and somehow conflate relatively simplistic and predictable pattern-based behaviors to high-order reasoning and abstract thought that humans inately possess.

Is that to say human thought is non-deterministic and unpredictable? No, I'm not making that argument. I'm saying that the levels of abstraction and complexity is so much higher that it's blatantly fallacious and misleading to compare them.
After trying induction for a couple of years, I now believe it's superior to gas.
> Oh, what's the amount of land & sea needed to rely on solar then?

7.6% of Nevada

http://www.wolframalpha.com/input/?i=%28US%20power%20consump...