steshaw

package fpmax

import scala.util.Try
import scala.io.StdIn.readLine

object App0 {
  def main: Unit = {
    println("What is your name?")

    val name = readLine()

steshaw

Setting up a fresh Ubuntu machine

Start with Ubuntu

Install Ubuntu Desktop 22.04, encrypted ZFS, with minimal packages.

Install OpenSSH

We may want to do the rest of the installation/configuration from our laptop over ssh, so:

AndrasKovacs

{-# language BlockArguments, LambdaCase, Strict, UnicodeSyntax #-}

{-|
Minimal dependent lambda caluclus with:
  - HOAS-only representation
  - Lossless printing
  - Bidirectional checking
  - Efficient evaluation & conversion checking

Inspired by https://gist.github.com/Hirrolot/27e6b02a051df333811a23b97c375196

andreabedini

#!/usr/bin/env -S jq -f -r
#
# This jq scripts transforms cabal's plan.json file into a series of fact that souffle can interpret.
#
# Example use
#
#     $ ~/plan-to-datalog.jq <dist-newstyle/cache/plan.json >plan.dl
#
# Then create a file query.dl
#

abailly-iohk

• https://github.com/woofpool/cardano-private-testnet-setup (Shell) Scripts to run a private network
• https://github.com/input-output-hk/mithril/mithril-test-lab (Rust) wrapper to run cardano-node and interact with it through cardano-cli. In Rust because that's the implementation language of Mithril and easier to maintain for the team (there used to be a version in Haskell)
• https://github.com/input-output-hk/hydra/hydra-cluster (Haskell) wrapper to run cardano-node (and hydra-node). Interaction is done in Haskell using the cardano-api, provides few configurability but has a faucet that can be used to distribute funds
• https://github.com/input-output-hk/cardano-node/tree/master/cardano-testnet. (Haskell) Newer framework to spin-up nodes from Haskell code, to use in CI or ETE testing
• https://github.com/input-output-hk/cardano-node/tree/master/scripts/byron-to-alonzo (Shell) Scripts to spin up a cluster of machines and possibly evolve them through all the Eras
• https://github.com/input-output-hk/carda

ners

{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Main where

import Data.Aeson (FromJSON, Object, Value (..), eitherDecodeFileStrict, parseJSON, (.:))

sts10

A curated list of command-line utilities written in Rust

Note: I have moved this list to a proper repository. I'll leave this gist up, but it won't be updated. To submit an idea, open a PR on the repo.

Note that I have not tried all of these personally, and cannot and do not vouch for all of the tools listed here. In most cases, the descriptions here are copied directly from their code repos. Some may have been abandoned. Investigate before installing/using.

The ones I use regularly include: bat, dust, fd, fend, hyperfine, miniserve, ripgrep, just, cargo-audit and cargo-wipe.

• atuin: "Magical shell history"
• bandwhich: Terminal bandwidth utilization tool

mb64

(* Compile with:
  $ ocamlfind ocamlc -package angstrom,stdio -linkpkg tychk.ml -o tychk
Example use:
  $ ./tychk <<EOF
  > let f = (fun x -> x) : forall a. a -> a
  > in f f
  > EOF
  input : forall a. a -> a
*)

richlander

.NET 5.0 Examples

The following are examples of various features.

• Modernizing a codebase for C# 9
• Top-level programs
• Various patterns of patterns
• Should rich go to the doctor
• Various patterns of records
• Records vs Classes (with init)

kvnyijia

--------------------------------------------------------------------------------
--
----  Dependently Typed Programming: Part 3
--
----  An Intrinsically Typed Compiler
--
----  Josh Ko (Institute of Information Science, Academia Sinica)
--
--------------------------------------------------------------------------------