skysight-inc/HackerNews huggingface dataset:
This looks good:

https://www.scottaaronson.com/papers/pnp.pdf

> "Although there’s no “purely mechanical procedure” to determine if a mathematical statement S is true or false, there is a mechanical procedure to determine if S has a proof of some bounded length n: simply enumerate over all proofs of length at most n, and check if any of them prove S. This method, however, takes exponential time. The P ? = NP problem asks whether there’s a fast algorithm to find such a proof (or to report that no proof of length at most n exists), for a suitable meaning of the word “fast.”"

"Fast" seems to mean polynomial time (which can still be a very long time, but not blowing up in the way that exponential time does). The paper gives some clear examples:

> "Think of a large jigsaw puzzle with (say) 10^1000 possible ways of arranging the pieces, or an encrypted message with a similarly huge number of possible decrypts, or an airline with astronomically many ways of scheduling its flights, or a neural network with millions of weights that can be set independently. All of these examples share two key features:

(1) a finite but exponentially-large space of possible solutions; and

(2) a fast, mechanical way to check whether any claimed solution is “valid.” (For example, do the puzzle pieces now fit together in a rectangle? Does the proposed airline schedule achieve the desired profit? Does the neural network correctly classify the images in a test suite?)

> "We’re asking whether, under the above conditions, there’s a general method to find a valid solution whenever one exists, and which is enormously faster than just trying all the possibilities one by one, from now till the end of the universe, like in Jorge Luis Borges’ Library of Babel."

The paper also discusses caveats, assumptions, limitations, etc. of the concept in an approachable manner. Then it goes off into the depths of theorem and conjecture.
If flour, cheese, and tomato sauce also go up 25% what the shit is gained from your entire post? The people at the bottom of this still have issues buying food.
Or maybe they don't care if users use unreleased plugins because there's no security implications.
Wait until you find out about the 4-7% network fees that BNPL provides charge merchants.
Anyone finding the same thing I am?

RevokedHostKeys doesn't accept ~ for your home directory... while things like ControlPath will.

I'd rather confine this to my account, but I either have to use a relative path that doesn't always work... or a fully qualified path that includes my username (and may change)
That have considerable export logistics through Romania. Minus the resources that Russia stole over the territories it had control over during this stupid Putin war.
I concur, smugness levels severely lowered from my side here :(

I do still think touting a payment system with the transaction cowt of BTC for poor people is a tad rididcolous, but it’s hard to make that point after my crash and burn mixup.
Definitely Brexit and not the half a £trillion we printed to fund Covid handouts.
Because the British media feeds this narrative by making it look like the rich always win. The only changes in their wealth that the media draws attention to are increases, and if there's a drop that just gives a new baseline for the next round of headlines about increases. High inflation and increased interest rates got assets down across the board? Well, that means that the better off are getting lots of "unearned income" from interest whilst normal people's wages decline in real terms, never mind that the value of whatever savings they're earning that interest on is also dropping in real terms by more than they're making back in interest.
> raising prices as high as possible

Why did companies wait until this year to do that?
I don't get the point of this article.

All it did was cover some C standard library functions and say that what a GC does is manage the memory lifecycle in languages like Python.

What did other people take from this?
Well for companies as large as Starbucks, I think most of those responsibilities come down to picking the nicest place for a three martini lunch.
No, you could consider this similar to someone revealing that lots of apps banned from app stores are available on the same app stores that they’re banned from, which, yeah, looks a bit dodgy.
I'd guess 90% dev jobs don't involve any algo knowledge more complicated than "should I pick a list or hashmap" or "which columns need indices". They involve converting business logic into code and combining it with good UI/UX.
I think that is incredibly farfetched. If you got access to 1,000 random private Github repos, I don't think you could sell them, or otherwise utilize them for anywhere near that value, if anything.
> In general there seems to be a weird zeitgeist of negative exceptionalism in the UK at the moment.

Especially on Hacker News. I tend to avoid UK-based posts on here because the content is fairly predictable: the UK is going to shit and Brexit is to blame, repeated ad nauseam in the absence of any evidence that it's true. If I wanted thoughtless UK doom mongering, I'd read the Guardian or the NYT.
Conventional economic policy lets you balance inflation with both monetary and fiscal policy. But there's no will to tax the money out of the economy again. The money printing delayed a lot of economic collapse that would otherwise have happened during the pandemic.
Saying hooks are less confusing than classes and understanding the weirdness of `this` is a pretty bad selling point and easily refuted. Hooks are weird. Really weird. They make all your components that use them impure which makes them harder to reason about. But hooks do compose better than classes. With classes, everything is tied to `this` which means that if you decide to reuse some stateful or effectful(?) logic somewhere, you have to disentangle it from `this` first. So on the whole, I think hooks are a win over classes. But they are weird and confusing.
Lazarus Stars: Numerical investigations of stellar evolution with star-lifting
They even capitalize the R like LoRa, but I don’t think we’ll be running this model on an ESP32 to much profit.

Perhaps someone will release a llama I can run at home… how about “llama-homekit”? ;)
> This "don't blame me, I'm just doing what I've been told to do" attitude stinks and the faster these passenger devs get replaced with AI the better

