planet eniehack
Planet DebianやPlanet masakaのように、僕個人の最新情報を1つのページにまとめたものです。
データソースは以下の通りです:
-
BT [email protected]: マシュマロのようにログインなしでメッセージを受け取れて、しかも自分のPGP鍵で暗号化出来るサービス (APGL-3.0) を試しに使ってみました。Telegram と違い送信者はアカウント不要。受信者も公開鍵を登録するだけでメールアドレス不要て使える。ソフトウェア脆弱性報告などの用途が想定されているっぽい。.onion 対応。 --- Submit a message to Coro - 🤫 Hush Line https://tips.hushline.app/to/Coro
()
-
BT [email protected]: [新規記事] : ペットボトルを枕として使うべきではない 健常者エミュレータ事例集 https://healthy-person-emulator.org/archives/48062
() -
-
BT [email protected]: You're my 粗相 いつもすぐそばにある
() -
-
-
BT [email protected]: 本質的にアルゴリズムを含む法律(たとえば税法とか)を自然言語とコードを対応付けながら記述することで法律家とプログラマーが協働して検証しやすい形でアルゴリズムを実装できるCatalaというプログラミング言語がある。 “Catala is a programming language adapted for socio-fiscal legislative literate programming. By annotating each line of the legislative text with its meaning in terms of code, one can derive an implementation of complex socio-fiscal mechanisms that enjoys a high level of assurance regarding the code-law faithfulness.” https://github.com/CatalaLang/catala
()