追記 (2022 5/29): サーバ代をケチるべくVercelに移行しました。動いていたソースコードは ココ に置いてあります。 あなたの予想に反して、このページが見えているでしょうか？このWebサイトは自作OSのKerlaが提供しています。 これは自作OS Advent Calendar 2021の23日目の記事です。 自作OS「Kerla」の紹介 Kerla（かーら）はRustで書かれたLinux ABI互換モノリシックカーネルです。今年の春頃から作り始め、DropbearというSSHサーバが動作する程度には基本的なUNIXの機能が実装されています。具体的には、ファイルの読み書きやUDP/TCPソケット、fork/exec、シグナル、擬似端末といったものです。 カーネル実装の雰囲気を軽く紹介すると、Kerlaでは以下のようにシステムコールが実装されています。 /// write(2)

昨年、都内に 2LDK の中古マンションを買った。コロナ禍で買った人はたくさんいると思うけど自分の記録として書き留めておく。 長くなったので3部編成になった。この記事では物件を探し始めてから契約締結までを書いていく。 購入を考えた経緯COVID-19 の影響でリモートワークになって、家の回線が遅いという問題が重くのしかかってきていた。 VDSL だったんだけど NURO を引こうとしたり光配線の導入を検討できないか管理会社に相談したが MDF の都合で断念していた。また、隣人がベランダで喫煙しており換気口から匂いが入ってきて、管理会社に注意喚起してもらったがあまり改善せず着々と不満が溜まっていた。 それで賃貸物件を探していたがいいところがなく、友人の wozozo にそれをぼやいたところ、今の家賃を住宅ローンの返済にするとこれくらいだから買っちゃおうという話になった。それまで賃貸物件で引越

専用のボトルにつめる形式なんだけど、ボトルの９割くらいにまで入る仕様なんだけど、 ９８％くらいまでギリギリ入れるために２回ボタン押す、推定９０ｋｇの巨漢のおばさんがいた。 つまりどういうことかというと、 注水ボタン１回につき１分ちょいかかるのだが、 毎回２分かけて無駄に水をジャバーッと溢れさせて入れているのだ。 そして後ろには自分ふくめて２名が並んでいるが、まったくおかまいなしに、 水を周辺にビシャビシャにさせて９８％入れるために微調整したり、奮闘している。 これには驚いた。 世の中には信じられない民度の人間がたくさんいる。 こうした驚きは、学生時代の合宿生活などでよく新鮮な知見として得られたものだった。 １００人いれば１００人の習慣がある。 あのおばさんは、「お前の見ている世界がすべてではない」 ということを教えてくれたかみ様の使いだったのかもしれない。 追記： 入店後おばさんがしばらく

スーパーのレジ近くに浄水器があるのを見たことがあるだろう？ 専用の２Lぐらいの入れ物が１個５００円ぐらいでそれを買えばあとは何度でも汲みに来れるっていうアレだ。 見るからにケチ臭さそうなオバちゃんが専用容器に水をタプタプにしてはいるアレだよ。 あんなものを使って水を汲むなんてまるでアフリカの恵まれない子供たちみたいじゃないか。 僕とは関係のない世界の話だ。 そう思っていた。 帰郷した僕が勝手知ったる自分の家とばかりに実家の冷蔵庫を物色しようとすると、ソレは冷蔵庫に収まっていた。 水としか思えないものが２Lぐらいの真っ白いポリタンクに入って２つ並んでいる。 冗談めかして 「冷蔵庫の水って水素水？」 と聞いてみた。 親は答えた。 「最近はスーパーから水を貰ってきてる」 と。 我が家はアフリカになっていた。 親が言うには浄水器のフィルターが減価償却される時間と値段を考えれば、スーパーで水を貰う生

コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能（広告ブロック機能を持つ拡張機能等）を無効にしてページを再読み込みしてください。 ✕

