skysight-inc/HackerNews huggingface dataset:
Stepanov is addressing a lot of topics that Haskell sweeps under the rug. For software for which crashing is acceptable behavior, such as compilers, web browsers, or theorem provers, that's an improvement. Not all software falls in that category.
The idea behind vat is to spread the sales tax across the chain, which means the government gets the money even if the end product didnt reach the customer.

Naturally the chain breaks at the border, so importers pay vat and exporters get vat refunds.

In the end its just a sales tax
Cite anything that says we're two years away from using carbon capture to clean up the climate

This has never been the point. Why the strawman argument?
I use gcc's nested functions a fair amount. Because it reduces cutting pasting and makes the code much easier to understand.

I use variable argument macro's to implement debug print functions for debugging. And I just leave them in the code as a form of documentation. Looking at the debug print statements tells you a lot of about what the code is doing.
I tend to agree. 3.0 can be reached fairly easily, and I think is the funnest level with the most players.
California has budget rules that cap its ability to save money from surpluses and require it to issue refunds:

https://www.capradio.org/articles/2024/01/22/how-california-...
Antigua Guatemala - most beautiful city I've ever visited.

I've visited 25 countries. Been to Antigua 4 or 5 times and it's so beautiful with the volcanos and the cobblestone streets. High enough altitude to not get a bunch of bugs and low enough to have pleasant weather nearly year round.

I'm from Colorado USA.
I'm curious, how does that perspective make the avoidance of recursion more compelling?
The linked article explains VAT.

Being confidently wrong in the comment section is dumb and arrogant.
Primarily though, they must collect VAT because it's the law. In Germany, you can get an exception if you're tiny and have very low revenue.

If it was optional if you didn't want to claim expended VAT, quite a few companies would happily choose that, because you don't pay VAT on labor and that's the biggest cost in many industries. If you're primarily b2c, you could effectively lower your prices by a good chunk or get a healthy chunk of extra profit.

But you can't, because there's no choice, it's just the law.
That’s a very meaningful and comforting thought about one’s own impact on the world… except for tableau’s web performance team.
I work with a lot of embedded and embedded-adjacent software, and even I think several of these rules are too much. Having said that, Holzmann's rules are from 2006, and embedded / space qualified hardware has improved quite a bit since then. These days planetary probes run C++, and JWST even uses JavaScript to run command scripts. Things are changing.
People who don't know often imagine that, understandably. Recreating years of accumulated deployment and management in a new system is so expensive, it's usually impossible. In a real sense, you have to redo many years of work, all at once. And on top of that, you have to deploy it all at once - an immensely complex project that is almost certain to be a disaster.

Also, in many ways, Windows management components (Active Directory, Group Policy, etc.) have no competition:

First, you must have management systems: imagine you are deploying, configuring and managing a new application on 10,000 desktops, or just 1,000. You can't manually go to each desktop (just add up the time spent walking between desks!); you must automate it.

Second, most user applications provide management components for Windows and for no other platform. If they have something else, it's often an afterthought (and goodness forbid they stop developing it and you are left 'to your own devices').

Finally, there's usually no reason not to use Windows. Why create these risks and costs? The users care only about the applications - these aren't their home computers; the IT department handles the OS, etc. The network effect of the Windows standard is hard to beat.

