Tags

#advent-of-code,  #apl,  #archlinux,  #blender,  #bqn,  #cadical,  #chronobt,  #cloud,  #covid19,  #cryptominisat,  #cuis,  #cuissmalltalk,  #discord,  #docker,  #emacs,  #engram,  #evil,  #font,  #gitlab,  #glucose,  #gnome,  #gtk,  #haskell,  #helix,  #heroku,  #hugo,  #issue,  #jang,  #javascript,  #kissat,  #latex,  #lingeling,  #macos,  #maxos,  #mios,  #mongodb,  #moodle,  #nextcloud,  #nix,  #nixos,  #novel,  #now,  #nuxtjs,  #observable,  #pharo,  #postgresql,  #privary,  #r,  #rust,  #sat,  #scratch,  #servant,  #sf,  #shell,  #smalltalk,  #splr,  #squeak,  #sudoku,  #swift,  #tmux,  #trail-saving,  #unsatlog,  #vim,  #vivification,  #vuejs,  #zola,  #zoom, 

Pages

#advent-of-code

 2023-03-07
BQNでAoC2022 day19を解こう
(できたら)配列指向で経路探索問題を

#apl

 2023-06-04
The difference of depth-first search and width-first search in BQN
another beautiful (a)symmetry

#archlinux

 2018-02-04
Upgrade PostgreSQL DB
moodleで使用しているPostgreSQLのメジャーアップグレード
 2018-11-30
Building emacs-mozc with yay
yayで"aura --hotedit"に相当するオプションは?
 2018-06-22
lualatex-ja on ArchLinux
lualatex-jaが動かなくなった

#blender

 2021-12-04
From Text to Mesh
with Geometry Node
 2021-11-27
Collectionの謎
Collection in Collection
 2021-11-18
Fluid Dynamics on Blender
dynamics研究
 2021-11-16
Water in Blender
material研究
 2021-11-14
Clouds on Blender
雲海
 2021-11-13
Emacs 28.0.60 on Nix
with native compilation
 2021-11-06
Shadow catcher on Blender
影重要

#bqn

 2023-06-04
The difference of depth-first search and width-first search in BQN
another beautiful (a)symmetry
 2023-03-07
BQNでAoC2022 day19を解こう
(できたら)配列指向で経路探索問題を
 2023-03-02
Uncurry is a special case of fold
from experience in BQN
 2023-01-01
Matrix product in BQN
今時の行列指向言語とは

#cadical

 2020-04-08
Importance of modern techniques in SAT solvers
A case of CaDiCal
 2020-07-28
What's new in CryptoMiniSat 5.8.0
another solver of 2020
 2020-04-22
UNSAT LOG, 2020, Apr.
Vol.1, No.4.

#chronobt

 2021-09-23
Implement Trail Saving instead of ChronoBT
I gave it up.
 2021-06-22
ChronoBT再実装
三ヶ月目に突入したバグ

#cloud

 2019-05-31
Connect mongoDB Atlas from Rust
"mongodb+srv://"がない

#covid19

 2021-07-10
Swiftでcrawling
どれでも同じようなもの

#cryptominisat

 2020-07-28
What's new in CryptoMiniSat 5.8.0
another solver of 2020

#cuis

#cuissmalltalk

#discord

 2019-03-07
Post to Discord from shell
curlでwebhookを叩いてDiscordに投稿

#docker

 2018-06-24
Deploy a Servant program to Heroku with Docker
HaskellプログラムをHerokuで動かそう(2018年私家版)

#emacs

 2020-05-09
What's 's-l'?
used in lsp-mode
 2020-04-11
Building Emacs27.nix on MacOS
as an overlay
 2020-03-08
File renaming in dired mode on GNU Emacs
with default filename
 2020-02-02
Don't use add-to-list in Emacs
let's update emacs.el
 2018-11-30
Building emacs-mozc with yay
yayで"aura --hotedit"に相当するオプションは?
 2018-07-06
