ekiwi

7 ms·

1. 31.▲
   by ekiwi 8y ago

   Have you tried compiling with address sanitizer? https://clang.llvm.org/docs/AddressSanitizer.html Unfortunately C++ code is only portable if it is free from undefined behavior. Fortunately there are many tools now to
2. 32.▲
   Serverless Computing: One Step Forward, Two Steps Back (slides)(speakerdeck.com)

   1 points by ekiwi 8y ago|0 comments
3. 33.▲
   by ekiwi 9y ago

   For the xpcc.io library, that I was involved with when I was in college, we ended up defining our own XML format and write importers for the custom formats that ST uses. For the LPC controllers from NXP we had to transcribe the information
4. 34.▲
   by ekiwi 9y ago

   > I want the tab-support in Terminal app back. Why was it removed in Gnome3? have you tried Ctrl+Shift+T? (this opens a new tab on Fedora 27 with GNOME Terminal 3.26.2)
5. 35.▲
   by ekiwi 9y ago

   > we were able to make some legacy apps use SSL/TLS without adding any code at all How did you deal with certificate validation?
6. 36.▲
   by ekiwi 9y ago

   Yes. You can try the following smt2 script with yices2 [0]: (set-logic QF_UFNIA) (declare-fun x () Int) (declare-fun y () Int) (declare-fun z () Int) (define-fun left-side () Int (+ (+ (* (* x (+ x z)) (+ x y)) (* (* y