adrienbrault

# 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

stammy

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

import SwiftUI

struct ContentView: View {

swiftui-lab

// 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 {

tsuzukihashi

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))

ErnWong

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.

christianselig

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()
        }

viercc

この記事の文脈

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

準備

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

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

Lysxia

(** 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]):

CodaFi

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)

Ridwy

//
//  Created by Chiharu Nameki @Ridwy on 2021/07/30.
//

import UIKit
import AVFoundation

/*
 Using MTAudioProcessingTap, you can touch raw audio samples playing with AVPlayer.
 This sample code shows how to use MTAudioProcessingTap in Swift 5.