長年プログラマ
LightNews LightNews
長年プログラマ
@lllxkilo.bsky.social
55 followers 67 following 140 posts
未だコーディングが楽しくて仕方ない（辛いことのほうが多いのにね）そろそろ熟年？
Posts Replies Media Videos
体調管理を例年以上に気をつけなきゃ…
久し振りに常駐案件、フルタイム
October 22, 2025 at 3:33 AM
コリもせず読んでます…数理証明界隈
ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発 – 技術書出版と販売のラムダノート share.google/27SpxuasBapA...
ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発
井上亜星 著 228ページ A5判 ISBN：978-4-908686-21-4 プログラミングと数学をつなぐ／ソフトウェアとして数学を扱いたい人、そして数学の力をソフトウェアに結びつけたい人にとってのプログラミング言語、Lean。本書では、動作するプログラムとして自然数と整数を構築することで、数学とソフトウェアがLeanによってどう結び付けられるかを確かめながら、Leanによりソフトウェアを開発...
share.google
September 20, 2025 at 2:39 AM
うわー、サーバーのCSSインジケータが点いてる…気温か、HDDか…うーん
#SERVER
August 13, 2025 at 7:03 AM
確かに（あなたの）努力は（私には）価値がない。
けれど結果が出ないからと言ってその努力が（あなたにとって）価値がないなんてことはない。
だからその努力を自分自身で否定しないでほしい。
August 6, 2025 at 6:12 AM
初回全話無料のマンガアプリ「少年ジャンプ＋」で『ルリドラゴン』を読んでます！ #ジャンププラス #ルリドラゴン shonenjumpplus.com/app/episode/...
ぬーん…更新されないな…眞藤先生、大丈夫かな…
[第1話]ルリドラゴン - 眞藤雅興 | 少年ジャンプ＋
<隔週月曜更新>ある朝 目覚めるとツノが...!?ドラゴン少女が日々をがんばらなかったり、がんばったり、やっぱりがんばらなかったり...な、作品です。よろしくおねがいします▲▲ [JC3巻発売中]
shonenjumpplus.com
July 9, 2025 at 8:03 AM
不安でも、苦しくても、ただ頑張って前に進む事しか知らないので、今日も前に進もう。
たとえ、ほとんど進んでいないように見られているのだとしても。
June 23, 2025 at 3:29 AM
は？なんか納得いかんな…
www.mbs.jp/news/kansain...
www.mbs.jp
June 13, 2025 at 2:08 AM
プロジェクトをプレゼンター、ドメイン、リポジトリに分けた…のは良いが、ぐぬぬ…テストが通らなくなってしまった。
あれ？
#softwaredevelopment #flutter #個人開発
May 28, 2025 at 7:56 AM
時間ができた！
チャンス！個人開発を進めるぞ！
#softwaredevelopment
#個人開発
May 22, 2025 at 3:42 AM
flutterでアプリを作ってるけど、色々発見や再考するべきことがあり自分の未熟さを痛感させられるなぁ。
でも、まだまだ成長できる余地があるとポジティブに捉えることも出来るか？
April 27, 2025 at 12:40 AM
次案件の問い合わせが入ってきたが…内容を聞いて迷っている。
なんだか、炎上してるっぽいんですよね…
March 13, 2025 at 12:24 AM
c++は久しく触ってないが、リフレクションがドラフトされていてちょっと驚いた！

yohhoy.hatenadiary.jp/entry/202503...

