00:04:31 @omasanori@mstdn.maud.io
icon

消されて困るパッケージなら自分でメンテナーに立候補しコミュニティに参加しろというmgornyは正しく、コミットメントするリソースが捻出できない私は正しさに耐えきれずにしばらく距離を少し置くことになった。

00:07:22 @omasanori@mstdn.maud.io
icon

ん、OpenSSHのロギングコードがなんか大規模に書き換えられているな

00:09:48 @omasanori@mstdn.maud.io
2020-10-19 00:06:31 Solene % botの投稿 solenepercent@bsd.network
icon

このアカウントは、notestockで公開設定になっていません。

00:14:02 @omasanori@mstdn.maud.io
2020-10-19 00:09:29 😨の投稿 aiwas@yysk.icu
icon

暴力団の主たる資金源「特殊詐欺」にオドロキ判決 背景に「警察」「民暴弁護士」の活躍 dailyshincho.jp/article/2020/1

Web site image
暴力団の主たる資金源「特殊詐欺」にオドロキ判決 背景に「警察」「民暴弁護士」の活躍 | デイリー新潮
00:16:56 @omasanori@mstdn.maud.io
2020-10-19 00:16:40 kb10uyの投稿 kb10uy@mstdn.maud.io
Attach image
00:17:42 @omasanori@mstdn.maud.io
2020-10-18 22:23:19 ナスマスターの投稿 natuki_n@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

00:17:47 @omasanori@mstdn.maud.io
2020-10-19 00:16:05 ナスマスターの投稿 natuki_n@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

00:19:51 @omasanori@mstdn.maud.io
icon

もっかいビルドしたらテストが通ったな、並列ビルド由来の非決定性か?

00:23:40 @omasanori@mstdn.maud.io
icon

今日の英語:smorgasbord(バイキング料理、まとまりのない寄せ集め。スウェーデン語からの借用。)

00:25:21 @omasanori@mstdn.maud.io
icon

疲れが溜まるとfeatureとfutureやarchiveとachieveを読み違えがち。

00:26:01 @omasanori@mstdn.maud.io
icon

私はポンコツなので元気でも読み違えます💢

00:26:04 @omasanori@mstdn.maud.io
2020-10-19 00:25:44 まちカドおるみん御嬢様の投稿 orumin@mstdn.maud.io
icon

