João Fé retweeted
The theorem of correctness for a program is currently larger than the program itself. Hopefully the underlying tech improves (e.g. with automated tactics everyone understands) to the point where correctness statements are just 2-3x today's type signatures.
I think at this point every Canadian wants the US to take over. Or China. Anything really.
New 30 km/h area speed limit signs will be posted at neighbourhood entry and exit points. Once you enter a signed area, the 30 km/h speed limit applies throughout the local road network until you leave that area.
Slower speeds help reduce the risk of serious collisions and make neighbourhood streets safer.
Learn more about the change: toronto.ca/LocalSpeed
ALT Two men walking and chatting on a sidewalk, one pushing a baby stroller near a white picket fence and brick house.
Tourism is a sign of an economy that cannot compete with others.
Europe’s economy is getting behind African’s and Asian’s.
I came out for breakfast. I started smelling something weird. I look, a couple of Indians arrived. Please save us.
@D_Tarczynski what are you doing about this? Every time I come to Poland I see more Indians than before.
Specially since we have AI now that can migrate your PHP app to a better language and fix and a lot of the slop along the way (because if you program in PHP I’m sure there’s a lot of slop).
