Viewing profile — Tibbes

I saw this problem recently at work, with a Go program running on Kubernetes. You can work around it by setting GOMAXPROCS to the same value as cpu limit in the container spec. (So…

It's clear what the incentive is for Taylor (the ice cream machine maker), but I wonder what the incentive is for McDonalds. There must be some cash-flow from Taylor to McDonalds, …

The dataflow analysis libraries in QL have significantly improved since 2015, and were used to find the ICMP vulnerability mentioned in the article. See the blog post for the query…

That's the interesting thing about the approach used to find this bug (automatic variant analysis): whilst there are no doubt more bugs to find in XNU, there aren't any more bugs l…

Semmle | Research/Software/Security Engineer | Oxford, UK | Onsite, Full-time Semmle helps some of the biggest software and financial companies, such as Microsoft, Google, and Cred…

Insert it any time, yes, possibly. Remove it at any time, no. The chip on the card is cryptographically signing the transaction, which includes the total. It can't sign it until th…

For those interested in the "Static Source Code Analysis" section, "Semil" is a typo for "Semmle" [1] [1]: https://semmle.com/customers/code-exploration-at-nasa/

Does anyone know the purpose of the self-assignment on page 3? (in the body of IsWriteCombined ) DWORD error = GetLastError(); error = error

Hmmmm, make that: def gauss(x): return (x+1)*x/2 (consider gauss(11), for example) You gotta admit, on an article about the difference between integer and floating-point arithmetic…

The 'unlock' operation, at least on most central locking systems I've used, is the perfect example of an idempotent unary operation. It doesn't matter how many times you apply the …

"If you ever want to git-bisect your code-base to track down when you introduced a bug then you'll be very thankful that every commit is functional and passes your test-suite" I ag…

"this difference is largely due to the differences in the size of the respective populations. The panel report notes that the U.S. has a population about five times the size of the…

Brief summary of computing in UK schools: Back in the days of the BBC Micro, computing in schools involved some programming. After that (probably in the early nineties), the subjec…

From the article: Those problem-set hours total almost a whole other working week laid on top of the other academic tasks of attending lectures and reading notes. In college as in …

I'm guessing that: a "document" on Twitter is a single tweet; a "document" on Facebook is a wall-post or equivalent; a "document" on GMail is an e-mail; a "document" on Google Cale…

Given the growth reported recently, it's not that surprising that Android is now more popular than iOS, but what a ridiculous headline: Android is an OS not _a smartphone_, let alo…

Indeed: to reward quality over quantity you'd need to use a function such as x^2, or probably x^2/C for some constant C. Interestingly, Oxford University used to mark final exams f…

In relation to Android and Bionic, I think the following message from the same thread is more relevant: http://lkml.org/lkml/2003/12/5/162 (in general, the thread was about kernel …

> This means you can only make online purchases easily and securely at home. Fair point - I had this problem when wanting to use Internet banking at work, but these pin readers are…

A very similar system is already in use in the UK and other parts of Europe. It's called "chip & pin". You plug your card in to a card reader and check the LCD display and type in …