joske

Arch

This is the method I used to install Arch on the yoga slim 7x. This is from memory so I may have forgotten things

prerequisites

• disable bitlocker in windows
• resize the windows partition
• disable secure boot in BIOS

installation

mjrit

I use this in a Home Assistant Template helper so it's updated automatically when any of the source sensors update. This is based on the simplified formula documented by the BoM here: http://www.bom.gov.au/info/thermal_stress

Substitute your sensor names

• YOUR_TEMP_SENSOR - degrees C
• YOUR_HUMDITY_SENSOR - percentage
• YOUR_WIND_SPEED_SENSOR - km/h

snej

#! /usr/bin/env ruby
#
# missing_includes.rb
# By Jens Alfke <[email protected]>
# Version 2.0 -- 2 Oct 2023
# Copyright 2021-Present Couchbase, Inc.
#
# This script scans C++ header files looking for usage of common standard library classes, like 
# `std::vector`, without including their corresponding headers, like `<vector>`. It similarly looks
# for standard C functions like `strlen` that are used without including their header (`<cstring>`.)

NovaAndrom3da

pkgname = "rust-nightly"
pkgver = "1.72.0"
pkgrel = 0
hostmakedepends = [
    "cmake",
    "curl",
    "pkgconf",
    "python",
    "llvm-devel",
    "llvm-tools",

brendanzab

//! Bidirectional type checker for a simple functional language

use std::rc::Rc;

#[derive(Clone, PartialEq, Eq)]
enum Type {
    Bool,
    Int,
    Fun(Rc<Type>, Rc<Type>),
}

elfmimi

Old patch for OpenSK targeting Raytac MDBT50Q-RX dongle

The revision I tried was the Initial commit (f91d2fd) .

OpenSK is using Tock as one of its submodules.

So you need to clone OpenSK and its submodules recursively.

After you have cloned it successfully, you should be able to find this directory.

bramus

🚚 The bookmarklet has moved to https://github.com/bramus/mastodon-profile-redirect/

TOTBWF

(** Core Types *)
module Syntax =
struct
  type t =
    | Local of int
    | Hole of string
    | Let of string * t * t
    | Lam of string * t
    | Ap of t * t
    | Pair of t * t

tehpeh

So it's been a while since I set up a #FreeBSD desktop from scratch, and things have gotten easier? :rising-intonation: :confused-dog-face: Curious? Read on!

Maybe I overcomplicated things last time (you can see the script here https://bit.ly/freebsd-bootstrap), it seems some steps are now redundant. Anyway, here's the simplest way I know to get a capable desktop system set up.

I'm doing this on an M1 Mac with VMware Fusion Tech Preview and FreeBSD 13.1-RELEASE. After (or during) install create a user and add it to the groups video, wheel and operator with

% pw usermod $USER -G wheel,operator,video

brendanzab

(** {0 An implementation of a small dependently typed language}

    This is an implementation simple dependently typed language where types are
    first-class and where the output types of functions may depend on the inputs
    supplied to them.

    Type checking is is implemented in terms of an {i elaborator}, which checks
    and tanslates a user-friendly {i surface language} into a simpler and more
    explicit {i core language} that is more closely connected to type theory.
    Because we need to simplify types during elaboration we also implement an