Skip to content

Instantly share code, notes, and snippets.

View slavapestov's full-sized avatar

Slava Pestov slavapestov

1.8k followers · 0 following
View GitHub Profile
@slavapestov
slavapestov / newskbd.diff
Created August 9, 2020 20:35
noby# diff -c3 keyboard.ps.orig keyboard.ps
*** keyboard.ps.orig Mon Jul 27 08:55:38 1992
--- keyboard.ps Mon Jul 27 09:17:11 1992
***************
*** 45,50 ****
--- 45,51 ----
/KB_SUN4_US101A 23 def
/KB_SUN4_JAPAN 36 def
/KB_SUN5_US 37 def
+ /KB_SUN5_US_COMPACT 84 def
@slavapestov
slavapestov / fixmouse.c
Created August 9, 2020 20:17
#include <stdio.h>
#include <termios.h>
#include <errno.h>
#include <fcntl.h>
#include <sys/termios.h>
#include <sys/types.h>
int main() {
int fd;
@slavapestov
slavapestov / wordproblem.swift
Created August 2, 2020 01:49
protocol P
where A.C == C.A,
A.D == D.A,
B.C == C.B,
B.D == D.B,
C.E == E.C.A,
D.E == E.D.B,
C.C.A == C.C.A.E {
associatedtype A : P
associatedtype B : P
@slavapestov
slavapestov / collection
Created April 28, 2020 05:00
Equivalence classes:
* Equivalence class represented by τ_0_0:
Members: τ_0_0
Conformances:Collection, Sequence
Same-type constraints:
---Rewrite tree---
`--(cont'd)
`--Collection.SubSequence
`--Collection.Index --> [Collection.Indices -> Sequence.Element]
@slavapestov
slavapestov / AnyEncodable.swift
Last active March 21, 2018 09:33
struct AnyEncodable : Encodable {
var wrapped: Encodable
func encode(to encoder: Encoder) throws {
try wrapped.encode(to: encoder)
}
}
@slavapestov
slavapestov / init-puzzle.swift
Last active October 10, 2017 21:46
struct S {
let x: Int
init(x: Int) { self.x = x }
// This is allowed
init(x2: Int) {
self.init(x: x2)
}
@slavapestov
slavapestov / puzzle.swift
Last active October 6, 2017 08:02
// Example 1
protocol P {
func f() -> Self
}
extension P {
func f() -> Self {
return self
}
}
@slavapestov
slavapestov / keybase.md
Created September 27, 2017 21:54

Keybase proof

I hereby claim:

  • I am slavapestov on github.
  • I am spestov (https://keybase.io/spestov) on keybase.
  • I have a public key ASDtaF_IPmUGQ8saUB0otbOZbh8Y57SqiiSuq23Vlugttwo

To claim this, I am signing this object:

@slavapestov
slavapestov / fun-with-self.swift
Created April 19, 2017 03:37
func foo<T>(_: T) {
print("Self = \(T.self)")
}
protocol P {
func requirement()
}
extension P {
@slavapestov
slavapestov / foo.swift
Created December 17, 2015 00:53
Array of functions
func foo() {
// Doesn't parse correctly
// let a = [() -> ()]()
let b = [(Int, Int)]()
let a: [() -> ()] = []
}