ほとけ🐶

ベースマキナでSWEをやってます。数理論理学やプログラムの型や意味論に興味があります。犬あり。アイコンは@pr_is_ さん作。

[ほとけ🐶 @schwmtl]

ブルスカではなくmixi2を根城にしようと思います

schwmtlからの #mixi2 招待🎟️
一緒にはじめよう！🚀
https://t.co/ZKWApQ8Lo4

[ほとけ🐶 @schwmtl]

AI powered音声書き起こしアプリをいくつか試したけどイタリア語はだいぶ厳しい。言語格差

[高橋 誠二 / AI Opsのベースマキナ @__timakin__]

ベースマキナの連携先にSnowflakeが追加されました！
また、承認フローでのレビュー時の値の視認性向上や、form-dataの配列の送信などもできるようになりました。

データソースにSnowflakeを追加しました！ | ベースマキナ https://t.co/etPI6YhUwO

[ほとけ🐶 @schwmtl]

めちゃくちゃ便利なのでぜひぜひ！

[taro @taroro_tarotaro]

ベースマキナのリリースノートです！
かなり大きめのリリースです！

AIエージェントで社内管理画面、ワークフローなどを安全に運用できる
・アクションの設定のコード管理
・アクションの公開API
・Agent Skill
を公開しました！🤖
https://t.co/IIoL5NHr86

[ほとけ🐶 @schwmtl]

イタリアを旅しているが、友達とその家族にめちゃくちゃ助けられた。持つべきものは友

[ほとけ🐶 @schwmtl]

チューリングマシンに関する証明、真面目にやろうとするとすぐ頭がパンクしてしまう

[関数型まつり @fp_matsuri]

関数型まつり2026 にプロポーザルが投稿されました！
「型は値の集合か？ 〜プログラミング言語の型の解釈を考える〜」 / ほとけ/Motoki Shakagoriさん （@schwmtl）
https://t.co/dcbZKKwlZS
#fp_matsuri

[ほとけ🐶 @schwmtl]

型の表示的意味論について自分が持っている直感を、（ちゃんと勉強したことがないので）文献にあたった上でみなさまに共有するような発表をするか迷っている

[ほとけ🐶 @schwmtl]

@sai_e1113 あ〜、うちのはヌルヌルまではいかんな〜〜〜

[ほとけ🐶 @schwmtl]

HonoXで静的サイト作っているけど普通に実用に足りますね。Ark UI使いたい部分があったのでReactにしているが元気に動いている

[ほとけ🐶 @schwmtl]

@bd_gfngfn あ、なるほど。意図を理解できました。
ちなみにcomeなどのeは歴史的には発音と無関係につけられたものみたいですねー

[taro @taroro_tarotaro]

今年度最初のベースマキナのリリースノートです！🌸

アクションの定期実行ができるようになりました！

HTTP APIや各種DB・ストレージなどのデータソースを使った処理を、任意のスケジュールで定期的に実行できます！
https://t.co/WJmjuPQCft

[高橋 誠二 / AI Opsのベースマキナ @__timakin__]

注力機能がリリースされました！🎉
ベースマキナ上に設定されてるSQLやAPIコール、それこそAIと連携するワークフロー等をすべて定期実行できます。
業務から安全に人の手を剥がす機能を出して参ります！

アクションを定期実行できるようになりました！ | ベースマキナ https://t.co/2XTaI3TPBY

[ほとけ🐶 @schwmtl]

Iron Maiden来日、ご用意されてた

[ほとけ🐶 @schwmtl]

ベースマキナのリリースノートをお届けします！
ジョブの実行結果に閲覧制限をつけることで、機密性の高いデータをジョブでも適切に扱えるようになりました！
その他ビジュアルエディターにも改善が入っております🔥
https://t.co/ma7VgShMLz

[ほとけ🐶 @schwmtl]

96か……そんなもんか……

[47NEWS @47news_official]

【速報】ドイツの哲学者ハーバーマス氏死去
https://t.co/38OgCvzM1T

[ほとけ🐶 @schwmtl]

この擬人化できているのか正直よくわからない例がとても好きです

[画力・博士号・油田 @bd_gfngfn]

これについて独立に5人くらいに面白かったと言ってもらえておりありがたい話（このほかなぜか「無知蒙昧なengineerども」という表現を異様に気に入っている方もいる模様）

[ほとけ🐶 @schwmtl]

どんな分野であれ教員の研究を適切に評価できるレベルの学部生なんてほとんどおらんだろうと思っているのだがどうなんですか