u/ireallyamchris

You have no idea about programming if that’s all you think it is. It is inherently a creative enterprise.

Do you mean something like this https://crates.io/crates/nutype?

He’s not a philosopher according to his Wikipedia for a start. And he himself maintains fringe views like the Christ myth theory - which mainstream atheist scholars like Bart Ehrman reject.

His comment in his blog that “brain physicalism” is even more certain than atheism is strange. Firstly that’s not a view shared by philosophers, secondly no one uses the term “brain physicslism” - as opposed to what exactly, “mind physicslism”? - and thirdly physicalism is a term with many different meanings - so what does he actually mean by that (type identity theory, token identity theory, epiphenomenalism, functionalism, illusionism…? I bet he doesn’t know either.

Lots of very respected philosophers are not physicalists and are certainly not cranks. I wouldn’t read anything into this guy, he’s out of his depth.

Interesting! Thanks for that context. I believe Haskell for example is only Turing complete at the type-system level with the undecidable-instances pragma turned on, so it’s interesting Rust is already there.

I suppose then you could just say that subtyping is problematic not because of decidability but just because the inference algorithm is HM-based.

Rust type inference is based on Hindley-Milner which rules out subtyping as subtyping makes inference undecidable.

Would it be faster without the inserters and just going full bots?

There are some new methods allowing FP languages to avoid additional allocations, of course not relevant to Rust but you might be interested nonetheless!

https://www.microsoft.com/en-us/research/wp-content/uploads/2020/11/perceus-tr-v4.pdf

Tbh for me I always get Leprous vibes from them more than Tesseract.

They break role-playing. I don’t want to be told what to do next, I want my decisions to based on the current situation my country finds itself in and whatever role-playing I am doing.

Define a datatype that represents the API payload and then derive serde’s Serialize and Deserialize traits (or define them by hand if you want) and then you can automatically take JSON payloads and turn them into and from Rust types automatically

For a start you can do your REST APIs in it. Once you start using serde for automatic serialisation/deserialisation you’ll wonder how you ever coped in TS without it

Ours was cheaper than a new gas boiler with the grant, how’s that too expensive?

There some differences around monetary policy implications. I think MMT says the natural rate of interest is 0. Some implications for what fiscal policy we should target, and the big bold claim of MMT is that the optimal way to run an economy is with a job guarantee and use that to anchor inflation.

So it’s not a million miles away from mainstream econ. People like to strawman it to make it seem batshit insane. But it’s also got a couple subtle but important differences.

I’m not really qualified to say more than that though, so if you wanted to dig into it I’d start by reading some stuff by Warren Mosler, who is quite well respected in all circles.

There are two types of money creation - endogenous and exogenous. Endogenous is bank credit and exogenous is gov money creation.

u/mth91 linked you the Bank of England explanation of endogenous creation and here's one for exogenous: https://www.ucl.ac.uk/bartlett/publications/2022/may/self-financing-state-institutional-analysis

Depends what you mean by "mainstream". MMT is often seen as Post-Keynesian. In fact "Modern" is a tribute to Keynes, or a sort of internal joke: something to do with Keynes saying Chartalism is true and has been true for 4000 years, i.e. "modern".

Raise income tax and there is less aggregate demand. Less aggregate demand = more job cuts as businesses lose revenue

I’ve been playing as England and this is what I’ve been doing. I don’t have the army size to defeat France so I keep my troops home and fight them on the seas.

I saw the same. I wasn’t sure if it was because they need their own transport ships and can’t use mine.

It’s 27% of Linux share, there’s like a million distros so it’s irrelevant how it compares against any single one. And FYI it’s only 3x Arch not 4x

The most you can say is that you don’t remember. The same question can be asked when you go to sleep, but have you ever gone to sleep and woken up not remembering your dreams but knowing you had some?

And there’s actually some research that suggests people are conscious during sleep, even when not dreaming (https://www.sciencedirect.com/science/article/abs/pii/S1364661316301528), so maybe a similar thing happens with anaesthetic - you are conscious (in some way) but you just don’t remember it.

I’ve only had time to watch quill18 but he explained things pretty well I thought

Let’s be honest, most likely they’ve invested in US equity 😅

The point is not whether you think nationalisation is a good thing but whether EU law allows it. For those who think it’s a good thing, EU law is troubling to say the least.

Never too late

US draining $200bn in September from private sector doesn’t help credit risk