Viewing profile — amckinlay

The new design looks like it was made in Microsoft Word.

They do deserve it, just not a censored one.

Why doesn't C have an actual, formal semantic model? "Furthermore, we argue that the C standard does not allow Turing complete implementations, and that its evaluation semantics do…

What's wrong with SCTP?

The mobile game is just a reskin of an existing Netease (Chinese) game. Mobile games are also full of microtransactions which players already protestested in Diablo 3 with the real…

Is there any messenger that does end-to-end encryption with reliable, in-order delivery with decentralized group chat and conversation history syncing? Been looking for years but s…

What is with all these email clients supporting folders but not labels for Gmail. I get that labels are not a supported abstraction in IMAP, but they are supported through the Gmai…

I still don't understand how this device could steal login details. Everything should be encrypted and authenticated through PKI when using any website that accepts login details. …

And this time we actually have legitimate, real, censorship to fight.

That sounds like a suspiciously confident prediction given the nature of the internet.

[flagged]

I want a language where you can express time and constraints on time within the language and the type system. I want to be able to guarantee program correctness, pre-calculate fine…

Should not be too hard to develop a free version of this. Do not look at their source code on GitHub, though.

Migration policy really has nothing to do with this surveillance law.

Why can't we have IPSec + IKEv2 everywhere as originally intended as part of IPv6. No "VPN" necessary.

I think that licensing restriction only applies if you provide the source to the client.

How is it responsible, medically, to sit on a report of scientific fraud without action for two years, selling and profiting off bad data.

Still wish the Linux kernel had zero-copy IPC with pipes. vmsplice(1) can zero-copy data into the pipe, but the destination process cannot vmsplice(1) the data out of the pipe with…

It was kind of funny, though.

This looks like an intruiging alternative to Julia. Last time I tried Julia, effecient multidimensional code generation was incomplete due to required work in the type system. I wo…

And if the IoT device is using Wi-Fi anyway there is no need for low power demand of Bluetooth.

.localhost is the loopback IP on most resolvers, though.

.local is used ad-hoc by mDNS (Apple). Last time the issue of naming local-area devices came up on ##networking, the consensus was to purchase a domain name in order to name local …

Last time I tried Scala I had to give up because I couldn't understand what a "trampoline" was, or how to use it to get multi-function tail recursion to work. Probably not Scala's …