Skip to content

Instantly share code, notes, and snippets.

voluntas / sora_labo.rst
Last active May 21, 2021
時雨堂 Sora Labo 開発ログ
View sora_labo.rst

時雨堂 Sora Labo 開発ログ


このサービスに興味がある人はこの資料に Star をつけてもらえると嬉しいです。

AlainODea /
Last active Mar 13, 2021
Exception in thread "main" java.lang.NoSuchMethodError: java.util.concurrent.ConcurrentHashMap.keySet()Ljava/util/concurrent/ConcurrentHashMap$KeySetView;
import java.util.Set;
import java.util.concurrent.ConcurrentHashMap;
public class HelloCovariance {
public static void main(String[] args) {
ConcurrentHashMap<String, String> properties = new ConcurrentHashMap<>();
Set<String> keySet = properties.keySet();
Kestrer /
Created Oct 17, 2020
A guide on how to write hygienic Rust macros

How to Write Hygienic Rust Macros

Macro hygiene is the concept of macros that work in all contexts; they don't affect and aren't affected by anything around them. Ideally all macros would be fully hygienic, but there are lots of pitfalls and traps that make it all too easy to accidentally write unhygienic macros. This guide attempts to provide a comprehensive resource for writing the most hygienic macros.

Understanding the Module System

First, a little aside on the details of Rust's module system, and specifically paths; it is

pandaman64 /
Last active Dec 18, 2020
papers on formalized memory models



Reconclining high-level optimization and low-level code in LLVM (

Lee, Hur, Jung, Liu, Regehr, Lopes.

  • 低レベル言語(C, C++, Rust)のコンパイラのメモリモデルには二つの相反する目標がある
    • high-level optimization
      • 最適化したい
      • 例:
qnighy /
Last active Jul 27, 2020

Jordan標準形 (Jordan normal form)

K:代数閉体, V:有限次元のK-線形空間, f : V → V 線形写像のとき、Vの基底を上手く選ぶと表現行列がJordanブロックを対角線上に並べた行列になる。


計算方法1: 固有方程式を解き固有値を得る。(A-λI)x=0となるxを探す。(A-λI)y=xとなるyを探す。これを止まるまで繰り返すことで基底の一部が得られる。別の固有ベクトルや別の固有値に対しても同様のことを行う。

有理標準形 (Frobenius normal form)

rmartinho / hate.markdown
Last active Jul 15, 2020
I will hate you
View hate.markdown

Dear C++ library writer,

  1. If your library forces me to use new all over, I will hate you.

  2. If your library has types with bogus values, I will hate you.

  3. If the documentation for your library gets the terminology of its own domain wrong, I will hate you.

  4. If I say "My God, it's full of stars!" when I see the function signatures in your library, I will hate you.

mala /
Last active Jun 30, 2020
Chrome ExtensionのLive HTTP Headersの調査(CoolBar.Pro導入 Extensionが何を行うかの調査)

Chrome ExtensionのLive HTTP Headersを調査した。Firefox用のものではない。Firefox用のものではない。


English version:

Summary in english.

View sudobread
__-- --__
/ \
\ _--_ _--_ / あなたはシステム管理者から通常の講習を受けたはずです。
| ,--. ,--. | これは通常、以下の3点に要約されます:
| |()| |()| |
| _______ | #1) 他人のプライバシーを尊重すること。
| \ ||| / |
| `---' | #2) タイプする前に考えること。
unarist / mastodon-add-abbr.user.js
Last active Sep 6, 2018
:don: - スラングにabbrつけるやつ
View mastodon-add-abbr.user.js
// ==UserScript==
// @name :don: - スラングにabbrつけるやつ
// @namespace
// @version 0.21.1
// @author unarist
// @match*
// @grant none
// @downloadURL
// @noframes
// ==/UserScript==
7shi /
Last active Mar 15, 2017
アスキードワンゴ編集部 編集長 鈴木嘉平氏 『技術書を出版するには』