▽Planet Scheme
●01/20 17:54
Sunday, January 19, 2025okvs - 4 - revised okvs interface(import (okvs2))Rework of SRFI-167.Change log2023-10-06: initial publication at hyper.dev;small editing improvements;in okvs-query replace generator with a list;IssuesMissing implementation that can be durable andbigger-than-memory;Describe intended behavior with a formal language;AbstractOrdered Key-Value Store (OKVS) is a data

▽はてなｱﾝﾃﾅ - Emacs関連ｱﾝﾃﾅ
●01/20 14:48
2025/01/20 14:33:19 Python-Mode For EmacsWorkload Automation for Global EnterprisesOrchestrate Your Entire Tech Stack with Redwood RunMyJobs2025/01/20 13:33:00 Yet Another LaTeX mode for Emacs.1546802025/01/20 12:42:22 ECB - Emacs Code BrowserBuild experiences that drive engagement and increase transactionsConnect your users - doctors, game

▽Haskell - HaskellWiki
●01/20 05:11
Co-located with ZuriHacBOB Conference 2025“What happens if we simply use what’s best?”2025-03-14, Berlin፨Recent Events

▽檜山正幸のｷﾏｲﾗ飼育記
●01/18 18:26
2025-01-17ﾊﾞｴｽﾞ／ﾄﾞｰﾗﾝ茂みとﾘﾝﾄﾝ／ﾛｰｳﾞｪｱ･ﾓﾅﾄﾞ雑記／備忘たわ言かも知れない｡直前の記事｢ﾘﾝﾄﾝ／ﾛｰｳﾞｪｱ･ﾓﾅﾄﾞ構成の明示公式｣を書いた後で気付いたことがあります｡過去記事｢複ｸﾞﾗﾌが定義するﾓﾉｲﾄﾞ多項式関手｣に出てくるﾓﾉｲﾄﾞ多項式関手って､ﾘﾝﾄﾝ／ﾛｰｳﾞｪｱ･ﾓﾅﾄﾞ構成の明示公式と…2025-01-17ﾘﾝﾄﾝ／ﾛｰｳﾞｪｱ･ﾓﾅﾄﾞ構成の明示公式雑記／備忘｢ﾘﾝﾄﾝの定理｣より： ｽｹﾏﾃｨｯｸなﾘﾝﾄﾝの代数-ﾓﾃﾞﾙ対応定理を完全に記述したいと､以前から思ってはいるのですが､そのめんどくささに気力が萎えてしまうのですよ｡しかしまｰ､ちょびちょびと準備を重ねて､いつか完全な記述を完成させたい…ﾊﾞｴｽﾞ／ﾄﾞｰﾗﾝ茂みとﾘﾝﾄﾝ／ﾛｰｳﾞｪｱ･ﾓﾅﾄﾞﾘﾝﾄﾝ／ﾛｰｳﾞｪｱ･ﾓﾅﾄﾞ構成の明示公式

▽たけをの日記＠仮運用中｡ - ﾎﾟｲﾝﾄﾌﾘｰｽﾀｲﾙ
●01/14 11:03
RSGT2025のOST ｢3回目の参加だけど今回はRSGTが楽しくなかった｣ｾｯｼｮﾝに思ったこと▼ ▶20252025 / 1