Uh...what? I don't think you thought this through.

How do you think that replacing devs that just do what they're told with AI that's going to just do what its told is going to improve things?
Mainly because there are endless other local attack vectors.
Courts have pretty much ignored trying to define religion and instead treat any strongly held moral-based belief as a religion. If you think about it, having the courts try to decide what is nor is not a religion is a big part of what the first amendment intended to avoid.

“Anarchy” won’t result. Courts and employment law have settled on “reasonable accommodation”. If an employer can spend a reasonable amount of time and effort (“reasonable” is defined in legal precedent) to make the employee productive, then they have to, otherwise they part ways. The question here is whether it’s reasonable effort to support a managed Linux desktop in the same way as they support Windows. Probably pretty situational based on how much management/monitoring they have in place, whether their systems support Linux, etc.
Because only one class will come out of this with MORE assets that at some point will return back to their higher valuable. It's a completely facetious argument. Sure you lost your house, but think of how much the poor billionaire's paper value dropped (while the billionaires asset acquisition continued apace taking advantage of the firesale forced upon the lower classes).
It’s hard to grok but inflation is just the “price of money” in terms of goods and services. (I.e. I can ‘buy’ one pound with X good)

Inflation only negatively affects the poor in that their wages are sticky and do not adjust in time (so in effect, their wages in goods and services terms declines)

The same thing happens to rich people, it’s actually a “capital owner vs salary man” divide. (A small building owner is impacted less than a very wealthy athlete for example, since one can raise rent yearly and the other is in a long term salary contract).
Do restaurants get their groceries from completely different supply chains than the rest of us?

Sure, the distributors are different, but I'd assume it's all still Monsanto, Unilever, etc., at the end of the day anyway.
https://cloudfront-us-east-2.images.arcpublishing.com/reuter...

You do not get it.

This inflation is due to insiders (central bankers) printing money. Covid & ukraine are convenient excuses. Look up where this money ended up.
I've been using Bvckup2 on my PC forever and it's been amazing, thanks for all of your work on it!
We had shortages of ammonia, a key component of fertilizer, last year. That drove up fertilizer costs. Not a huge surprise when the output goods are then marked up.
Germany has higher food inflation than the UK right now so it's definitely not a UK thing.
Even nominal profits are down, so not true.
No. Of fractional reserve banking. Capitalism is not the same thing as a monetary regime.
"Meanwhile" means there isn't any particular connection, but replying in disagreement is very common and on social media it's often assumed if ambiguous.
A pint? I mean no, but that's because milk is sold by the gallon. If you think people aren't acutely aware of the price of a gallon of milk then you live in a bubble of wealthy people. If milk rises above $3 a gallon or falls below $1.50 half of my Facebook feed has something to say about it. Same goes for many other standard products.
Can you name non-capitalism societies that have had more success dealing with inflation?
Plain flour is more expensive
A lot of those cargo vans are being bought to turn into van-life vans. Sure you could get an E-350 used for around $20k but you’d be competing with Mary, the trust fund YouTuber that wants to play “adventuring”.

I spent a solid year looking for a good cargo van to turn into something other than a van-life van (more a mobile hacking station… but that’s besides the point).

The reality is, one’s transportation here in America is one’s livelihood in many situations.
> Are they all friends with each other and plan all their schemes together?

They don't all have to actively conspire or even know one another for them to have a shared business interest.
Ok but what happens when my religion says no one should be allowed to live past age 50? I have a "strongly held" belief that all of the world's problems are caused by older people and removing them from the planet is a necessity.

There have to be some limits on what is allowed to be a protected religious belief. Otherwise we get into the realm of ranking which human rights matter more and that path leads to madness.

The path of "silly" religious beliefs is no better. My religion requires that Coke Zero be the one true soda. If the employee cafeteria offers sodas, you must accommodate my beliefs by serving Coke Zero. Also, Pepsi is the root of all evil and must never be allowed in the same room as Coke products.
Although greatly spurred on by many in the upper classes
> for the real goal of of interoperable modules working together

CORBA, Beans etc predate the modern web but its telling that no one has really bothered to try to recreate them...what is the demand? server-side wasm just doesn't seem to be anything that is strongly needed and looks a lot like completists just scratching an itch

two languages that only communicate at the wasm level...isn't this just a variation on "DLL Hell"?

