This account is not set to public on notestock.
This account is not set to public on notestock.
This week in KDE apps: we added the final touches to our applications for the KDE Gear ⚙️ 24.12.0, released KPhotoAlbum and KGeoTag, now based on Qt6; improved Itinerary's ticket extractor; and continued our work on Karp, KDE's new PDF editor.
https://blogs.kde.org/2024/12/08/this-week-in-kde-apps-gear-24.12.0-incoming/
Remember: you too can contribute to keeping KDE's projects going by adopting an app at our fundraiser:
電源タップにオンオフスイッチが付いている方がいいか付いていない方がいいか問題なぁ
This account is not set to public on notestock.
This account is not set to public on notestock.
私が日本物理学会に入っている意味は本当にあるのか問題と、私が情報系の学会に一切入ってないのはどうなんだ（入るべきじゃないのか vs. 入っていないことで具体的かつ深刻な不利益を感じるまでは別に入らなくていいんじゃないか）問題がある
This account is not set to public on notestock.
This account is not set to public on notestock.
ACMには入っているから全然情報系の学会と関わりがないわけではないが
ACM、名前の上ではAssociation for Computing Machinery（計算機協会）でSocietyとは名乗ってないんだよな
あと、ACMのAはAmericanではない（アメリカのローカルな組織ではない）というのもある
This account is not set to public on notestock.
プリミティブには、研究成果を公表したり、公表された研究成果について議論したり、他の人が研究成果を公表する前にその内容を審査したりする
副次的に、近い専門分野の人々と交流して次の研究を一緒にやる仲間を探す
歴史的には、研究者が個人でやっていける限界を超えるために集まってなんやかんやをやっていく組織として大学というものがあるが、大学に閉じこもらずにもっと交流しようぜということで学会が生まれ、研究成果を秘匿せずに公表して議論するというスタイルを確立した
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
グリーンスパンの第十法則（Greenspun's tenth rule）
あらゆる十分に複雑なCかFortranのプログラムは後付けで公式な仕様がなくてバグだらけで遅い形でCommon Lispの半分を実装したものを含む。（Any sufficiently complicated C or Fortran program contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Common Lisp.）
C、Fortran、Common Lispという具体名に大きな意味があるわけではなくて「それPythonなら標準ライブラリ呼ぶだけだよ」みたいな感じだけど、仕様が大きくて複雑なプログラミング言語に対する批判に「でも《シンプルな言語》で複雑なプログラムを書いたとしても結局似たようなものを自分たちで用意する必要があるし、プログラミング言語に組み込まれていたら払う必要がなかった設計・実装・検証のコストを自分たちが負担するってことだよ？」と反論したという感じで、PyPIやnpmがあるから楽という話とはちょっと違うんだよな
まあ、昔はCの仕様書は200ページくらいでCommon Lispの仕様書は1000ページ超えてたからそういう話になるんだけど、今となってはCの仕様書も700ページ超えたからなあ
Common Lisp派の人はあの言語仕様に無駄なものは一切ない、実用的なプログラムを書くならいずれ必要になるものばかりだと主張する。エディタやデバッガに関する規定も含めて。
今どきに捉えると、Common Lispの仕様書はコンパイラが入力として受理する言語の仕様書というよりは開発環境やコンピューターシステムの仕様書に近い。だからエディタやデバッガに言及する。
まあ、だからCommon Lisp話者がエディタやデバッガがプログラミング言語仕様で言及されているのを擁護するのは、今どきにいうと「LSP実装もtree-sitter文法も用意されてないプログラミング言語はやってられん」という話に近い
それを2020年代ではなく1980年代に言い張って譲らなかったのがLisperは未来に生きてたなという感じ
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
ところでｼﾞｮﾁｮが私の知らないカレンダーシステムを使っているんですが（土月）
님의 게시물
xgarasux@misskey.io
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
「えとるねん Advent Calendar 2024」8日目の記事を公開しました
えとるねん Advent Calendar 2024 - Adventar
https://adventar.org/calendars/9955
ややマイナーなソーシャルメディアたち｜段風桜
https://sizu.me/dampuzakura/posts/0hf9h904mcu6
ぜひご覧ください！
in 2024-11:
* New RFC process
* Selfhosted GitLab stability issues (should be better now, received a RAM & CPU upgrade today!)
* LOTS of kernel packaging MRs, notably one of them enabling camera with (close to) mainline Linux for Fairphone 5 📸
* iio-sensor-proxy using less power
* Fix for fix poco f1 mic during calls
* Pixel3: fix unl0kr
* New ports: solidrun-cubox, asus-zenfone3, realme-x3
* generic MSM8953 port and xiaomi-elish -> community
* and more!
https://postmarketos.org/blog/2024/12/09/pmOS-update-2024-11/
単に構文や意味論だけでなく足回り全部含めてその言語・処理系だというのは現代プログラミング言語を見るにその通りだけど、それらが**言語仕様に**入ってるのが重要というのを当時から言ってるのはすごすぎるな 先見の明というか
GNU Emacsの愛好者があれはエディタではなく環境だというのも根っこは同じで、コンパイラやインタプリタがあるだけでは不十分で、そのプログラミング言語が第一級の言語として完全にサポートされた環境があって初めて実用的なんだという考えがあるんだと思う。Lispマシンが現役だった時代を生きたLisperにとっては特に。
仕様がデカいということは逆に言うとそれだけ準拠した実装を用意するのが大変(他のアプリに組み込んだり新規の処理系を起こしづらい)ということになるけど、端から端まで安心できるというメリットでもあるしなあ
Common Lisp の仕様のよく知らないけどモノリシックなのかしら、それとも R⁷RS みたいにいくらか分類がされてるのか
ANSI Common Lisp（INCITS 226-1994[S2008]）、こちらモノリシックな1000ページ超の仕様書となっております
まあでも1100ページ近いにも関わらずPDF版を60 USDで買えるからISO C++よりは入手しやすいよ（？？）
組み込む話書いて思い出したけど、組み込むためのスクリプトを静的解析サポート受けながら書くときの問題として「ホスト側から提供される環境の定義手段が意外とない」というのがありがちなんだよな
TS の d.ts みたいなのを書いたら(自動生成できるとなお良い)それを LSP 鯖実装が読み込んでそれっぽく振る舞ってくれる、みたいな感じになってほしい。特に Lua。
FFIと静的解析の組み合わせは今後アツいトピックなんじゃないかな、I have Rust, I have Python, ﾌｰﾝ! Unsafe code! な現状に人々が満足できるはずもなく……
プログラミング言語を超えて相互運用可能な、ABIと事前・事後・不変条件を記述するコンテナフォーマットみたいなものが必要かもしれん
そのコンテナの情報を言語間リンカーみたいなのが検査してこれは条件を満たさないからエラーとかそういうことをやる
無駄なものは一切ないんだから仕様書をいくつも分割してモジュールAとモジュールCに準拠みたいなことされても意味ないんだってば、というのがCommon Lisp話者の言い分（多分）
This account is not set to public on notestock.
デカすぎてというか、それまでに正規表現の仕様を国際標準にしてたのPOSIXとECMAScriptくらいしかなかったからだと思う。
C++の仕様に正規表現や浮動小数点演算の仕様が書かれていないのは既に確立している標準規格があればそれを参照した方がよいからであって、ページ数をケチりたいわけではないと思う。
たとえばPerlのregexを組み込もうと思ったらまずはPerlのあるバージョンのregexの仕様を国際標準にするために作業部会を設立するとかいう話になってダルい
でもそういうことをやる必要があるときにはやる必要があって、OOXMLやEPUBなどの国際規格でコンテナフォーマットとして採用されているがその仕様は謎のソフトウェアベンダーのウェブサーバーに置いてあって時々更新されるプレーンテキストファイルが正本という謎のファイル形式ZIPについて、このバージョンのAPPNOTEをベースにこの拡張機能を含まないファイルを使ってくださいという基準を定めたISO/IEC 21320-1:2015という国際規格がある。
This account is not set to public on notestock.
２年前までイギリスで居住用建物のスクワット（無断占拠）が違法ではなかった理由 - マチノヨハク https://akiya123.hatenablog.com/entry/2014/12/31/152437
あわせて読みたい：『Mine! 私たちを支配する「所有」のルール』っぽい
建物がそこに住むことのない人々のマネーゲームに使うトークンになってそこに生きる人々が住む場所に困っているのはどうにかならんかなぁというのはある。
ブレイディみかこのことをブレンディみかこと間違って覚えていたことにたった今気付いた。
This account is not set to public on notestock.
This account is not set to public on notestock.
端子として都合が良くて安価だから使っただけで、実際はPCIeをしゃべってなさそうではある
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
@masso 確かにtoolingはAutomated Software EngineeringやIEEE Transactions on Software Engineering辺りでやることのような空気があるのかも？とはいえ、Scheme Workshopでは変わらずtoolingの話を見かける気もします。
GL.iNet Opalのファームウェアアップデートが10月に配信されていた。
[raspberrypi.com new post]
Raspberry Pi 500 and Raspberry Pi Monitor on sale now
https://www.raspberrypi.com/news/raspberry-pi-500-and-raspberry-pi-monitor-on-sale-now/
Raspberry Pi 500リリース | Japanese Raspberry Pi Users Group
https://www.raspi.jp/2024/12/raspberry-pi-500-released/
かきました
This account is not set to public on notestock.
This account is not set to public on notestock.
生きるということについて。
This account is not set to public on notestock.
少子化対策しても｢家族消滅｣に向かう日本の現実 やがて日本は｢超高齢独身国家｣となる運命
https://toyokeizai.net/articles/-/727173
少子化対策｢全国一律は無理がある｣といえる根拠 ｢婚姻･出生｣都道府県ランキングから見えたこと
https://toyokeizai.net/articles/-/720805
年収400万で｢結婚意欲｣最大もできない若者の苦悩 ｢不本意未婚｣の割合は20～34歳の男女で4割超
https://toyokeizai.net/articles/-/700621
子育て支援拡充しても｢少子化｣は解決しない根拠 ｢生涯無子率｣から見る日本の本質的な問題点
https://toyokeizai.net/articles/-/671776
所得が多いほど｢出生数増｣日本が直視すべき現実 ｢日本の少子化の元凶は東京にあり｣の大誤解
https://toyokeizai.net/articles/-/665772
数学系の研究会だとトガでの出席をOKにするためにドレスコードの最大公約数的な定義が「着衣」よりも大きくならないんだよね（大嘘）
This account is not set to public on notestock.
This account is not set to public on notestock.
【50%OFF】ハジキガールズ [盛田兵器開発] | DLsite 同人
https://www.dlsite.com/home/work/=/product_id/RJ01239825.html
突然ですが、これﾋｮﾛｲｰの誰かには刺さるかもしれんなと思って紹介します (全年齢)
This account is not set to public on notestock.
医療系の分野の人と会うと「特許取らないの？」とよく聞かれる（これは私が特許に値する何かをやっているからではなく、有望そうなのができたらとりあえず特許チャレンジっしょみたいな文化があるっぽい）
This account is not set to public on notestock.
正義と背中に書かれた上着を幹部が羽織る海軍（ONE PIECE）と正義と胸に書かれた水着を二次創作で着せられがちな正義実現委員会（ブルーアーカイブ）、どうして差がついたのか
ONE PIECE（漫画）が今1134話というのを見かけた瞬間に気付いてしまったんですが、休載頻度が十分に少ないと週刊連載漫画の話数は50話/年にかなり近いペースで増えていくので、連載して41年か42年くらい経つと西暦を話数が追い抜きます
This account is not set to public on notestock.
This account is not set to public on notestock.
Don't Delay! Renew Today! がやや韻踏んでてよかった（renewal 済みです）
私 GSoC の無料会員特典で ACM 会員になったので６末ぐらいに会費払うべきなんだけどいつも催促の封筒みてから renewal してるんですが（カス）、今年は支払い忘れかけてて APSys の参加直前に慌てて renewal したら入れ違いで学会誌の表紙に韻を踏んだビラが貼り付けてあってウケてた
でもこれで会費は払ってるはずなんだけど、今月は背景が緑から赤になって更に語気の強い感じで「お前に送る CACM はこれで最後だ！はよ更新せい！」みたいなの書いてあるビラが会誌の表紙にくっつけてあって首を傾げている
私もACMの会費払うかと思って手続き始めたらSkills Bundleってのを勧められてるんだけどこれどうなんすかね
This account is not set to public on notestock.
This account is not set to public on notestock.
SIGとか研究会に入っていない無の会員だけどJPSとACMで合計4万円払った
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
님의 게시물
kamanobe@fedibird.com
This account is not set to public on notestock.
openSUSE Touts Improved Multi-GPU Switching Support
Te openSUSE project shared today that there is enhanced multi-GPU switching support to enjoy now with openSUSE Linux...
https://www.phoronix.com/news/openSUSE-switcherooctl
This account is not set to public on notestock.
著者が読者と出会うためのマーケティング戦略 〜数字に踊らされない本の売り方〜║ブックダム【公式note】
https://note.com/bookdam/n/n6bfb6b281aa2
This account is not set to public on notestock.
書店を残していくために | 伊東 直人║文藝春秋 電子版
https://bunshun.jp/bungeishunju/articles/h9052
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
AnimaのBDは今回見送るしかない、本格的に家計の収支がレッドゾーンに入っているので
VMM（virtual machine monitor) あるいは hypervisor の分類、ふつうは Type-1 と Type-2 だけど、Xen や Hyper-V, ESXi のような Type-1 と QEMU や VMware のようなバイナリトランスレーションやソフトウェアエミュレーションの Type-2、という分類は 15 年以上前から成り立たなくなってる
1975 年の Popek & Goldberg の論文にある仮想化要件が大事で、OS が複数動かされる時に OS が操作したら他の VM の OS の挙動が壊れる命令をセンシティヴ命令と呼んで、いわゆる CPU の特権モード（スーパーバイザーモード）の命令の集合とセンシティヴ命令の集合が完全に包含関係になっていれば、べつに OS が割り込みで命令捕まえるのと同じやり方やればいいので Type-1 で事前に作れる
x86 はそんな綺麗な作り方になってないので Xen の初期は OS の Ring-0 モードとユーザーランドの Ring-3 モードの間にある Ring-1/2 をつかって、Xen を Ring-0、改造した準仮想化 OS を Ring-2 に、みたいなことをして性能は出るけど改変が必要、QEMU や VMware (not ESXi) は無改変で OS 動かせるけど単に CPU エミュレーションなのでバイナリトランスレートとかやってても遅い、というトレードオフが 2005 年ぐらいはあった
ところでこれは測点に載るかもしれないし載らないかもしれない文章の一部
This account is not set to public on notestock.
