lambdageek

//! A server with some middleware
//!
//! We have some server process [`server`]
//! that produces byte slices `&[u8]` and feeds them to some
//! [`ServerResponder`] client.  Since the client gets the
//! bytes by reference and it must be prepared to receive them
//! for any lifetime, it's effectively a `for<'a> Fn(&'a [u8])` callback.
//!
//! Now to make things more interesting, we also want to have some middleware
//! that transforms the initial vector slice into something.

lambdageek

In .NET 8, Blazor projects now have a way to pass additional configuration options to the runtime, including setting environment variables before Mono starts.

The way to do it depends on whether you're using a blazorwasm template, or the new blazor (unified Server/Client project)

Blazor WebAssembly

If you created a blazorwasm project from the default template, in wwwroot/index.html replace this:

lambdageek

# To install source this file from your .zshrc file

# Initialize colors.
autoload -U colors
colors

# Allow for functions in the prompt.
setopt PROMPT_SUBST

# Use in a PROMPT variable.  For example (together with zsh-git-prompt):

lambdageek

typedef struct _MonoDelegateCodeCache
{
	gpointer method_ptr;
	gpointer invoke_impl;
} MonoDelegateCodeCache;

typedef struct _MonoDelegate {
	...
	MonoDelegateCodeCache *cache; // initially NULL
	

lambdageek

/// We pack 64-bit integers into the 64 bytes of a double
type PackedInt64 = number;

const doubleView = new Float64Array(1);
const int32View = new Int32Array(doubleView.buffer);

export function pack(lo: number, hi: number): PackedInt64 {
    int32View[0] = lo;
    int32View[1] = hi;
    return doubleView[0];

lambdageek

(defun ak-msbuildify-regexp-str (s)
  (replace-regexp-in-string "\\^" "^ \\\\{0,2\\\\}" s))

(defun ak-msbuildify-alist-alist (xss-orig)
    (let* ((xss (copy-alist xss-orig))
	   (l xss))
      (while (consp l)
	;; l is (('symbol REGEXP ...) ...)
	(let* ((x (copy-sequence (car l))) ;; unshare with the original alist
	       (r (cdr x)))

lambdageek

#! /bin/sh

# Source this with `. dotnet-emscripten-env.sh` to set up the paths to use `emcc` from the version of Emscripten bundled with .NET 6


dotnet_packs_dir=/usr/local/share/dotnet/packs
dotnet_emscripten_prefix=Microsoft.NET.Runtime.Emscripten.2.0.23
dotnet_rid=osx-x64
dotnet_ver=6.0.0

lambdageek

1. Save component-manifest.sample.proj to the base directory of dotnet/runtime

2. Build with

   ./build.sh  --os iossimulator -c Release
   

3. Test with

./dotnet.sh build component-manifest.sample.proj /p:RuntimeIdentifier=iossimulator-x64 /p:'MonoComponentOverride="hot_reload;debugger"' /v:d

lambdageek

{-# language GADTs, RankNTypes, KindSignatures, PolyKinds, EmptyCase #-}
module ExistentialsAndUniversals where

-- To prove:
-- 1. ∀a.p a → ¬∃a.¬p a
-- 2. ∃a.p a → ¬∀a.¬p a
-- 3. ∀a.¬(p a) → ¬∃a.p a
-- 4. ∃a.¬(p a) → ¬∀a.p a

-- First some simple types

lambdageek

#! /bin/sh
export PATH=/usr/lib/distcc:"${PATH}"
export DISTCC_NO_REWRITE_CROSS=1

exec ./build.sh "$@"