as to a Go program accessing a Rust module...on a practical level you would almost always be better off taking the thing in Rust that you want to use in Go and just doing a best-effort source translation or find some library out there that provides substitute functionality

I'd rather have source translation tech that just gets functionality into the language I am using
This. The last part, thank you. I think it's a major problem in the economy today. For a market economy to work there needs to be competition, but there's too little of it. If the prices are too high, the market response should be to produce more. But it's not happening - even if you produce something you need to get it in stores and every country is dominated by a few huge chains. They don't want to do business with small time producers. So in multiple parts of the chain you have entities that can basically do whatever they want.
I agree with your overall point, but interestingly it does look like Chrome is interested in shipping WASM GC in the browser. Here's their tracker for it: https://chromestatus.com/feature/6062715726462976
Digital Restoration of Historical Documents
>I forget the exact details but I think you can do this with a custom run_under test wrapper used during coverage. The wrapper runs your test, with whatever custom coverage system you have, then afterwards it converts to LCOV.

The testing is not all you need to modify. You need to modify every compile and link step, since you get byproducts of the instrumentation on every step.

>Sometimes this might require updates to language specific rules because the test runner itself needs to be configured.

That's what I found, too, however I feel like rewriting the C++ rules is a huge undertaking, since they're not defined in Starlark.
Scientist Reveals How to Escape Our Simulation
I don't think starting a company will be that successful if you lack enough experience to be hired at any existing companies. The survivorship bias in tech is huge. Most things fail.
> It's an indication of their ability to keep things secret they mean to keep secret.

This is a fairly large assumption, that the secret was important to them. Sometimes a curtain in front of the stage is all that’s needed, until things are ready.
Get a flash cart. You can now play any game forever.

https://en.m.wikipedia.org/wiki/Flash_cartridge
> Eventually most devs will essentially just be praying to the Machine spirit to make the computer do what they want.

Same as it ever was.
> Besides: How would anyone ever know which model generated the output you are serving?

There's precedent for "whatever you can get away with" in tech companies, but establishing a culture of that at the start of this new big change could end up undesirable for most people.

For example, it could relieve demand for more legal and sustainable ways, until it's too late.
(Look at the history of digital entertainment media piracy and DRM and legislation, for example. Or look at the history of software piracy, where some big companies seem to actually want their product to be pirated, partly because it builds a bigger moat against competitors, and they can legally strongarm some of those pirates later.)
Ask HN: Do you guys in your development team do some fun challenges?
My team and I are dealing with some code that NEEDS to be refactored and unit tested, I am planning on Creating a Code refactoring and Testing challenge. Just wanted to Know your opinions and points to make it more fun and effective, And what other things I could incorporate.
The price of anything is what the market is willing to pay for it. If you are going to buy a carton of milk at $5, why would I sell it for $4?
Expecting everyone to just give up meat and bread for rice and beans is nonsense. And eating too many calories is unhealthy, but who are you to decide. You're blaming the victim.
You just invented food stamps. This another great example of why there are no compelling crypto use cases besides criming.
Naw. Stupid people are only happy until they face the consequences of their stupidity. I'll take being right and derive my happiness elsewhere because internet validation is a chump's game.
You would have to tell your browser to ignore the no-cache directive that reddit gives.

Or just do what everyone else does: open links in a new tab.
Sorry I guess I'm not keeping up.

If tech has the data, law enforcement has access to said data. Simple as.
I don't think it's that simple - inflation is also especially beneficial to debtors which is more of an upper middle class or professional/managerial phenomenon. The truly rich would likely have a cash buffer that gets eroded by inflation same as the typical person's wage.
From what I understood of reading Varoufakis's "Adults in the Room" the French and German banks were every bit as risk during the euro debt crisis, as they had bought government debt from PIGS countries.

The issue was painted as profligate borrowing by PIGS, but was just as much an issue in keeping up the pretence that the PIGS (G in particular) weren't in fact bankrupt, and the German and French banks accordingly in deep trouble.

Hence the subsequent demand for brutal austerity, as this was the only policy option when you can't default and devalue your own currency, nor persuade the taxpayers of other euro countries to bail you out.
Binance says withdrawals have resumed after technical glitches
Is there an example of a solely "for the good of humanity" thing that has come out of SV? Seems like a strange thing to expect from the technology sector. I think tech companies are (very) net positive for society but don't have to be designed as solely for the good of humanity to achieve this goal.
Yep. Makes backing up configurations on Windows systems somewhat nightmarish… it's most practical to just back up the whole install and then pray that you'll never have to go digging for any specific bit of config in particular.
> Would it not make sense to have a crypto solution to the inflation problem?

No.

> This crypto coin can be distributed to everyone every month/week and with a expiry date.

So, you are reinventing ration cards, but with a lot of extra complication?

