devenv 1.0: Rewrite in Rust We have just released devenv 1.0! 🎉 This is a rewrite of the CLI to Python Rust, which brings with it many new features and improvements. I would like to thank mightyiam for a week-long, Rust pair-programming session at Thaiger Sprint. Note: Read the migration guide at the end of this post, as 1.0 is not entirely backwards compatible. Why rewrite twice? When I started
Applied LLMs - What We’ve Learned From A Year of Building with LLMs
A practical guide to building successful LLM products, covering the tactical, operational, and strategic. Also published on O’Reilly Media in three parts: Tactical, Operational, Strategic. Also see podcast. It’s an exciting time to build with large language models (LLMs). Over the past year, LLMs have become “good enough” for real-world applications. And they’re getting better and cheaper every ye
みなとみらい勤務歴7年が選ぶ！みなとみらいオススメランチ20選！②後編：デートや接待用のオシャレ編 - 走り出した足が止まらない！
前回から、7年にわたるみなとみらい勤務を通じて、私が実際に訪れたうえでオススメしたいと思ったランチのお店を20店を紹介しています！！ www.mitsuo-runblog.com 前半では、「ガッツリとコスパよく食べることができる10店」を紹介しましたので、後半の今回では「デートや接待にぴったりなオシャレな10店」をご紹介します。 みなとみらいで大切な人と忘れられない時間を過ごすための参考として頂けると幸いです！ デート、接待でオシャレに食事したい10店！ The Blue Bell（洋食・パスタ） 24/7 restaurant (トゥエンティーフォーセブンレストラン)（洋食・パスタ） Bd26(バール・デル・ジロー)（洋食・パスタ） ロティスリー レイ（フレンチ） J.S. PANCAKE CAFE（パンケーキ） アマルフィイ カフェ（洋食） 旭鮨総本店(あさひずし)（和食・寿司） 焼
小ネタ：アメリカで裕福になるためにはいくら要る？ - Be financial freedom. 経済的自由の探求
こんにちは、株もっちーです。 月曜日は、VISUAL CAPITALISTなどから、気になる話題を取り上げてみます。 アメリカで裕福になるためにはいくら要る？ をビジュアル化 気づいたこと 行動したこと 引用元｜VISUAL CAPITALIST How Much Does it Take to Be Wealthy in America? まとめ ランキング・宣伝など アメリカで裕福になるためにはいくら要る？ をビジュアル化 気づいたこと アメリカ人平均で、$2.2M で "wealthy" になれるということです。 日本円に換算(145JPY/USD)すると、3.2億円くらいです。 平均給与が日本の2倍とかんがえると1.6億円くらい、まあ自分の感覚ともそんなにずれない。 1 ミリオネアじゃまだまだって感じなんですね、2.2ミリオネアにならなくては裕福ではないと。 図は都市ごとのランキン
How bad are search results? Let's compare Google, Bing, Marginalia, Kagi, Mwmbl, and ChatGPT
Marginalia does relatively well by sometimes providing decent but not great answers and then providing no answers or very obviously irrelevant answers to the questions it can't answer, with a relatively low rate of scams, lower than any other search engine (although, for these queries, ChatGPT returns zero scams and Marginalia returns some). Interestingly, Mwmbl lets users directly edit search res
Why is Common Lisp not the most popular programming language? | Hacker News
It's the lists.No, not the prefix notation, parenthesis, what have you, although that doesn't help. The lists themselves. In Lisp, code is data, and data is lists. Yes, of course, there are hashmaps, arrays, strings. But idiomatic Lisp code really does use linked lists extensively, it's an entire style of programming. Even if you'd prefer to use different data structures (and again, Common Lisp do
ご機嫌いかがですか メイもんです おかげさまで 先月の下旬に 無事に 町内の団地へと 引っ越しができました✨ 実は、子どものに友達と遊んだ公園があって “ わたしもここに 住みたいなぁ..” と憧れていた場所。。 そこは ２０００年前後に 徐々に 建て替えが進められましたが、公園は複数 残っています 職場の保育所へも通いやすい、 東南にある棟の二階の部屋です（＾ν＾） ここで 気持ちも新たに 習慣化しつつありますのは、、 ❶ 歯磨きしながらスクワット ❷ ステンレスの道具で舌のお手入れ ❸ こまめな お掃除 ( 特にお風呂場 ) ＊＊＊＊＊ ❶ は偶然にYouTubeで視聴した 「 いろは祝詞 」を暗記して 心の中で唱えながら そのリズムで行っています♪ www.youtube.com ◇◆◇◆◇ 想像していた未来が 今の生活に現れて 感動しています ここへ来るまでの過程では 心身が苦しく
Programming note: this week, there will be no The Pulse on Thursday. I’m attending Craft Conference in Budapest, Hungary and delivering my annual conference talk the same day. My keynote is titled “What’s Old is New Again.” I’ll share the recording in the newsletter, once it will become available. I hope you enjoy this detailed deepdive on a lean and nimble startup (Bluesky) for the week! Bluesky
2024-01-20 Discussion on HackerNews and Lobsters. Roughly a year ago I moved into my new apartment. One of the reasons I picked this apartment was age of the building. The construction was finished in 2015, which ensured pretty good thermal isolation for winters as well as small nice things like Ethernet ports in each room. However, there was one part of my apartment that was too new and too smart
よいプロダクトマネージャー（以下、PM）とはどのような人なのでしょうか。PMは誰しも気になっていることかと思います。本記事では、PMと一緒に仕事をするエンジニアの視点でサーバーサイドエンジニアの渡邉 直樹さんに「よいPM」について、思いを語ってもらいました。 ーずばり、エンジニアから見るよいPMとはどんな人だと思いますか？ステークホルダーの意見を鵜呑みにせず、なぜやるべきかを把握し、常にプロダクトにおいて何が大事かを考え抜くことはPMのスキルとしてとても重要だと思います。プロダクト開発現場において「目的」はすごく大事なことですが、何のためにつくるのか、目的が曖昧になってしまうケースがあります。目的と手段が混同していることも起こりがちですね。PMが「なぜやるのか」に対して納得感を持って、ステークホルダーへのヒアリングを重ねることでプロジェクトに関わるメンバー間での共通認識が生まれていくと思っ
I recently stumbled upon this screenshot while researching social media on the train. Of course, it was followed by a cascade of spiteful comments, criticizing this fresh programmer’s attempt to solve a classical problem in computer science. The modulus operation. Now, in a world where AI is replacing programmers by the minute, taking their jobs and revolutionizing the way we think about code, may
You Don't know Jack about Application Performance - ACM Queue
May 24, 2023 Volume 21, issue 2 PDF You Don't know Jack about Application Performance Knowing whether you're doomed to fail is important when starting a project. David Collier-Brown You can't just measure a program's performance, Dave. You have to run a benchmark! That's what I hear all the time when I ask about the performance of some program. Well, it's only sort of true. If you want to know at
Rondoロンド(エマーソン・レイク・アンド・パーマー,EL&P) を聴く（元はナイスの曲） - あい青子「大好きだった曲」と「手離し服」で幸せを感じる「認知症の予防と介護」
ロンド（ELP） コチラですね youtu.be Rondo（The Nice） キース・エマーソンがELPを始める前のナイスを 私個人は通っていません 曲を貼り付けておきますね https://youtu.be/Pzz60X1mBgk ありがとうございます 今回ナイスについてwikiなどを覗いてみると「マーキー」のことがでてきて ジーンとしました 今はなきマーキー ローリング・ストーンズをはじめとするスターたちが飛び立っていったマーキー ビートルズのメンバーもしばしば訪れていたというマーキー 私個人は初めての貧乏ヨーロッパ旅行の際に訪れました やっていたのはプログレでした 独特な穴ぐら感 観客の異様な熱気 ステージとフロアの近さ 今も空気までを思い出せます ずっと後になって調べたら、その頃にまだまだ若かったデフ・レパードが出演していたことなどを知り、 そうかそうかと、しみじみしました み
Today, we’re releasing Fuyu-8B with an open license (CC-BY-NC)—we’re excited to see what the community builds on top of it! We also discuss results for Fuyu-Medium (a larger model we’re not releasing) and provide a sneak peek of some capabilities that are exclusive to our internal models. Because this is a raw model release, we have not added further instruction-tuning, postprocessing or sampling
今年の2月に引っ越しをした。大阪での3回目の住居変更になるのだが、新しい街もとても気に入っている。大阪にしては、緑や坂が多くて、感性が刺激される、気がする。これまでは職場から徒歩10分くらい都市部に住んでいて、家の周りにコンビニが数えきれないほどあり、飲食店も充実していて、あれはあれで快適だったのだけども、いわゆる住宅街みたいな場所で暮らすのも落ち着きがあって悪くないなと思う。というわけで、ひさしぶりに家から駅まで歩いたり、電車に揺られたり、ターミナル駅で乗り換えたり、と“通勤”というものを体験している。絶望だ！と思いきや、本当にすぐに通勤そのものには慣れたのだけど、単純に自由時間が少なくなったので、ブログを更新する気力が減少していました。先日、ひさしぶりに文章を書いてみたら楽しくて、なんでもいいから書きたくなったので、「最近のこと」を更新してみる。 7月14日 有給休暇を申請していたので
『ゴジラxコング 新たなる帝国』海外最速レビュー到着 ─ 「ノーランとWWEが怪獣映画を撮ったみたい」「昭和へのサイケ旅行」「ヘヴィメタル」 | THE RIVER
『ゴジラxコング 新たなる帝国』海外最速レビュー到着 ─ 「ノーランとWWEが怪獣映画を撮ったみたい」「昭和へのサイケ旅行」「ヘヴィメタル」 © 2024 Legendary and Warner Bros. Entertainment Inc. All Rights Reserved. ゴジラとコングが激突する「モンスター・ヴァース」最新作『ゴジラxコング 新たなる帝国』のワールド・プレミアが米ロサンゼルスのTCL・チャイニーズ・シアターで開催された。いち早く本作を鑑賞した海外のメディア関係者たちから、アーリーレビューが届いている。 前作『ゴジラ vs コング』からバトルシーンはさらに迫力を増し、昭和のノリに傾倒する楽しいライド映画になっているようだ。一方で、怪獣映画としてはお決まりである「人間ドラマの弱さ」を指摘する声も。どのような意見が登場しているのか、順番に見ていこう。 『ゴジラx
Useful CSS Tips And Techniques — Smashing Magazine
The times for CSS have probably never been more exciting than today. In this quick read, we’ve got some useful CSS tips and techniques for you that you can apply to your work right away. Let’s dive deeper into self-modifying CSS variables, hanging punctuation, and more. If you’ve been in the web development game for longer, you might recall the days when CSS was utterly confusing and you had to co
けりけりしない「けりぐるみ」 - のれぺん
毎朝、首元で眠っているのれのぬくもりが心地良くてなかなか布団から出れない主れのです。皆様、こんばんは。 今日は愛猫家さん宅には必ず1つはある、そして1度は購入してことがある「けりぐるみ」のお話をしたいと思います。最後までお付き合いいただけますと嬉しいです！ オシャレなけりぐるみをプレゼント のれの友達、ジェイク君 狩猟行動の名残は何処へやら ひとこと オシャレなけりぐるみをプレゼント 過去にエビや猫ちゃんの手の形をしてたけりぐるみをのれにプレゼントしてきた私。 けりぐるみを「けりけり」するのは猫ちゃんの狩猟行動の名残で捕らえた獲物を押さえつけ、後ろ足で蹴ってダメージを与えると言われているそうです。 確かにけりぐるみを本気でけりけりしている猫ちゃんの動画を見てみると敵にダメージを与えられる勢いです！ 少し前にInstagramでフォローさせていただいている作家さんが猫ちゃんキッカーを作られて
I am starting this new year the same way I ended the last: taking antibiotics because my biological daughter brought home a nasty sinus bug from Carnegie Mellon’s preschool. This was after my first wife betrayed me and gave me COVID. Nevertheless, it is time for my annual screed on last year’s major database happenings and trends since a lot has happened. My goal is to keep my trenchant opinions f
先日、台湾高雄富邦マラソンに出場するという記事を投稿しました！！ www.mitsuo-runblog.com この記事を書いている時点で大会当日までそろそろ2カ月ということで、マラソンの練習はもちろん、台湾の旅行の予定も決めなくてはいけない頃になってきました。予約とかありますしね。 ということで急いでガイドブックを買い、いろんなネット記事を参考にしながら決めた台湾旅行の予定を紹介していきます！ 台湾旅行の予定（5泊６日） １日目：飛行機で高雄を国際空港へ ２日目：高雄観光 ３日目：台湾高雄富邦マラソンに出場、台北へ移動 ４日目：九份・十分を観光 ５日目：陽明山エリア最高峰の七星山の登山 ６日目：台北観光、飛行機で羽田空港へ おわりに 台湾旅行の予定（5泊６日） 今回の台湾旅行は５泊６日で以下の予定のような予定で組んでいます！ 台湾旅行の予定（5泊６日） １日目：飛行機で高雄国際空港へ ２
Better Context Menus With Safe Triangles — Smashing Magazine
Imagine the situation when you’ve hovered over a menu item that reveals another list of menu items, then tried to hover over that nested menu only to have the entire menu close on you. Is this a UX challenge you’ve struggled with? A well-known concept called the “safe triangle” solves this issue. While it’s been tackled many ways over the years, Costa Alexoglou has what he believes is a relatively
(This is part of a series on the design of a language. See the list of posts here.) Suppose I want to implement an interactive language - one where code is often run immediately after writing. Think scientific computing, database queries, system shells etc. So we care about both compile-time and run-time performance because we'll usually experience their sum. A traditional switch-based bytecode in
Last year I experienced the all-too-common career burnout. I had a couple of bad projects in a row, yes, but more generally I was disillusioned with the software industry. There seemed to be a disconnection between what I used to like about the job, what I was good at, and what the market wanted to buy from me. I did the usual thing: I slowed down, quit my job, started therapy. I revised my habits
早朝の北陸新幹線「かがやき」に乗って！ こんにちは、Circulation - Cameraです。それは2022年4月のある日。私は当時3歳と1歳だった子供2人を連れて弾丸日帰り富山旅行に行ってきたのです！ (｀・ω・´) ＜ 今思うと結構凄いことしたなぁ！！ 富山駅！ え？富山に何しに行ったのか？？ それはもちろん、、、 Z9 + NIKKOR Z 24-120mm F4S, ISO 100, F 5.6, SS 1/400 sec それはもちろん、 北国の桜を見に行ったのです！！ こちらは富山駅からほど近い松川公園でございます。 Z9 ＋ NIKKOR Z 24-120mm F4S, ISO 100, F 4.0, SS 1/500 sec この松川公園、、、 「日本さくら名所100選」に選ばれていて、 なんと遊覧船で川の上からお花見ができます！ Σ（・□・；） そりゃあ乗るしかないで
Comments (GitHub discussion) Comments (Hacker News) tl;dr: I learned some Vulkan and made a game engine with two small game demos in 3 months. The code for the engine and the games can be found here: https://github.com/eliasdaler/edbr This article documents my experience of learning Vulkan and writing a small game/engine with it. It took me around 3 months to do it without any previous knowledge o
Mamba: The Easy Way
Oxford, UK — February 23, 2024 Shared on Hacker News and X Today, basically any language model you can name is a Transformer model. OpenAI’s ChatGPT, Google’s Gemini, and GitHub’s Copilot are all powered by Transformers, to name a few. However, Transformers suffer from a fundamental flaw: they are powered by Attention, which scales quadratically with sequence length. Simply put, for quick exchange
みなとみらい勤務歴7年が選ぶ！みなとみらいオススメランチ20選！①前編：ガッツリコスパ良く編 - 走り出した足が止まらない！
みなとみらいは海沿いのオシャレな街並みが魅力的で、観光やデートにピッタリの町ですよね！飲食店も多種多様あり、幅広いグルメを楽しめるのも素敵だなと思います。 私はみなとみらいに勤務して7年経過し、美味しいランチのお店を開拓するのが楽しみの一つです。 そこで今回は、7年にわたるみなとみらい勤務を通じて、私が実際に訪れたうえでオススメしたいと思ったランチのお店を20店を紹介します！！ 前半の今回は、ガッツリとコスパよく食べることができる10店を、後半ではデートや接待にぴったりなオシャレなお店10軒をご紹介します。 みなとみらいで特別な時間を過ごすための参考として頂けると幸いです！ コスパよくガッツリ食べたい10店！ やきとり たる平（和食・唐揚げ） をどり（和食・唐揚げ） さかえや（和食・親子丼） 味奈登庵（そば） 中華彩園（中華・担々麺） 天府城（中華） 餃子の王様 龍吟（中華・餃子） 甍(い
Cirkoban: Sokoban meets cellular automata written in Scheme -- Spritely Institute
Last week, we released a small puzzle game called Cirkoban. Cirkoban is the very first publicly accessible application developed by Spritely that features the Goblins distributed programming library running in web browsers. We bet big on Hoot, our Scheme-to-WebAssembly compiler, a little over a year ago in order to bring Goblins to the web. That bet is starting to pay off! In this post, we’ll talk
On April 5th, xkcd released Machine, the 15th annual April Fools project I’ve made with them. It’s a game we’d been dreaming of for years: a giant rube goldberg machine builder in the style of the classic Incredible Machine games, made of a patchwork of machines created by individual xkcd readers. For more details, check out Explain xkcd’s wonderful writeup. This is the story of how we built Machi
Val, a high-level systems programming language | Hacker News
I might actually be more excited about Val as a C++ successor than I am about Herb Sutter's excellent CppFront... Admittedly, all I know about it is from the two presentations below. But, from what I can tell...Statically compiled. Statically typed. Interops with C++. Memory safe. Typesafe. Data-race-free. The elevator pitch I give when describing it goes like this: Imagine you were starting a new
Vision Pro Teardown—Why Those Fake Eyes Look So Weird | iFixit News
The strangest thing about the Vision Pro is also the thing that makes it most uniquely Apple: it’s got a big shiny bubble glass front, which makes it stand out from the aluminum- and plastic-shrouded competition, even when it’s off. And when it’s on, it’s even stranger—instead of being fully transparent, behind the glass, an odd lenticular screen displays a 3D-ish video of the user’s eyes, emulati
Interview: Kenta Cho (Japanese indie game developer) ⌘I Get Info
Kenta Cho is a Japanese indie game developer, who has been active since the 1980s. He became well-known in the West in the early 2000s with a series of bullet hell shoot-em-ups. In 2021 he created a total 139 games, which is one hell of a lockdown project. In early 2024 his game Paku Paku went viral, as “1D Pac-Man”, a year after it was made. I reached out to him with some questions and he was gra
前回の記事では、四半期報告書廃止に関する概要について詳しく解説いたしました。 www.mitsuo-runblog.com 第1・第3四半期報告書が四半期決算短信に一本化されることにより、事務負担が軽減されるというメリットがある一方で、廃止によるデメリットも存在していると思われます。 今回の記事では、経理部に所属する私が、実際に四半期報告書が廃止されることによって生じるであろうメリット・デメリットについて考察していきたいと思います。2024年4月からの施工の前に心構えしておきましょう！ 四半期報告書廃止によるメリット 四半期報告書を作っていた時間を削減できる 四半期報告書の社内承認手続き削減できる 監査法人のレビューが無くなってハードルが下がる より重要な開示に時間をかけることができる 四半期報告書廃止によるデメリット 担当部署の仕事が少なくなる、業務委託費が削減される 短信の開示時期が変
ご機嫌いかがですか メイもんです ５／２２ 姉と待ち合わせした遊歩道に.. 昨年 他界した母も、三女の妹が贈ったミニバラを愛し 大切に育てていたのでした すっかり 軽くなりました✨ 実家じまいのときに お世話になったリサイクル店に頼んで 長年使用してきた重い耐火金庫を (有料で) 引き取ってもらったのです^ ^ そこには 不動産関係の書類を 先月まで保管していましたが 持ち家も土地も手放したので こころまで 軽くなった氣がします ＊＊＊＊＊ 振り返ってみると たしか4〜５年ほど前から 「 重たい出来事 」や 「 実家と我が家の思い出のモノ 」と 真摯に向き合い 家族みなで “ 格闘” してきました その先へと やっと辿り着き こうして味わっている、 「 軽さ 」「 風通しの良さ 」・・ 疲れを癒やす ひとときは “ 天からのご褒美 ” に感じられます... ＊＊＊＊＊ ” 陰 “ から“
Undo and redo have been a staple operation of text editors probably since the first typo was ever made, yet there has not been a lot of innovation around refining the idea of what undo and redo could be. Let’s explore what I mean… On The Subject of Undo Undo In order to understand how to change undo we first need to understand what the fundamental operation of ‘undo’ is supposed to do. I have alwa
拡張モニタリングを使用した柔軟な解像度の Amazon RDS OS メトリクスのリアルタイムモニタリング | Amazon Web Services
Amazon Web Services ブログ 拡張モニタリングを使用した柔軟な解像度の Amazon RDS OS メトリクスのリアルタイムモニタリング Amazon Relational Database Service (Amazon RDS) では、オペレーティングシステムのリアルタイムメトリクスにアクセスできるようにすることで、RDS のリソースをさまざまなプロセスやスレッドがどのように使用しているかを監視できます。Amazon RDS コンソールで、インスタンスごとに監視したいメトリクスを管理できます。Amazon CloudWatch は AWS のネイティブモニタリングツールです。すべての AWS サービスとワークロードの主要な監視ツールとして、お客様に広く使用されています。 しかし、RDS には、CloudWatch と組み合わせて使用できる拡張モニタリングと呼ばれるアド
Listen to “Uh Huh": https://symphony.to/tinashe/bbang3l Subscribe to Tinashe's Channel: https://www.youtube.com/@tinashenow Buy tickets to Tinashe's shows: https://www.tinashenow.com/live Follow Tinashe Insta: https://www.instagram.com/tinashenow/ TikTok: https://www.tiktok.com/@tinashe X: https://x.com/tinashe Full Visualizer Credits: Tinashe “Uh Huh” Director: Sammy Rawal Label
I needed a bit of a break from “real work” recently, so I started a new programming project that was low-stakes and purely recreational. On April 21st, I set out to see how much of a Unix-like operating system for x86_64 targets that I could put together in about a month. The result is Bunnix. Not including days I didn’t work on Bunnix for one reason or another, I spent 27 days on this project. He
Flipping Pages: An analysis of a new Linux vulnerability in nf_tables and hardened exploitation techniques
This blogpost is the next instalment of my series of hands-on no-boilerplate vulnerability research blogposts, intended for time-travellers in the future who want to do Linux kernel vulnerability research. Specifically, I hope beginners will learn from my VR workflow and the seasoned researchers will learn from my techniques. In this blogpost, I'm discussing a bug I found in nf_tables in the Linux
May 22, 2024 In response to a recent Boats article, I mentioned that Rust’s type system drastically changes things for verification. This comment seems to have aroused a lot of interest, so I figured I’d expand on it, explaining how Rust simplifies formal verification and why this had the verification community excited for a while now. I assume that most of you reading this post won’t be experts i
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
devenv 1.0: Rewrite in Rust - devenv
新しい住まいで 新習慣☆彡 - うたと からだと わたし
Inside Bluesky’s Engineering Culture
What's that touchscreen in my room?
ともによいプロダクトを突き詰めるために。エンジニアが考える、良いPMとは？ ｜LINE PM note
4 billion if statements
Fuyu-8B: A Multimodal Architecture for AI Agents
最近のこと（2023/7/14～7/20) - 青春ゾンビ
Databases in 2023: A Year in Review | OtterTune
台湾高雄富邦マラソン2023への道！②台湾旅行の予定！【体験記】 - 走り出した足が止まらない！
Implementing interactive languages
Reclaiming the Web with a Personal Reader
2022年、春の富山旅行① - Circulation - Camera
How I learned Vulkan and wrote a small game engine with it
Development notes from xkcd's "Machine"
四半期報告書の廃止によって生じるメリット・デメリットを経理部主観で考察！ - 走り出した足が止まらない！
軽くなる。。／ 言葉を求めて - うたと からだと わたし
Text Editor Data Structures: Rethinking Undo
Tinashe - Uh Huh (Official Video)
Writing a Unix clone in about a month
xavxav - Visions of the future: formal verification in Rust