lf94

// Propositional logic implemenation
const True  = a => b => a;
const False = a => b => b;
const If    = x => x;
const Not   = a => a(False)(True);
const And   = a => b => a(True)(False)(b(True)(False))(False);
const Or    = a => b => a(True)(b(True)(False));
const Xor   = a => b => And(Or(a)(b))(Not(And(a)(b)));

// SKI calculus implementation

lf94

.intel_syntax noprefix

.include "std.macro"

  .section .text
fib: op1 = rdi; op2 = rsi; iterations = rcx
  xadd op2, op1
  loop fib
  ret
  

lf94

.intel_syntax noprefix

.include "std.macro"
.include "curl.const"

  .section .data
curl:       .quad 0

  .section .rodata
url_google: .asciz "http://google.com"

lf94

"Strings" form a group

By the end of this, we will have defined insert, delete, find and replace operations.

Talking about polymorphism with someone in the context of JS, the following example came up:

lf94

Theorem andb_eq_orb :
forall (b c : bool),
(andb b c = orb b c) ->
b = c.

Proof.
intros b c.
destruct b eqn:Eb.
  - destruct c eqn:Ec.
    + reflexivity.

lf94

WHEN WILL BROWSERS BE COMPLETE?
A short exploration into the end game of web browsers.

This article may seem to be about bashing Google but it isn't. It's just about
reflecting on the current state and how much longer we should see ourselves
here.

So what is the Web? Well we can agree the Web is a conglomerate of standards
proposed by the W3C. So what do those standards define?

lf94

RE: WHEN WILL WEB BROWSERS BE COMPLETE?
2020-10-31 02:46PM
A follow-up.

There has been some great conversation around the opinion piece. Having read all
200+ comments on YCombinator and Gist GitHub, I think it's most productive to
respond to them all in this follow-up piece.

The piece will be structured by looking at what I think are the most relevant
critiques and comments, followed by adding context to others' comments, and

lf94

// P = (1−t)2P1 + 2(1−t)tP2 + t2P3

function bezier3(points, segments) = let (
    s = 1 / segments
) [
for(t = 0; t <= 1 + s; t = t + s)
    pow((1 - t), 2) * points[0]
    + 2 * (1 - t) * t * points[1]
    + pow(t, 2) * points[2]
];

lf94

<canvas id="canvas" width="800" height="600"></canvas>

<script>
const canvas = document.getElementById("canvas");
const context = canvas.getContext('2d');
const rgbs = {};

// color is in 565 format
function toRGB(color) {
  const rgb = rgbs[color];

lf94

GitHub changed the world of open-source.

In the beginning it brought together the disconnected programmers who always wanted to work on something with other like-minded people.

In the present it's no longer the foreground. Businesses and professionals connect and the profiles become a bragging ground.

The GH PR system is stretched to its limits. During the early days this was ok: PRs were few and far between. It worked.

I've changed, and so has GitHub. As I grow older I care more about my impact and personal data responsibility. I care about FOSS work being used for profit.