One advantage of this approach is that it can be done both on the C implementation code and the Python standard library. It's a bit approximate -- automatic retrofitting of formal specification maybe it helps to think of it as a stepping stone for simple automated testing and property based testing.
There is no stick unlike Anthropic (along with insisting on signing commits and "don't abuse the robot" the reason I started to use OpenAI instead of Anthropic --- not that I am under the illusion they are any less evil overall) but I think now there is starting to be a carrot towards Codex usage since there sessions are "cached forever". I assume if you use Pi you get 12 hours of cache instead.
The assessment also concerns assessing for example runoff into rivers and neighbouring areas which include natural peatland. The culture in Finland respects the rule of law and people are often quite informed and detail oriented about matters of land management. The process exists for a reason and if people try to shortcut it the land should be forfitted although clearly there is so much money involved that it won't be. If they don't send a string message now, it errodes people's trust in the law and society which as said is very important in Finland. It keeps things working well.
For many the route to the airport includes the train from Tampere to Tikkurila where there is a change to suburban rail. These cities are on that line so it's not so odd. Okay it's a bit odd to name it after the airport but it was someone's airport journey I suppose.
There are different laws depending on your class. The laws are enforced by people who identify with those of their class and are deferential to those with of superior standing. This is why wage theft, for example is tolerated while actual theft, even in cases where it might be for basic sustenance, is not.
Infrastructure for cars is massively subsidised too. Since tansport is infrastructure it it interacts with everything else (eg less cars in the city => less spending on car infra) and has a lot of positive externalities. The investment pays back in positive outcomes which can also be quantified in terms of money of you like. It's like you've got a balance sheet but you're filtering it to only look at two items.
Exactly. I live in Finland bought an educational English grammar for kids book for my son 2nd hand from a private seller for 4 euros with 4 euros shipping from the UK. The final cost after all fees was was around 25 euros. It's not just for junk it's for everything. It's an Amazon subsidy (should have used amazon.de).
It's true you can. Just as you can say that you can enumerate all memory states in a real computer so it can be modelled as a finite state machine. These asymptotic models aren't real (our world as we experience it is finite and bounded) and exist as models from which to gain insights which we can transfer back. I love this argument BTW a classic that usually comes up in these discussions.
I thought it was relatively balanced. "It happened to work for me this time but it could have gone horribly wrong." That's the truth of psychedelics as a theraputic tool.
How should it be better? Most environments offer Apptainer which can import Docker containers. Plus a lot of theae languages like Julia and Chapel are pretty self contained and programmed against eg ancient libc for these very reasons.
There is something like this but twice the prive in Finland https://www.moi.fi/laitenetti . Can't make outgoing calls but there are pay as you internet call out services for that occaddional use case.