Skip to content

Instantly share code, notes, and snippets.

Avatar
🤔
Confused about why this feature exists

Remy Goldschmidt taktoa

🤔
Confused about why this feature exists
View GitHub Profile
View pigpio.nix
{ stdenv, fetchFromGitHub, cmake }:
stdenv.mkDerivation {
pname = "pigpio";
version = "78";
src = fetchFromGitHub {
owner = "joan2937";
repo = "pigpio";
rev = "cc17196c7586c3625ac8adf8f34838d320ffeda6";
sha256 = "0x628bsjb8iqnjvmz3bs0k0jc9m14yq0grfnsnwr53fs6fprh0wr";
View error.txt
-- Reboot --
Nov 08 07:00:18 raspi4-1 wpa_supplicant-start[651]: Successfully initialized wpa_supplicant
Nov 08 07:00:18 raspi4-1 wpa_supplicant-start[651]: wpa_supplicant v2.9
Nov 08 07:00:18 raspi4-1 wpa_supplicant-start[651]: Copyright (c) 2003-2019, Jouni Malinen <j@w1.fi> and contributors
Nov 08 07:00:18 raspi4-1 wpa_supplicant-start[651]: This software may be distributed under the terms of the BSD license.
Nov 08 07:00:18 raspi4-1 wpa_supplicant-start[651]: See README for more details.
Nov 08 07:00:18 raspi4-1 wpa_supplicant-start[651]: This product includes software developed by the OpenSSL Project
Nov 08 07:00:18 raspi4-1 wpa_supplicant-start[651]: for use in the OpenSSL Toolkit (http://www.openssl.org/)
Nov 08 07:00:18 raspi4-1 wpa_supplicant-start[651]: usage:
Nov 08 07:00:18 raspi4-1 wpa_supplicant-start[651]: wpa_supplicant [-BddhKLqqstuvW] [-P<pid file>] [-g<global ctrl>] \
View gist:635965bcd81369b3799942548547ba37
-- Reboot --
Nov 06 15:16:56 raspi4-1 systemd[1]: Started WPA Supplicant.
Nov 06 15:16:56 raspi4-1 wpa_supplicant[1323]: Successfully initialized wpa_supplicant
Nov 06 15:16:58 raspi4-1 wpa_supplicant[1323]: wlan0: Trying to associate with SSID 'Fios-8EKST'
Nov 06 15:17:01 raspi4-1 wpa_supplicant[1323]: wlan0: Associated with 20:c0:47:ce:af:ce
Nov 06 15:17:01 raspi4-1 wpa_supplicant[1323]: wlan0: CTRL-EVENT-CONNECTED - Connection to 20:c0:47:ce:af:ce completed [id=0 id_str=]
Nov 06 15:17:01 raspi4-1 wpa_supplicant[1323]: wlan0: CTRL-EVENT-SUBNET-STATUS-UPDATE status=0
Nov 06 15:17:01 raspi4-1 wpa_supplicant[1323]: wlan0: CTRL-EVENT-REGDOM-CHANGE init=COUNTRY_IE type=COUNTRY alpha2=US
Nov 06 15:17:12 raspi4-1 wpa_supplicant[1323]: nl80211: deinit ifname=p2p-dev-wlan0 disabled_11b_rates=0
Nov 06 15:17:12 raspi4-1 systemd[1]: Stopping WPA Supplicant...
View arrayfire.md

ArrayFire Nix Package

I haven't tested this under the full Nix sandbox, so it may still have some impurities.

If you have rustup installed and you want to build the ArrayFire Rust bindings impurely, just remember to set the AF_PATH environment variable to the output path resulting from building arrayfire.nix.

View atp-exercises.md

A Self-Taught Course in Automated Reasoning using Haskell

Variables, Terms, and Syntactic Unification

Resources

  • [Introduction to Unification Theory Lecture 1][itut-1]
  • Sections 8.1 and 8.2 of [The Handbook of Automated Reasoning][hoar]

Exercises

View workflow-improvements.md

Ideas to improve my workflow

Easy

diff-factor-comments

A script that automatically separates a Haskell file diff into two diffs: one with only changes to comments, and one with changes to actual code.

Could be extended to other languages, as long as you can describe what the

View things-to-keep-in-mind.md

Things to keep in mind

  • If you write a server using raw UDP, the size of a packet returned as a result of a packet received must be strictly smaller than the size of the packet received, to prevent DoS amplification attacks.
@taktoa
taktoa / haskell-pain-points.md
Last active Oct 26, 2019
A rant about pain points in Haskell, written as a response to https://redd.it/7rwuxb
View haskell-pain-points.md

I started writing this polemic to answer your question, but I ended up touching on most of my gripes with Haskell in general, not just in a corporate context.

GHC

GHC is a modern compiler with an amazing RTS and tons of features, but I have some issues with it.

Monolithic and Hard to Contribute To

View BittrexAPI.hs
--------------------------------------------------------------------------------
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE KindSignatures #-}
@taktoa
taktoa / KindOfGenerativeModuleFunctors.agda
Created Nov 27, 2017
A quasi-successful attempt at hacking generative module functors into Agda 2.5.3
View KindOfGenerativeModuleFunctors.agda
module KindOfGenerativeModuleFunctors where
------------------------------------------------------------------------------
open import Data.Product using (_×_; _,_)
open import Data.Nat using (ℕ)
open import Data.Bool using (Bool; false; true)
open import Relation.Binary.PropositionalEquality using (_≡_; _≢_; refl)
------------------------------------------------------------------------------