johnfelipe

Ultimate Resource List

• CLI Tools
• GUI Tools
• Web Tools
• Systems/Services
• Networks
• Containers/Orchestration
• Manuals/Howtos/Tutorials

kilobytesecurity

// SPDX-License-Identifier: MIT
// ^ recommended, included machine readable in bytecode metadata
// Software Package Data Exchange is an open standard

pragma solidity ^0.8.7;
// ^ floating pragma, min 0.8.7 max excluding 0.9.0
// same as complex pragma: pragma solidity >=0.8.7 <0.9.0;
// major.breakingchanges.bugfixes
// only makes the compiler check for compatibility and throws error if not matching!
// should only be floating during development, fixed everywhere during testing & deployment

VonHeikemen

" Open Netrw on the directory of the current file
nnoremap <leader>dd :Lexplore %:p:h<CR>

" Toggle the Netrw window
nnoremap <Leader>da :Lexplore<CR>

if &columns < 90
  " If the screen is small, occupy half
  let g:netrw_winsize = 50
else

mandrean

# Instructions for fresh install

$ sh <(curl -L https://nixos.org/nix/install) --darwin-use-unencrypted-nix-store-volume --daemon
# reboot
$ source /nix/var/nix/profiles/default/etc/profile.d/nix-daemon.sh
$ echo 'export NIX_PATH=darwin-config=$HOME/.nixpkgs/darwin-configuration.nix:$HOME/.nix-defexpr/channels${NIX_PATH:+:}$NIX_PATH' | tee -a ~/.zshrc
$ echo 'source $HOME/.nix-profile/etc/profile.d/hm-session-vars.sh' | tee -a ~/.zshrc
$ nix-channel --add https://nixos.org/channels/nixpkgs-unstable
$ nix-channel --add https://github.com/LnL7/nix-darwin/archive/master.tar.gz darwin
$ nix-channel --add https://github.com/nix-community/home-manager/archive/master.tar.gz home-manager

573

Put this in a vim buffer and in command mode run :w !bash to execute buffer contents via bash:

If you get something along

/nix/store/61mibb0k5mxnsxzb4x2737cbysn4c5ha-home-manager/bin/home-manager: line 71: NIX_PATH: unbound variable

check if you have run this already:

. ~/.nix-profile/etc/profile.d/nix.sh

benawad

" Specify a directory for plugins
call plug#begin('~/.vim/plugged')

Plug 'neoclide/coc.nvim', {'branch': 'release'}
Plug 'scrooloose/nerdtree'
"Plug 'tsony-tsonev/nerdtree-git-plugin'
Plug 'Xuyuanp/nerdtree-git-plugin'
Plug 'tiagofumo/vim-nerdtree-syntax-highlight'
Plug 'ryanoasis/vim-devicons'
Plug 'airblade/vim-gitgutter'

Andrious

import 'package:flutter/foundation.dart';
import 'package:flutter/material.dart';

void main() {
  runApp(MyApp(
    items: List<String>.generate(10000, (i) => "Item $i"),
  ));
}

class MyApp extends StatefulWidget {

blackcater

Diagrams

Markdown Preview Enhanced supports rendering flow charts, sequence diagrams, mermaid, PlantUML, WaveDrom, GraphViz, Vega & Vega-lite, Ditaa diagrams. You can also render TikZ, Python Matplotlib, Plotly and all sorts of other graphs and diagrams by using Code Chunk.

Please note that some diagrams don't work well with file exports such as PDF, pandoc, etc.

Flow Charts

This feature is powered by flowchart.js.

easonlai

palmskog

module Util {

  datatype Option<T> = Some(v:T) | None

  function unionMap<U(!new), V>(m: map<U,V>, m': map<U,V>): map<U,V>
    requires m !! m'; // disjoint
    ensures forall i :: i in unionMap(m, m') <==> i in m || i in m';
    ensures forall i :: i in m ==> unionMap(m, m')[i] == m[i];
    ensures forall i :: i in m' ==> unionMap(m, m')[i] == m'[i];
  {