HackerTrans
TopNewTrendsCommentsPastAskShowJobs

benoitg

no profile record

Submissions

Useful Values

lowercaseopinions.com
1 points·by benoitg·vor 4 Monaten·0 comments

The Z3 Theorem Prover

github.com
35 points·by benoitg·vor 7 Monaten·2 comments

comments

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