HackerTrans
TopNewTrendsCommentsPastAskShowJobs

benoitg

no profile record

Submissions

Useful Values

lowercaseopinions.com
1 points·by benoitg·4 bulan yang lalu·0 comments

The Z3 Theorem Prover

github.com
35 points·by benoitg·7 bulan yang lalu·2 comments

comments

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