Skip to content

Instantly share code, notes, and snippets.

View TheZoq2's full-sized avatar
🦀
🦀 Always rust! 🦀

Frans Skarman TheZoq2

🦀
🦀 Always rust! 🦀
145 followers · 77 following
View GitHub Profile
@TheZoq2
TheZoq2 / gist:de76f300ea2ba1a319cab539bd77fd6f
Created November 6, 2024 23:05
https://play.spade-lang.org/#eyJzcGFkZVNvdXJjZSI6InVzZSB2Z2E6OnZnYTo6VmdhVGltaW5nO1xudXNlIHZnYTo6dmdhOjp2Z2FfZnNtO1xudXNlIHZnYTo6dmdhOjp2Z2Ffb3V0cHV0O1xuXG51c2UgZml4ZWQ6OmxpYjo6RnA7XG5cbnVzZSBzdGQ6OmNvbnY6OmJpdHNfdG9fdWludDtcbnVzZSBzdGQ6OmNvbnY6OmludF90b191aW50O1xudXNlIHN0ZDo6aW86OnJpc2luZ19lZGdlO1xuXG5zdHJ1Y3QgQ29sb3Ige1xuICByOiB1aW50PDg+LFxuICBnOiB1aW50PDg+LFxuICBiOiB1aW50PDg+XG59XG5cbmVudW0gR2FtZVN0YXRlIHtcbiAgU3RhcnQsXG4gIFBsYXkge1xuICAgIHBsYXllcl9zcGVlZDogRnA8MTYsIDQ+LFxuICAgIHBsYXllcl9wb3M6IEZwPDE2LCA0PixcbiAgICBwaXBlczogW3VpbnQ8ND47IDRdLFxuICAgIHBpcGVfb2Zmc2V0OiB1aW50PDg+LFxuICB9XG59XG5cbmVudGl0eSBnYW1lKGNsazogY2xvY2ssIHJzdDogYm9vbCwgbmV3X2ZyYW1lOiBib29sLCBidG46IFtib29sOyA4XSwgZ2FtZV9vdmVyOiBib29sKSAtPiBHYW1lU3RhdGUge1xuICBsZXQgZ2FtZV9pbml0aWFsID0gR2FtZVN0YXRlOjpQbGF5JChcbiAgICBwbGF5ZXJfc3BlZWQ6ICgtMTVfaTEyKS50b19maXhlZCgpLFxuICAgIHBsYXllcl9wb3M6ICgyMDBfaTEyKS50b19maXhlZCgpLFxuICAgIHBpcGVzOiBbNCwgOCwgNiwgN10sXG4gICAgcGlwZV9vZmZzZXQ6IDQsXG4gICk7XG5cbiAgcmVnKGNsaykgcm5nIHJlc2V0KHJzdDogW3RydWU7IDE2XSkgPSB
@TheZoq2
TheZoq2 / gist:c8760ffbb8d016585e9fa29d993cede4
Created December 30, 2020 13:26
#include <iostream>
template<typename T>
struct NoDefault {
NoDefault() = delete;
NoDefault(T const& inner) : inner{inner} {}
operator T() {return inner;}
@TheZoq2
TheZoq2 / gist:821e65e0e6abc1bea59f43ce823baf04
Created April 20, 2020 14:28
.global main
main:
; Setup stack pointer
ldi r16,0x08
out SPH,r16
ldi r16,0xff
out SPL,r16
@TheZoq2
TheZoq2 / dfold_.hs
Created February 18, 2020 19:55
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE Rank2Types #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE PolyKinds #-}
module DFold_ (dfold_, subMonotone1) where
import Clash.Prelude
@TheZoq2
TheZoq2 / dtypefold.hs
Created February 9, 2020 13:09
```haskell
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StarIsType #-}
import Clash.Prelude
-- import Data.Singletons.Prelude
import Data.Singletons (TyFun, Apply)
import Data.Proxy
@TheZoq2
TheZoq2 / latexcards.tex
Created November 7, 2019 22:02
\documentclass{article}
\usepackage[11pt]{moresize}
\usepackage[a4paper,margin=0cm]{geometry}
\usepackage{tikz}
\usepackage{amsthm,amsmath,amssymb}
\usepackage[protrusion=true,expansion=true]{microtype}
\usetikzlibrary{positioning,shapes,shadows,arrows,backgrounds,fit}
\usepackage[utf8]{inputenc}
\newcommand{\content}{\Large Best audio/visuals}
@TheZoq2
TheZoq2 / gist:8102b2d11bc594dadf19070de43af940
Created November 3, 2019 09:47
{
"_": "",
"buttons": {
"A": {
"action": "button(Keys.BTN_GAMEPAD)"
},
"B": {
"action": "button(Keys.BTN_EAST)"
},
"BACK": {
@TheZoq2
TheZoq2 / cpp.cpp
Created October 22, 2019 09:54
make[1]: Entering directory '/home/frans/Documents/phd/thesis_private'
[clang++] Building build/debug/src/pt_model_hardware.o
[clang++] Building build/debug/src/node_based.o
In file included from src/node_based.cpp:1:
In file included from src/node_based.hpp:3:
In file included from src/reference.hpp:7:
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../include/c++/9.2.0/variant:1177:39: error: invalid operands to binary expression ('const Reference::IBsgOutOfBounds' and 'const Reference::IBsgOutOfBounds')
_VARIANT_RELATION_FUNCTION_TEMPLATE(==, equal)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/9.2.0/../../../../include/c++/9.2.0/variant:1160:38: note: expanded from macro '_VARIANT_RELATION_FUNCTION_TEMPLATE'
@TheZoq2
TheZoq2 / pwm_macro.rs
Created October 10, 2019 20:55
pub trait Pins {
const C1: bool;
const C2: bool;
const C3: bool;
type Channels;
}
macro_rules! impl_pins {
// Expands to a struct that implements the Pins trait
// The syntax is a bit strange, but it should be generated by another
@TheZoq2
TheZoq2 / bspwm xtruss
Last active September 29, 2019 16:26
--- FocusOut(event=w#02C00006, mode=Grab, detail=Ancestor)
--- PropertyNotify(window=w#02C00006, atom=a#345, state=NewValue, time=0x13E04E95)
ChangeWindowAttributes(window=w#02C00006, border-pixel=0xFF000000)
ChangeWindowAttributes(window=w#02E00006, border-pixel=0xFF808080)
ChangeProperty(window=w#000006C4, property=a#311, type=a"WINDOW", format=32, mode=Replace, data=02E00006)
ConfigureWindow(window=w#02E00006, sibling=w#0C609D4D, stack-mode=Below)
... ConfigureWindow(window=w#02E00006, sibling=w#0C609D4D, stack-mode=Below) = BadWindow(window=w#0C609D4D)
ChangeProperty(window=w#000006C4, property=a#371, type=a"WINDOW", format=32, mode=Replace, data=0EA00003:0CA00003:15400003:0DE00003:0D400003:10E00003:06C00003:09800003:0C600003:17000003:15200003:01E0002F:10600003:14200003:07400011:17A00003:18E00003:...)
SetInputFocus(focus=w#02E00006, revert-to=Parent, time=CurrentTime)
--- FocusOut(event=w#02C00006, mode=WhileGrabbed, detail=Nonlinear)