There are exceptions: Some deployments are very simple and can be done on Linux, for example POS cash registers. Many applications now depend on web browsers, though even then you can have DRM and other issues, and you don't know what new application a user may need tomorrow. Macs are a standard in some places.
You say she's male, but she says she's female. How can you square that with "I am absolutely not accusing Khelif of pretending to be something she's not" when you are absolutely accusing her of doing that?
I agree with you that ETH and BTC are also based on speculation but they differ from Memecoins in their characteristics. Memecoins have no chance of recovering after a very large rag-pull but ETH and BTC have been around for a while to make a ragpull harder to pull off and sometimes not even that advantageous to the rug pullers in the sense "Had they waited longer they'd probably draw more profit in"
Wow, I'm really surprised that my comment describing 95% of YouTubers as "some dumbshit" got voted up to +19. I guess I'm not the only old man shaking his fist at the surveillance capitalism incompetent confident shouty bullshitter cloud?
Something readers need to know to interpret a comparison between California and Texas is that Texas uses way, way more electricity than California. Part of the reason why California need not keep pace with Texas in this race is that California pursues efficiency standards and dispersed solar generation to a greater degree. CAISO's peak load hasn't grown much in the last 20 years. The 2024 peak load minute was below the 2006 peak load minute, despite a 23% larger population. ERCOT dispatches twice as much power per capita.
A Man Who Captured the Unique Beauty of Snowflakes
I had something similar set up on my second to last work laptop. I had done some heavy customization that was mostly focused on common workflows for that job, but I have learned that I should still keep a backup even if most of it won't work elsewhere. I should have learned this lesson almost a couple decades ago when I lost all my emacs customizations on a personal computer. But instead, I decided to learn vim.
Depending on the country, personal care products as well (...) basically, essentials are taxed at varying lower rates in respect to the normal rate
Eshell looks really powerful :)

Does it also have job control, and jobs as first-class objects?

In schemesh, you can do things like

find / -xdev -type f | ls -l --sort=size
CTRL+Z
bg 1

and also

(define j {git log})
(display j)
(display (sh-run/string j))
> 2029, the year of Linux on the desktop.

Heh.

I ran Linux as my desktop since... approximately the turn off the millennium, with a brief downgrade to Windows from when the Rift S came out until I finally got around to switching back last year.

I should probably see about finding time to upgrade my laptop away from the os it came with as well as some point...
> it cannot be more deadly than the flu, since it is the flu

I’d say technically it’s not the flu. The flu is influenza A or B.
I dunno, given the quality of talent at the top of the Trump administration I'd probably describe it as believably stupid.
Let's wait until they learn about public health care.
but don’t they already pay tax on their profits? What’s the rationale for taxing the “value added” and then also the profits?
No, that's not how it works. If a business sells to another business, then the buyer is the consumer, and VAT has to be paid. And of course they have to sell with a profit.

Many B2B offers and proposals are negotiated or priced without VAT mentioned, but it is absolutely added to the bill.

The only time it "nets out" is if a business has the same expenses for their purchases as for their sales, meaning they're soon bankrupt.
Do more research. He is a mixed bag, trying to lower prescription drug prices, but he is also no enemy of Big Pharma. I asked OpenAI about him in research mode, and if it was largely correct.

So not total FUD. I am quoting from ChatGPT:

Between 2019 and 2024, Senator Ron Wyden received $351,513 in campaign contributions from the Pharmaceuticals/Health Products industry. This total includes $169,063 from individual donors and $182,450 from political action committees (PACs).

It’s important to note that while Senator Wyden has received contributions from the pharmaceutical industry, he has also been a critic of high drug prices. For instance, during a 2019 Senate Finance Committee hearing, he emphasized the need for concrete actions to make medications more affordable.
I owned two of them. They were great. Worked flawlessly.
Should I be able to actually hear something?

Firefox 134.0.1 on MacOS here, I don't hear anything.
Nice! Learnt something new today. https://llm-stats.com/
Various options around for simple alternatives, the simplest is probably just running single node.

Maybe with fail over for high availability.

Even that's fine for most deployments that aren't social media sites, aren't developed by multiple teams of devs and don't have any operations people on payroll.
They do, it's just that many choose the reverse charge mechanism, so the recipient of the services or goods is responsible for paying the VAT to his tax authority. It makes things easier, it doesn't remove VAT.
> Despite the appearance of subsidizing exports and punishing imports, however, a border-adjusted VAT is trade neutral. A border adjusted tax leads to currency appreciation for the imposing country, which would make it cheaper to import goods, more expensive to export goods, and thus would cancel out the apparent benefits of the tax on imports and the rebate on exports.

