Skip to content

Instantly share code, notes, and snippets.

View dingxiangfei2009's full-sized avatar

wieDasDing dingxiangfei2009

23 followers · 19 following
  • Earth, why would you care by the way?
View GitHub Profile
@dingxiangfei2009
dingxiangfei2009 / .dir-locals.el
Created October 26, 2021 11:43
Hacking rustc with emacs-lsp may need this.
((nil . ((eval . (set (make-local-variable 'rust-project-root)
(file-name-directory
(locate-dominating-file default-directory ".dir-locals.el"))))
(lsp-rust-analyzer-cargo-watch-command . (concat rust-project-root "/x.py"))
(lsp-rust-analyzer-cargo-watch-args . '("build" "--json-output"))
)))
@dingxiangfei2009
dingxiangfei2009 / keybase.md
Created October 8, 2019 09:49

Keybase proof

I hereby claim:

  • I am dingxiangfei2009 on github.
  • I am touhoumaniac (https://keybase.io/touhoumaniac) on keybase.
  • I have a public key whose fingerprint is 6B3A FB89 EE19 2152 8847 FA49 40B2 D58F EAF5 941D

To claim this, I am signing this object:

@dingxiangfei2009
dingxiangfei2009 / log.html
Created July 3, 2019 09:03
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<script type="text/javascript" src="jquery.min.js"></script><script type="text/javascript" src="jquery-ui.min.js"></script><script type="text/javascript" src="treebits.js"></script><link rel="stylesheet" href="logfile.css" type="text/css">
<title>Log File</title>
</head>
<body>
<h1>VM build log</h1>
<p><a href="javascript:" class="logTreeExpandAll">Expand all</a> |
@dingxiangfei2009
dingxiangfei2009 / keybase.md
Created April 10, 2019 04:56

Keybase proof

I hereby claim:

  • I am dingxiangfei2009 on github.
  • I am dingxiangfei2009 (https://keybase.io/dingxiangfei2009) on keybase.
  • I have a public key whose fingerprint is FE7A AEC5 9980 2614 FC42 8011 BEEB 3331 AC11 533B

To claim this, I am signing this object:

@dingxiangfei2009
dingxiangfei2009 / primes.nix
Created April 3, 2019 06:36
let
rec' = hd: tl: self: args: { value = hd args; next = self (tl args); };
step = rec' ({ step, value }: value) ({ step, value }: { inherit step; value = value + step; });
nat2 = lib.fix step { step = 1; value = 2; };
subtract_sorted = self: xs: ys:
if xs.value < ys.value then
@dingxiangfei2009
dingxiangfei2009 / Comb.dhall
Created October 2, 2018 10:02
λ(T : Type) → λ(A : Type) → T → A → A
@dingxiangfei2009
dingxiangfei2009 / suffix_linear.cpp
Last active August 29, 2015 14:17 — forked from msg555/suffix_linear.cpp
#include <iostream>
#include <string.h>
#include <stdio.h>
using namespace std;
#define MAXN 1010
int AN;