How to fix a nuisance by Intero on Emacs?
InteroでEmacsがおかしくなる問題
 2017-10-20
tex-print for old Emacs
pdfを直接生成するlatex系のためのtex-print

#engram

 2022-07-12
日本語でEngram on Ventura
「Engramで日本語」かも

#evil

#font

 2021-07-25
luaLatex-jaでNotoMono-Regularを使いたい
それもttfなやつを

#gitlab

 2018-06-24
Deploy a Servant program to Heroku with Docker
HaskellプログラムをHerokuで動かそう(2018年私家版)

#glucose

 2018-06-21
Glucose on NixOS
nix-shellを使ってglucoseをインストール
 2019-03-04
Running Glucose in benchmark mode
Glucoseのベンチマークがしたい

#gnome

#gtk

 2019-03-14
GTK development on Nix on macOS
これでどこでもgtkでいいじゃん

#haskell

 2023-03-02
Uncurry is a special case of fold
from experience in BQN
 2018-07-06
How to fix a nuisance by Intero on Emacs?
InteroでEmacsがおかしくなる問題
 2018-06-24
Deploy a Servant program to Heroku with Docker
HaskellプログラムをHerokuで動かそう(2018年私家版)

#helix

 2022-03-15
Helix text editor!
さようならVS code, Zed

#heroku

 2018-06-24
Deploy a Servant program to Heroku with Docker
HaskellプログラムをHerokuで動かそう(2018年私家版)

#hugo

 2017-03-05
Math Sample
Using KaTeX
 2016-03-08
Code Sample
Using Hugo Chroma instead of Pygments

#issue

 2019-09-14
Splr-0.1.4 released
as a maintenance release
 2019-07-31
A Consideration about Restart (2019-07-31)
(部分的)リスタートの意義
 2019-07-21
First UIP distribution (2019-07-21)
NP(n) + P(N-n)
 2019-07-15
EMA of LBD
LBDはリスタートに利用できるのか
 2019-07-11
Development of Var activities (2019-07-11)
変数活性度と変数割当て量の相関

#jang

 2020-08-14
JaNG version 1.0.2
import from GitHub Gist
 2019-07-31
About Observable
強力な可視化機能を手に入れた

#javascript

 2019-07-31
About Observable
強力な可視化機能を手に入れた

#kissat

 2021-08-31
Kissat on macOS
Abort! No!
 2020-07-21
What's KISSAT
the latest product by Armin Biere

#latex

 2021-07-25
luaLatex-jaでNotoMono-Regularを使いたい
それもttfなやつを
 2019-01-06
Memo about installing Texlive
latex日本語環境を設定
 2018-06-22
lualatex-ja on ArchLinux
lualatex-jaが動かなくなった
 2017-10-20
tex-print for old Emacs
pdfを直接生成するlatex系のためのtex-print
 2017-03-05
Math Sample
Using KaTeX

#lingeling

 2018-06-21
Lingeling on NixOS
NixOSにLingelingをインストール

#macos

 2022-07-12
日本語でEngram on Ventura
「Engramで日本語」かも
 2022-04-11
MacOS -> Nixpkgs -> Alacritty -> Tmux -> truecolor
terminal-overridesが有効になるまで
 2022-09-24
Nix Flake of Alacrity 0.11.0
やっと日本語がまともに入力できる
 2021-06-11
JIS配列のMacbookのかなキーで日本語入力モードをトグルしたい
少しでもLinuxのカスタムキーボードに近づけたい
 2020-08-07
NixOS on Big Sur
毎年右往左往
 2020-06-07
How to compile cargo-instruments
on NixOS on MacOS
 2019-10-08
Using Nix on Catalina
Catalina上でNixを使う
 2019-03-28
Compiling Rust programs that use openssl
新しいopensslに移行したディストリビューションでopensslを使う
 2019-03-14
GTK development on Nix on macOS
これでどこでもgtkでいいじゃん
 2018-09-27
