c#

Author: cirosantilli

microsoft.bigb

@@ -11,7 +11,7 @@ So, as put in <video Bill Gates vs Steve Jobs by Epic Rap Battles of History (20
 
 However, like all <big tech> companies with infinite money, they do end up doing some cool things in their research department, <Microsoft Research>, notably for <Ciro Santilli> being:
 * <lean (proof assistant)>
-* their <quantum computing> work. C# is of course a bad idea, we don't need <yet another> <domain-specific language>, <Python> library based solutions like <Qiskit> are obviously the way to go
+* their <quantum computing> work. <C#> is of course a bad idea, we don't need <yet another> <domain-specific language>, <Python> library based solutions like <Qiskit> are obviously the way to go
 
 = United States v. Microsoft Corp
 {c}

programming-language.bigb

@@ -29,7 +29,7 @@ This is how other languages compare:
 * <Java>: good language, but has an ugly enterprisey ecosystem, Oracle has made/kept the development process too closed, and https://en.wikipedia.org/wiki/Google_v._Oracle_America[API patenting madness on Android just kills if off completely]
 * <Haskell>: many have tried to learn some functional stuff, but too hard. Sounds really cool though.
 * Rust: sounds cool, you will gladly replace C and C++ with it if the ecosystem ramps up.
-* C#: <Microsoft> is <evil>
+* <C#>: <Microsoft> is <evil>
 * <Tcl>, <Perl (programming language)>: Python killed them way back and is less insane
 * <R (programming language)>[R], GNU Octave and any other "<numerical computing language>": all of this is a waste of society's time as explained at: <numerical computing language>{full}
 * Swift: Ciro would rather stay away from <Apple> dominated projects if possible since they sell a <closed source> <operating system>