Steven Shaw 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() |
Every once in a while I investigate low-level backend options for PL-s, although so far I haven't actually written any such backend for my projects. Recently I've been looking at precise garbage collection in popular backends, and I've been (like on previous occasions) annoyed by limitations and compromises.
I was compelled to think about a system which accommodates precise relocating GC as much as possible. In one extreme configuration, described in this note, there
Install Ubuntu Desktop 22.04, encrypted ZFS, with minimal packages.
We may want to do the rest of the installation/configuration from our laptop over ssh, so:
| {-# 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 |
| #!/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 | |
| # |
- 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
This Pre-SIP post proposes continuations as a new language feature in Scala 3.
It has been prepared by Jack Viers, Raul Raja and reviewed by the Scala 3 team at 47 Degrees. This doc is intended to be used as a way to gather community feedback and foster discussion.
Our observation in the industry and among our peers is that most programming in Scala today that involves async or I/O-based programs targets a monadic indirect boxed style.
| {-# LANGUAGE DeriveAnyClass #-} | |
| {-# LANGUAGE DeriveGeneric #-} | |
| {-# LANGUAGE NamedFieldPuns #-} | |
| {-# LANGUAGE OverloadedStrings #-} | |
| {-# LANGUAGE RecordWildCards #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} | |
| module Main where | |
| import Data.Aeson (FromJSON, Object, Value (..), eitherDecodeFileStrict, parseJSON, (.:)) |
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.