A homomorphism whose kernel is trivial is injective. Proof: Given \(f(x) = f(y)\), then \(f(xy-1) = f(x)f(y-1) = e’\) Therefore \(xy-1 = e\) and \(x = y\)
Adrian Parvin D. Ouano adrianparvino
adrianparvino
/ Lang.org
Created
March 24, 2018 11:09
adrianparvino
/ configuration.nix
Created
April 20, 2018 16:39
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Edit this configuration file to define what should be installed on | |
| # your system. Help is available in the configuration.nix(5) man page | |
| # and in the NixOS manual (accessible by running ‘nixos-help’). | |
| { config, pkgs, lib, ... }: | |
| { | |
| imports = | |
| [ # Include the results of the hardware scan. | |
| ./hardware-configuration.nix |
adrianparvino
/ *scratch*.txt
Created
April 21, 2018 12:23
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;; This buffer is for text that is not saved, and for Lisp evaluation. | |
| ;; To create a file, visit it with <open> and enter text in its buffer. | |
| xserver = { | |
| enable = true; | |
| windowManager.i3.enable = true; | |
| desktopManager.xfce.enable = true; | |
| displayManager.lightdm.enable = true; | |
| }; |
adrianparvino
/ scratch.c
Created
April 23, 2018 15:03
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| int foo () | |
| { | |
| int a, b, c, d; | |
| T *res; | |
| res = safe_add(NULL, a, b, &d); | |
| res = safe_add(res , d, c, &d); | |
| } |
adrianparvino
/ scratch.c
Created
April 23, 2018 15:14
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #define safe_init() safeenv *res; _safe_init(senv) | |
| #define safe_add(x, y, z) senv = _safe_add(senv, x, y, z); if (*senv == ERANGE); goto _safe_end; | |
| #define safe_end() _safe_end: free(senv) | |
| int foo () | |
| { | |
| int a, b, c, d; | |
| safe_init(); | |
| safe_add(a, b, &d); |
adrianparvino
/ scratch.c
Created
April 23, 2018 15:19
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #define safe_wrap(f) senv = f(senv, x, y, z); if (senv == ERANGE); goto _safe_end; | |
| #define safe_init() safeenv res; _safe_init(&senv) | |
| #define safe_add(x, y, z) safe_wrap(_safeadd) | |
| #define safe_end() _safe_end: | |
| int foo () | |
| { | |
| int a, b, c, d; |
adrianparvino
/ ascii.txt
Created
April 25, 2018 23:33
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| __ __ __ _______ ____ _______ | |
| / / / /| / /| /__ __/| / __ \ / _____/| | |
| / /_/ / / / / / |_/ / _|/ / /_/ /| / / ___|/ | |
| / __ / / / / / / / / / __ / | / / / | |
| / / / / / / /____ __/ /__ / /_/ | / / /____ | |
| /_/ /_/ / /______/| /______/| /_____/ | /______/| | |
| |_|/|_|/ |______|/ |______|/ |______|/ |_____|/ |
adrianparvino
/ ascii.txt
Created
April 25, 2018 23:34
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| __ __ __ _______ ____ ______ | |
| / / / /| / /| /__ __/| / __ \ / ____/| | |
| / /_/ / / / / / |_/ / _|/ / /_/ /| / / __|/ | |
| / __ / / / / / / / / / __ / | / / / | |
| / / / / / / /____ __/ /__ / /_/ | / / /____ | |
| /_/ /_/ / /______/| /______/| /_____/ | /______/| | |
| |_|/|_|/ |______|/ |______|/ |______|/ |_____|/ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| wget "https://git.zv.io/r/hlibc/-/archive/$1/hlibc-$1.tar" | |
| untar "hlibc-$1.tar" | |
| cd "hlibc-$1" | |
| make gcctest |
adrianparvino
/ Pubkey
Created
April 26, 2018 01:50
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -----BEGIN PGP PUBLIC KEY BLOCK----- | |
| mQENBFrhLuwBCAC8d7kLYjHDWlMdxEmv2X6+kvVrrWI1/c0P2HJ0P1oQ2XD8TsOu | |
| mFZIFQAq+FkCfdXXkzYFsYrrK/rMvsr2yAeH1OX17G+8hJBnGQ035324PUFKnRy3 | |
| Vg/hECndMp06EL/2wFueNwLE+D+W/JST0i32uW9DWcsxJMEMiu73NuxYzSyDEpf7 | |
| dlF9tUyG8IO/oUO7fh9iprnxEDbZvhjYM9HOVPq2p7LUGWKs06jOyNlrqjobzX/L | |
| BgLwbLpRtqK3SJtlPDVoMCeuf5STwUuUs8ofAIxN1XP7SKMFinRGa5t8ixIrIJJm | |
| QJIxeF3Z6Hqy4sEZe1BEBN/UlDQtVZtj1P2VABEBAAG0MEFkcmlhbiBQYXJ2aW4g | |
| RC4gT3Vhbm8gPGFkcmlhbnBhcnZpbm9AZ21haWwuY29tPokBVAQTAQgAPhYhBAtD | |
| d5wxiwpAnYUXYB1T/WoRyL1nBQJa4S7sAhsDBQkDwmcABQsJCAcCBhUKCQgLAgQW |