Skip to content

Instantly share code, notes, and snippets.

View MaxCan-Code's full-sized avatar
😂
👌😂👌💯💯🔥🔥

MaxCan-Code

😂
👌😂👌💯💯🔥🔥
View GitHub Profile
@Innf107
Innf107 / data.md
Last active October 15, 2024 07:10
Programming is about information not data, or: you might not need dependent types

Programming is about information not data, or: you might not need dependent types

When I took "Fundamentals of Computer Science" in college, my professor was very adamant about the distinction between data and information and about how data doesn't have any inherent meaning. At the time, it seemed a bit silly to me how much emphasis he put on such a seemingly insignificant difference.

In retrospect, I think he was exactly right about this and I wish more programmers took it to heart.

Data is something you can store in a computer, such as, let's say, the byte 0b01000001.

@0racle
0racle / dyalog-inputrc
Last active September 30, 2024 22:54
inputrc file for Dyalog APL prefix mappings (à la TryAPL.org)
# If you want to use this with rlwrap, the following command works for me
# > INPUTRC='~/.dyalog/inputrc' rlwrap -a dyalog -s -b
# Which can then be aliased to whatever you like
"`[": "←"
"`-": "×"
"`=": "÷"
"`p": "*"
"`*": "⍟"
@gregberns
gregberns / Yoneda.md
Created November 29, 2021 07:47
Introduction to Yoneda and Coyoneda

Introduction to Yoneda and Coyoneda

Yoneda (and its duel Coyoneda) is well known in the Category Theory field and has been ported over to functional languages such as Haskell. Each have their uses - sometimes in similar scenarios, also in very different ways.

This will be a newbie's explanation of the concept, using Haskell to illustrate, without any Category Theory.

From what I've read, the Yonedas are not 'daily-drivers' (not used everyday), but rather can be pulled out when the time is right.

Uses: Both Yoneda's can be used to help speed up a program where there are many fmap with long lists or big trees involved. Coyoneda can be used if you want to create an 'interface' and build up calculations, then pass those calculations to an 'executor' to run them.

@mjlbach
mjlbach / effective_questions.md
Last active September 17, 2022 18:30
Asking effective questions

Foreword

The open source community depends on the efforts of a small group of volunteers relative to the number of users. In order to make the most of contributors' time, here is some advice for asking “good questions”. This is largely paraphrased from this article by Eric Steven Raymond and Rick Moen, with edits for brevity and tone. If you have the time (and tolerance), I strongly recommend reading that article over this one. Let's start with the procedure.

The procedure

  1. Try to find an answer by searching the archives of the issue-tracker, IRC, matrix-room, discord, forum or mailing list you plan to post to.
  2. Try to find an answer by searching the Web.
  3. Try to find an answer by reading the manual.
  4. Try to find an answer by reading a FAQ.
  5. Try to find an answer by inspection or experimentation.
@Hans5958
Hans5958 / Vaporeon response.md
Last active December 22, 2024 10:04
Response to the Vaporeon copypasta

Original

Earliest known instance: https://www.reddit.com/r/sbubby/comments/d8buja/please/f1a4t74?context=3

Well well well. It appears [insert user who used the copypasta] is a fellow vappy fucc connoisseur. However screw the female version. You get those same ol two holes in literally everything else. the MALE vappy is the real star of the show. Those long slippery diccs they have full mobility control with like a tentacle are the perfect ass filler for the ultimate in deep reaching experience nothing else could possibly provide. Naturally lubed at all times due to their aquatic hydrodynamic nature, you can pull off anywhere to the side of the road, or go into a public restroom at the beach, get each other aroused, and have the fucc of a lifetime. The extraordinary squishyness of the vappy alone rubbing against you would be enough to lose yourself in pleasure as it simply mounts you. Let alone with that perfect tool of pleasure slips into you. Its ability to snake around your bends and its perfect le

@rpigott
rpigott / _swaymsg
Last active April 28, 2024 13:39
swaymsg zsh completions w/ sway command completion
#compdef swaymsg
typeset -A opt_args
__swaymsg() {
# Reuse socket path from command line if present
swaymsg ${(kv)opt_args[(I)-s|--socket]} "$@" 2>/dev/null
}
# _sway
# sway ipc {{{
@ericclemmons
ericclemmons / example.md
Last active September 20, 2024 12:46
HTML5 <details> in GitHub

Using <details> in GitHub

Suppose you're opening an issue and there's a lot noisey logs that may be useful.

Rather than wrecking readability, wrap it in a <details> tag!

<details>
 Summary Goes Here
@darcyparker
darcyparker / vimModeStateDiagram.svg
Last active February 15, 2025 11:04
Vim Modes Transition Diagram in SVG https://rawgithub.com/darcyparker/1886716/raw/eab57dfe784f016085251771d65a75a471ca22d4/vimModeStateDiagram.svg Note, most of the nodes in this graph have clickable hyperlinks to documentation.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.