Advent Calendar

• Idris2の管理はpackにお任せ

  2022-12-03

  • Idris
  • Idris2
  • Advent Calendar
  • Idris Advent Carendar
  • Advent Calendar 2022
  • Idris Advent Carendar 2022

• RustでDockerの--passwordで入力したパスワードを盗む

  2021-12-20

  • Rust
  • Advent Calendar
  • Advent Calendar 2021
  • Rust Advent Calendar
  • Docker
  • Linux

• moldを使うとRustのビルドが速くなる

  2021-12-20

  • Rust
  • Advent Calendar
  • Advent Calendar 2021
  • Rust Advent Calendar

• Rustのテストは2種類のオプションがある

  2021-12-20

  • Rust
  • Advent Calendar
  • Advent Calendar 2021
  • Rust Advent Calendar

• SMLの処理系組み込み例外ってなーんだ

  2020-12-28

  • ML
  • ML Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• RustのMutexのPoisoning

  2020-12-25

  • Rust
  • Rust Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• IdrisのElaboratorリフレクションでメタプログラミング

  2020-12-25

  • Idris
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• IdrisのFFIとCodegen（C、JavaScript）

  2020-12-24

  • Idris
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• Idrisの依存型で高さが100%正しいAVL木を定義する

  2020-12-23

  • 依存型
  • Idris
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• Idris面白機能：文芸的Idris

  2020-12-22

  • Idris
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• Idrisで依存型を使った定理証明入門

  2020-12-22

  • 依存型
  • Idris
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• Idris面白機能：with構文と依存型、View

  2020-12-22

  • 依存型
  • Idris
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• Idris面白機能：シンタックスシュガーとオーバーロード、あとユーザ定義構文

  2020-12-20

  • Idris
  • Idris Advent Calendar
  • Advent Calendar 202
  • Advent Calendar

• SMLのDerived Forms

  2020-12-20

  • SML
  • ML Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• IdrisのテストとCI

  2020-12-20

  • Idris
  • GitHub
  • GitLab
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• Idrisdocの使い方

  2020-12-19

  • Idris
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• Idrisのパッケージとipkg

  2020-12-17

  • Idris
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• Idrisの名前つきパラメータとGADT

  2020-12-16

  • Idris
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• Idris手習い: ビッットマップ画像の書き出し

  2020-12-16

  • 依存型
  • Idris
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• Idrisのモジュールとプレリュード、標準ライブラリ

  2020-12-15

  • Idris
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• Rustのconst fnって何？

  2020-12-15

  • Rust
  • Rust Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• Idrisと高橋君

  2020-12-10

  • Idris
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• Idrisのインタフェースとモナドなどなど

  2020-12-09

  • Idris
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• REPLでIdris小旅行

  2020-12-07

  • Idris
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• Idrisの型とデータ型

  2020-12-06

  • Idris
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• SMLでバッククォート記法を実現する

  2020-12-03

  • SML
  • ML Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar
  • 小ネタ

• Idrisの基本文法

  2020-12-02

  • Idris
  • Idris Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• Rustの環境構築（Emacs）

  2020-12-01

  • Rust
  • Rust Advent Calendar
  • Advent Calendar 2020
  • Advent Calendar

• Idrisのインストール

  2020-12-01

  • Idris
  • Idris Advent Calendar
  • Advent Calendar
  • Advent Calendar 2020

• 依存型のあるHaskellことIdrisってどんな言語？

  2020-11-30

  • Idris
  • Idris Advent Calendar
  • Advent Calendar
  • Advent Calendar 2020

• 自作コンパイラをブラウザ上で動かす

  2020-11-30

  • SML
  • compiler
  • 言語実装
  • 言語実装 Advent Calendar
  • Advent Calendar
  • Advent Calendar 2020

• 自作lintルールとcargo fixでRustのコードをリファクタする

  2019-12-23

  • Rust
  • Advent Calendar
  • Rust Advent Calendar
  • Advent Calendar 2019

• Dependency Analysis入門

  2019-12-15

  • 言語実装
  • Advent Calendar
  • Advent Calendar 2019
  • 言語実装 Advent Calendar

