Skip to content

Instantly share code, notes, and snippets.

View satler-git's full-sized avatar

satler satler-git

View GitHub Profile
@ymdfield
ymdfield / purity-ja.md
Last active May 2, 2025 15:09
Haskellの純粋性論争における3つの立場について自分の言葉でまとめなおしたもの.md

文脈: https://x.com/tomjaguarpaw/status/1917938120277872935

私の理解について話させてください…
この記事の定義に従うと、参照透過性と純粋性に大した違いはなく、わざわざ純粋という言葉を使う必要性は薄いというのは正しいと思います。
ただ、少なくとも私が見てきた議論では、純粋という言葉はこの記事の定義とは異なる意味で使われていると思います。指摘の通り、この記事は関数以外の、プログラム(あるコード断片)の純粋性について定義していませんし。

プログラムが純粋であるとは、それに副作用がないということです。これが、人々が使っているはずだと私が理解している、プログラムの純粋性の定義です。副作用とは、それが外界(言語「Haskell」が公式に定義する計算モデルの外部)の状態を変化させる、または外界の状態を受け取りそれに応じて以降の計算の進行を変化させるようなものです。参照透過性に由来する概念ではありません。ここで外界・内界の境界のどこに置くか、つまり「どこまでがHaskellなのか?」が問題になります1。まさにこれが問題なのです。

Footnotes

  1. https://x.com/ymdfield/status/1917966251462476100

@Washi1337
Washi1337 / TinySharp.cs
Last active January 5, 2025 18:55
A program to emit a tiny .NET binary program printing Hello World to the standard output. Blog post: https://blog.washi.dev/posts/tinysharp/
using System.Text;
using AsmResolver;
using AsmResolver.DotNet;
using AsmResolver.DotNet.Builder.Metadata.Blob;
using AsmResolver.DotNet.Builder.Metadata.Strings;
using AsmResolver.DotNet.Code.Cil;
using AsmResolver.DotNet.Signatures;
using AsmResolver.IO;
using AsmResolver.PE;
using AsmResolver.PE.DotNet.Builder;
@atoonk
atoonk / AWS_v4prefixes.md
Last active May 10, 2025 21:52
AWS prefixes

Summary

Total number of IPv4 addresses: 100,750,168. That’s the equivalent of just over six /8’s Also see this blog: https://toonk.io/aws-and-their-billions-in-ipv4-addresses/

just for fun, let's put a value number on that

Total value at, $20 per IP: => $2,015,003,360

Total value at, $25 per IP: => $2,518,754,200

@voluntas
voluntas / erlang_webrtc_quic.rst
Last active June 6, 2025 03:25
Erlang/OTP で WebRTC と QUIC
@shoz-f
shoz-f / vector2.ex
Created September 3, 2018 13:26
2次元ベクトル演算 in Elixir
defmodule Vector2 do
import :math
@moduledoc """
2次元ベクトル演算
"""
@doc """
原点ベクトルの生成
"""
@matsubara0507
matsubara0507 / introduction2Pwn.md
Last active July 31, 2025 13:01
楽しいPwn入門

たのしいPwn入門

What is This ?

IGGG Advent Calender 2015のために書いた記事です。
常設CTFで遊んでたらPwnable系の問題を解いてるうちにいろいろと勉強になったのでまとめます。

Pwnable

PwnableとはCTFのジャンルの1つで、プログラムの脆弱性をつき、本来アクセスできないメモリ領域にアクセスして操作し、フラグを取得する感じの問題です。
別名としてExploitがあります。

@844196
844196 / gist:849cd820e2c3ce916486
Last active November 5, 2025 08:12
非淫夢民向けミュート正規表現パターン
[こそ]れ?マジ?[\??]
まず(.*?)さ[あぁ]?(?:、|(?:\.|・){2,})(.*?)(?:、|(?:\.|・){2,})?ある?んだけど(?:、|(?:\.|・){2,})(.*)
(.+)↑(.+)↓
やっぱ[あぁ]?(?:、|(?:\.|・){2,})?(.*?)(?:くん|君)?の(.*?)を(?:、|(?:\.|・){2,})?(.*?)
[\((].*?[\))]ないです
[\((](王者の風格|すっとぼけ|サイコパス|ガンギマリ|せっかち|ねっとり|思考停止|諸行無常|ドン引き|意味深|名推理|使命感|震え声|棒読み|半ギレ|淫夢|悟空|威圧|偏見|激寒|呆れ|恍惚|戒め|無知|妥協|提案|驚愕|池沼|正論|絶望|良心|哲学|便乗|困惑|脅迫|小声|適当|レ|素|[至名迷]言|大[嘘破]|[難幻]聴|[憤激]怒|届かぬ[思想]い|(?:察し|冊子)|(?:声だけ)?迫真|無(?:邪気|関心)|語録(?:無視)?|(?:ゲス|真)顏|(?:更|さら)なる高みへ|(?:.*?並(?:みの)?感想?|KONAMI|粉みかん))[\))]?
\?{,3}「.*?」
.*?、どうぞ
申(?:し訳ないが)?.*?は?[NN][GG]?
じゃないですかね[\.・]{2,}