* Posts by WoodlessStickler

4 publicly visible posts • joined 14 Jun 2020

BOFH: Groundbreaking discovery or patently obvious trolling?

WoodlessStickler

Three-valued logic is not as alien as one might think. It's – as far as I remember – the only sound basis on which to give a mathematical semantics of certain formal methods such as the venerable VDM (Vienna Development Method). See the 1994 Acta informatica article by Jones and Middelburg (https://link.springer.com/article/10.1007/BF01178666).

Germans beat Tesla to autonomous L3 driving in the Golden State

WoodlessStickler

Re: Only up to 40 mph on the highway where everyone else is driving at 75 mph?

Elsewhere (https://www.motortrend.com/news/mercedes-benz-drive-pilot-eqs-autonomous-driverless-first-drive-review/), Gregor Kugelmann, Mercedes Drive Pilot Senior Development Manager explained:

> For the lane change, which will be mandatory if you want to travel at more than 37 mph, we need to add some long-range radars at the rear of the car, to be sure the system can sense overtaking vehicles on both sides of the car before you go into a really safe lane change.

These additional sensors are not yet present in their cars. Having worked on the safety case at a competitor for more than 3 years, I'm impressed how far this has progressed and how reasonable their roadmap is. Personally, I'd try to squeeze those radars into the external rear vision mirrors rather than the back of the car.

Facebook and Australia do a deal: The Social Network™ will restore news down under and even start paying for it

WoodlessStickler

It doesn't help their cause if all you ever hear on the ABC, be it TV or radio, is that you should follow them on either of the anti-social networks. Their pain of being blocked for a day from FB should've been transformed into an insight but it wasn't. I'd much rather listen to them with none of that diversion, fewer jingles, and fewer stings. Some content would be nice for a change.

ZFS co-creator boots 'slave' out of OpenZFS codebase, says 'casual use' of term is 'unnecessary reference to a painful experience'

WoodlessStickler

Re: Y'know, the funny thing about the word "slave" ...

You may want to check your sources. The word "slave" to describe a person of Slavic descent has a different etymology than the word "slave" to describe a person that is the legal property of another. The former arrived via the middle-Latin "sclavus" from the Greek "skylon" for loot whereas the latter derived from the middle-Greek "Sklabenoi". This confusion has been known since the 70ies.