aymanosman

• Streamline
• Zondicons
• heroicons
• fontawesome
• flaticon

aymanosman

• ProseMirror
• tiptap
• Slate
• Quill
• Editor.js

aymanosman

• Why was Facebook down for five hours?
• WireGuard: Next Generation Secure Network Tunnel

aymanosman

#lang racket

(provide github-action
         name
         on
         push
         branches
         pull_request
         jobs
         build

aymanosman

#lang pie

(claim +
  (-> Nat Nat
    Nat))

(define +
  (λ (a b)
    (rec-Nat a
      b

aymanosman

#lang cur

(require cur/ntac/base
         cur/ntac/standard
         cur/ntac/rewrite
         cur/stdlib/sugar
         cur/stdlib/nat
         cur/stdlib/equality)

((ntac

aymanosman

import * as React from 'react';
import {View, Text, Button} from 'react-native';
import {NavigationNativeContainer} from '@react-navigation/native';
import {createStackNavigator, TransitionPresets} from '@react-navigation/stack';

function HomeScreen({navigation}) {
  return (
    <View style={{flex: 1, alignItems: 'center', justifyContent: 'center'}}>
      <Text>Home Screen</Text>
      <Button

aymanosman

codesign --force \
    --timestamp \
    --entitlements="$CODE_SIGN_ENTITLEMENTS" \
    --sign="$EXPANDED_CODE_SIGN_IDENTITY_NAME" \
    -o runtime \
    "${PROJECT_DIR}/Resources/core/lib/Racket.framework/Versions/7.5_3m/Racket"

codesign --force \
    --timestamp \
    --entitlements="$CODE_SIGN_ENTITLEMENTS" \

aymanosman

#lang pie

;; Exercises on Absurd from Chapter 15 of The Little Typer

(claim +
  (-> Nat Nat
    Nat))

(define +
  (λ (a b)

aymanosman

#lang pie

(claim =consequence
  (-> Nat Nat U))

(define =consequence
  (lambda (n m)
    (which-Nat n
      (which-Nat m
        Trivial