Disclaimer: This piece is written anonymously. The names of a few particular companies are mentioned, but as common examples only.
This is a short write-up on things that I wish I'd known and considered before joining a private company (aka startup, aka unicorn in some cases). I'm not trying to make the case that you should never join a private company, but the power imbalance between founder and employee is extreme, and that potential candidates would
| /** | |
| * Base contract that all upgradeable contracts should use. | |
| * | |
| * Contracts implementing this interface are all called using delegatecall from | |
| * a dispatcher. As a result, the _sizes and _dest variables are shared with the | |
| * dispatcher contract, which allows the called contract to update these at will. | |
| * | |
| * _sizes is a map of function signatures to return value sizes. Due to EVM | |
| * limitations, these need to be populated by the target contract, so the | |
| * dispatcher knows how many bytes of data to return from called functions. |
| async function getConfirmations(txHash) { | |
| try { | |
| // Instantiate web3 with HttpProvider | |
| const web3 = new Web3('https://rinkeby.infura.io/') | |
| // Get transaction details | |
| const trx = await web3.eth.getTransaction(txHash) | |
| // Get current block number | |
| const currentBlock = await web3.eth.getBlockNumber() |
| { | |
| "microsoft.net.sdk.ios": "15.2.301-preview.13.5", | |
| "microsoft.net.sdk.macos": "12.1.301-preview.13.5" | |
| } |
| import Foundation | |
| infix operator +=! { associativity right precedence 90 } // Int32 or Int64 | |
| infix operator -=! { associativity right precedence 90 } // Int32 or Int64 | |
| postfix operator ++! {} // Int32 or Int64 | |
| postfix operator --! {} // Int32 or Int64 | |
| infix operator |=! { associativity right precedence 90 } // UInt32 | |
| infix operator &=! { associativity right precedence 90 } // UInt32 |
| /* | |
| Node.js, express, oauth example using Twitters API | |
| Install Node.js: | |
| curl -0 http://nodejs.org/dist/v0.6.11/node-v0.6.11.tar.gz | |
| tar -zxf node-v0.6.11.tar.gz | |
| cd node-v0.6.11 | |
| ./configure | |
| make | |
| make install |
| // Douglas Hill, December 2018 | |
| // Made for https://douglashill.co/reading-app/ | |
| // Find the latest version of this file at https://github.com/douglashill/KeyboardKit | |
| import UIKit | |
| /// A table view that allows navigation and selection using a hardware keyboard. | |
| /// Only supports a single section. | |
| class KeyboardTableView: UITableView { | |
| // These properties may be set or overridden to provide discoverability titles for key commands. |
| // | |
| // debounce-throttle.swift | |
| // | |
| // Created by Simon Ljungberg on 19/12/16. | |
| // License: MIT | |
| // | |
| import Foundation | |
| extension TimeInterval { |
This gist shows how formal conditions of Solidity smart contracts can be automatically verified even in the presence of potential re-entrant calls from other contracts.
Solidity already supports formal verification of some contracts that do not make calls to other contracts. This of course excludes any contract that transfers Ether or tokens.
The Solidity contract below models a crude crowdfunding contract that can hold Ether and some person can withdraw Ether according to their shares. It is missing the actual access control, but the point that wants to be made
| // | |
| // libuuid sample program | |
| // | |
| // library install for debian | |
| // $ sudo apt-get install uuid-dev | |
| // | |
| // compile | |
| // $ gcc uuid_test.c -luuid -o uuid_test | |
| // | |
| #include <stdio.h> |