HackerTrans
TopNewTrendsCommentsPastAskShowJobs

benoitg

no profile record

Submissions

Useful Values

lowercaseopinions.com
1 points·by benoitg·il y a 4 mois·0 comments

The Z3 Theorem Prover

github.com
35 points·by benoitg·il y a 7 mois·2 comments

comments

benoitg
·le mois dernier·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
·il y a 3 mois·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
·il y a 4 mois·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
·il y a 5 mois·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
·il y a 7 mois·discuss
I’m the same as the parent, auto-track = none() works perfectly for me
benoitg
·il y a 9 mois·discuss
I’d love to know more, do you have any links to your articles?
benoitg
·il y a 10 mois·discuss
Châtelet is there, you have to click on the 3D icon to experience the full majesty of its unending corridors in 3D