This isn't even remotely true
There is absolutely nothing, at any step, that takes into account where an item has been produced when the VAT is calculated. You don't need to know anything about VAT to understand at least this very tiny, simple and obvious fact.

But apparently facts don't mean anything anymore in that crazy country there.
Everything with these people makes sense when you understand that they want to break down the United States into their own corrupt little fiefdoms. They are anti-Union, not just with workforces, but with nations, because united people are harder to exploit.
But the answers are really coming from those "SEO laden crapware" sites that ChatGPT was trained on -- in some ways ChatGPT has kinda stolen information and summarized it, but what happens over time? How do arrive at a new recipe for the same old things?
Erlang seems like a strange choice for deeply embedded hard realtime systems that aren't supposed to ever crash. It's a different set of tradeoffs than Erlang makes.
It surprises me that some obvious clues to treatment are passed over as I guess they don't fit the politics? Like

>A team of researchers in Jerusalem, he says, decided to look at patients who survived bladder cancer and compare dementia prevalence among patients treated with BCG and those who weren’t. “Do they differ in the rate at which they get Alzheimer’s disease?” The answer is yes – the BCG group appeared to get 75% protection against Alzheimer’s. A number of studies have now found varying levels of protection from BCG, with an average, according to one meta‑analysis, of 45%.

There's a lot of evidence a lot of it is set off by infectious microbes which can be treated in the usual way. (From https://www.theguardian.com/lifeandstyle/2024/dec/01/the-bra...)

The 'politics' puzzles me. Maybe the head of department got fame for hypothesis A and feels his power or money is threatened by hypothesis B? It's not what science should be about.

