HackerTrans
TopNewTrendsCommentsPastAskShowJobs

benoitg

no profile record

Submissions

Useful Values

lowercaseopinions.com
1 points·by benoitg·4 mesi fa·0 comments

The Z3 Theorem Prover

github.com
35 points·by benoitg·7 mesi fa·2 comments

comments

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