Skip to content

Instantly share code, notes, and snippets.

View nna774's full-sized avatar
🌸

久我山菜々 nna774

🌸
83 followers · 90 following
View GitHub Profile
@nna774
nna774 / gist:5064361
Created March 1, 2013 12:37
solve SUDOKU
import Data.List
import Control.Applicative ()
import Control.Monad
--
--import Data.Set hiding(map,valid,filter,null,foldr)
--import Data.Maybe
type Board = [[Int]] -- [[Maybe Int]] にして、0 の代わりにNothing のほうがいいとは思う
question :: Board
question = [
@nna774
nna774 / RPi.md
Last active December 16, 2015 14:08

Recipe of a delicious raspberry pi

美味しいパイの作り方

The ingredients of a pi

必要な物

  • Raspberry Pi 本体
@nna774
nna774 / gist:5783541
Created June 14, 2013 16:58
(setq load-path (cons "~/.emacs.d/elisp" load-path))
(setq load-path (cons "~/.emacs.d/vendor" load-path))
(setq load-path (cons "~/.emacs.d/config" load-path))
(setq load-path (cons "~/.emacs.d/vendor/slime" load-path))
(require 'cl)
;;; フォントサイズ変更 いいのかなこれ
(set-face-font 'default "-unknown-Ubuntu Mono-normal-normal-normal-*-16-*-*-*-m-0-iso10646-1")
@nna774
nna774 / gist:8337711
Last active January 2, 2016 17:38
$ gpg --fingerprint
/home/nona/.gnupg/pubring.gpg
-----------------------------
pub 2048R/0C3E3AB2 2014-01-09
フィンガー・プリント = 674A 287A 21D2 2431 AD8F D328 AEF3 C3C7 0C3E 3AB2
uid NoNameA 774 (nonamea774@nnn77) <nonamea774@gmail.com>
sub 2048R/88B744A0 2014-01-09
$ gpg --export -a nonamea774@gmail.com
-----BEGIN PGP PUBLIC KEY BLOCK-----
@nna774
nna774 / gyazo
Last active January 3, 2016 13:19
https://aur.archlinux.org/packages/gyazo/ （http://yaa.no-ip.org/~yaa/ddata/gyazo） がfirefox 決め打ちだったからgoogle-chrome を使うようにしたもの どうせなら設定ファイル使うようにしたほうがいいんだろうけどめんどう。。。
#!/usr/bin/env ruby
# setting
browser_cmd = 'google-chrome-stable'
clipboard_cmd = 'xclip'
require 'net/http'
# get id
idfile = ENV['HOME'] + "/.gyazo.id"
@nna774
nna774 / PKGBUILD
Last active August 29, 2015 13:55
menma font pkgbuild
# Contributor: NoNameA 774 <nonamea774@gmail.com>
pkgname=ttf-menma
pkgver=1
pkgrel=1
pkgdesc="Japanese TrueType fonts created by menma"
arch=('any')
url="http://www.anohana.jp/tv/special/font.html"
license=('custom')
depends=('fontconfig' 'xorg-font-utils')
@nna774
nna774 / PKGBUILD
Created February 10, 2014 15:04
# Contributor : NoNameA 774 <nonamea774@gmail.com>
pkgname=fortune-mod-fortune-2ch
pkgver=0.02
pkgrel=1
pkgdesc="UNIX fortune words ぷろでゅーすどばい Unix板の皆様@2ch.net"
url="http://pc.2ch.net/test/read.cgi/unix/991752573/"
arch=('any')
license=('custom')
depends=('fortune-mod' 'nkf')
@nna774
nna774 / GPIO.hpp
Last active August 29, 2015 13:56
gplv3 by nonamea774
#include "select.hpp"
#include <functional>
class GPIO{
public:
GPIO(std::function<void(Button)> _callback);
void waitButtonPushed(){
callback(select.getPushedButton());
}
private:
@nna774
nna774 / md5sum.rb
Last active August 29, 2015 14:01
@miku md5sum <text>
#-*- coding: utf-8 -*-
# https://github.com/penguin2716/mikutter_shell_post を参考に書いた
Plugin.create :md5sum_post do
UserConfig[:md5sum_post_with_post] ||= false
# postboxの中身をクリアしてイベントをキャンセル
def self.clear_post(gui_postbox)
Plugin.call(:before_postbox_post,
Plugin.create(:gtk).widgetof(gui_postbox).widget_post.buffer.text)
@nna774
nna774 / JsonParser.hs
Last active August 29, 2015 14:01
適当なパーサ
import Text.Parsec
import Text.Parsec.String
import Text.Parsec.Prim as Prim
data Board = Board { grid :: [[Int]]
, score :: Int
, won :: Bool
, points :: Int
, over :: Bool
, moved ::Bool