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

benoitg

no profile record

投稿

Useful Values

lowercaseopinions.com
1 ポイント·投稿者 benoitg·4 か月前·0 コメント

The Z3 Theorem Prover

github.com
35 ポイント·投稿者 benoitg·7 か月前·2 コメント

コメント

benoitg
·先月·議論
It depends. The inspiration sometimes comes after a Saturday evening with friends and lots of drinks. Having a foolproof recipe comes in handy, and having the perfect stress-free pancake batter already made the next morning turns you into a household hero.
benoitg
·3 か月前·議論
Not necessarily, I often make changes on unrelated commits. You can always use jj split to extract the change and put it somewhere else.
benoitg
·4 か月前·議論
One of the uses cases on their website is the agent deleted my .env file.

jj wouldn’t help with that as it would be gitignored.
benoitg
·5 か月前·議論
Recent versions of MySQL and MariaDB default to repeatable-read for InnoDB tables, not read-commited :

https://dev.mysql.com/doc/refman/8.4/en/set-transaction.html...

https://mariadb.com/docs/server/reference/sql-statements/adm...

I don't know about MyISAM though (who uses it anyway ;-) ).
benoitg
·7 か月前·議論
I’m the same as the parent, auto-track = none() works perfectly for me
benoitg
·9 か月前·議論
I’d love to know more, do you have any links to your articles?
benoitg
·10 か月前·議論
Châtelet is there, you have to click on the 3D icon to experience the full majesty of its unending corridors in 3D