Skip to content

Instantly share code, notes, and snippets.

View sighingnow's full-sized avatar
💭
typing...

Tao He sighingnow

💭
typing...
View GitHub Profile
@sighingnow
sighingnow / .gitconfig
Last active July 23, 2018 05:26
My gitconfig file.
[gui]
fontui = -family 微软雅黑Monaco -size 8 -weight normal -slant roman -underline 0 -overstrike 0
fontdiff = -family \"YaHei Consolas Hybrid\" -size 8 -weight normal -slant roman -underline 0 -overstrike 0
encoding = utf-8
warndetachedcommit = true
tabsize = 4
recentrepo = D:/Open/foundationdb-haskell
[user]
email = sighingnow@gmail.com
name = HE, Tao
@sighingnow
sighingnow / .vimrc
Last active September 29, 2021 17:35
VIM config file.
if &compatible
set nocompatible " Be iMproved
endif
set number
set confirm
set autoread
set spell
set clipboard+=unnamed
set mouse+=a
@sighingnow
sighingnow / .bashrc
Created April 26, 2015 12:47
My bashrc config file.
# If not running interactively, don't do anything
[[ "$-" != *i* ]] && return
# Completion options
#
# These completion tuning parameters change the default behavior of bash_completion:
#
# Define to access remotely checked-out files over passwordless ssh for CVS
COMP_CVS_REMOTE=1
#
@sighingnow
sighingnow / .inputrc
Created April 26, 2015 12:48
My inputrc file
# To the extent possible under law, the author(s) have dedicated all
# copyright and related and neighboring rights to this software to the
# public domain worldwide. This software is distributed without any warranty.
# You should have received a copy of the CC0 Public Domain Dedication along
# with this software.
# If not, see <http://creativecommons.org/publicdomain/zero/1.0/>.
# base-files version 4.2-3
# ~/.inputrc: readline initialization file.
@sighingnow
sighingnow / Makefile
Last active February 26, 2024 12:47
Detect operating system in Makefile.
# Detect operating system in Makefile.
# Author: He Tao
# Date: 2015-05-30
OSFLAG :=
ifeq ($(OS),Windows_NT)
OSFLAG += -D WIN32
ifeq ($(PROCESSOR_ARCHITECTURE),AMD64)
OSFLAG += -D AMD64
endif
@sighingnow
sighingnow / a-genode-develop.md
Last active September 29, 2016 15:01
Code snippets for Genode development.
  • heap-alloc.cpp: allocate memory from env's heap.
  • create-thread-deprecated.cpp: create deprecated thread.
  • transfer-mem.cpp: transfer memory between two entrypoint.
@sighingnow
sighingnow / cgroup-limit-memory.c
Last active July 27, 2018 04:17
Limit memory usage with libcgroup interface.
#include <assert.h>
#include <libcgroup.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <sys/types.h>
#define _GNU_SOURCE
#include <unistd.h>
@sighingnow
sighingnow / signal-slot.hs
Last active September 30, 2016 12:49
Signal-slot mechanism in Haskell.
-------------------------------------------------------------
-- |
-- Copyright: (c) Tao He 2016
-- License: MIT
-- Maintainer: sighingnow@gmail.com
--
-- Signal-slot mechanism in Haskell.
--
import Control.Monad
@sighingnow
sighingnow / rdstc-demo.c
Created October 1, 2016 04:52
Demo of Read Time-Stamp Counter (rdstc instruction).
/**
* author: Tao He, sighingnow@gmail.com
*/
uint64_t rdtsc() {
uint32_t lo, hi;
__asm__ __volatile__("rdtsc" : "=a"(lo), "=d"(hi));
return (uint64_t)hi << 32 | lo;
}
@sighingnow
sighingnow / prime_sum.py
Created October 1, 2016 04:56
Summary of all prime numbers less than or equal to n.
#! /usr/bin/env python
# -*- coding: utf-8 -*-
from time import time
import math
def prime_sum_impl(n):
r = int(math.sqrt(n))
v = [n//i for i in range(1, r+1)]
v += list(range(v[-1]-1, 0, -1))