siraben

(use-modules (ice-9 match))
;; An actor is a computational entity that, in response to a message
;; it receives, can concurrently:

;; send a finite number of messages to other actors;
;; create a finite number of new actors;
;; designate the behavior to be used for the next message it receives.

;; So it's a dispatch of sorts.

siraben

Set Warnings "-notation-overridden,-parsing".
From Coq Require Import Arith.Arith.
From Coq Require Import Arith.EqNat.
From Coq Require Import Init.Nat.
From Coq Require Import Lia.
From Coq Require Import Lists.List.
Import ListNotations.
From PLF Require Import Maps.
From PLF Require Import Smallstep.
Import Nat.

siraben

{ lib ? (import <nixpkgs> {}).lib }:

with lib;

let
  # Fourth-order Runge-Kutta method
  rk4 = f: x0: y0: z0: h:
    let
      k1_y = z0;
      k1_z = f x0 y0 z0;

siraben

Note: due to volume, this has been moved to https://github.com/siraben/freenode-exodus

Projects and channels that have left Freenode

This is a (necessarily incomplete) list of projects and channels that have decided to permanently move out of Freenode to https://libera.chat (unless stated otherwise). Please reach out below or on IRC if there's additions or corrections.

Sources are mostly comments I've seen on HN, various IRC channels and web searches.

• ADIIRC
• Alpine (to oftc)
• Anbox

siraben

// SPDX-License-Identifier: GPL-3.0

pragma solidity >=0.7.0 <0.9.0;

/**
 * @title Owner
 * @dev Set & change owner
 */
contract Owner {

siraben

((\f. (\x. (f \v. ((x x) v)) \x. (f \v. ((x x) v))) \r. \n. i(n,o,m(n,(r d(n))))) x)

siraben

-- Call-by-value lambda calculus in cool
(*
data Expr = Var Str
          | Abs Str Expr
          | App Expr Expr
          | Sub1 Expr
          | Mul Expr Expr
          | Add Expr Expr
          | Ifz Expr Expr Expr
*)

siraben

siraben

{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverlappingInstances #-}
{-# LANGUAGE TypeOperators #-}

module ExtALaCarte where

siraben