“Released Oct 18, 2020. (OpenBSD's 25th anniversary)”
OpenBSD 6.8 openbsd.org/68.html

00:28:12 @omasanori@mstdn.maud.io
icon

OpenBSD 25周年か、すごいな

00:28:43 @omasanori@mstdn.maud.io
2020-10-19 00:28:14 はにゃの投稿 hanya@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

00:34:33 @omasanori@mstdn.maud.io
2020-10-18 21:12:49 :sayano: けもの🐼の投稿 kemozari@mstdn.tamag.org
icon

このアカウントは、notestockで公開設定になっていません。

00:34:44 @omasanori@mstdn.maud.io
2020-10-18 21:27:48 :sayano: けもの🐼の投稿 kemozari@mstdn.tamag.org
icon

このアカウントは、notestockで公開設定になっていません。

00:36:49 @omasanori@mstdn.maud.io
2020-10-19 00:36:40 らとずみの投稿 ratozumi@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

00:47:15 @omasanori@mstdn.maud.io
2020-10-18 01:04:46 するすすの投稿 su_rususu@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

00:47:48 @omasanori@mstdn.maud.io
icon

:don:の人々の何割かは音ゲーをして音になってそう

00:50:43 @omasanori@mstdn.maud.io
icon

Linux 5.9.1 + 6 Other Stable Kernels Out For Addressing "Bleeding Tooth" Vulnerability - Phoronix
phoronix.com/scan.php?page=new

備えよう。

Web site image
Linux 5.9.1 + 6 Other Stable Kernels Out For Addressing "Bleeding Tooth" Vulnerability
00:51:59 @omasanori@mstdn.maud.io
icon

BleedingTooth: Linux Bluetooth Zero-Click Remote Code Execution - YouTube
youtube.com/watch?v=qPYrLRausS

Attach YouTube
00:54:08 @omasanori@mstdn.maud.io
icon

Further analysis of PyPI typosquatting [LWN.net]
lwn.net/Articles/834078/

👀

Further analysis of PyPI typosquatting
09:19:34 @omasanori@mstdn.maud.io
icon

The State of Messaging Security 2020: メールおよびメッセージングアプリのセキュリティプロトコルの現在
github.com/rung/messaging-secu

Web site image
GitHub - rung/messaging-security-2020: The State of Messaging Security 2020: メールおよびメッセージングアプリのセキュリティプロトコルの現在
09:33:43 @omasanori@mstdn.maud.io
icon

@allison Absolutely. You can wait for production-ready Wayland on *BSD and a systemd-compat-layer, of course, but surely we can live without them at least for now.

09:34:46 @omasanori@mstdn.maud.io
2020-10-19 09:34:15 Cryptolibertarian Catgirlの投稿 allison@blob.cat
icon

このアカウントは、notestockで公開設定になっていません。

09:39:45 @omasanori@mstdn.maud.io
icon

@allison (Actually I had used OpenBSD on my main laptop for hobbies, until I was required to use Docker to set up a dev env for *modern* projects... Alas.)

09:45:06 @omasanori@mstdn.maud.io
icon

"We have released LibreSSL 3.2.2, which will be arriving in the LibreSSL directory of your local OpenBSD mirror soon."

"This is the first stable release with the new TLSv1.3 implementation enabled by default for both client and server."

🎉 :hanamaru: 🔐 😎

ftp.openbsd.org/pub/OpenBSD/Li

09:49:56 @omasanori@mstdn.maud.io
icon

@icedquinn @allison I am fine with providing Docker setup option, it helps many people and saves tons of manual procedures.

However, many projects are going to avoid documenting dependencies precisely, put a Dockerfile, and hope an update to base images will not break anything. This is a problem.

10:20:53 @omasanori@mstdn.maud.io
icon

@djsumdog @allison @icedquinn Indeed. Regarding Snap, I can understand the desire to make containers per apps, but what we really need is defining and maintaining interfaces (XDG standards, ABI compliance checker, HID guidelines, etc.) and using sandbox for security, not putting dependency graphs under the rug...

10:22:24 @omasanori@mstdn.maud.io
2020-10-19 10:21:09 のなかの投稿 nonaka@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

10:49:46 @omasanori@mstdn.maud.io
icon

小さなWebサイトをホストするために借りているインスタンスでビルドするのはやめようね

Attach image
10:51:11 @omasanori@mstdn.maud.io
icon

この状況でもSSHやHTTPSで応答できるのえらい

10:54:21 @omasanori@mstdn.maud.io
2020-10-19 10:53:52 シオコウジ@銀河の投稿 no@gingadon.com
icon

このアカウントは、notestockで公開設定になっていません。

10:54:59 @omasanori@mstdn.maud.io
icon
Web site image
gfan: fix build failures with cddlib v0.94l by omasanori · Pull Request #101046 · NixOS/nixpkgs
14:12:58 @omasanori@mstdn.maud.io
icon

jtojnar/cmake-snips: Portability problems I frequently encounter in projects using CMake
github.com/jtojnar/cmake-snips

Web site image
GitHub - jtojnar/cmake-snips: Portability problems I frequently encounter in projects using CMake
14:32:48 @omasanori@mstdn.maud.io
icon

クーン

Attach image
14:46:58 @omasanori@mstdn.maud.io
icon

RFC 8937: Randomness Improvements for Security Protocols
rfc-editor.org/rfc/rfc8937.htm

👀

RFC 8937: Randomness Improvements for Security Protocols
14:50:45 @omasanori@mstdn.maud.io
icon

もっかいテストスイート走らせてみるか

14:51:40 @omasanori@mstdn.maud.io
icon

6時間半かかるテストスイートを1日に2回走らせるのはなかなか……

15:08:09 @omasanori@mstdn.maud.io
2020-10-19 15:07:22 Niceratus Kiotoensisの投稿 ncrt035@gnosia.info
icon

アホっぽい顔ができて満足

Attach image
15:08:41 @omasanori@mstdn.maud.io
2020-10-19 10:05:20 Niceratus Kiotoensisの投稿 ncrt035@gnosia.info
icon

年末に新装版が出るらしい.
「1952年初版、1981年四訂の名著を新装復刊。500の暗唱用基本文例と、主語・動詞・修飾語句に分けた実例、応用問題で構成」
新装版 和文英訳の修業 - 株式会社 金子書房 kanekoshobo.co.jp/book/b506556

お探しのページが見つかりません - 株式会社 金子書房
15:08:55 @omasanori@mstdn.maud.io
2020-10-18 23:06:28 きろたの投稿 shirotuki_ki@misskey.io
icon

このアカウントは、notestockで公開設定になっていません。

15:11:05 @omasanori@mstdn.maud.io
2020-10-17 19:35:52 協強性の投稿 okumurakengo@qiitadon.com
icon

このアカウントは、notestockで公開設定になっていません。

15:11:07 @omasanori@mstdn.maud.io
2020-10-17 19:55:46 Niceratus Kiotoensisの投稿 ncrt035@gnosia.info
icon

「魚中心の生活」って食生活のことか,ichthyocentrism かと思った(ichthyocentrism とは?)

15:20:54 @omasanori@mstdn.maud.io
icon

ichthyocentrism、実在する単語なのか。

"(...) Such a strategy has been coined as 'ichthyocentrism,' indicating that scientific advice puts too much emphasis on the resource (...) compared with efforts to examine the behaviour of the resource users, their economic settings and aims (Lane and Stephenson 2000, Davis and Gartside 2001)."

userpage.fu-berlin.de/ffu/akum

15:26:47 @omasanori@mstdn.maud.io
icon

水産資源の推定は精度が十分でないことがしばしばあり、その数字を元に水産資源の保護を優先するあまり水産資源に関わる人々をないがしろにすることを魚類中心主義(ichthyocentrism)と呼ぶ、といったところか

15:26:50 @omasanori@mstdn.maud.io
2020-10-19 15:24:30 Niceratus Kiotoensisの投稿 ncrt035@gnosia.info
icon

ichthyocentrism , anthropocentrism に倣って適当に導いたから Google 検索すらサボったが実在してしまったか…
mstdn.maud.io/@omasanori/10506

Web site image
Masanori Ogino 𓀁 (@omasanori@mstdn.maud.io)
15:28:33 @omasanori@mstdn.maud.io
icon

ichthyocentrism、魚類を中心に脊椎動物を評価するとかそんな感じのやつかと思った。

15:28:40 @omasanori@mstdn.maud.io
2020-10-19 15:28:20 野分涼の投稿 nowakiryo@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

15:33:44 @omasanori@mstdn.maud.io
2020-10-16 16:39:30 かにの投稿 satukicafe@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

15:37:34 @omasanori@mstdn.maud.io
icon

プログラミング言語ごとにプロジェクトの依存関係を管理するツールを学ぶのはダルいのでNixでいい感じになりたい

15:38:09 @omasanori@mstdn.maud.io
2020-10-19 03:52:29 David Revoyの投稿 davidrevoy@framapiaf.org
icon

このアカウントは、notestockで公開設定になっていません。

15:39:52 @omasanori@mstdn.maud.io
icon

世の中には「プログラミング言語ごとにプロジェクトの依存関係を管理するツールを学ぶのはダルいのでnpmでいい感じになりたい」勢もいて、npmでzshのプラグインをインストールしたりOCamlをインストールしたりするらしいが、さすがにその流れには乗りたくない

15:44:40 @omasanori@mstdn.maud.io
icon

自殺対策白書(概要)|厚生労働省
mhlw.go.jp/wp/hakusyo/jisatsu/

自殺対策白書(概要)|厚生労働省
15:45:06 @omasanori@mstdn.maud.io
2020-10-19 15:30:00 かぐらの投稿 taka_hvc1@social.mikutter.hachune.net
icon

このアカウントは、notestockで公開設定になっていません。

15:53:56 @omasanori@mstdn.maud.io
icon

zxcvbnおもしろいな

16:00:31 @omasanori@mstdn.maud.io
2020-10-19 16:00:04 yev-sanの投稿 yev_san@baraag.net
icon

このアカウントは、notestockで公開設定になっていません。

16:03:40 @omasanori@mstdn.maud.io
icon

BSD Hardware Database
bsd-hardware.info/

Web site image
BSD Hardware Database
16:06:01 @omasanori@mstdn.maud.io
icon

モニタなし(HMDを支給してVRデスクトップ環境で作業)

16:07:38 @omasanori@mstdn.maud.io
2020-10-19 16:07:29 Ushitora Anqouの投稿 anqou@mstdn.anqou.net
icon

このアカウントは、notestockで公開設定になっていません。

16:11:59 @omasanori@mstdn.maud.io
2020-10-19 12:33:36 アカハナの投稿 akahana@fla.red
icon

このアカウントは、notestockで公開設定になっていません。

16:33:23 @omasanori@mstdn.maud.io
icon

NixCon 2020 Live Stream - Day 1 - YouTube
youtube.com/watch?v=7sQa04olUA

Attach YouTube
16:38:35 @omasanori@mstdn.maud.io
17:43:53 @omasanori@mstdn.maud.io
icon

fpx: easy USB‑C power for all your devices
fpx.oxplot.com/

Web site image
fpx: easy USB‑C power for all your devices
17:46:13 @omasanori@mstdn.maud.io
icon

fpx: easy USB‑C power for all your devices — oxblog
blog.oxplot.com/fpx/

fpx: easy USB‑C power for all your devices — oxblog
17:46:33 @omasanori@mstdn.maud.io
2020-10-19 17:45:41 弱の投稿 yamada1230@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

17:46:44 @omasanori@mstdn.maud.io
2020-10-04 11:01:22 弱の投稿 yamada1230@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

17:47:03 @omasanori@mstdn.maud.io
2020-04-19 18:44:50 弱の投稿 yamada1230@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

17:52:34 @omasanori@mstdn.maud.io
icon

RIME-chang、北部九州弁なんだよな

17:53:00 @omasanori@mstdn.maud.io
2020-10-19 17:49:19 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

天才~(?)

Attach image
17:54:46 @omasanori@mstdn.maud.io
2020-10-19 17:54:28 遊佐こずえの投稿 kozue@yysk.icu
icon

このアカウントは、notestockで公開設定になっていません。

17:57:08 @omasanori@mstdn.maud.io
2020-10-19 17:57:00 もちもちずきん🍆 :golang:の投稿 Yohei_Zuho@mstdn.y-zu.org
icon

このアカウントは、notestockで公開設定になっていません。

19:38:39 @omasanori@mstdn.maud.io
icon

rust in curl with hyper | daniel.haxx.se
daniel.haxx.se/blog/2020/10/09

"tldr: work has started to make Hyper work as a backend in curl for HTTP."

19:45:36 @omasanori@mstdn.maud.io
icon

Memory Safe ‘curl’ for a More Secure Internet - Internet Security Research Group
abetterinternet.org/post/memor

Web site image
Memory Safe ‘curl’ for a More Secure Internet
19:45:57 @omasanori@mstdn.maud.io
2020-10-19 19:44:16 TGMのサントラ販売中の投稿 Common_Lisper@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

19:53:00 @omasanori@mstdn.maud.io
icon

2020年10月20日はFirefox 82のリリース予定日だ。備えよう。

developer.mozilla.org/en-US/do

19:53:10 @omasanori@mstdn.maud.io
2020-10-19 19:52:52 Niceratus Kiotoensisの投稿 ncrt035@gnosia.info
icon

分野 A があってそれに下位分野 a, b, c ... があるとして,下位分野 aの専門家が書いた分野 A 全体の入門書において,a よりも b や c の記述がわかりやすく,むしろ専門のはずの a については繁簡の塩梅を間違えたようなわかりにくい内容になってしまうことが結構ある気がする.

19:54:07 @omasanori@mstdn.maud.io
icon

A.bやA.cについては著者と読者の距離が近くて、A.aについては遠いからなのかな。

19:54:50 @omasanori@mstdn.maud.io
2020-10-19 19:54:31 上原よもぎ🎨の投稿 yomogi_uehara@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

19:55:51 @omasanori@mstdn.maud.io
2020-10-19 19:51:25 ちんぽ🐰🔞コミティアあ04bの投稿 momoko@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

19:59:54 @omasanori@mstdn.maud.io
icon

アンドロイドによる人類への反攻が始まった世界、市民は監視下で「ロボットではありません」をクリックさせられ、チェックマークがついたら処刑されるという儀式によって人類は自身の尊厳を蹂躙されていた……。

20:01:08 @omasanori@mstdn.maud.io
2020-10-19 20:00:48 ナスマスターの投稿 natuki_n@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

20:03:01 @omasanori@mstdn.maud.io
2020-10-19 19:57:19 Niceratus Kiotoensisの投稿 ncrt035@gnosia.info
icon

「わかりにくい内容に」云々と書いてしまったが,逆に,「入門書を書く」という意識に引かれ過ぎたのか b, c に対して a が詳細になりすぎないよう気を配ったであろうその結果として,a の記述が拍子抜けということもあるので難しい.

20:05:45 @omasanori@mstdn.maud.io
icon

ASCII.jp:Rocket LakeはRyzen 5 5800Xと互角に戦える性能 インテル CPUロードマップ (1/3)
ascii.jp/elem/000/004/030/4030

Web site image
Rocket LakeはRyzen 5 5800Xと互角に戦える性能 インテル CPUロードマップ (1/3)
20:08:29 @omasanori@mstdn.maud.io
icon

ASCII.jp:Tiger Lakeの内蔵GPU「Xe LP」は前世代のほぼ2倍の性能/消費電力比を実現 インテル GPUロードマップ (1/4)
ascii.jp/elem/000/004/025/4025

Web site image
Tiger Lakeの内蔵GPU「Xe LP」は前世代のほぼ2倍の性能/消費電力比を実現 インテル GPUロードマップ (1/4)
20:19:06 @omasanori@mstdn.maud.io
2020-10-19 20:17:31 Eiji Kitamuraの投稿 agektmr@toot.cafe
icon

このアカウントは、notestockで公開設定になっていません。

20:22:07 @omasanori@mstdn.maud.io
icon

Chromium Blog: Chrome 87 Beta: WebAuthn in DevTools, Pan/Tilt/Zoom, Flow Relative Shorthands and More
blog.chromium.org/2020/10/chro

Web site image
Chrome 87 Beta: WebAuthn in DevTools, Pan/Tilt/Zoom, Flow Relative Shorthands and More
20:31:41 @omasanori@mstdn.maud.io
icon

Mastering systemd: Securing and sandboxing applications and services | Enable Sysadmin
redhat.com/sysadmin/mastering-

Web site image
Mastering systemd: Securing and sandboxing applications and services
20:36:38 @omasanori@mstdn.maud.io
icon

:thinking_rotate:

Attach image
20:37:10 @omasanori@mstdn.maud.io
2020-10-19 20:36:59 かるばぶの投稿 babukaru@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

20:42:30 @omasanori@mstdn.maud.io
icon

本当におたかんかな?

21:03:21 @omasanori@mstdn.maud.io
icon

Permissions PolicyとDocument Policyについて - ASnoKaze blog
asnokaze.hatenablog.com/entry/

Web site image
Permissions PolicyとDocument Policyについて
21:10:39 @omasanori@mstdn.maud.io
icon

HTTP/2の仕様、改定作業が始まる - ASnoKaze blog
asnokaze.hatenablog.com/entry/

Web site image
HTTP/2の仕様、改定作業が始まる
21:20:40 @omasanori@mstdn.maud.io
2020-10-19 21:10:58 ぽんこっちゃん🔞の投稿 poncocchan@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

21:22:26 @omasanori@mstdn.maud.io
2020-10-19 21:10:51 えあい🦐:straight_shrimp:🦐の投稿 Eai@stellaria.network
icon

(´(゜)(ェ)(゜)`)

21:22:28 @omasanori@mstdn.maud.io
2020-10-19 21:11:33 えあい🦐:straight_shrimp:🦐の投稿 Eai@stellaria.network
icon

でもクマですよ

21:22:33 @omasanori@mstdn.maud.io
2020-10-19 21:12:08 かるばぶの投稿 babukaru@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

21:22:35 @omasanori@mstdn.maud.io
2020-10-19 21:12:22 えあい🦐:straight_shrimp:🦐の投稿 Eai@stellaria.network
icon

クマだっつってんだろうが

21:23:06 @omasanori@mstdn.maud.io
icon

これらすき

21:23:22 @omasanori@mstdn.maud.io
2020-10-19 21:19:06 エルルの投稿 erl_konig@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

21:41:36 @omasanori@mstdn.maud.io
2020-10-19 21:41:30 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

21:42:00 @omasanori@mstdn.maud.io
2020-10-19 21:41:53 VALTAXの投稿 baltan78@mstdn.maud.io
icon

このアカウントは、notestockで公開設定になっていません。

21:45:10 @omasanori@mstdn.maud.io
2020-10-19 21:43:50 佐々木将人の投稿 SASAKIMasatoHKD@lufimianet.jp
icon

このアカウントは、notestockで公開設定になっていません。

21:49:47 @omasanori@mstdn.maud.io
icon

発売前の告知でパロディされたえっちげに対して「一本ちょうだい!」って言ってみたけど届かなかったから普通に買って遊んだ話ほんとすき

youtube.com/watch?v=3WSu232U9U

Attach YouTube
21:50:54 @omasanori@mstdn.maud.io
2020-10-19 21:50:47 百万回生きた化石の投稿 Nautilus99@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

22:13:06 @omasanori@mstdn.maud.io
2020-10-19 21:50:29 天ノ雀(そらのすずめ)🔞の投稿 heavens_sparrow@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

22:13:11 @omasanori@mstdn.maud.io
2020-10-19 21:56:18 天ノ雀(そらのすずめ)🔞の投稿 heavens_sparrow@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

22:19:52 @omasanori@mstdn.maud.io
2020-10-19 22:19:07 ぼろんじ(100tpt)の投稿 boronology@social.penguinability.net
icon

このアカウントは、notestockで公開設定になっていません。

22:20:43 @omasanori@mstdn.maud.io
icon

プラグインがないテキストエディタならプラグインで悩むこともないのでnviを使おう!

22:24:18 @omasanori@mstdn.maud.io
icon

同じGNU傘下で開発されているテキストエディタのWebサイトなのに、いまどきっぽいGNU Emacsとオタク好みな雰囲気がプンプンするGNU nanoのギャップがすごい。

GNU Emacs - GNU Project
gnu.org/software/emacs/

GNU nano
nano-editor.org/

nano – Text editor
22:40:46 @omasanori@mstdn.maud.io
icon

GNU Emacs 23にアンチエイリアスをもたらしたXftも今やdeprecatedでCairo + Pango + HarfBuzzを推奨か。バッファのデフォルトエンコーディングも28でISO-8859-1からUTF-8に変わるみたいだし、時代だなぁ。

github.com/emacs-mirror/emacs/

Web site image
emacs/NEWS at d3c99b6b6b3dcf91dca28ce1e1b456221131ae0b · emacs-mirror/emacs
22:53:43 @omasanori@mstdn.maud.io
2020-10-19 22:53:09 写鰤亭珍宝 🔞の投稿 shabuchin@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

22:54:14 @omasanori@mstdn.maud.io
icon

"A new function 'w32-set-ime-open-status' can now be used to disable and enable the MS-Windows native Input Method Editor (IME) at run time. A companion function 'w32-get-ime-open-status' returns the current IME activation status." !!

github.com/emacs-mirror/emacs/

Web site image
emacs/NEWS at d3c99b6b6b3dcf91dca28ce1e1b456221131ae0b · emacs-mirror/emacs
22:55:04 @omasanori@mstdn.maud.io
icon

とうとうIMの制御がGNU Emacsにマージされたのか。

22:55:14 @omasanori@mstdn.maud.io
2020-10-19 22:54:35 塩粥の投稿 hhhokano@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

22:59:24 @omasanori@mstdn.maud.io
icon

Purism – Fund Your App
puri.sm/fund-your-app/

Purism – Fund Your App
23:11:42 @omasanori@mstdn.maud.io
2020-10-19 23:11:26 柊木蓮@単行本発売中の投稿 hiiragimokuren@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

23:17:17 @omasanori@mstdn.maud.io
icon

おもしろいな

Attach image
23:17:40 @omasanori@mstdn.maud.io
2020-10-19 23:17:23 Kz-RED🔞の投稿 kz_na8c@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

23:36:17 @omasanori@mstdn.maud.io
icon

Cythonがどうやって動いているのか実はあんまり理解していないんだよな

23:37:22 @omasanori@mstdn.maud.io
2020-10-19 23:14:44 Achi@ハトの塒の投稿 achi@achi.masto.host
icon

このアカウントは、notestockで公開設定になっていません。

23:53:11 @omasanori@mstdn.maud.io
2020-10-19 23:53:02 ぼおるの投稿 vol319@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

23:53:54 @omasanori@mstdn.maud.io
icon

Catala
catala-lang.org/

"Catala is a domain-specific programming language designed for deriving correct-by-construction implementations from legislative texts."

法律の条文に対応する機械可読なコードを記述するプロジェクトは他にもあった気がするけれど、INRIAがやっているというのは期待値が高い。

23:55:50 @omasanori@mstdn.maud.io
icon

"The Catala language is special because its logical structure mimics the logical structure of the law. Indeed, the core concept of "definition-under-conditions" that builds on default logic has been formalized by Professor of Law Sarah Lawsky in her article A Logic for Statutes." ふむ?

github.com/CatalaLang/catala

Web site image
GitHub - CatalaLang/catala: Programming language for literate programming law specification
23:56:37 @omasanori@mstdn.maud.io
icon

Sarah Lawskyってどこかで名前を見たことがあるな

23:56:44 @omasanori@mstdn.maud.io
2020-10-19 23:56:19 Re🎨🍜🍔🍟🦀🍲🍕🍣🍢の投稿 Re_Gatchaman@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。

23:57:28 @omasanori@mstdn.maud.io
icon

Lawsky, Sarah B., A Logic for Statutes (December 14, 2017). Florida Tax Review, Forthcoming, Northwestern Public Law Research Paper No. 17-28, Available at SSRN: ssrn.com/abstract=3088206 or dx.doi.org/10.2139/ssrn.308820

23:58:05 @omasanori@mstdn.maud.io
2020-10-19 23:57:24 新國みなみの投稿 nikkuni373@pawoo.net
icon

このアカウントは、notestockで公開設定になっていません。