NixOS on MacOS Mojave

#maxos

 2021-08-31
Kissat on macOS
Abort! No!

#mios

#mongodb

 2019-05-31
Connect mongoDB Atlas from Rust
"mongodb+srv://"がない

#moodle

 2018-02-04
Upgrade PostgreSQL DB
moodleで使用しているPostgreSQLのメジャーアップグレード

#nextcloud

 2018-07-15
Re-edit personal information on NextCloud
NextCloudの個人情報が編集できなくなった

#nix

 2022-04-11
MacOS -> Nixpkgs -> Alacritty -> Tmux -> truecolor
terminal-overridesが有効になるまで
 2023-04-14
How to run 'nix-build' on flake-based nix system
if we have `shell.nix` or `default.nix`
 2022-09-27
Overlaying Rustic Nixpkgs
how to fix openssl problem
 2022-09-24
Nix Flake of Alacrity 0.11.0
やっと日本語がまともに入力できる

#nixos

 2021-11-02
Nix 2.4 released
experimental-features = nix-command flakes
 2021-10-29
MacOSでのNix2.4に対応した/nixの作り方
No more synthetic approach
 2021-03-14
Nix flakeの作り方
さあ来いnix-2.4
 2020-08-07
NixOS on Big Sur
毎年右往左往
 2020-04-11
Building Emacs27.nix on MacOS
as an overlay
 2020-04-05
Liveness of nix-store created by 'nix-build'
No 'nix-store --delete --ignore-liveness'
 2019-03-28
Compiling Rust programs that use openssl
新しいopensslに移行したディストリビューションでopensslを使う
 2019-03-14
GTK development on Nix on macOS
これでどこでもgtkでいいじゃん
 2019-03-10
Build GNU Source-highlight supporting Rust for NixOS
NixOS的にlessをRust対応にしよう
 2019-03-06
NixOS administration
NixOSのメモ
 2018-06-21
Glucose on NixOS
nix-shellを使ってglucoseをインストール
 2018-06-21
Lingeling on NixOS
NixOSにLingelingをインストール
 2020-06-07
How to compile cargo-instruments
on NixOS on MacOS
 2020-03-07
rustc-1.41.1 on nixOS
especially for macOS
 2019-10-08
Using Nix on Catalina
Catalina上でNixを使う
 2018-09-27
NixOS on MacOS Mojave
 2018-08-10
memo about rustup
 2019-02-27
Memo on Nixpkgs
nixで最強パッケージ管理
 2018-06-24
Deploy a Servant program to Heroku with Docker
HaskellプログラムをHerokuで動かそう(2018年私家版)

#novel

 2022-01-27
The Book of All Skies
by Greg Egan
 2022-01-11
未踏の蒼穹
by James P. Hogan
 2022-01-11
わたしを離さないで
by Kazuo Ishiguro
 2021-08-29
Klara and the Sun
by Kazuo Ishiguro
 2021-07-11
Peter Watts, Blindsight
英語ならタダ
 2020-06-19
井上ひさし、四千万歩の男
読書感想文

#now

 2019-12-17
End of Rust on Now
撤退だ!

#nuxtjs

 2019-07-31
About Observable
強力な可視化機能を手に入れた
 2020-08-14
JaNG version 1.0.2
import from GitHub Gist
 2019-06-26
Can't bind an expression to v-scroll-to
vue-scrolltoのモンダイ

#observable

 2019-07-31
About Observable
強力な可視化機能を手に入れた

#pharo

 2020-01-26
A visualization tool to analyze logic fomula
I need better intuition

#postgresql

 2018-02-04
Upgrade PostgreSQL DB
moodleで使用しているPostgreSQLのメジャーアップグレード

#privary

 2020-08-30
Zoomについて
強要するなよー

#r

 2018-06-21
Reading a CSV file into R
RでのCSVファイルの操作
 2018-06-20
Kernel Density Estimation in R
Rでカーネル密度推定の可視化

