minoki’s gists

minoki / atcoder-code-prettify.user.js

Last active June 4, 2023 00:38

AtCoderのシンタックスハイライトをちゃんと言語に応じて動作させるUserScriptです

	// ==UserScript==
	// @name AtCoder Code Prettify
	// @namespace https://miz-ar.info/
	// @include https://atcoder.jp/contests//submissions/
	// @version 3
	// @grant none
	// @run-at document-start
	// ==/UserScript==

	console.debug("AtCoder Code Prettify is running");

minoki / test-x87-double-rounding.c

Created September 3, 2020 02:59

minoki / float-commutativity.c

Created August 19, 2020 09:54

	#include <stdio.h>
	#include <math.h>
	#include <inttypes.h>

	#if defined(__GNUC__)
	#define NOINLINE __attribute__((noinline))
	#else
	#define NOINLINE
	#endif

minoki / IntegerToInt.hs

Last active August 3, 2020 09:05

A code that exhibits "Impossible case alternative"

	{-# LANGUAGE MagicHash #-}
	module IntegerToInt where
	import GHC.Integer.GMP.Internals (Integer (S#))
	-- import GHC.Num.Integer (Integer (IS))
	import GHC.Exts (Int (I#))

	-- Like Data.Bits.toIntegralSized, but optimized for Integer and Int
	integerToIntMaybe :: Integer -> Maybe Int
	integerToIntMaybe (S# x) = Just (I# x)
	-- integerToIntMaybe (IS x) = Just (I# x)

minoki / test-fma.c

Last active August 12, 2020 06:56

A test program to check if your compiler's fma() is implemented correctly

	#include <math.h>
	#include <stdbool.h>
	#include <stdio.h>

	struct fma_test_case_d
	{
	double a, b, c, expected;
	} static const cases_d[] = {
	{0x1p1000, 0x1p1000, -INFINITY, -INFINITY},
	{-0x1.4f8ac19291ffap1023, 0x1.39c33c8d39b7p-1025, 0x1.ee11f685e2e12p-1, 0x1.2071b0283f156p-1},

minoki / abc169c-counterexamples.c

Created June 1, 2020 11:06

ABC169 C問題のコーナーケースを生成するやつ

	#include <stdio.h>
	#include <stdlib.h>
	#include <stdbool.h>
	#include <string.h>
	#include <math.h>
	#include <float.h>
	#include <inttypes.h>
	#if defined(TEST_FLOAT128)
	// For _Float128 type, see TS 18661-3
	// For _Float128 support on GCC, see https://gcc.gnu.org/onlinedocs/gcc/Floating-Types.html#Floating-Types

minoki / Main.hs

Created February 20, 2020 19:47

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE TypeFamilies #-}
	import Unboxable
	import Mod
	import Data.Coerce

	-- Defining Unboxable instance is as good as exporting the data constructor!
	castUnboxable :: Unboxable a => Rep a -> a
	castUnboxable = coerce

minoki / CmpNat.hs

Last active November 22, 2019 10:50

Generating CmpNat constraint at runtime

	#!/usr/bin/env stack
	-- stack --resolver lts-14.15 script --package reflection
	{-# LANGUAGE DataKinds, RankNTypes, TypeOperators, TypeFamilies, ScopedTypeVariables, TypeApplications #-}
	import GHC.TypeNats
	import Data.Type.Equality
	import Unsafe.Coerce
	import Data.Proxy
	import Data.Reflection

	cmpNat :: (KnownNat a, KnownNat b)

minoki / customshow.hs

Created October 8, 2019 15:55

OVERLAPPINGを使ってShow [Char]の定義を上書きするようなやり方はやばいぞ

	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE IncoherentInstances #-} -- これがないとエラーになる（この拡張はかなりやばい）
	import Data.List

	class MyShow a where
	myShow :: a -> String

	instance MyShow Int where myShow = show

minoki / Main.purs

Created September 5, 2019 09:04

短絡評価の有無で停止するか否かが変わる例

	module Main where

	import Prelude
	import Data.HeytingAlgebra
	import Effect (Effect)
	import Effect.Console (log)

	foo :: forall a. HeytingAlgebra a => Unit -> a
	foo x = foo x

ARATA Mizuki minoki