• 手続き型脳で型推論を実装してみた

  2019-12-08

  • 型
  • 型推論
  • 言語実装
  • Advent Calendar
  • Advent Calendar 2019

• RustでCPS変換が簡単になったよという話

  2019-12-07

  • Rust
  • Advent Calendar
  • Rust Advent Calendar
  • Advent Calendar 2019
  • 継続
  • CPS

• dieselでselectするカラムを1箇所にまとめる

  2019-12-07

  • Rust
  • Advent Calendar
  • Rust Advent Calendar
  • Advent Calendar 2019
  • Diesel
  • 小ネタ

• itertoolsの紹介

  2019-12-06

  • Rust
  • Advent Calendar
  • Advent Calendar 2019
  • Rust Advent Calendar

• Rustのturbofishを理解する

  2019-12-03

  • Rust
  • Advent Calendar
  • Advent Calendar 2019
  • Rust Advent Calendar

• Rustのマクロでネストした呼び出しを実現するために

  2018-12-25

  • Rust
  • Advent Calendar
  • Advent Calendar 2018
  • Rust Advent Calendar

• Rustで強めに型をつけるPart 3: Session Type

  2018-12-15

  • Rust
  • Advent Calendar
  • Advent Calendar 2018
  • Rustで強めに型をつける
  • Rust Advent Calendar

• Rustで強めに型をつけるPart 2: Type Level State Machine

  2018-12-15

  • Rust
  • Advent Calendar
  • Advent Calendar 2018
  • Rustで強めに型をつける
  • Rust Advent Calendar

• Rustで強めに型をつけるPart 1: New Type Pattern

  2018-12-15

  • Rust
  • Advent Calendar
  • Advent Calendar 2018
  • Rustで強めに型をつける
  • Rust Advent Calendar

• Rustのモジュールの使い方 2018 Edition版

  2018-12-08

  • Rust
  • Advent Calendar
  • Advent Calendar 2018
  • Rust Advent Calendar

• JITあれこれ

  2018-12-01

  • 言語処理系
  • 言語実装 Adevnt Calendar
  • Advent Calendar
  • Advent Calendar 2018

• SMLのエコシステム（？）

  2017-12-24

  • ML
  • SML
  • Advent Calendar
  • Advent Calendar 2017
  • ML Advent Calendar

• diesel小ネタ集

  2017-12-16

  • Rust
  • Diesel
  • 小ネタ
  • Advent Calendar
  • Advent Calendar 2017
  • Rust Advent Calendar

• Graal/Truffleについて軽く

  2017-12-13

  • 言語実装
  • JVM
  • Advent Calendar
  • Advent Calendar 2017
  • 言語実装 Advent Calendar

• RPythonについて軽く

  2017-12-12

  • 言語実装
  • RPython
  • Interpreter
  • Advent Calendar
  • Advent Calendar 2017
  • 言語実装 Advent Calendar

• WebAssemblyでGC

  2017-12-07

  • WebAssembly
  • 言語実装
  • GC
  • Advent Calendar
  • Advent Calendar 2017

• クレートを公開する前に埋めておくべきメタデータ

  2017-12-03

  • Rust
  • Advent Calendar
  • Advent Calendar 2017
  • Rust Advent Calendar

• Ironのレスポンスの中身を覗き見るライブラリを雑に作った

  2017-12-02

  • Rust
  • Advent Calendar
  • Advent Calendar 2017
  • Iron
  • 小ネタ
  • Web
  • Rust Advent Calendar

• RustのDI

  2017-12-01

  • Rust
  • Advent Calendar
  • Advent Calendar 2017
  • Rust Advent Calendar

• Rustのライフタイムを使ったスコープ解析

  2016-12-24

  • Rust
  • Advent Calendar
  • Advent Calendar 2016
  • Rust Advent Calendar

• Rustのプロセス

  2016-12-02

  • Rust
  • Advent Calendar
  • Advent Calendar 2016
  • Rust Advent Calendar

• 新しいコンパイラバックエンドcretonne

  2016-12-02

  • Rust
  • 言語実装
  • Advent Calendar
  • Advent Calendar 2016
  • 言語実装 Advent Calendar