#rust

 2022-07-22
TIL from Rustlings
We hope you enjoyed learning about [...] Rust!
 2020-08-15
RustのClone on Writeについて
std::borrow::cow
 2020-07-25
まとめて借用
in Rust
 2020-06-07
How to compile cargo-instruments
on NixOS on MacOS
 2020-03-27
pre.commit hook for Rust project
check with 'cargo fmt'
 2020-03-19
Passing args to StructOpt
which start with '--'
 2020-03-16
Profile Guided Optimization on Rust
(rustc-1.42.0)
 2020-03-07
rustc-1.41.1 on nixOS
especially for macOS
 2020-03-01
A Weird Rust Compile Error
by structopt-derive or proc-macro2
 2019-08-08
A trait definition with lifetimes
生存期間もややこしい
 2019-05-31
Connect mongoDB Atlas from Rust
"mongodb+srv://"がない
 2019-03-28
Compiling Rust programs that use openssl
新しいopensslに移行したディストリビューションでopensslを使う
 2019-03-17
Memo about @now/rust by Zeit
@now/rustを使ったサーバーレスコンピューティング
 2019-03-10
Build GNU Source-highlight supporting Rust for NixOS
NixOS的にlessをRust対応にしよう
 2022-09-27
Overlaying Rustic Nixpkgs
how to fix openssl problem
 2022-09-24
Nix Flake of Alacrity 0.11.0
やっと日本語がまともに入力できる
 2020-02-04
Function name as a 1-argumented closure
more functional style
 2019-12-17
End of Rust on Now
撤退だ!
 2019-02-20
Make Vec from HashMap in Rust
関数型プログラミング的にHashMapからVecを作る
 2019-02-16
SAT solvers in crates.io
Rust製SATソルバー一覧
 2018-08-10
memo about rustup

#sat

 2023-09-03
UNSAT LOG, 2023, Sep
Vol.4, No.09.
 2023-08-06
UNSAT LOG, 2023, Aug
Vol.4, No.08.
 2023-07-01
UNSAT LOG, 2023, July
Vol.4, No.07.
 2023-06-02
UNSAT LOG, 2023, June
Vol.4, No.06.
 2023-05-05
UNSAT LOG, 2023, May
Vol.4, No.05.
 2023-04-05
UNSAT LOG, 2023, Apr.
Vol.4, No.04.
 2023-03-04
UNSAT LOG, 2023, Mar.
Vol.4, No.03.
 2023-01-31
UNSAT LOG, 2023, Feb.
Vol.4, No.02.
 2023-01-17
UNSAT LOG, 2023, Jan.
Vol.4, No.01.
 2022-12-04
UNSAT LOG, 2022, Dec.
Vol.3, No.12.
 2022-11-01
UNSAT LOG, 2022, Nov.
Vol.3, No.11.
 2022-10-04
UNSAT LOG, 2022, Oct.
Vol.3, No.10.
 2022-09-08
UNSAT LOG, 2022, Sep
Vol.3, No.9.
 2022-08-10
UNSAT LOG, 2022, Aug
Vol.3, No.8.
 2022-07-07
UNSAT LOG, 2022, July
Vol.3, No.7.
 2022-06-01
UNSAT LOG, 2022, June
Vol.3, No.6.
 2022-05-03
UNSAT LOG, 2022, May
Vol.3, No.5.
 2022-04-01
UNSAT LOG, 2022, Apr.
Vol.3, No.4.
 2022-03-02
UNSAT LOG, 2022, Mar.
Vol.3, No.3.
 2022-02-01
UNSAT LOG, 2022, Feb.
Vol.3, No.2.
 2022-01-02
UNSAT LOG, 2022, Jan.
Vol.3, No.1.
 2021-12-01
UNSAT LOG, 2021, Dec.
Vol.2, No.12.
 2021-11-01
UNSAT LOG, 2021, Nov.
Vol.2, No.11.
 2021-10-01
