Skip to content

Instantly share code, notes, and snippets.

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

時雨堂 Sora Labo 開発ログ

日時:2021-04-05
作:時雨堂
バージョン:2021.2
URL:https://sora-labo.shiguredo.jp/

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

@AlainODea
AlainODea / HelloCovariance.java
Last active Mar 13, 2021
Exception in thread "main" java.lang.NoSuchMethodError: java.util.concurrent.ConcurrentHashMap.keySet()Ljava/util/concurrent/ConcurrentHashMap$KeySetView;
View HelloCovariance.java
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
Kestrer / how-to-write-hygienic-macros.md
Created Oct 17, 2020
A guide on how to write hygienic Rust macros
View how-to-write-hygienic-macros.md

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
pandaman64 / memory_model.md
Last active Dec 18, 2020
papers on formalized memory models
View memory_model.md

色々メモリモデル

コンパイラ(LLVM)のメモリモデル

Reconclining high-level optimization and low-level code in LLVM (https://dl.acm.org/doi/10.1145/3276495)

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

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

Jordan標準形 (Jordan normal form)

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

この標準形はJordanブロックの順列を除いて一意である。

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

有理標準形 (Frobenius normal form)

@rmartinho
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
mala / a.md
Last active Jun 30, 2020
Chrome ExtensionのLive HTTP Headersの調査(CoolBar.Pro導入 Extensionが何を行うかの調査)
View a.md

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

11/7追記

English version: https://translate.google.com/translate?sl=ja&tl=en&js=y&prev=_t&hl=ja&ie=UTF-8&u=https%3A%2F%2Fgist.github.com%2Fmala%2Fe87973df5029d96c9269d9431fcef5cb&edit-text=&act=url

Summary in english.

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