Mastodawn

@ghostbear2k I have a dream of a world where everybody is welcome to be himself, no-matter what that should be. And where everybody also is able to become his true self, too. Where everybody is loved. And where everybody can feel this love. And I believe that someday this dream will come true.

#ihaveadream

Diego Jun 2

Avui he somiat que havia sorgit un moviment política Múrcia que volia recuperar el vernacle murcià i integrar-lo al català. A més a més, es trobava a les portes d'aconseguir representació parlamentaria a les Corts de Cartagena.

#somnis #ihaveadream #català #murcia

Padcrafting May 13

“I lift my lamp”. A B5 sized plot, gel pen on paper. #penplotter #algorist #ladyliberty #plotterart #ihaveadream

Show thread

Vassil Nikolov | Васил Николов Apr 19

<hmmm-on-a-tangent/>

What if such nasty things also bring about an increased demand for program verification using formal methods?

Yes, it is difficult, but even partial solutions are helpful and way, way better than nothing.

By the way, I ought to look for any surveys on the use of assertions (the little cousins of program verification) in published program sources.

One old textbook I found well worth reading was the one about program specification and software development by Liskov and Guttag.
The first edition, using the CLU programming language.

#ComputerProgramming
#IHaveADream
#FormalMethods
#ProgramVerification
#SoftwareEngineering

@screwlisp