UNSAT LOG, 2021, Oct.
Vol.2, No.10.
 2021-09-23
Implement Trail Saving instead of ChronoBT
I gave it up.
 2021-09-03
UNSAT LOG, 2021, Sep.
Vol.2, No.9.
 2021-08-31
Kissat on macOS
Abort! No!
 2021-08-01
UNSAT LOG, 2021, Aug.
Vol.2, No.8.
 2021-07-04
UNSAT LOG, 2021, Jul.
Vol.2, No.7.
 2021-06-22
ChronoBT再実装
三ヶ月目に突入したバグ
 2021-06-05
UNSAT LOG, 2021, Jun.
Vol.2, No.6.
 2021-05-01
UNSAT LOG, 2021, May
Vol.2, No.5.
 2021-04-10
UNSAT LOG, 2021, Apr.
Vol.2, No.4.
 2021-04-10
New Implementation of clause vivifier on Splr-0.8
vivification part 4
 2021-03-28
UNSAT LOG, 2021, Mar.
Vol.2, No.3.
 2021-03-16
衝撃の320変数3-SAT
at Sat Competition 2020
 2021-03-09
UNSAT LOG, 2021, Feb.
Vol.2, No.2.
 2021-02-02
UNSAT LOG, 2021, Jan.
Vol.2, No.1.
 2021-01-02
UNSAT LOG, 2020, Dec.
Vol.1, No.12.
 2020-12-04
UNSAT LOG, 2020, Nov.
Vol.1, No.11.
 2020-11-07
LubyStabilization
0.5.1のリリースさらに遠のく
 2020-11-03
SATソルバのベンチマークについて
年末新年を気持ちよく迎えるために
 2020-10-31
UNSAT LOG, 2020, Oct.
Vol.1, No.10.
 2020-10-10
UNSAT LOG, 2020, Sep.
Vol.1, No.9.
 2020-08-19
Implementing clause vivification on Splr
vivification part 3
 2020-07-31
UNSAT LOG, 2020, Jul.
Vol.1, No.7.
 2020-07-28
What's new in CryptoMiniSat 5.8.0
another solver of 2020
 2020-07-21
What's KISSAT
the latest product by Armin Biere
 2020-07-18
Similarity of Clauses
夏休み実験室
 2020-07-05
Vivification of a CNF formula
as a SAT solver's preprocessor
 2020-07-05
UNSAT LOG, 2020, Jun.
Vol.1, No.6.
 2020-07-05
Clause Vivification updated 2020
vivification part 2
 2020-06-22
Duplicate Learnt Clauses
ECAI 2020
 2020-05-29
UNSAT LOG, 2020, May.
Vol.1, No.5.
 2020-05-26
What's Miracle Sudoku?
for a SAT solver developer
 2020-05-19
What's the difference between EVSIDS and LR?
a tentative thought
 2020-04-22
UNSAT LOG, 2020, Apr.
Vol.1, No.4.
 2020-04-08
Importance of modern techniques in SAT solvers
A case of CaDiCal
 2020-03-21
UNSAT LOG, 2020, Mar.
Vol.1, No.3.
 2020-02-11
UNSAT LOG, 2020, Feb.
Vol.1, No.2.
 2020-01-26
A visualization tool to analyze logic fomula
I need better intuition
 2020-01-21
New technologies for SAT solvers
from SR2019
 2020-01-15
UNSAT LOG, 2020, Jan.
Vol.1, No.1.
 2019-12-17
SAT Solver Development Log
Vol.0, No.0
 2019-09-20
Directions for the next Splr
半年でやることやった後のがんばりについて
 2019-09-14
Splr-0.1.4 released
as a maintenance release
 2019-07-31
A Consideration about Restart (2019-07-31)
(部分的)リスタートの意義
 2019-07-21
First UIP distribution (2019-07-21)
NP(n) + P(N-n)
 2019-07-15
EMA of LBD
LBDはリスタートに利用できるのか
 2019-07-11
