Of course, I couldn’t resist trying to nest a GFM code block inside a Markdown code block inside a Markdown document and of course, things got weird.
Jason Belvins: Syntax highlighting for code blocks in Emacs Markdown Mode
Of course, I couldn’t resist trying to nest a GFM code block inside a Markdown code block inside a Markdown document and of course, things got weird.
Jason Belvins: Syntax highlighting for code blocks in Emacs Markdown Mode
Paying for gifts
...does not work.
You don't say to someone, "here's $100, maybe this time get me a gift worth $100 more than you'd regularly spend." It's kind of insulting. It still probably won't get you exactly the thing you wanted. Actually, the other person might just pocket the $100 and run off with it.
Über dieses Thema braucht nicht “gestritten” zu werden, weil Fakten für sich sprechen – es sei denn, man ignoriert sie. Herr Hennig und Sie scheinen mir persönlich im Ignorieren von Fakten haushoch überlegen zu sein.
Linus Neumann: Warum ich kein “Streitgespräch” über die Luca-App führe
A downside of running my CI pipelines somewhere else is that I no longer hear (the fan stopping) when they are done.
E is an equational theorem prover. That means it is a program that you can stuff a mathematical specification (in many-sorted first-order logic with equality) and a hypothesisconjecture into, and which will then run forever, using up all of your machines resources. Very occasionally it will find a proof for the conjecture and tell you so ;-).