(There was an entertaining angry Sabine Hossenfelder
youtube a few minutes ago on the corruption of science just wasting money, but really letting people die of Alzheimer's is worse. https://youtu.be/shFUDPqVmTg)
Could someone please explain what a genetic circuit is, for those out of the loop (like me)?
Firefox on Android. I do hear a small white noise!
Another advantage is that Texas renewable assets are west of Texas population centers, which blunts the "duck curve" problem of evening peak load. California, unfortunately, does not enjoy that geographic advantage.
No. The vat is payed by the seller on full price of what they sell. So does their supplier. The trick is -- yoy get tax credits when your supplier is a vat payer. As a result, the tax is collected in parts over the final price sold to the non-business customer.

Which is why being a registered one man company with a vat number allows you to get back vat for your laptop
That’s a very good analogy, which works astonishingly well in giving people a reasonable expectation.

The question I’m having though is: How different are we from that? The nature of a Markov-Chain is that you can describe just about anything with it.

The following description is correct, isn’t it? Our “thoughts” are generated as some function of our integrated past sensory input (scare quotes because I don’t want to talk about what exactly a thought is)
Calling writing for just humans irresponsible is quite the claim. Personally, I'd rather AI did not injest anything I write whatsoever. Not that there's much I can do about it.
Is a reference to this famous incident of a mars lander slamming into mars due to mismatched units.

https://everydayastronaut.com/mars-climate-orbiter/
Waymo lobbyist activity in SF skyrocketed in 2024
No idea why you're getting downvoted.
The rules of the game have changed. The rational actors will have to adapt.
I think it would be enough to simply move the 3 point line back a couple feet AND have it follow its natural arc out of bounds, thus eliminating the shorter and easier corner 3 shot.
Seems like darcs applies patches and diffs trees, whereas got applies patches and diffs commits.

Trees don’t contain author or timestamps, unlike commits.

This makes it easier to achieve “same state” by comparing trees.
From the point of view of a US company VAT and Tarif are indistinguishable - they make exports 20% more expensive, so US company export less.
Professionals in wealthy countries have access to licensed, legal sources. Do you mean people in other countries?
Is it not still the case that they do correlate, and therefore the article talking about them as biomarkers is not making the mistake you think it is (as if it was talking about them as the thing to get rid of to prevent Alzheimer's)? Because "lead to" is not the same as "causes".

Or has latest research shown that even a non-causal link should be dismissed?
Pickleball makes way more sense than tennis as a tax-funded public good. It's a much more accessible game, and you can fit 16 players in a space that would most often be consumed by 2 playing tennis.

And pickleball is popular enough in my city that you'll fill those courts.
All of the landmark CA laws (CEQA, CCCA, CCA, CESA, CDPA) were passed by Democratic legislatures. Most of them were signed by Reagan (who subsequently repudiated all of those laws as President) or Pete Wilson (who did not). The CSRA and CSGMA are the only two major CA environmental laws recent enough to be signed by a Democratic governor.

Notably, by today's political standards, (gubernatorial-era) Reagan and Wilson would be characterized as moderate Democrats.
My understanding is that it's not so much about undoing past decades, but being able to even reach zero additional warming in the first place. Cows won't stop farting (that sounds like they're the butt of a joke but it's not actually, even if some feed additives reduce it), so we need to compensate for the methane. Or air travel for relevant distances (where a train won't do), we don't have the battery tech to make it zero emission but we can totally capture the carbon. (It's not super economical but it's cleaning up after oneself, it's either that or accepting further warming and much greater costs later.) Or compensating whatever emissions occur as part of making those batteries and stuff we need to capture and use that zero-emission solar/wind/water energy
If real it’s absolutely not shitty and exactly the right thing to do after all this time and also given that she was careful to remove anything doxxing. In fact one could argue that she should not have waited so long to do so.
If you're going to start equating VAT (essentially sales tax) with tariffs you open the whole nightmare can of worms that is US sales tax to the rest of the world - for those not living in the US every state, and in some cases every county has its own sales tax rate ....
Time and time again, I remind myself to follow the running away from the bear strategy, especially when I'm pessimistic about my career and future.

Just like you don't need to be able to outrun the bear, it's enough to outrun your friend, it's okay to be theoretically replaceable by AI, as long as I'm not the most obvious person to be replaced (at least that's what I tell myself).

Companies move slowly, I just hope they move slowly enough for me to provide a good life for my family as a software developer.

This is a motivating and least depressive outlook on the future, as it encourages me to learn things better, and that feels good for me.

I have many thought on AI, sometimes excited, sometimes frustrated, sometimes worried, but I didn't see this idea phrased like this before, so thought Id share it.
It's important to understand that (in simple terms) businesses do not actually pay VAT. VAT is a tax that ultimately burdens consumers, not companies. When a business purchases a product that includes VAT, it initially pays the VAT amount. However, when the same business later issues invoices for its own products or services (also including VAT), it is required to remit the VAT to the tax authorities minus the VAT it has already paid on its own purchases.

In practice, this means that if you sell something with VAT to a company, the VAT component is irrelevant to that company. This is, of course, a simplified explanation, but fundamentally, that's how the system works.
Isn't this the entire idea of the VAT?

B2B sales have VAT applied, but before sending the VAT money it collected, the company deducts the VAT it was charged when it bought the goods. (each company ends up sending tax money that covers how much value it added)

(it's a bit more complicated when it's cross country since it involves refund rather than deducting, but that should be the same idea)
There was a post just a day or two ago about the surprising finding of people with antibodies who never got sick. Hopefully they'll chase that down and we'll get a more correct denominator soon.
Acquiring a massive library of unlicensed IP, the best-known such library in the world, would also seem to destroy arXiv's credibility with those in power and I expect would be the end of arXiv.
Why would Tokyo be rated higher than London in the globalization index? (Asking honestly.)
> Isn't your impulse to damn now that there's a low-level face to the faceless evil the exact same impulse as the one people have to condemn a low-level drug runner for the rest of their life?

First, there’s a disconnect here in my opinion: the low level drug offender deals with headwinds entering professional society writ large, not specific industry. This is much more consequential and, in my opinion, unfair. Being a drug runner doesn’t imply you would be a bad sales rep, but that’s how our society operates. If we were considering that low-level drug dealers face a specific impediment to becoming public health officials, I would argue that’s at least more sensible.

Both the drug dealer and this guy have probably caused outsized social health impacts (and, don’t forget, deaths) through their actions. That invites scrutiny.

Second, I have no delusions. Yes, I think this guy should be heavily scrutinized. Perhaps it’s not exactly fair that your actions follow you for your life, but if you have a hand in one of the worst public health crises of recent years, that’s damning if you want to run a public health office. Civil servants necessarily should be held to a higher standard. All that said, I doubt he will be disqualified from the office.

There’s a wider question: what are we prioritizing? Individual fairness or public health (more generally, public good)? I think from that frame (and a similar framing in many industries) more people should be made an example of if they have worked against the interests of an office they seek. Airline lobbyists should not be heads of transportation (and heads should be legally disallowed from entering lobbying for a period after office), food magnates who seek to dilute and adulterate their products as much as legally allowable should not run the USDA, the parallels are numerous. These people hold the wrong incentive (making money) highest. By making examples of these people and disqualifying them, you right the scale to some degree and influence the actions of others.

I don’t have the time at the moment to make a wider argument of systems, but if you look at China vs. the US…
Bots or people in complete denial. People are waking up a bit slower than expected to the reality of what is happening. I completely understand in a way, because it only becomes clear once the barrel is pointed at you. At that point, it’s too late.

Trying to help out where I can - this is all misdirection. I’m sure there are a lot of smart people on here fascinated by pattern recognition. It’s their time to shine.
Did ease of simple development peak with Visual Basic?
That was an (as far as I can tell) unsubstantiated claim made by OpenAI. It doesn’t even make sense, as o1’s reasoning traces are not provided to the user.
Yeah, yeah. Go to Somalia, Galt.
Can you link to some sources / information here because I have no idea what you're talking about
How does it not? His resignation is a direct reaction to the circumstances surrounding the resignation of a core Rust-in-the-kernel personality over an argument about Rust in the kernel, and as the article points out his primary area of activity is another project (Rusticl) to introduce Rust into core Linux infrastructure (Mesa).
I want to retire early and make music and games for 40 years after I turn 40.

I don't want to wait until I'm 69 to retire for at most 11 years.

Plus none of us know how much time we actually have. A lot of people plan to retire at 68, die on the job at 67, and your replacement is in your chair next week.
You worked on AC: Bloodlines?!

I absolutely loved that game. I remember playing it on my white Star Wars PSP with a decal of Darth Vader on the back. I spent so many hours sitting on my bean bag chair playing it.

Thank you for making my childhood more fun :)
Because that's the right approach for that situation. A core skill in engineering is understanding tradeoffs, and in that case you want speed.

Outside of eng, nobody cares if your company has the prettiest, leanest infrastructure in the world. They care about product.
Sales tax is the same across all goods sold in the US, irrespective of whether they were imported or not. VAT rate differ based on the origin which is the issue
For almost all B2B cross-border transactions between two VAT registered entities, the reverse charge is mandatory, not something that you can choose to opt in to.
Here [1] are the summarized release notes that describe the bugs fixed in the latest versions. If you update the http2 flag/syntax changes to what I listed.

http2 on; # instead of being in the listen line.

[1] - https://nginx.org/news.html
Emissions standards have been deleted. Finally. I'm convinced they were going to greatly increase the environmental issues. After having improved emissions for decades they had no where else to improve and started building really complex engines with extreme maintenance requirements and very low reliability compared to the late 1990s. Modern trucks are throw aways compared to mid-1990s Ford and late 1990s GM. Nissan went out of business and Toyota isn't much of a player for towing capacity and value. Stellantis products have been a joke for years except for maybe the Charger and Wrangler for a time. Lots of high dollar junk being foisted on consumers right now.