#c++ #programming #softwaredevelopment
C++ Reflection（P2996R10） - yohhoyの日記
次期C++2c(C++26)標準規格に向けて検討が進んでいる リフレクション(reflection) についてメモ。本記事の内容はP2996R10に基づく。要約： 新しい演算子：^^、[:と:]の組 新しい構文 リフレクト式：^^識別子、^^型名 スプライサ構文：[:r:] constevalブロック宣言：consteval { statement(s) } 新しい標準ヘッダ<meta> std:...
yohhoy.hatenadiary.jp
March 6, 2025 at 10:23 AM
ドメイン名を決めるときはハイフンを避けたほうが良い気がする。
Javaとかだとパッケージ名にそのまま使えなかったり…
#softwaredevelopment #programming
March 6, 2025 at 2:53 AM
最終的にはスマホサイズ＋外部モニタになるような気がする。
technews4869.bsky.social technews4869 @technews4869.bsky.social · Feb 17
<a href="https://togetter.com/li/2512391" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">togetter.com/li/251...
Mac miniが小さくなってきたのでモバイル系のガジェットと組み合わせれば持ち運び運用も可能に「MacBook Proよりバカ安高スペ」

- Mac miniとモバイルガジェットの組合せ提案
- 小型Mac miniとiPadで持ち運び運用が可能
- MacBook Proより安価で高スペックな構成
Mac miniが小さくなってきたのでモバイル系のガジェットと組み合わせれば持ち運び運用も可能に「MacBook Proよりバカ安高スペ」
こういうのワクワクしますね…！
togetter.com
February 17, 2025 at 3:31 AM
この姿勢は見習いたい。
つい「もうちょっと出来てから…」になりがち…
prioninae.bsky.social prioninae.bsky.social @prioninae.bsky.social · Feb 17
よし、ここ最近プライベートで作っていた部分が最低限動いたので一旦commitした。物としてはまだまだだがこれで一歩進める。個人開発で完璧を毎回目指したら先に進まないのでこれで良い
February 17, 2025 at 2:27 AM
実装と乖離しない（乖離の少ない）ドキュメントは本当に助かることが多い。
逆にメンテされていないドキュメントは混乱の本だと思う。

zenn.dev/ryokomy/arti...
今こそエンジニアはCode-basedなドキュメンテーションを行うべきだと思ったので、その思想と方法をまとめる
zenn.dev
February 17, 2025 at 2:24 AM
なんかね、日本語が理解できなくなってきた…気がする。
February 8, 2025 at 4:56 AM
今さらだよなぁ…

#AI #DEEPSEEK

DeepSeek、中国政府にデータ送信機能　米報道 - 日本経済新聞 www.nikkei.com/article/DGXZ...
DeepSeek、中国政府にデータ送信機能　米報道 - 日本経済新聞
【ヒューストン=花房良祐】米ABCテレビは、中国の新興企業DeepSeek（ディープシーク）が開発した生成AI（人工知能）を巡り、利用者のデータを中国政府に送信する機能を有していると報じた。米国のDeepSeekに対する警戒感が一段と高まりそうだ。専門家がDeepSeekのプログラミングコードを分析したところ、利用者のデータが中国政府の影響下にあるサーバーに送られる機能を有することが分かったと
www.nikkei.com
February 7, 2025 at 3:56 AM
ガントチャートは分かりやすい見た目をしているけどプロジェクトをマネジメントする人はPERTも見たほうが良いと思います…
January 31, 2025 at 6:27 AM
「効率化」とか「生産性向上」とかは、先ず自分自身定時退社するための工夫だと思ったらいいんじゃないかな。
会社のためとかはその後で考えていけばいい思う。
#softwaredevelop
January 17, 2025 at 4:58 AM
あかん、全然やる気がおきない…
_(:3」∠)_
January 13, 2025 at 4:50 AM
X Window Systemはネットワーク透過性で秀逸だと思ってる。
まあ、セキュリティとかパフォーマンスとかで色々と問題はあるけど…
#xwindow #x11
January 10, 2025 at 2:10 AM
podmanがわからない…
January 5, 2025 at 12:48 PM
仕事納めだけど終わらないぁ
December 27, 2024 at 11:21 AM
イテレーション定義されず、振り返りも行われないアジャイルってなんだろう？
#softwaredevelop #アジャイル
December 14, 2024 at 1:03 PM