ときどきの雑記帖 RE* (新南口)
The Brave Little Toaster
東スポ
250円になった週末版も買ってみたが 本当に競馬関連ばかりだねえ…
江之浦測候所
杉本博司さんの「江之浦測候所」へ。海を見下ろす屋外型美術館の魅力
小田原にこういうところがあったのか (何の気なしに見ていたTV番組で知った)。
ダンジョン飯 迷宮探索展
「ダンジョン飯 迷宮探索展」九井諒子描き下ろしイラスト公開、入場特典やグッズも | マイナビニュース
4月27日から5月6日まで、東京・東京ソラマチのスペース634で開催される同展は、「ダンジョン飯」初の大規模展覧会。 作中の印象的なシーンを再現した展示や、アニメーション制作・TRIGGERによる制作資料の展示が行われる。
いかにもソラマチに人が来そうな時期だねえ😓 (行きたいがたぶん行けない)
misc
- 新山祐介 (Yusuke Shinyama): “時は2024年、いまだに「GCはバカが使うもの」という神話を…” - Mastodon 🐘
- Garbage Collection for Systems Programmers
- Subroutine calls in the ancient world, before computers had stacks or heaps - The Old New Thing
- Subroutine calls in the ancient world, before computers had stacks or heaps | Hacker News
- 【思考力チェック!】25頭の馬を5頭ずつレースさせて最速の3頭を見つけるための最少レース数は? | 頭のいい人だけが解ける論理的思考問題 | ダイヤモンド・オンライン
- A History of Source Control Systems: SCCS and RCS | Hacker News
- A History of Source Control Systems: SCCS and RCS (Part 1) | dsp
世界のエリート技術者たちが“情報量を減らす”コミュニケーションを好む納得の理由 | 文春オンライン
エンジニアは開発だけではなく、他の人からの問い合わせ対応、障害の調査などにもかなりの時間を割かざるを得ず、 引き継ぎも定期的に発生するものだ。これらは意外に労力がかかる。
だったら最初から、他の人が欲しい情報をわかりやすい形式で整理しておくのが合理的だ。 便利なクエリ(命令文のコード)を説明のコメント付きで書いておき、コピペしたらすぐ渡せるようにしておいたり、 参考になりやすいPull Request をすぐ引き出せるようにまとめておいたりする。
この部分、なんとなく「プログラマーの三大美徳」の「怠惰」を思いだした
新刊近刊
メトカーフ、ダイクストラ
4/4再入荷:ISBN978-4-296-07069-5 日経BP 『はじめて学ぶ最新サイバーセキュリティ講義』 ユージーン・H・スパフォード、レイ・メトカーフ、ジョサイヤ・ダイクストラ 著 金井哲夫 訳 徳丸浩 監訳 15冊入荷
— ジュンク堂書店池袋本店 PC書担当 (@junkudo_ike_pc) April 4, 2024
メトカーフとかダイクストラってあの人やあの人と関係あるのかしら?
関連リンク
「はじめて学ぶ最新サイバーセキュリティ講義」の監訳を担当しました | 徳丸浩の日記
MicroPythonプログラミング・ガイドブック
言語仕様からプログラミング方法まで解説する「MicroPythonプログラミング・ガイドブック」発売。
— fabcross (@fabcrossjp) April 4, 2024
応用例から該当するプログラムを探すことができる逆引きのプログラム集が付属するhttps://t.co/64tK54PxP7#MicroPython #プログラミング #電子工作 #CQ出版 #Python
メモ。 出たらチェック。
Ai-assisted Programming
オライリー本家からAI支援プログラミング本が出る - YAMDAS現更新履歴 から。
気になる内容ではあるが値段がなあ😓
以前紹介された Modern Mainframe Development: COBOL, Databases, and Next-Generation Approaches | Taulli, Tom, Mckenny, John | Programming はちょっと(だいぶ)安くなってる
Rustで作るプログラミング言語
- Rustで作るプログラミング言語 ―― コンパイラ/インタプリタの基礎からプログラミング言語の新潮流まで 佐久田 昌博(著/文) - 技術評論社 | 版元ドットコム
- Rustで作るプログラミング言語 —— コンパイラ/インタプリタの基礎からプログラミング言語の新潮流まで | 佐久田 昌博 |本 | 通販 | Amazon
awk
オリジナルのawk処理系作りました。という話題。
のつづき
An awk implementation | A somewhat compact implementation of the awk programming language
Rob Landley’s toybox project provides a variety of Linux command-line tools, similar to busybox. I have written a compact but fairly complete awk implementation intended to integrate with toybox, but it can also build standalone.
Toybox combines many common Linux command line utilities together into a single BSD-licensed executable. It’s simple, small, fast, and reasonably standards-compliant (POSIX-2008 and LSB 4.1).
Toybox’s main goal is to make Android self-hosting by improving Android’s command line utilities so it can build an installable Android Open Source Project image entirely from source under a stock Android system.
GitHub - landley/toybox: toybox
FORTRAN Compiler on IBM 704
b=number of open parentheses, except those introducing subscripts;
*'('
LA0058 PXD ,B 4F13850 set N to decr part of acc
ARS 18 4F13851 move to address part
STO LAMBDA+11,A STO S(N+3) IN LAMBDA +3(L+3)+2 4F13852
ADD L(1) FORM -(N+2) IN ADD (ACC) 4F13853
TXI LA0041,2,1 4F13854 N = N - 1
GNU
さんがつぶん。
gcc14
新山祐介 (Yusuke Shinyama): “GCC14で新たに拡張された静的解析の説明。-fanalyz…” - Mastodon 🐘
GCC14で新たに拡張された静的解析の説明。-fanalyzerで使える。たとえばfor文の書き間違いなどによる無限ループの検出や、 UTF-8文字列のバッファオーバーフロー検知などが追加されている。
gcc のエラーメッセージって clang が出てきてエラーメッセージのわかりやすさが話題になってから一気に改善されたような気がする。特に C++。
— yoh2 (@yoh2_sdj) April 4, 2024
GCC 14 の -fanalyser での結果表示分かりやすくてすごい. https://t.co/MC9KXQZw2g
— ドッグ (@Linda_pp) April 4, 2024
文字列の境界外アクセス: pic.twitter.com/fu8qAckbb5
これはとてもいい機能だな >> GCC 14 Boasts Nice ASCII Art For Visualizing Buffer Overflows - Phoronixhttps://t.co/kmo5gCZaCr pic.twitter.com/YIAU12bd27
— orumin (@orumin) April 3, 2024
The @gnutools GCC 14 Boasts Nice ASCII Art For Visualizing Buffer Overflowshttps://t.co/NM1uvRlxva
— Phoronix (@phoronix) April 3, 2024
と話題になっているのでちょいと見てみた
Improvements to static analysis in the GCC 14 compiler | Red Hat Developer
for文の書き間違いなどによる無限ループの検出
は
void test (int m, int n)
{
float arr[m][n];
for (int i = 0; i < m; i++)
for (int j = 0; j < n; i++)
arr[i][j] = 0.f;
/* etc */
}
というのを指摘してくれると。 ほかにも
- Visualizing buffer overflows
- Analyzing C string operations
- Taint analysis
- Try it out!
などなど。
- GCC 14 Release Series — Changes, New Features, and Fixes - GNU Project
- Improvements to static analysis in GCC 14 | Hacker News
- Improvements to static analysis in the GCC 14 compiler : r/programming
gcc 1.27
gccつながりで。 ふるーいgccをコンパイルした話
- Building and using a 29-year-old compiler on a modern system (2017) | Hacker News
- Building and using a 29-year-old compiler on a modern system · miyuki’s blog
- Building GCC 1.27 (first GCC with x86 support) (2019) | Hacker News
- Krister Walfridsson’s old blog: Building GCC 1.27
Xr0
また別の改良C
Xr0 is a verifier for C. It eliminates many stubborn instances of undefined behaviour, like use-after-frees, double frees, null pointer dereferences and the use of uninitialised memory.
Xr0 uses C-like annotations to verify code:
void * alloc() ~ [ return malloc(1); ] /* caller must free */ { return malloc(1); }
autoconf
xzの件でまた問題に?
- Autoconf makes me think we stopped evolving too soon | Hacker News
- autoconf makes me think we stopped evolving too soon
- Why GNU Autotools is not my favorite build system [2011] : r/programming
- Why GNU Autotools is not my favorite build system | Jussi Pakkanen’s development blog
- Autoconf makes me think we stopped evolving too soon | Hacker News
- autoconf makes me think we stopped evolving too soon
中公新書
宇宙暦767年4月4日、ヤン・ウェンリーが生まれました。『銀河英雄伝説』の主人公の一人である彼に言及している中公新書をご存じですか。神島裕子『正義とは何か』の第3章「共同体における善い生ーーコミュニタリアニズム」にちらりとその名が出てきます。 pic.twitter.com/eoODbt1Qvi
— 中公新書 (@chukoshinsho) April 3, 2024
次の
次に実物大ガンダムを建造するとしたら……「建造物」として全高が大きく変わる変形はダメで、武器を持たないと様にならないのは優先度低そうで、でも何かしらギミックは欲しいし日本らしさも欲しい……そう、もうおわかりですね
— 琴島もとき (@MotokichiSsk) April 4, 2024
シャイニングガンダムです
やる気
〽︎ おぉブレネリ わたしの やる気はどこ~
— 安達裕章 (@adachi_hiro) April 1, 2024