Yasuhiro Inami inamiy

Disclaimer: I have no idea what I'm doing. This gist is a scratchpad for me to hopefully one make sense of things. Expect nonsensical notes jotted on this page.

この記事の文脈

https://twitter.com/inamiy/status/1489256068995710976

準備

この記事では、補助的な関数として以下のものを用いる。

-- Special case of Control.Arrow.&&&

Motivation

Swift’s type system supports a number of different ways of taking a function or type and abstracting it. Usually, this is done by adding a generic parameter and an associated set of constraints. Similarly, a function that takes a particular type of argument can be abstracted to any number of those arguments by making it variadic with triple-dot (...) syntax. Today, both of these features are permitted separately: you can define a generic function that takes a variable number of arguments, such as

func debugPrint<T>(_ items: T...) 
  where T: CustomDebugStringConvertible
{   
  for (item: T) in items {
    stdout.write(item.debugDescription)

	# Clone llama.cpp
	git clone https://github.com/ggerganov/llama.cpp.git
	cd llama.cpp

	# Build it
	make clean
	LLAMA_METAL=1 make

	# Download model
	export MODEL=llama-2-13b-chat.ggmlv3.q4_0.bin

	//
	// ContentView.swift
	// LiquidCircles
	//
	// Created by Paul Stamatiou on 10/10/22.
	//

	import SwiftUI

	struct ContentView: View {

	// Author: SwiftUI-Lab (swiftui-lab.com)
	// Description: Implementation of the showSizes() debugging modifier
	// blog article: https://swiftui-lab.com/layout-protocol-part-2

	import SwiftUI

	struct MeasureExample: View {
	var body: some View {

	VStack {

	import UIKit
	import CoreMedia

	extension UIView {
	func toCMSampleBuffer() -> CMSampleBuffer? {
	let scale: CGFloat = UIScreen.main.scale
	let size: CGSize = .init(width: bounds.width * scale, height: bounds.height * scale)
	guard let pixelBuffer = makeCVPicelBuffer(scale: scale, size: size) else { return nil }
	defer {
	CVPixelBufferUnlockBaseAddress(pixelBuffer, CVPixelBufferLockFlags(rawValue: 0))

	import UIKit
	import Foundation

	// NOTE: This playground shows how to use Swift's AttributedString with Markdown.
	//
	// This code was used to display Markdown content in the Tot iOS Widget <https://tot.rocks>

	// MARK: - Helpful Links

	// NOTE: The following links helped me figure this stuff out.

	class ViewController: UIViewController {
	override func viewDidLoad() {
	super.viewDidLoad()

	Task {
	// 1️⃣❓ UIViewController is in a MainActor context, so this Task
	// will inherit that, so the following pretend expensive call will
	// be on the main thread and likely block?
	ExpensiveOperationPerformer.doExpensiveLoopAndPrint()
	}

	(** Coq proof that there is no monad compatible with the ZipList applicative functor. *)
	(** Based on the original proof by Koji Miyazato https://gist.github.com/viercc/38853067c893f7ad9e0894abb543178b *)

	(** Main theorem: [No_LawfulJoin : forall join, ~(LawfulJoin join)]
	where [~] means "not" and [LawfulJoin] is the conjunction of the following properties (monad laws):

	1. [join] is associative:
	join (join xs) = join (map join xs)]

	2. [join] is compatible with ZipList's applicative (i.e., [zip_with]):