ulysses4ever

%%
%% This is file `newlfm.cls',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% newlfm.dtx  (with options: `package')
%% 
%% \iffalse meta-comment
%% \CharacterTable

ulysses4ever

artem in prl-julia in ~/Temp/pandoc-2.19.2 took 18m52s 
❯ dr-cabal profile --input=dr-cabal-debug.json                                                                                                                                                                                       0 (18:52.487) < 21:47:28
Legend
  ▇  Downloading
  ▇  Starting
  ▇  Building
  ▇  Haddock
  ▇  Installing

Summary

ulysses4ever

FAQ

• Бесплатный VPN это OK? VPN бывают платные и бесплатные. Платные обычно ОК (мошенники бывают в любом бизнесе, конечно).

  Бесплатные в ряде случаев не ОК: они могут питаться вашими данными (продавать их третьим лицам) или того хуже майнить биткоин (не уверен, что кто-то это реально делает, но вдруг).

ulysses4ever

❯ cabal clean && cabal build clc-stackage --with-compiler=/home/artem/data/ghc/remove-st-fail/_build/stage1/bin/ghc
Resolving dependencies...
Build profile: -w ghc-9.0.1 -O1
In order, the following will be built (use -v for more details):
 - OpenGLRaw-3.3.4.1 (lib) (requires build)
 - bindings-GLFW-3.3.2.0 (lib) (requires build)
 - bson-0.4.0.1 (lib) (requires build)
 - double-conversion-2.0.2.0 (lib) (first run)
 - fgl-5.7.0.3 (lib) (first run)
 - justified-containers-0.3.0.0 (lib) (requires build)

ulysses4ever

waymonad-L-as on  master via ❄️  impure (ghc-shell-for-packages-0) 
❯ cabal repl
Resolving dependencies...
Build profile: -w ghc-8.10.4 -O1
In order, the following will be built (use -v for more details):
 - hayland-0.1.1.0 (lib) (first run)
 - hsc2hs-0.68.7 (exe:hsc2hs) (requires build)
 - hsroots-0.1.0.0 (lib) (first run)
 - network-3.1.2.1 (lib:network) (requires download & build)
 - waymonad-scanner-0.1.0.0 (lib) (first run)

ulysses4ever

# 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, ... }:

let
  nvidia-offload = pkgs.writeShellScriptBin "nvidia-offload" ''
    export __NV_PRIME_RENDER_OFFLOAD=1
    export __NV_PRIME_RENDER_OFFLOAD_PROVIDER=NVIDIA-G0

ulysses4ever

Loading default config
unable to lock lockfile /run/user/1000/wayland-0.lock, maybe another compositor is running
Opened on socket: wayland-1
2021-02-27 16:22:07 - [types/wlr_idle_inhibit_v1.c:191] idle_inhibit manager created
2021-02-27 16:22:07 - [backend/wayland/backend.c:183] Creating wayland backend
2021-02-27 16:22:07 - [backend/wayland/backend.c:199] Could not connect to remote display: No such file or directory
2021-02-27 16:22:07 - [backend/session/logind.c:663] Successfully loaded logind session
2021-02-27 16:22:07 - [backend/backend.c:157] Found 2 GPUs
2021-02-27 16:22:07 - [backend/drm/backend.c:152] Initializing DRM backend for /dev/dri/card0 (i915)
2021-02-27 16:22:07 - [backend/drm/drm.c:64] Using atomic DRM interface

ulysses4ever

Ensuring launcher is up to date
Fetching origin
Launcher is up-to-date
cd /pups && git pull && /pups/bin/pups --stdin
Already up to date.
I, [2021-02-14T01:33:08.901887 #1]  INFO -- : Loading --stdin
I, [2021-02-14T01:33:08.913468 #1]  INFO -- : > locale-gen $LANG && update-locale
I, [2021-02-14T01:33:08.982208 #1]  INFO -- : Generating locales (this might take a while)...
Generation complete.

ulysses4ever

package edu.northeastern.cs7480;

terminals true false if then else value
          Bool in fn


syntax

t ::= true 
  | false

ulysses4ever

.PHONY: bench
.PHONY: build
.PHONY: clean
.PHONY: default
.PHONY: dypgen
.PHONY: generate
.PHONY: menhir
.PHONY: parse
.PHONY: profile