HackerTrans
TopNewTrendsCommentsPastAskShowJobs

benoitg

no profile record

Submissions

Useful Values

lowercaseopinions.com
1 points·by benoitg·4 месяца назад·0 comments

The Z3 Theorem Prover

github.com
35 points·by benoitg·7 месяцев назад·2 comments

comments

benoitg
·в прошлом месяце·discuss
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 месяца назад·discuss
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 месяца назад·discuss
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 месяцев назад·discuss
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 месяцев назад·discuss
I’m the same as the parent, auto-track = none() works perfectly for me
benoitg
·9 месяцев назад·discuss
I’d love to know more, do you have any links to your articles?
benoitg
·10 месяцев назад·discuss
Châtelet is there, you have to click on the 3D icon to experience the full majesty of its unending corridors in 3D