Development of Var activities (2019-07-11)
変数活性度と変数割当て量の相関
 2019-03-04
Running Glucose in benchmark mode
Glucoseのベンチマークがしたい
 2018-06-21
Glucose on NixOS
nix-shellを使ってglucoseをインストール
 2018-06-21
Lingeling on NixOS
NixOSにLingelingをインストール
 2019-02-16
SAT solvers in crates.io
Rust製SATソルバー一覧

#scratch

 2021-06-22
Scratchでの変数のスコープ
as a concurrent programming language
 2021-06-15
Scratchでスプライト間コピペ
見えなくても機能は存在

#servant

 2018-06-24
Deploy a Servant program to Heroku with Docker
HaskellプログラムをHerokuで動かそう(2018年私家版)

#sf

 2022-01-27
The Book of All Skies
by Greg Egan
 2022-01-11
未踏の蒼穹
by James P. Hogan
 2021-07-11
Peter Watts, Blindsight
英語ならタダ

#shell

 2019-03-07
Post to Discord from shell
curlでwebhookを叩いてDiscordに投稿

#smalltalk

#splr

 2020-11-07
LubyStabilization
0.5.1のリリースさらに遠のく
 2020-11-03
SATソルバのベンチマークについて
年末新年を気持ちよく迎えるために
 2020-04-08
Importance of modern techniques in SAT solvers
A case of CaDiCal
 2023-09-03
UNSAT LOG, 2023, Sep
Vol.4, No.09.
 2023-08-06
UNSAT LOG, 2023, Aug
Vol.4, No.08.
 2023-07-01
UNSAT LOG, 2023, July
Vol.4, No.07.
 2023-06-02
UNSAT LOG, 2023, June
Vol.4, No.06.
 2023-05-05
UNSAT LOG, 2023, May
Vol.4, No.05.
 2023-04-05
UNSAT LOG, 2023, Apr.
Vol.4, No.04.
 2023-03-04
UNSAT LOG, 2023, Mar.
Vol.4, No.03.
 2023-01-31
UNSAT LOG, 2023, Feb.
Vol.4, No.02.
 2023-01-17
UNSAT LOG, 2023, Jan.
Vol.4, No.01.
 2022-12-04
UNSAT LOG, 2022, Dec.
Vol.3, No.12.
 2022-11-01
UNSAT LOG, 2022, Nov.
Vol.3, No.11.
 2022-10-04
UNSAT LOG, 2022, Oct.
Vol.3, No.10.
 2022-09-08
UNSAT LOG, 2022, Sep
Vol.3, No.9.
 2022-08-10
UNSAT LOG, 2022, Aug
Vol.3, No.8.
 2022-07-07
UNSAT LOG, 2022, July
Vol.3, No.7.
 2022-06-01
UNSAT LOG, 2022, June
Vol.3, No.6.
 2022-05-03
UNSAT LOG, 2022, May
Vol.3, No.5.
 2022-04-01
UNSAT LOG, 2022, Apr.
Vol.3, No.4.
 2022-03-02
UNSAT LOG, 2022, Mar.
Vol.3, No.3.
 2022-02-01
UNSAT LOG, 2022, Feb.
Vol.3, No.2.
 2022-01-02
UNSAT LOG, 2022, Jan.
Vol.3, No.1.
 2021-12-01
UNSAT LOG, 2021, Dec.
Vol.2, No.12.
 2021-11-01
UNSAT LOG, 2021, Nov.
Vol.2, No.11.
 2021-10-01
UNSAT LOG, 2021, Oct.
Vol.2, No.10.
 2021-09-23
Implement Trail Saving instead of ChronoBT
I gave it up.
 2021-09-03
UNSAT LOG, 2021, Sep.
Vol.2, No.9.
 2021-08-01
UNSAT LOG, 2021, Aug.
Vol.2, No.8.
 2021-07-04
UNSAT LOG, 2021, Jul.
Vol.2, No.7.
 2021-06-05
