Time clock and the ordering of events in a distributed system
Consensus on Transaction Commit
An empirical study on the correctness of formally verified distributed systems
| This compares Boa and QuickJS against these benchmarks: https://bellard.org/quickjs/bench.html | |
| From these numbers we have evidence to believe that Azle's performance can be improved ~28x by switching to QuickJS. | |
| We also have evidence from https://bellard.org/quickjs/bench.html that QuickJS could be improved up to 2x without compilation/JIT, and that compiled languages have one order of magnitude improvement over interpreted languages. | |
| Boa: | |
| target/release/boa combined.js | |
| PROGRESS Richards |
| const src = `data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADYAAAAHCAAAAABmCOEJAAAACXBIWXMAAAsTAAALEwEAmpwYAAADGGlDQ1BQaG90b3Nob3AgSUNDIHByb2ZpbGUAAHjaY2BgnuDo4uTKJMDAUFBUUuQe5BgZERmlwH6egY2BmYGBgYGBITG5uMAxIMCHgYGBIS8/L5UBFTAyMHy7xsDIwMDAcFnX0cXJlYE0wJpcUFTCwMBwgIGBwSgltTiZgYHhCwMDQ3p5SUEJAwNjDAMDg0hSdkEJAwNjAQMDg0h2SJAzAwNjCwMDE09JakUJAwMDg3N+QWVRZnpGiYKhpaWlgmNKflKqQnBlcUlqbrGCZ15yflFBflFiSWoKAwMD1A4GBgYGXpf8EgX3xMw8BSMDVQYqg4jIKAUICxE+CDEESC4tKoMHJQODAIMCgwGDA0MAQyJDPcMChqMMbxjFGV0YSxlXMN5jEmMKYprAdIFZmDmSeSHzGxZLlg6WW6x6rK2s99gs2aaxfWMPZ9/NocTRxfGFM5HzApcj1xZuTe4FPFI8U3mFeCfxCfNN45fhXyygI7BD0FXwilCq0A/hXhEVkb2i4aJfxCaJG4lfkaiQlJM8JpUvLS19QqZMVl32llyfvIv8H4WtioVKekpvldeqFKiaqP5UO6jepRGqqaT5QeuA9iSdVF0rPUG9V/pHDBYY1hrFGNuayJsym740u2C+02KJ5QSrOutcmzjbQDtXe2sHY0cdJzVnJRcFV3k3BXdlD3VPXS8Tbxsfd99gvwT//ID6wIlBS4N3hVwMfRnOFCEXaRUVEV0RMzN2T9yDBLZE3aSw5IaUNak30zkyLDIzs+ZmX8xlz7PPryjYVPiuWLskq3RV2ZsK/cqSql01jLVedVPrHzbqNdU0n22VaytsP9op3VXUfbpXta+x/+5Em0mzJ/+dGj/t8AyNmf2zvs9JmHt6vvmCpYtEFrcu+bYsc/m9lSGrTq9xWbtvveW |
| #!/usr/bin/env python3 | |
| # Extracts a subset of TLS secrets and injects them in an existing capture file. | |
| # | |
| # Author: Peter Wu <[email protected]> | |
| import argparse | |
| import os | |
| import shlex | |
| import subprocess | |
| import sys |
| Movements | |
| Esc - F (Forward a word) | |
| Esc - B (Back a word) | |
| Ctrl - A (Start of line) | |
| Ctrl - E (End of line) | |
| Ctrl - F (Next line) | |
| Ctrl - B (Previous line) | |
| Deletions |
| <html> | |
| <body> | |
| <style> | |
| body { | |
| font-family: 'monospace'; | |
| font-size: 12px; | |
| } | |
| </style> | |
| Hello Copter World! | |
| <div id="debug"></div> |
| <!DOCTYPE html> | |
| <html lang="en"> | |
| <head> | |
| <title>three.js webgl - modifier - Fast Quadric Mesh Simplification</title> | |
| <meta charset="utf-8"> | |
| <meta name="viewport" content="width=device-width, user-scalable=no, minimum-scale=1.0, maximum-scale=1.0"> | |
| <style> | |
| body { | |
| font-family: Monospace; | |
| background-color: #f0f0f0; |
| <style> | |
| #b { | |
| position: fixed; | |
| top: 0; | |
| left: 0; | |
| width: 100%; | |
| height: 100%; | |
| background: radial-gradient(circle, #000, #123); | |
| } |
| (function(){ | |
| var log = console.log; | |
| console.log = function(str) { | |
| var css = 'background: linear-gradient(to right, red, yellow, lime, aqua, blue, fuchsia, red); color: white; font-weight: bold;'; | |
| var args = Array.prototype.slice.call(arguments); | |
| args[0] = '%c' + args[0]; | |
| args.splice(1,0,css); | |
| return log.apply(console, args); | |
| } |