• Rustでバイト列を扱う時のtips

  2016-12-01

  • Rust
  • Advent Calendar
  • Advent Calendar 2016
  • Rust Advent Calendar

• マクロやコンパイラプラグインの実装方法色々

  2016-12-01

  • 言語実装
  • マクロ
  • Advent Calendar
  • Advent Calendar 2016
  • 言語実装 Advent Calendar

• 4年間続いたShibuya.lispのLispMeetUp

  2016-12-01

  • Lisp
  • Advent Calendar
  • Advent Calendar 2016

• サイバーエージェントを退職しました

  2016-11-30

  • 番外編
  • Advent Calendar
  • Advent Calendar 2016

• SML#をUbuntu 16.10で動かす

  2016-11-30

  • ML
  • SML
  • smlsharp
  • Advent Calendar
  • Advent Calendar 2016
  • ML Advent Calendar

• Apache Drillの不自然な挙動

  2015-12-20

  • SQL
  • DB
  • Apache Drill
  • Advent Calendar
  • Advent Calendar 2015

• 最近作ってるLispの話

  2015-12-20

  • Lisp
  • SKK
  • Rust
  • Advent Calendar
  • Advent Calendar 2015
  • Lisp Advent Calendar

• travisとappveyorでクロスプラットフォームなCIする話

  2015-12-20

  • Rust
  • Advent Calendar
  • Advent Calendar 2015
  • Rust Advent Calendar

• ClojureでReactive Messaging Pattern

  2015-12-19

  • Lisp
  • Clojure
  • Advent Calendar
  • Advent Calendar 2015
  • Lisp Advent Calendar

• Rustでの日本語の扱い

  2015-12-13

  • Rust
  • Advent Calendar
  • Advent Calendar 2015
  • 小ネタ
  • Rust Advent Calendar

• SML#に学ぶコンパイラ言語におけるREPLの実装方法

  2015-12-12

  • ML
  • SML
  • SMLSharp
  • Advent Calendar
  • Advent Calendar 2015
  • 言語実装
  • 言語実装 Advent Calendar

• SML#でJITコンパイラを作る軽い話

  2015-12-12

  • ML
  • SML
  • SMLSharp
  • Advent Calendar
  • Advent Calendar 2015
  • 言語実装
  • 言語実装 Advent Calendar

• リージョンについて

  2015-12-09

  • Advent Calendar
  • Advent Calendar 2015
  • 言語実装 Advent Calendar

• SML#でDBに接続

  2015-12-05

  • ML
  • SML
  • SMLSharp
  • Advent Calendar
  • Advent Calendar 2015
  • ML Advent Calendar

• Rustで小さなツールを作ってみる(後編)

  2015-11-29

  • Rust
  • Advent Calendar
  • Advent Calendar 2015
  • Rust Advent Calendar

• Rustで小さなツールを作ってみる(前編)

  2015-11-14

  • Rust
  • Advent Calendar
  • Advent Calendar 2015
  • Rust Advent Calendar

• mllexを使ってみる。あるいはlexユーザーに対するmllexの解説

  2014-12-10

  • ML
  • SML
  • Prolog
  • mllex
  • Advent Calendar
  • ML Advent Calendar
  • Advent Calendar 2014

• H2Oにpicrinを溶かす

  2014-12-07

  • Lisp
  • Scheme
  • Picrin
  • H2O
  • Advent Calendar
  • Advent Calendar 2014

• claspがアップデートされたよ

  2014-12-06

  • Lisp
  • Common Lisp
  • Advent Calendar
  • Lisp Advent Calendar

• mirahについて

  2014-12-04

  • Advent Calendar
  • Mirah
  • Advent Calendar 2014

• VOPで遊ぶ

  2014-12-02

  • Lisp
  • Common Lisp
  • SBCL
  • VOP
  • Advent Calendar
  • Advent Calendar 2014
  • Lisp Advent Calendar

• ClackのHandlerの書き方

  2013-12-06

  • Advent Calendar
  • Clack
  • Common Lisp
  • Lisp
  • Lisp Advent Calendar