つくってまなぶ静的解析のすすめ - LayerX エンジニアブログ
はじめに こんにちは、LayerXの id:convto です。 そしてこれは LayerX アドベントカレンダー (概念) の1日目の記事です。 アドベントカレンダー盛り上げていくぞ〜ということで11月から始まるらしいです。だいぶフライングしてるけど枠もかなり埋まっててすごい。 せっかくなのでお祭り参加したいぞ〜ということで一発目です。よろしくお願いします。 静的解析つくろうとしたきっかけ ちょうどつい最近記事になった下記の輪読会がきっかけでした。 tech.layerx.co.jp このなかで、mapのrange accesssについて、元mapのcopyを取らないから破壊するとループ挙動が壊れる可能性がある旨が言及されていました。 そのときは雑談で「range accessしてるmapに再代入してたら怒る！みたいな考え方で整理したら静的解析できそうっすよね〜」みたいな話をしたんですが
指についた瞬間接着剤をティッシュで拭いちゃうと、「肉がえぐれる程ほどの火傷」を負う危険性があるって知ってた？「ジーパン1本ダメになった」「ゴミ箱から煙出た」
雨中ー人 @amanaka_kazuto 最近聞いた話だが、指についた瞬間接着剤を横着してトイレットペーパーで拭こうとしたら化学反応を起こして指の肉が抉れるほどの火傷を負ったという事があったらしいので創作活動してる諸兄姉には十分注意してほしい。 shouhiseikatu.metro.tokyo.lg.jp/sodan/kinkyu/1… 2023-11-02 07:47:30 雨中ー人 @amanaka_kazuto ワイが聞いた話では作業中指に瞬間接着剤がついたのでトイレットペーパーで指を包みこそげ取ろうとしたら化学反応を起こし包んだトイレットペーパーが邪魔をして消化に手間取りひどい火傷をしたというものだった。ティッシュでもなるので横着せず40度程度のぬるま湯につけて揉みながら剥がしてほしい 2023-11-02 15:55:45
Rails のブラウザテストを Playwright で動かすようにしたらデバッグが簡単になって捗った
Omotesando.rb #91 (https://omotesandorb.connpass.com/event/299381/) で発表した資料です。
まるで透明マント。監視カメラでAIが認識しないアグリー・セーターが作られる
まるで透明マント。監視カメラでAIが認識しないアグリー・セーターが作られる2023.11.01 16:3549,328 岡本玄介 2022年10月22日の記事を編集して再掲載しています。 目立つ柄だけど社会的に消えます。 伝統的に冬になると欧米人が着る、ダッサい柄の｢アグリー・セーター｣。マイクロソフトも毎年新作をリリースし、音楽業界ではアイアン・メイデンやガンズ・アンド・ローゼズがオリジナルを作っていましたね。 さて、今年もそろそろアグリー・セーターの時期が到来しようという頃合いですが、ニューヨーク州にあるコーネル大学では、監視カメラでAIが認識しない｢アグリー・セーター｣が爆誕した模様。『ドラえもん』や『ハリーポッター』では物理的に消える｢透明マント｣がありましたが、こちらは社会的に透明人間になれる装備となっています。 検出オブジェクトの信頼度を下げる模様デカデカと印刷されている市場の
Mastodon インスタンス一覧
Mastodon インスタンス一覧 Mastodon(マストドン) インスタンスの一覧です。主に、管理人が確認したものを追加しています。※非公式 トップページページ一覧メンバー編集 トップページ 最終更新：ID:X7Zvwiy1iw 2024年08月23日(金) 15:39:15履歴 Tweet Mastodon インスタンス一覧 ノンジャンル/汎用インスタンス 海外ノンジャンル 創作・オタク関連インスタンス 二次元作品系 ゲーム系 情報・職業系 趣味系 動物系 地域・人名 その他、属性・生活、総合 備考 Mastodon インスタンス一覧 2024-08-23 確認済み ※こちらに記載されているインスタンスは全てこのWikiとは関係なく、一部を除いて管理者が独断で追加したものです。このWikiの内容について、各インスタンス関係者への問い合わせはお控えください。 連合やインスタンス紹介タグ
男性の精子の減少、携帯電話の使用と関係か 最新研究
男性の精子の数と携帯電話やスマートフォンの使用との関係を調べた研究が発表された/Luis Alvarez/Getty Images （ＣＮＮ） 世界中で男性の精子の数が激減している現象と、携帯電話やスマートフォンの使用との関係について調べた最新の研究結果がこのほど発表された。 男性の精子の数は過去５０年の間に世界で５０％以上減少しており、食品や水に含まれる有機フッ素化合物（ＰＦＡＳ）など有害性が指摘される物質との関係や、肥満や慢性疾患の増加との関係などについて研究が進められている。 今回の研究は携帯電話との関係に着目し、１８～２２歳の男性について調査した。その結果、１日にスマートフォンを２０回以上使うという男性は、精子の数が減少するリスクが２１％高いことが判明。精液１ミリリットルに含まれる精子の濃度が低いリスクも３０％高いことが分かった。 携帯電話の使用が１日１～５回、または週１回にも満た
「楽天やヨドバシ、U-Nextなどが日本にあるから、AmazonやNetflixが独占できず、料金が本国より安く抑えられている」という議論
極東の珍獣 @ashikagunso 楽天のポイント大幅改悪が話題ですが、それでも我々日本人は楽天を支えないと将来もっと損する。 Amazonがプライム会費をアメリカの半額以下にしてるのは間違いなく楽天とヨドバシのおかげで、ここで楽天が脱落すると日本のECはアマゾンの軍門に降り、利益はアメリカに召し上げられる。三木谷がんばれ pic.twitter.com/PrGLgChyIZ 2023-11-01 18:34:58 極東の珍獣 @ashikagunso 退役スタートアップ軍曹。営利10億超から債務超過まで。学生起業→GAFA内定蹴る→外資IT→モバイルBtoC経営→バーティカルCtoC起業/経営→？。ネットイキリは引退しました。オーシア第444飛行隊/星井/北条/401/ENL/西木野/渡辺/テイオー/ピクミンLv100。赤十字重課金者/紺綬褒章受章。 極東の珍獣 @ashikaguns
OSSで世界と戦うために - ゆーすけべー日記
「日本人」を理由にしたくないし、「コードは全世界共通語」なのは分かっているけど、自分が日本人で日本語を母国語としていることはOSSにおいて不利になる。 この2年間のHonoの開発をしてきた経験で分かったことだ。 そこに目を瞑ってはいけないし、自覚することで世界と戦えるかもしれない。今回はそのことについて書こうと思う。 8k 現在、HonoのGitHubスター数は8,000を超えた。 これはとんでもない数字なんだけど、もっと伸びるべきで、早く1万を超えなくはいけない。 npmのダウンロード数は週間「46,000」とこれは相対的に低く、こちらも伸びるべきである。 数字が全てではないが、こうした数字は昨今のOSSにとって「一番の」指標であることは確かだ。 だから戦うことはこの数字を伸ばすことである。 なぜ「戦う」のか なんで「戦う」というおっかない言葉を使い、そして戦わなくてはいけないのか。 ま
PathtraqというLifeLogサービスを作った - たごもりすメモ
最近何をやっていたかというと、タイトルの通り、Pathtraqというサービス、iPhoneアプリを作っていた。どんなサービスかと聞かれるとLifeLogというのが一番適切だと思うけど、LifeLogにも種類があって、これは位置情報を記録して検索するサービスになる。 https://pathtraq.tagomor.is/ PathtraqApp Satoshi TagomoriProductivityFreeapps.apple.com どういうためのものかというと、普段生活したりどこかに行ったりして、以下のようなことが気になる方向けです。 この場所/店/街、最後に来たのいつだっけ? 前に飲みにいってふらっと入ったあの店、どこにあった何ていう店だっけ? 前にあそこからあっちに移動したとき、どのくらい時間かかったっけ? なんかさあ、この程度のこと、全部記録とってあれば簡単にわかるはずなんだけ
電通で学んだ、「誰に何をどう言う」ではなかなか成果が出ない ターゲットに無視されないコンテンツの作り方
99.6％のコンテンツは、たとえ目の前にあっても無視される 小川共和氏：いよいよコンテンツの企画についてです。「コンテンツ企画」であって「コンテンツ制作」じゃないんですよ。コンテンツを作ってブログやメールに載せれば見てもらえますか？ 期待どおりの成果を生みますか？ 実際にコンテンツマーケティングなり、Web広告なり、ナーチャリングメールなどコンテンツを作っている方であればわかりますよね。「そんなのでうまくいったら世話ないや」というやつです。簡単にうまくいかないですよね。 特に今はWeb広告やコンテンツマーケティング、マーチャリングメールをみんながやっていますから、コンテンツがありふれています。人間が消化するよりはるかに多くのコンテンツが出回っています。だから同じようなコンテンツを作ったからって達成感は出ないですよ。 コンテンツを作っている人はこんなことを言われたことはありませんか？ 「この
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Season11／4本目 Winny / 邦画プレゼン女子高生 邦キチ！ 映子さん - 服部昇大 | COMIC OGYAAA!! (コミックオギャー)｜おもしろい、がうまれるところ
カルディで入荷するたびに台湾の友人がこぞって買い込む『維力炸醬麵』が絶品「業務スーパーにもある」