Skip to content

Instantly share code, notes, and snippets.

View 5HT's full-sized avatar
🌐
STOP KILLING UKRAINIANS ⟶

Максим Сохацький 5HT

🌐
STOP KILLING UKRAINIANS ⟶
View GitHub Profile

Bugs:

  • Autologin checkbox is disabled
  • Preferences menu is disabled
  • Main window isn't font sensitive. I use a 10pt font and there is 2 pixel space below the menu
  • When selecting a contact in the roster, the view LowColor isn't set, leading to text antialias artifacts
  • Double clicking a contact should open message window. Having to right-click > message is boring
  • Chat window: pressing enter should send message instead of doing a newline.

Enhancements:

  • Selection highlight in roster doesn't go all the way to the left of the window, there is whitespace left
@5HT
5HT / Church.swift
Created October 14, 2016 12:58 — forked from CodaFi/Church.swift
Church Encoding in Swift
/// Playground - noun: a place where people can play
/// Church-Turing clan ain’t nothing to func with.
/// Church encoding is a means of representing data and operators in the lambda
/// calculus. In Swift, this means restricting functions to their fully curried
/// forms; returning blocks wherever possible. Church Encoding of the natural
/// numbers is the most well-known form of encoding, but the lambda calculus is
/// expressive enough to represent booleans, conditionals, pairs, and lists as
/// well. This file is an exploration of all 4 representations mentioned.
@5HT
5HT / Main.hs
Created April 14, 2017 07:36 — forked from lexi-lambda/Main.hs
Minimal Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
module Language.HigherRank.Main
( Expr(..)
, EVar(..)
, Type(..)
, TVar(..)
, TEVar(..)
, runInfer
) where
@5HT
5HT / 1_smime-clients.md
Created July 5, 2023 20:21 — forked from rmoriz/1_smime-clients.md
S/MIME is the industry standard for secure E-Mail and build into every relevant mail client. From Outlook to Thunderbird, from Blackberry to Apple Mail on OSX and iOS. http://smime.io/
@5HT
5HT / linux_ps2.md
Created April 18, 2024 05:52 — forked from ABelliqueux/linux_ps2.md
How to install Linux on the Playstation 2

Adapted to gist from https://unix.stackexchange.com/questions/344225/how-to-install-linux-on-the-playstation-2
Credits to Alison E.E.

Preambule

Looking to learn about game development? Are you a Linux enthusiast looking to test the claim that "Linux runs on everything"? Perhaps you are a software developer who is looking to release for multiple architectures, and you don't have another MIPS Little Endian machine on-hand for testing your programme. Whatever your situation there are a surprising number of reasons to install Linux on a Playstation 2, even sixteen years after it's release (boy do I feel old all of a sudden.), yet an equally surprising lack of documentation about it or how to install it.

Now don't get me wrong, if you want to use the original Sony Linux Kit, or one of it's updated open source releases on a fat PS2 with a network adapter and an IDE hard disk you can find plenty of info. However th