Willem Visser

Computer Scientist lecturing at Stellenbosch University (South Africa). In my copious spare time I drink wine, sometimes even make wine.

[Willem Visser @WillemFish]

@skroon @TaliaRinger Indeed, and it does sound cool

[Neha @neharungta]

Cool science driving the security detectors in CodeGuru #reInvent2020 https://t.co/9wHAy4Orbv

[Andy Jassy @ajassy]

GA of Amazon CodeGuru, a #developer tool powered by #machinelearning where #AWS customers get intelligent recommendations for improving code quality & identifying an app’s most expensive lines of code https://t.co/ORt8AnsuQj

[AWS Security @AWSSecurityInfo]

Introducing the first of its kind capability- AWS IAM Access Analyzer! Using automated reasoning, IAM Access Analyzer allows builders everywhere to protect against unintended access from outside an account, at no cost. https://t.co/tgGaWXspKc #provablesecurity #reInvent

[Willem Visser @WillemFish]

@Travelstart is anybody monitoring this feed, I need urgent help with a credit card authorization, and waiting 20 mins on your line for the 2nd time now is not fun

[Willem Visser @WillemFish]

@AmericanAir is it well known that the aadvantage website seems to be broken when you try and upload files for missing miles? Tried 2 browsers that are both up to date, but no luck

[Willem Visser @WillemFish]

@byroncook I think they do, they even have a proposed "fix" that seems to make a lot of sense...however I have not read that part in detail

[Willem Visser @WillemFish]

@FFFibre Yes, many, many times, the issue is a degraded signal on the FF side, so they are just sending me to FF. I just want someone to come check it out, but alas, nothing. BTW FRG555690

[Willem Visser @WillemFish]

@FFFibre I have a new installation (no router yet) but I have a flashing red&green light for broadband. My neighbour has 3 solid green lights. What is wrong with mine?

[Willem Visser @WillemFish]

@byroncook Okay having spent more time on it, all is well. Really fun to re-invent the paper on the whiteboard...but was this maybe just a typo in the original work?

[Willem Visser @WillemFish]

@byroncook Wow this brings back memories! However I'm a little unconvinced !p && (!p U Gp) is stutter-invariant...it has an implicit X in it. I'm reasonably sure the Buchi automaton in Fig 1 is not equivalent to the LTL either

[Willem Visser @WillemFish]

@FFFibre I got my fibre installed on 8 July, since then it has a "degraded signal" so I cannot get service. I call daily but FF is not attending to the problem at all. Is there ANYTHING I can do, please, please please help me. FRG555690

[Willem Visser @WillemFish]

@WebAfricaHelper I got my fibre box installed (frogfoot) 10 days ago, but since then I have failed to get things activated. I have a flashing red and green light for broadband. My neighbour got his installed today with 3 solid green lights. Any ideas what is wrong?

[Willem Visser @WillemFish]

@Discovery_SA I'll try one last time. My garmin connect is not showing up on vitality after activating the link. I did the step of removing the permissions on garmin and redoing, but it doesn't work. Can you help me?

[Willem Visser @WillemFish]

@Discovery_SA is there a reason why I cannot connect my garmin account to vitality? I do it over and over and it never shows up (web), on android pixel 3 and oneplus 5t it gives an error message...I guess if it is not apple you could not give a flying F$^$%^

[Willem Visser @WillemFish]

@TelkomZA Now you have gone to far...DSL off for more than 24hrs and nothing is being done about it. I'm PAYING for this service!!

[Willem Visser @WillemFish]

@FoodLoversMkt [email protected]

[Willem Visser @WillemFish]

@FoodLoversMkt Somerset West bye, bye! It was sometimes nice to know you, but now it is over forever. Screwed me over for the last time.

[Willem Visser @WillemFish]

@FoodLoversMkt Having a big sign for biltong at one price and then charging me at almost R100 more. Too bad I only noticed at home. As far as I know this is even against the law, never mind sloppy.

[Willem Visser @WillemFish]

@RainCoZa How do I know which ones those are? When/How do I get them activated?

[Willem Visser @WillemFish]

@RainCoZa I received my 3 sims by courier (actually they delivered 2 packages with 2x3 sims, but I cannot register the ones I tried on the network? Should they still be activated?