タグ

2019年2月6日のブックマーク (9件)

  • Rustで普通にプログラミングするだけでMISRA-Cのルールを90%満足できる - 低レイヤ強くなりたい組込み屋さんのブログ

    はじめに 2019/2/10追記 記事を書いてから気づいたのですが、正確には、Rustのアトリビュートをいくつか設定すれば、MISRA-Cのルールを90%満足できるでした。 私はMISRA-Cのコーディング規約でプログラミングしたことがないため、内容に誤りがありかもしれません。間違っている点があれば、ご指摘いただけるとありがたいです。 後、いつも通りですが、C言語を貶める意図は一切ありません。 昨日からtwitterで、Rustが組込みのセキュリティが重要な分野で広まると良いなぁ、という議論がありました。 その中で、車載では、やはりMISRA基準との関係が明確になること、ということが1つの基準になりそうでした。 github.com @hashaskell さんから、MISRAコーディングルールのうち、Rustコンパイラがアトリビュートの設定を含めて、保証するルールのリストを作成しているレ

    Rustで普通にプログラミングするだけでMISRA-Cのルールを90%満足できる - 低レイヤ強くなりたい組込み屋さんのブログ
  • Expressのよさを語る2018 - keroxpのScrapbox

    2012年くらいから使っているが、一貫していいと思い続けているkeroxp.icon2018/8/1

    Expressのよさを語る2018 - keroxpのScrapbox
  • さよなら、愛しのFreeBSD|力武 健次 / りきたけ けんじ|note

    2019年1月末でFreeBSDに関連する開発活動を止めることにした。とても愛していたOSだけに身を切られるような思いは否めなかったが、別れが来るなら自分の自由になるうちにと思い、決断した。以下は個人的な想いを綴っている。 BSDの大元は、カリフォルニア大学バークレイ校で作られたオペレーティングシステム、今風に言えば基ソフトだ。Berkeley Software Distributionというのがもともとの名前だ。 1985年に自分がUNIXに触れたころから憧れていたのがこのBSDだった。当時のBSDはまだオープンソースではなかったAT&TのUNIXのライセンス制限の傘下にあり、自由にソースコードが読めなかった。でもAT&TのUNIXであるSystem V(システムファイヴ)よりはずっと自由だった。その後、DECのULTRIXやSunのSunOS 4など、多くの先進的なUNIXマシンがB

    さよなら、愛しのFreeBSD|力武 健次 / りきたけ けんじ|note
  • 誤ったパスワードの入力で他人のIDをロックさせチケットをゲットする技にファン衝撃【やじうまWatch】

    誤ったパスワードの入力で他人のIDをロックさせチケットをゲットする技にファン衝撃【やじうまWatch】
  • 今日も詭弁で逃げ回るイケダハヤト、年貢の納め時だと思ったが奴には収める年貢もない - 今日も得る物なしZ

    乗るしかない、このビッグウェーブに(2008年の言葉) ということで更新。 人が死ぬとかじゃないと更新しないって言ったけどもしかしたら死ぬかもしれないし、社会的に。 情報弱者の貧困層をバカにする人、搾取する人 | 文春オンライン 要するにイケハヤはクソと言ってるような記事なんだけど、まあそんなことはみんな知ってるので今日はそれに発狂してる馬鹿のツイートを弄り倒してカジサックの態度に発狂して退場した宇野常寛のように小馬鹿にしていこうと思うよ。 イケハヤもさっさと退場すればいいのに、どこからか知らんけど。 「情弱を搾取」とか見当違いもいいところで、イケハヤは別に何百万もする詐欺商材売ってるわけじゃないしなぁ。#脱社畜サロン とか3,000円だよw これで搾取なんて言ったら、なんのビジネスが搾取じゃないのでしょうね……w— イケハヤ (@IHayato) 2019年2月5日 人を騙して何の価値も

    今日も詭弁で逃げ回るイケダハヤト、年貢の納め時だと思ったが奴には収める年貢もない - 今日も得る物なしZ
  • 自己肯定感をどう増やせばいいのか

    35歳年収500万の非正規。 俺より下はいっぱいいるってのもわかってるけど、自分も含めてそういう下層の人間って当に必要なのかなあ いや俺らみたいな奴隷がいっぱいいるから金持ちが存在してるのもわかってるし、 金持ちの大半は努力をしたり生まれや運の結果として金を持ってるのもわかってるんだ。 でも自分が必要な人間には思えないんだよな。親からは時々来るやりとりをしてると愛されてるのかも、とおもうんだが、 それ以外の人間に必要とされてる感じもしないし。 不必要な人はどうすりゃいいの?

    自己肯定感をどう増やせばいいのか
    sharaku3eyes
    sharaku3eyes 2019/02/06
    考え方や価値観や他人を頼りにすると間違ったり否定されたり失ったりしてしまうので、ライフワークを持つが良いと思ってる。自己肯定感をどう増やせばいいか本気で人生賭けて研究してみたらきっと不安無くなるよ
  • 「実践ドメイン駆動設計」を読んだので、実際にDDDで設計して作ってみた! - Qiita

    こんにちは、クラウドワークスの新規事業のエンジニアとして仕事をしている高梨です! 最近、「実践ドメイン駆動設計」というを読みました! 500ページ近くもある技術書で、なかなか量は多かったのですが、DDDがどんなものなのか一通り大枠を掴めた気がします。 ただ読み終わった後にこんな疑念や不安をいだきました。 「たしかにかなり面白そうだけど、実際にやるとどれだけ工数かかるんだろう...?」 「設計の話は全然出てこなかったけど、DDDで作るとなるといったい何から始めればいいんだ?」 「戦術についての知識はついたけど、実際に書こうとしたらできなそうだな...」 そこで、そういった疑念や不安を解決するために、実際にDDDでサンプルプロダクトを作ってみようと思ったわけです。 実際に作ってみるのが、結局一番理解が進みますしね。 今回は、そのプロダクトがリリースされるまでの過程や感想を、作成した設計書やソ

    「実践ドメイン駆動設計」を読んだので、実際にDDDで設計して作ってみた! - Qiita
  • PlantUML Example for モデルベース要件定義テクニック - Qiita

    PlantUMLはテキストの記述でUMLの図を描くことができます。オプション機能や組み合わせで色々な表現をすることができるので、UML を拡張した図が使われるモデルベース要件定義テクニックの書籍からいくつかのモデルを記述します。 書籍にはモデルの着眼点や解説が丁寧に記載されています。図の背景に興味がある方は合わせてお読みください。 コンテキストモデル ユースケース図でシステムの関係者を整理します。 left to right direction を利用すると図の方向を左から右に変更できます。 left to right direction actor 経営者 rectangle システムに直接関わる人 { actor 顧客 actor 営業 actor 物流 actor システム部門 actor オーダー部門 経営者 -- 営業 経営者 -- 物流 顧客 -- (商品販売サイト) 営業 -

    PlantUML Example for モデルベース要件定義テクニック - Qiita
  • 元給食営業マンが「ファミマこども食堂」のスゴさを考察してみた。 - Everything you've ever Dreamed

    コンビニチェーンのファミリーマート(ファミマ)がこども堂運営に乗り出すらしい。「ファミマこども堂」を全国で展開 |ニュースリリース|ファミリーマート「大企業」「全国2000店舗」というスケール感は従来のボランティアに支えられたこども堂にはなかったものだ。この件について、僕は「スゴイ!物好きだなー!」というポジティブな第一印象を持ったのだけど、世の中は賛否両論みたいだ。賛否はそれぞれの考えや立場からのものだから別にいいのだけれども、「大企業」「営利」「こども堂の運営きっつー」というぼんやりしたイメージで意見をいっている人が多いように見えた。ひどいものになると助成金目当てではないかという声も見かけた。企業ガー!ボランティアガー!理念ガー!意見をぶつけあうのは大変時間と精神に余裕があって結構だが、その議論が、こども堂運営にかかる数字を把握しないでなされているものであったら意味がないので

    元給食営業マンが「ファミマこども食堂」のスゴさを考察してみた。 - Everything you've ever Dreamed