UNSAT LOG, 2021, Jun.
Vol.2, No.6.
 2021-05-01
UNSAT LOG, 2021, May
Vol.2, No.5.
 2021-04-10
UNSAT LOG, 2021, Apr.
Vol.2, No.4.
 2021-04-10
New Implementation of clause vivifier on Splr-0.8
vivification part 4
 2021-03-28
UNSAT LOG, 2021, Mar.
Vol.2, No.3.
 2021-03-09
UNSAT LOG, 2021, Feb.
Vol.2, No.2.
 2021-02-02
UNSAT LOG, 2021, Jan.
Vol.2, No.1.
 2021-01-02
UNSAT LOG, 2020, Dec.
Vol.1, No.12.
 2020-12-04
UNSAT LOG, 2020, Nov.
Vol.1, No.11.
 2020-10-31
UNSAT LOG, 2020, Oct.
Vol.1, No.10.
 2020-10-10
UNSAT LOG, 2020, Sep.
Vol.1, No.9.
 2020-08-19
Implementing clause vivification on Splr
vivification part 3
 2020-08-19
Rust製の「SATソルバーで25x25のナンプレが解けるだろうか」
Sudokuシリーズその2, 頑張れSplr
 2020-07-31
UNSAT LOG, 2020, Jul.
Vol.1, No.7.
 2020-07-18
Similarity of Clauses
夏休み実験室
 2020-07-05
Vivification of a CNF formula
as a SAT solver's preprocessor
 2020-07-05
UNSAT LOG, 2020, Jun.
Vol.1, No.6.
 2020-07-05
Clause Vivification updated 2020
vivification part 2
 2020-05-29
UNSAT LOG, 2020, May.
Vol.1, No.5.
 2020-05-26
What's Miracle Sudoku?
for a SAT solver developer
 2020-04-22
UNSAT LOG, 2020, Apr.
Vol.1, No.4.
 2020-03-21
UNSAT LOG, 2020, Mar.
Vol.1, No.3.
 2020-03-01
A Weird Rust Compile Error
by structopt-derive or proc-macro2
 2020-02-11
UNSAT LOG, 2020, Feb.
Vol.1, No.2.
 2020-01-15
UNSAT LOG, 2020, Jan.
Vol.1, No.1.
 2019-12-17
SAT Solver Development Log
Vol.0, No.0
 2019-09-20
Directions for the next Splr
半年でやることやった後のがんばりについて

#squeak

#sudoku

 2020-08-19
Rust製の「SATソルバーで25x25のナンプレが解けるだろうか」
Sudokuシリーズその2, 頑張れSplr
 2020-05-26
What's Miracle Sudoku?
for a SAT solver developer

#swift

 2021-07-10
Swiftでcrawling
どれでも同じようなもの
 2020-07-28
Swiftのfallthroughについて
なんてこったい

#tmux

 2022-04-11
MacOS -> Nixpkgs -> Alacritty -> Tmux -> truecolor
terminal-overridesが有効になるまで

#trail-saving

 2021-09-23
Implement Trail Saving instead of ChronoBT
I gave it up.

#unsatlog

 2023-09-03
UNSAT LOG, 2023, Sep
Vol.4, No.09.
 2023-08-06
UNSAT LOG, 2023, Aug
Vol.4, No.08.
 2023-07-01
UNSAT LOG, 2023, July
Vol.4, No.07.
 2023-06-02
UNSAT LOG, 2023, June
Vol.4, No.06.
 2023-05-05
UNSAT LOG, 2023, May
Vol.4, No.05.
 2023-04-05
UNSAT LOG, 2023, Apr.
Vol.4, No.04.
 2023-03-04
UNSAT LOG, 2023, Mar.
Vol.4, No.03.
 2023-01-31
UNSAT LOG, 2023, Feb.
Vol.4, No.02.
 2023-01-17
UNSAT LOG, 2023, Jan.
Vol.4, No.01.
 2022-12-04
