BitML: a calculus for Bitcoin smart contracts
(eprint.iacr.org)
February 2018 Archive
9271.
9272.
Simple and easy response renderer fo Go
(github.com)
9273.
9274.
Navigate Zenkit like never before
(blog.zenkit.com)
9275.
9277.
Office 2019 will be Windows 10 exclusive
(ghacks.net)
9278.
A History of Low-Level Linux Container Runtimes
(opensource.com)
9279.
9280.
Mask R-CNN (official) source code is on GitHub
(github.com)
9281.
9282.
Protecting Prometheus with OAuth2/OIDC on Kubernetes
(medium.com)
9283.
IOStack Project
(iostack.eu)
9284.
Text Emoji Maker with Node.js
(github.com)
9285.
9286.
9287.
Arc Weld
(rifters.com)
9288.
Diff Tools on Windows
(git-tower.com)
9289.
A Docker-based development environment for Elixir+Phoenix
(dogsnog.blog)
9290.
Digital Divide (1997 and 1998)
(cs.stanford.edu)
9291.
Tech Companies Are Under Pressure Everywhere Except Where It Matters
(theintercept.com)
9292.
Futhark 0.3.0 released
(futhark-lang.org)
9293.
On-demand dog walking app Wag raises $300M from SoftBank Vision Fund
(techcrunch.com)
9294.
The Engineering Manager – Dealing with Different Personalities
(theengineeringmanager.com)
9295.
New Windows patch disables Intel’s bad Spectre microcode fix
(arstechnica.com)
9296.
UK plans 200-mile driverless trial
(2newsnow.com)
9297.
Angular 4 to 5 migration
(medium.com)
9299.
Intelligent page preloading with futurelink
(blog.samknows.com)
9300.
Nigel the lonely gannet dies as he lived, surrounded by concrete birds
(theguardian.com)