Skip to content

Instantly share code, notes, and snippets.

View suhr's full-sized avatar
😐
Trying to fix the world

Сухарик suhr

😐
Trying to fix the world
77 followers · 25 following
View GitHub Profile
@suhr
suhr / haiku.patch
Created February 1, 2024 00:27
diff --git a/platforms/unix/plugins/SocketPlugin/sqUnixSocket.c b/platforms/unix/plugins/SocketPlugin/sqUnixSocket.c
index df8a1eec0..22f3cae87 100644
--- a/platforms/unix/plugins/SocketPlugin/sqUnixSocket.c
+++ b/platforms/unix/plugins/SocketPlugin/sqUnixSocket.c
@@ -57,6 +57,10 @@
#endif
#endif
+#ifdef __HAIKU__
+#define IFF_RUNNING IFF_LINK
@suhr
suhr / system_flakes.md
Last active January 31, 2024 11:49
@suhr
suhr / without_version.yaml
Created December 22, 2023 02:55
- package: legacyPackages.x86_64-linux.addDriverRunpath
pname: add-driver-runpath
- package: legacyPackages.x86_64-linux.addOpenGLRunpath
pname: add-opengl-runpath
- package: legacyPackages.x86_64-linux.alacritty-theme
pname: alacritty-theme
- package: legacyPackages.x86_64-linux.all-cabal-hashes
pname: all-cabal-hashes-def4ad9.tar.gz
- package: legacyPackages.x86_64-linux.alsa-plugins-wrapper
pname: ap64
@suhr
suhr / flake.nix
Last active December 16, 2023 23:29
{
description = "oTerm Application";
inputs = {
nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
};
outputs = { self, nixpkgs }:
let
pkgs = import nixpkgs {system="x86_64-linux";};
aiosql91 = pkgs.python311Packages.aiosql.overrideAttrs rec {
version = "9.1";
@suhr
suhr / reasoning.md
Created June 19, 2023 09:06
@suhr
suhr / nk.csv
Last active April 25, 2023 10:39
Syntax Name Description Example Output
+/x Sum Sum all value in x +/1 2 3 4 5 15
-':x Deltas Pairwise differences in x -':1 2 3 4 1 1 1 1
|+x Rotate matrix Rotate x counterclockwise |+3 3#!9 (2 5 8;1 4 7;0 3 6)
x@<x Sort Sort x {x@<x}@8 3 7 1 1 3 7 8
?x,y Set union Unique elements from x and y ?"abac","adob" "abcdo"
x^x^y Intersection Common elements from x and y {?x^x^y}["abac";"adob"] "aba"
x|-x Absolute value Absolute value of x {x|-x}@-1 1
*/y#x Power x in power of y (y>0) {*/y#x}[2;5] 32
y@(#y)!x+!#y Rotate left Rotate y by x elements to the left {y@(#y)!x+!#y}[3;"abcde"] "deabc"
@suhr
suhr / llm-schizophasia.md
Created March 21, 2023 15:02

I've done a curious little experiment on abnormal psychology applied to language models.

This is a textbook example of schizophasia in Russian:

Родился на улице Герцена, в гастрономе номер двадцать два. Известный экономист, по призванию своему — библиотекарь. В народе — колхозник. В магазине — продавец. В экономике, так сказать, необходим. Это, так сказать, система… э-э-э… в составе ста двадцати единиц. Фотографируете Мурманский полуостров и получаете «Те-ле-фун-кен». И бухгалтер работает по другой линии — по линии библиотекаря. Потому что не воздух будет, академик будет! Ну вот можно сфотографировать Мурманский полуостров. Можно стать воздушным асом. Можно стать воздушной планетой. И будешь уверен, что эту планету примут по учебнику. Значит, на пользу физике пойдёт одна планета. Величина, оторванная в область дипломатии, даёт свои колебания на всю дипломатию. А Илья Муромец даёт колебания только на семью на свою. Спичка в библиотеке работает. В кинохронику ходят и зажигают в кинохронике большой лист. В биб

@suhr
suhr / terse.rs
Last active January 18, 2023 15:39
#![allow(unused, non_camel_case_types)]
pub mod m
{ macro_rules! bE
{ ($c:expr; $t:expr; $e:expr) => (if $c {$t} else {$e});
($c:expr; $t:expr; ) => (if $c {$t} else { });
($c:expr; ; $e:expr) => (if $c { } else {$e}); }
macro_rules! oE
{ ($o:expr; $x:pat,$s:expr; $n:expr) => (match $o {Some($x)=>$s, None=>$n});
($o:expr; $x:pat,$s:expr; ) => (match $o {Some($x)=>$s, None=>()});
@suhr
suhr / nk.tsv
Last active January 17, 2023 06:50
We can make this file beautiful and searchable if this error is corrected: Illegal quoting in line 6.
SYNTAX NAME DESCRIPTION EXAMPLE
+/x Sum Sum all value in x +/1 2 3 4 5 → 15
-':x Deltas Pairwise differences in x -':1 2 3 4 → 1 1 1 1
|+x Rotate matrix Rotate x counterclockwise |+3 3#!9 → (2 5 8; 1 4 7;0 3 6)
x@<x Sort Sort x {x@<x}@8 3 7 1 → 1 3 7 8
?x,y Set Union Unique elements from x and y ?"abac","adob" → "abcdo"
x^x^y Intersection Common elements from x and y {?x^x^y}["abac";"adob"] → "aba"
x|-x Absolute value Absolute value of x {x|-x}@-1 → 1
*/y#x Power x in power of y (y>0) {*/y#x}[2;5] → 32
y@(#y)!x+!#y Rotate left Rotate y by x elements to the left {y@(#y)!x+!#y}[3;"abcde"] → "deabc"
@suhr
suhr / proofs.md
Last active December 8, 2022 13:05

Упражнения по формальным доказательствам

Нет времени объяснять, переходим сразу к делу.

Инструменты

Доказывать теоремы мы будем, используя интерактивные пруверы Isabelle или Lean 3. Примеры приводятся для каждого прувера, для решения задач же можно использовать любой из них.