ＪＲ西日本の長谷川一明社長は、経営の悪化で維持が厳しくなっているローカル線について、今後、沿線の自治体と協議を進めバス路線への転換を含め、地域の実情とニーズにあったあり方を検討していく方針を示しました。 ＪＲ西日本の長谷川一明社長はＮＨＫのインタビューに応じ、この中で、急務となっている、コロナ禍で悪化した経営の改善のため、維持が難しくなっているローカル線について、あり方を見直していく考えを示しました。 具体的には１キロあたり１日に平均何人の利用客を運んだかを示す「輸送密度」が２０００人以下のローカル線について、沿線の自治体と利用促進の方策を模索する一方、バス路線への転換も含め、地域の実情とニーズにあったあり方に見直していくとしています。 今後、積極的に自治体との協議を進めるとしていて、長谷川社長は「経営が厳しい状況で、利用が少ない路線をこのまま放置できない。自治体とともに今後の展望を見いだ

JASRAC許諾第9009285055Y45038号 JASRAC許諾第9009285050Y45038号 JASRAC許諾第9009285049Y43128号 許諾番号 ID000002929 ABJマークは、この電子書店・電子書籍配信サービスが、著作権者からコンテンツ使用許諾を得た正規版配信サービスであることを示す登録商標(登録番号 第6091713号)です。

ここ最近、何やらデータベースの相談をされることが何やら多くなってきたmasamikiです。 今、とあるプロダクトの開発をしようと、要件まとめたり設計したりたりしてるのですが、この仕組みをやるためには…version管理いるなぁ…gitが欲しいなぁ……となってます。 そして、調べてみたところ、2年も前のものですがこんな記事を見つけました。 「DoltとDoltHubが我々の結論だ」とおっしゃってます。 Doltとは Doltは、Gitリポジトリと同じように、フォーク、クローン作成、ブランチ、マージ、プッシュ、プルできる最初で唯一のSQLデータベースです。（← by Google翻訳） おぉ、まさしく、そのままんま、これだ。 他にも、GitRows とかも使えそうかな…と思ってみていたものの、どうやら今の要件にあうのあはDoltっぽそう。 上記事だと、他にもdata.world（Microso

大阪府が庁内のＩＴ関連業務を民営化させるため、民間企業と共同出資する新たな事業会社の立ち上げを検討していることが２日、関係者への取材で分かった。〝縦割り行政〟を新会社が打破し、システムの調達から開発、運用までを統合。コスト削減を図りつつ、好待遇での専門人材確保につなげ、民間に比べて遅れているデジタル改革を加速させるのが狙いだ。 新型コロナウイルス下で新しい生活様式（ニューノーマル）に移行する中、行政のデジタル化は急務だ。府は政府にならい「大阪版デジタル庁」創設の方針を掲げているが、庁内組織のデジタル庁では予算や人事の壁に阻まれ、改革を実行できないとの見方がある。 府のデジタル改革を担うスマートシティ戦略部は、令和４年度予算案に約３千万円の関連費用を計上するよう要求。コスト効果の試算や民営化プランを同年度中に取りまとめた上で、５年度の新会社設立を視野に入れる。 関係者によると、新会社は、ＩＴ

はじめに サーバーレスに触れて数年が立ちました。 そろそろ人にある程度説明ができるレベルの知識と経験が備わったような気もするので、年末なのでまとめてみました。 サーバーレス気になっているけれども、という人に少しでもためになればいいなーと思います。 サーバーレス基礎 皆さん、サーバーレス設計という話を聞いたことはあるでしょうか？ まずサーバーレスについて説明しますが、世の中にはたくさん解説記事があるのでそちらも適宜参照ください。 サーバーレスでも実際にはサーバーは存在する サーバーレスとは開発者がサーバーのことを意識しなくてもよい、ということ Function as a serviceに代表されるように、あるプログラムの実行環境を提供するが、プログラムの動作環境は開発者は意識する必要はない、というイメージ 恐らく、AWS Lambdaが一番理解しやすいと思います。 AWS Lambdaではプ

ここ1週間ほど『Apex Legends』をプレイしている。人として大切なものをはるか昔に忘れたパスファインダーで縦横無尽にマップを駆け巡り、1v3を仕掛けて勝てるのはシルバーまでで、とうとうゴールドからスタックするようになり、ともにプレイしている友人たちのねばり強い説得に折れて、ジブラルタルに転向した。のべ15時間ほどプレイしてプラチナまで上がったが、あとはグラインド――堅実なプレイを固持してRNG（ランダム生成）の神に供物を捧げる行為――を続ければ、マスターくらいまでは上がると思う。どうすればランクが上がるのかは、わかっているからだ。 このゲームの戦闘は、抜群に面白い。すべての武器の使用感が洗練されていて、それぞれに強みがあり、理想的な地形や交戦距離に武器の特性がぴたりとはまったときなどには、こたえがたい快感をもたらしてくれる。キルタイムの長さとキャラクタースプライトの移動の速さが、空