UNSAT LOG, 2022, Dec.
Vol.3, No.12.
 2022-11-01
UNSAT LOG, 2022, Nov.
Vol.3, No.11.
 2022-10-04
UNSAT LOG, 2022, Oct.
Vol.3, No.10.
 2022-09-08
UNSAT LOG, 2022, Sep
Vol.3, No.9.
 2022-08-10
UNSAT LOG, 2022, Aug
Vol.3, No.8.
 2022-07-07
UNSAT LOG, 2022, July
Vol.3, No.7.
 2022-06-01
UNSAT LOG, 2022, June
Vol.3, No.6.
 2022-05-03
UNSAT LOG, 2022, May
Vol.3, No.5.
 2022-04-01
UNSAT LOG, 2022, Apr.
Vol.3, No.4.
 2022-03-02
UNSAT LOG, 2022, Mar.
Vol.3, No.3.
 2022-02-01
UNSAT LOG, 2022, Feb.
Vol.3, No.2.
 2022-01-02
UNSAT LOG, 2022, Jan.
Vol.3, No.1.
 2021-12-01
UNSAT LOG, 2021, Dec.
Vol.2, No.12.
 2021-11-01
UNSAT LOG, 2021, Nov.
Vol.2, No.11.
 2021-10-01
UNSAT LOG, 2021, Oct.
Vol.2, No.10.
 2021-09-03
UNSAT LOG, 2021, Sep.
Vol.2, No.9.
 2021-08-01
UNSAT LOG, 2021, Aug.
Vol.2, No.8.
 2021-07-04
UNSAT LOG, 2021, Jul.
Vol.2, No.7.
 2021-06-05
UNSAT LOG, 2021, Jun.
Vol.2, No.6.
 2021-05-01
UNSAT LOG, 2021, May
Vol.2, No.5.
 2021-04-10
UNSAT LOG, 2021, Apr.
Vol.2, No.4.
 2021-03-28
UNSAT LOG, 2021, Mar.
Vol.2, No.3.
 2021-03-09
UNSAT LOG, 2021, Feb.
Vol.2, No.2.
 2021-02-02
UNSAT LOG, 2021, Jan.
Vol.2, No.1.
 2021-01-02
UNSAT LOG, 2020, Dec.
Vol.1, No.12.
 2020-12-04
UNSAT LOG, 2020, Nov.
Vol.1, No.11.
 2020-10-31
UNSAT LOG, 2020, Oct.
Vol.1, No.10.
 2020-10-10
UNSAT LOG, 2020, Sep.
Vol.1, No.9.
 2020-07-31
UNSAT LOG, 2020, Jul.
Vol.1, No.7.
 2020-07-05
UNSAT LOG, 2020, Jun.
Vol.1, No.6.
 2020-05-29
UNSAT LOG, 2020, May.
Vol.1, No.5.
 2020-04-22
UNSAT LOG, 2020, Apr.
Vol.1, No.4.
 2020-03-21
UNSAT LOG, 2020, Mar.
Vol.1, No.3.
 2020-02-11
UNSAT LOG, 2020, Feb.
Vol.1, No.2.
 2020-01-15
UNSAT LOG, 2020, Jan.
Vol.1, No.1.
 2019-12-17
SAT Solver Development Log
Vol.0, No.0

#vim

#vivification

 2021-04-10
New Implementation of clause vivifier on Splr-0.8
vivification part 4
 2020-08-19
Implementing clause vivification on Splr
vivification part 3
 2020-07-05
Vivification of a CNF formula
as a SAT solver's preprocessor
 2020-07-05
Clause Vivification updated 2020
vivification part 2

#vuejs

 2020-08-14
JaNG version 1.0.2
import from GitHub Gist
 2019-06-26
Can't bind an expression to v-scroll-to
vue-scrolltoのモンダイ

#zola

 2021-09-20
Switch to Zola
さよならnode.js

#zoom

 2020-08-30
Zoomについて
強要するなよー