← Feed

Posts

• View post

  Apparently, to solve screen tearing issues on my AMD laptop, you have to add the line Option "TearFree" "true" to xorg.conf file. I wonder if somebody wants to leave it off... #linux #pain #tech

• View post

  Being at SAT 2026 it felt appropriate to make a release of cnfgen (0.9.6). Nothing special, just some cli bugfix, reduced dependency from external packages, and the mutilated chessboard construction. #SAT #SAT2026 #FLoC #cnfgen https://github.com/MassimoLauria/cnfgen

• View post

  Rome has been incredibly hot and sunny and unbearable for almost a month. Of course today it had to be cloudy and rainy... #eclipse

• View post

  Hi-tech course setup.

• View post

  Now, whenever a new breakthrough in algorithm, complexity and math comes out, there is often a hint of displeasure about the context that ruins it for me.

• View post

  "Rogue agent launched a massive DoS attack to the math community."

• View post

  Gaia > OpenAI