Tibbes

6 ms·

1.
by Tibbes 5y ago
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 be careful not to assume this problem is specific to Java,
2.
by Tibbes 5y ago
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, but something as simple as "pay McDonalds $X milli
3.
by Tibbes 8y ago
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 used. [1] Dataflow analysis is a form of execution simulati
4.
by Tibbes 8y ago
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 like this . The article says that the problem was
5.
by Tibbes 8y ago
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 Credit Suisse, develop more secure software, faster. I
6.
Does code analysis prevent bugs?(lgtm.com)
2 points by Tibbes 9y ago|0 comments
7.
by Tibbes 10y ago
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 the total is known. In practice, I suspect the equipm
8.
by Tibbes 11y ago
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/
9.
by Tibbes 13y ago
Does anyone know the purpose of the self-assignment on page 3? (in the body of IsWriteCombined ) DWORD error = GetLastError(); error = error
10.
by Tibbes 13y ago
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, that's pretty ironic!
11.
by Tibbes 14y ago
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 'unlock' operation, it has the same effect as applying it on
12.
by Tibbes 15y ago
"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 agree that this property is very useful, but I disagree that
13.
by Tibbes 15y ago
"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 UK, but there have been fewer than twice the number of peo
14.
by Tibbes 15y ago
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 subject split into two: Computer Science and IT. Then with the ris
15.
by Tibbes 15y ago
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 grade school, where is the time for deliberate practice? I
16.
by Tibbes 15y ago
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 Calendar is an appointment. Therefore, the comparison with Googl
17.
by Tibbes 15y ago
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 alone the "most desired smartphone in the U.S." What is the mos
18.
by Tibbes 15y ago
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 for Mathematics and associated schools (such as Computer Scie
19.
by Tibbes 16y ago
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 modules - this message explicitly mentions user-space)
20.
The Case of the Mysterious Characters(codingrigour.wordpress.com)
1 points by Tibbes 16y ago|0 comments
21.
by Tibbes 16y ago
> 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 compact (smaller than an iPhone, marginally thicker) so
22.
by Tibbes 16y ago
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 your PIN to authorise a transaction. In a shop, the card