Skip to content

Instantly share code, notes, and snippets.

View mausch's full-sized avatar

Mauricio Scheffer mausch

230 followers · 21 following
View GitHub Profile
@mausch
mausch / aws-workspaces.sh
Last active February 26, 2024 14:22
Run AWS WorkSpaces client on any Linux distro supporting Docker
#!/usr/bin/env bash
set -eu
dockerfile=$(mktemp)
trap "rm $dockerfile" EXIT
cat << EOF > $dockerfile
FROM ubuntu:bionic
RUN apt-get update && apt-get install -y wget gnupg2
@mausch
mausch / flake.nix
Last active November 25, 2023 11:49
llama-cpp-python nix flake
{
# inputs.llama-cpp.url = "github:ggerganov/llama.cpp/47068e517004d90f13c16352bb3b4cafd53a00cd";
inputs.llama-cpp.url = "github:mausch/llama.cpp/4ec0000d119289f3545283651491b75080bd75bd";
inputs.nixpkgs.url = "github:nixos/nixpkgs/78058d810644f5ed276804ce7ea9e82d92bee293";
inputs.flake-utils.url = "github:numtide/flake-utils/f9e7cf818399d17d347f847525c5a5a8032e4e44";
outputs = { self, nixpkgs, flake-utils, llama-cpp }:
flake-utils.lib.eachDefaultSystem (system:
let
pkgs = nixpkgs.legacyPackages.${system};
@mausch
mausch / flake.nix
Last active November 6, 2023 11:58
llama-vicuna.nix
{
description = "llama.cpp running vicuna";
inputs = {
llama.url = "github:ggerganov/llama.cpp/aaf3b23debc1fe1a06733c8c6468fb84233cc44f";
flake-utils.url = "github:numtide/flake-utils/033b9f258ca96a10e543d4442071f614dc3f8412";
nixpkgs.url = "github:NixOS/nixpkgs/d9f759f2ea8d265d974a6e1259bd510ac5844c5d";
};
outputs = { self, flake-utils, llama, nixpkgs }:
@mausch
mausch / .envrc
Last active May 9, 2023 11:13
devenv test
source_url "https://raw.githubusercontent.com/cachix/devenv/d1f7b48e35e6dee421cfd0f51481d17f77586997/direnvrc" "sha256-YBzqskFZxmNb3kYVoKD9ZixoPXJh1C9ZvTLGFRkauZ0="
use devenv
@mausch
mausch / flake.nix
Created April 14, 2023 10:21
Llama.cpp + Alpaca-30B
{
description = "llama.cpp running Alpaca-30B";
inputs = {
llama.url = "github:ggerganov/llama.cpp/aaf3b23debc1fe1a06733c8c6468fb84233cc44f";
flake-utils.url = "github:numtide/flake-utils/033b9f258ca96a10e543d4442071f614dc3f8412";
nixpkgs.url = "github:NixOS/nixpkgs/d9f759f2ea8d265d974a6e1259bd510ac5844c5d";
};
outputs = { self, flake-utils, llama, nixpkgs }:
@mausch
mausch / gist:3188428
Created July 27, 2012 14:43
Async exception handling in F#
open System
open System.Net
// exception handling in async using Async.Catch
let fetchAsync (name, url:string) =
async {
let uri = new System.Uri(url)
let webClient = new WebClient()
let! html = Async.Catch (webClient.AsyncDownloadString(uri))
match html with
@mausch
mausch / country_grid.sql.gz
Last active March 20, 2022 14:04
country_osm_grid for Nominatim
This file has been truncated, but you can view the full file.
View raw
@mausch
mausch / piano.sh
Created January 3, 2022 18:27
Pianoteq + rotate screen + music sheets
#!/usr/bin/env nix-shell
#! nix-shell -p xorg.xrandr -p chromium -p pianoteq.stage-6 -i bash
input="Elan Touchpad"
function restore {
xrandr -o normal
xinput set-prop "$input" --type=float "Coordinate Transformation Matrix" 1 0 0 0 1 0 0 0 1
kill $!
}
@mausch
mausch / gist:1ce63b5caf6918c5b6e9773e3bd3d119
Created November 28, 2021 21:22
git flakes currentSystem error
building the system configuration...
error: attribute 'currentSystem' missing
at /nix/store/mk4x3mhmgmzx0j0dda26ay19x22yxbyj-source/pkgs/top-level/impure.nix:18:43:
17| # (build, in GNU Autotools parlance) platform.
18| localSystem ? { system = args.system or builtins.currentSystem; }
| ^
19|
@mausch
mausch / gist:8227399
Created January 2, 2014 21:37
Erik Meijer quotes in Reactive Programming Coursera. I did not gather them, I merely copied this from https://class.coursera.org/reactive-001/forum/thread?thread_id=1356 to make them public.
"Hopefully the third answer is right; but who knows, maybe I made a mistake; I’m just a human, I can throw exceptions as well."
"I am waving my hands on purpose here, this is very spaghetti like code. And spaghetti is great as food, but not good as code."
"flatMap will allow us to focus on the happy path. flatMap will take care of all the noise. flatMap is the dolby for programmers."
"Great programmers write baby code"
"it's obviously correct"