HackerTrans
トップ新着トレンドコメント過去質問紹介求人

terryf

no profile record

投稿

A Typed Language for Agent Coordination

johncarlosbaez.wordpress.com
3 ポイント·投稿者 terryf·4 か月前·0 コメント

The Antarctic Snow Cruiser

amusingplanet.com
29 ポイント·投稿者 terryf·6 か月前·6 コメント

The Future of Coding Agents

steve-yegge.medium.com
2 ポイント·投稿者 terryf·6 か月前·0 コメント

Other people might just not have your problems

thingofthings.substack.com
2 ポイント·投稿者 terryf·7 か月前·0 コメント

コメント

terryf
·4 か月前·議論
Yes! This is exactly the point - machinistic enforcement makes no sense in case of speed limits. All laws about driving explicitly say that at the end of the day it's the driver's responsibility to drive safely and if they cause an accident, then they are at fault in some cases even if they followed the speed limit.

The point is that whether you drove dangerously is not a strict, machinistic "if-then" assessment. Automatic enforcement of speeding is ridiculous when viewed in this context.

And the people saying "yes but there is more energy in a faster vehicle" have clearly not felt the difference between driving a car with drum brakes vs modern brakes.
terryf
·4 か月前·議論
I meant a 911 but thank you for answering a completely different point than what I was making.
terryf
·4 か月前·議論
The speed limit example is a great one. Consider a road that has a 35mph limit. Now - which of the following scenarios is SAFER: a) I'm driving on the road in a brand new 4x4 porsche on a sunny day with great visibility and brand new tyres. Doing 40mph. b) I'm driving on the same road in a 70s car with legal but somewhat worn out tyres, in the dark, while it's raining heavily. Doing 35mph.

Of course technically option a is violating the law but no sane police officer will give you a fine in this case. Nor should they! A robot will, however. This is stupid.
terryf
·9 か月前·議論
Rakes exist you know - we use those for our yard. It's not that hard really.
terryf
·10 か月前·議論
Yes, this has been done for a while now, speculative execution + register renaming is how this happens. https://en.wikipedia.org/wiki/Register_renaming