Junya Ogura @junya@fedibird.com

Elixirも漸進的型付けを導入していくのか 👀

Elixirでリストとタプルを型付けする by José Valim - Qiita https://qiita.com/akiraarika932/items/d1d5f9bf156710196d7e

それはそれとして、次の部分はそうだよなあと思いながら読んだ。

"ほとんどの人は、より多くの情報を型システムにエンコードするとメリットしかないと予想しますが、ここには矛盾があります。型にエンコードするほど、プログラムで証明しなければならないことが増える可能性があります。"

スーパーカップずんだ味。
「ル」が🫛になっていて芸が細かいな。

マイクロソフトのハロウィン文書を令和になってあらためて眺めてみると、「昭和の時代は電車の中で煙草が吸えた」的な隔世の感がある。いい時代になったものだ。

https://ja.wikipedia.org/wiki/ハロウィーン文書

善し悪しは別として、言語処理系にテレメトリデータの送信が組み込まれていたら、利用者が極端に少ない機能や仕様を洗い出すことができて進化のペースを早めることができそう。
そんな言語処理系を常用したいかどうかは別ですが。

大統領選の対抗馬がバルガス・リョサだったのか。

"決選投票で後にノーベル文学賞を受賞した作家、マリオ・バルガスリョサ氏を破り当選。 "

南米ペルーのフジモリ元大統領、がんで死去－86歳 - Bloomberg https://www.bloomberg.co.jp/news/articles/2024-09-11/SJO9LOT0G1KW00

ノルマはロシア語。

"ノルマ（ロシア語: Норма, ラテン文字転写Norma）とは、ソビエト連邦で社会主義企業において労働者に課せられる標準作業量。
シベリアでの抑留でロシア人管理官らに強制労働されていた抑留者たちの生き残りが、日本に帰国出来た際に伝えた。"

https://ja.m.wikipedia.org/wiki/ノルマ

カリフォルニアのEVベンチャー Canooっぽいエクステリアデザイン。このまま販売すれば売れそうだけど、そうはならないのがコンセプトカー…。

シャープはなぜ「EV」に参入するのか　「もう一つの部屋」の可能性
https://www.watch.impress.co.jp/docs/series/nishida/1622118.html

ニューラルかな漢字変換システムを持ってライブ変換もできるOSSのiOS/macOS用InputMethod。結構使い勝手いいのでしばらく試してみよう。

azooKey - 自由自在なキーボードアプリ https://azookey.netlify.app/

Google Meetのこれ、今週から自分のアカウントにも来てた。
これまではMeetは専用のウィンドウを開く使い方をしていたけど、これなら1つのウィンドウでもいいかなと思えるくらいには便利。

「Google Meet」からのタブ切り替えでピクチャーインピクチャーが自動で開くように - 窓の杜 https://forest.watch.impress.co.jp/docs/news/1619300.html

印刷してみたい👀

"株式会社交通新聞社は、過去の鉄道路線図を全国のコンビニエンスストア等で印刷できるサービス「レトロ路線図ライブラリ」を9月2日に提供開始すると発表した。"

交通新聞社、過去の路線図をコンビニで印刷できる「レトロ路線図ライブラリ」を提供開始 │ GeoNews https://geo-news.jp/archives/7095

Railsアプリでパーシャルとヘルパーを使い分けるさじ加減について段階的な実例で解説した記事。
Figure 9あたりはTaming Complexity~って感じはしつつも個人的には少しやり過ぎの域のようにも感じる。文末でも言われているけど結局はバランスなんですよね🤔

https://garrettdimon.com/journal/posts/erb-partials-helpers-and-rails

ホノオくんかな。

"村上隆はもともとは典型的な第一世代のオタクで宇宙戦艦ヤマトのファンであった。そこでアニメ業界に憧れはあったが庵野秀明の作品が続けざまに放映されるのを見て業界を諦めたらしい。"

村上隆が何をやろうとしているのか理解して嫌いではなくなった https://anond.hatelabo.jp/20240829132621

ブラウザに統合されたAIアシスタントでページを要約するとタブ消化が捗ってよいな（画像はBraveのLeo）。

電子書籍アプリのページめくりを手元のデバイスでやる話。
タブレットをスタンドに据え置きして読むってことかな。確かに楽そう。

“積ん読”の消化に最適なページめくりデバイス、新型指輪リモコン「PR5500-C」を試す https://pc.watch.impress.co.jp/docs/column/ebook/1618476.html

ThoughtWorksがTechnology Radar制作の内幕を14分のドキュメンタリー動画で公開。
冒頭からMartin Fowlerさん！
https://www.youtube.com/watch?v=w_u8mQpTuhc

おもしろそう。

"円形の路線である山手線を、素粒子研究のための実験装置リングコライダーに転用しようという、冗談のような計画の顛末を描く。運用上にメリットがあるというので、山手線には人工的な意識が与えられている。もっとも、鉄道だったときの記憶が根強く残っており、それがプロジェクトチームの面々の思惑とすれ違いを起こす。山手線があまり駄々をこねるため、人間が説得しても埒があかないと、中央線が乗りだしてくる。"

https://www.webdoku.jp/newshz/maki/2024/08/19/120058.html

JetBrainsのIDEを使うことはないんだけど、最新版ではRails 8、Stimulus、Kamalなんかのサポートが追加されていて、やはり有償ツールは違うなあ…と思った。

RubyMine 2024.2 の新機能 https://www.jetbrains.com/ja-jp/ruby/whatsnew/

普段使っているブラウザのBraveで、セキュアなDNSがプリセット的に選べるようになっているのを知った。

なるほど。これは確かに便利。

Web会議のウィンドウ共有中に別のウィンドウをサクッと見せるHTMLを作ったらそこそこ便利 https://techracho.bpsinc.jp/baba/2024_08_16/143893

メンタリングの文脈で「メンティー」って言葉を目にするたびに鳥羽水族館が頭をよぎっちゃう。