Dozens of facts about the SSH protocol and why we should use it for more things.

Just absolute madness

When we started our new web client project at Volicon two and a half years ago, there was no common agreement in an industry on how single…

Part of the reason why the ISA-Formal technique for verifying ARM
processors is so effective and
so portable across different ARM processors is the fact that we directly use the
ARM Instruction Set Architecture (ISA) Specification in our flow.
That is, I…

Software is expensive. Verified software is more expensive (although not as much as people think). But we’re working on closing that gap, with the aim of making verified (highest-assurance) s…

Вот вроде как сейчас научились делать совсем хорошие одностенные углеродные нанотрубки с больших количествах и практически без дефектов. Научились делать их…

icfp-2016-wild-bashkort-mages - ICFP Programming Contest 2016 submission by WILD BASHKORT MAGES

Introduction If you haven’t already, read this very thought-provoking article on colah’s blog about the connection between functional programming and neural networks. I would bet that we&#821…

We’re redefining how we interact with machines and how they interact with us. Advances in AI help make new human-to-machine and machine-to-human interaction possible. Traditional interfaces get simplified, abstracted, hidden -- they become ambient, part of…