どうなん？ 車があるかぎり毎日事故で人が死んでいく こんなに明らかなのに、車を許容する社会っておかしくない？ 例えば、死刑はごくごく僅かな可能性でも冤罪あるから廃止って言う人いるのに 車なんて確実に人を殺すもの許容してる どう考えても片手落ちだろ お前らこの自己矛盾に対してどう整合性とってるの？

ひえん @hiyen119 子供の頃に居た、数年に1回しか遭遇せず、なのに父母とは仲が良く、何故かお嫁さんはいないがやたら構ってくれてお年玉はくれるという謎のおじさん、謎が解明されつつある。

大丈夫になりたい――。 日々「大丈夫の研鑽（けんさん）」に励む花田もねは、ある晩、芦川（あしかわ）という謎の生物と出会う。その姿は「大丈夫ではない」ようで――。心癒されるハートフルストーリー！

本記事の続編として、自分が有害な振る舞いをしないようにする改善の取り組みを扱った記事も書いてます。 エンジニアや上司が"有害な振る舞い"を改善する方法 ※「難しい人」は概念として用い説明するのに便利な言葉でしたが、誤解を生じたり、本記事のポリシーに沿わない使用（難しい人というラベリングを特定個人に適用する使い方）が容易にされてしまいそうだと分かりました。そのような誤用を防ぐことを最優先とするため、代わりに「有害な振る舞い」という表現を使用し、人ではなく振る舞いに着目するタイトル及び文章に変更致しました。 はじめに 以下の記事を読んだ際に「難しい人」という表現が何となく面白い響きで印象に残ったので、これを機に自分の考えを今までの経験をもとに書きたいと思います。 “難しい人”が1人入ると、チームの生産性は30〜40％低下する 対抗せずに、場の「安心感」を作るための3つの条件 - ログミーBiz

【悲報】ツナマヨを酷評したイタリアンシェフ、あらゆるレビューサイトやSNSが誹謗中傷だらけになってしまう 1 名前：ジャングルキャット(SB-Android) [ID]：2022/01/02(日) 21:28:14.00 ID:y11JkKJW0 Googleマップ https://dotup.org/uploda/dotup.org2687240.png 食べログ https://dotup.org/uploda/dotup.org2687241.png Googleマップ 食べログ YouTube Twitter インスタグラム 2: メインクーン(茨城県) [US] 2022/01/02(日) 21:29:01.37 ID:pfoA9K020 こいつらは食べてもいないのに評価してるの？ 6: サビイロネコ(ジパング) [US] 2022/01/02(日) 21:29:32.94 ID

本書は、Lydia Hallie 氏 と Addy Osmani 氏らによる Learning Patterns (https://www.patterns.dev/) の日本語訳です。原著は大きく 3 つのセクションに分かれていますが、本書は、その最初のセクションである Design Patterns を訳したものとなります。

結婚して2年目。都内在住共働き子供なし。 俺が1200万円稼いでるし全部出すから、そっちが稼いだ分は小遣いとかにしてくれーって別会計の家計にしてたから、妻の年収はよく知らなかったんだ。 けど、ふるさと納税やってみたいという相談を受けたので、源泉徴収票を見せてもらったらびっくり。およそ額面が250万円くらい。 その金額が低いから失望したとかそんなんじゃなくて、アパレル正社員で店舗に毎日フルタイムで出て、正月も休みなく立ちっぱなしで働かされて労働環境としては俺より劣悪なのに、これだけしか貰えてないのかと可哀想になった。こんなんコストコでフルタイムでバイトする方が年収高くなるだろ。舐めてんのか経営者。 となったので、自分がいかに搾取されてるのかを伝えて目が覚めたみたいでエージェント通して転職活動中。 、、、となったが妊娠発覚で中断。もう適当にパートしてくれてるだけでいいや。本人も望んでるし。