It... doesn't solve, or even address, inflation. It does create a black/gray market, though, with the usual attendant crime around such markets.
Checkpoint and Godmode9 are probably your best solutions
The Morewrong prophet

You know I had such enormous respect for Yudkowsky until Roko's Basilisk.
This article by John Ganz presents possibly the most comprehensive argument - https://johnganz.substack.com/p/the-enigma-of-peter-thiel

> So, let’s sum up. Peter Thiel believes he belongs to an elite group, often understood in implicitly or explicitly racial terms, that is entitled to set aside democratic governance in favor of pursuing a program of technological progress and national restoration. He believes the political means to accomplish this is through a charismatic leader with manipulative, populist appeals to past national glory and against parasitic immigrants and culturally decadent liberalism. For him, even the most milquetoast, reformist liberalism is “tantamount to communism.” He’s obsessed with romanticized fantasies of absolute power, domination, and control. He dreams of wielding the the national security state against enemies both foreign and domestic. He envisioned a kind of imperialist world-state controlled not through deliberative bodies like the U.N. but directly by the intelligence and secret police bureaus. He combines the ideology of white collar, petit-bourgeois intermediary class with its emphases direct management techniques and closely-held ownership with the grandiose, world-spanning designs of an industrial titan. There’s really no contradiction within Peter Thiel’s politics, they are quite consistent: he’s just realized, more clearly than his opponents often, that there’s ultimately a contradiction between the rule of capital and democracy, and the way to deal with this contradiction, as far as he’s concerned, is to do away with democracy.
Wow, I had no idea GH allowed single character usernames; GL as well https://gitlab.com/0
I would have thought that the issue would come up when the employment contract was discussed/introduced/signed, as they often have expected hours of work. If they signed the contract in bad faith, then I'd expect the company to get rid of them as soon as possible.
Possibly this could work better with all that space? https://imgur.com/a/V0Ykw1D
People got sold something very different from the deal that they actually got
Update a pinned gist to contain your Playstation games stats
https://github.com/Swilder-M/playstation-box
it's dark..
We’ll time and this argument are a flat circle then.

I guess my final question is: do you think there is any risk to a user of those third party service providers going under and not returning capital (either due to slashing risk or normal business risk)?
I believe you never use ChatGPT. I'm not claiming you never use GPT4, I'm claiming you never use even GPT3.5. If you did you will notice its problem is the opposite of what you describe. Especially:

> it does not need good variable names or functions/methods/class names,

It's the exact opposite. It's too good at naming things. It insists to use variable/function names that make sense in plain english, and often make mistakes when the API has inconsistent naming, or consistent but unusual naming.

For example, it makes mistakes when writing code that use "Loop" in Blender API. And the reason is quite obvious to me: because Blender's "Loop" is not what loop means in plain english.
I work in a supermarket and customers are definitely aware of the price of milk, butter etc down to the cent.
The irony of CRA is that it would become a system you needed to learn in and of itself in order to navigate the treachery of trying to manage a modern React app.

I’m not disparaging it generally though. It was truly useful to many people and reduced barriers to allowing people to more easily experience React. Arguably, the mess of needing to understand internals of CRA to solve weird bugs or needing to eject was in some ways a good thing. Perhaps people wouldn’t have made it that far without the initial ease of building with react!

You’re absolutely right though. The design of CRA imposed a lot of inevitable issues. Partially due to how webpack works and due to (in my opinion) the fragility of the npm ecosystem. There was so much complexity and so many dependencies. Perhaps some of these things changed for the better over time — it has been a while since I looked at it. The last time I did, that aspect was labyrinthine and awful to navigate when things went wrong.
The non-profit-oh-wait-just-kidding nonsense feels like an existential risk to OpenAI. I agree that Altman may be (unintentionally?) protecting himself from lawsuits, but I don't see it being enough to avoid the spotlight.

I expect someone will eventually sue OpenAI for the shenanigans, and that a competitor (Meta?) or Elon Musk will fund the lawsuit. The goal won't be to actually win the case, but instead to motivate US regulatory action to undercuts OpenAI's perceived advantage.
That the same BP that is making record profits during the cost of living crisis? [0]

I suspect the "formal economy" is hurting in a number of places, just not the energy sector.

0: https://www.bigissue.com/news/social-justice/we-asked-expert...
Personally at my work I've been trying to navigate migrating our CentOS 7 production servers to EL8 (Looking at Rocky Linux) and it's been a bloody nightmare thanks to RedHat prematurely killing CentOS8. It seems like there isn't any kind of tools available on the internet to migrate off CentOS to another RHEL clone, so we may end up having to rebuild of our affected production servers before doomsday in 2024. Rocky has a bash script, but it only supports systems running EL8 or higher.