並び順

ブックマーク数

期間指定

  • から
  • まで

1 - 40 件 / 316件

新着順 人気順

Totalの検索結果1 - 40 件 / 316件

  • 新Linuxカーネル解読室 - ソケットインターフェース(データ構造と概要編) - VA Linux エンジニアブログ

    「Linuxカーネル2.6解読室」(以降、旧版)出版後、Linuxには多くの機能が追加され、エンタープライズ領域をはじめとする様々な場所で使われるようになりました。 それに伴いコードが肥大かつ複雑化し、多くのエンジニアにとって解読不能なブラックボックスとなっています。 世界中のトップエンジニア達の傑作であるLinuxカーネルにメスを入れ、ブラックボックスをこじ開けて、時に好奇心の赴くままにカーネルの世界を解読する「新Linuxカーネル解読室」プロジェクト。 本稿では、旧版第21章で解説されていたソケットインターフェースについて、カーネルv6.8のコードをベースに主にデータ構造を中心に解説します。 はじめに ソケットの実体と概要 ソケット操作関数の実装 ファイル操作関数によるソケット操作の実装 次回予告: ソケット生成編 執筆者 : 須田 哲志、稲葉 貴昭 ※ 「新Linuxカーネル解読室」

      新Linuxカーネル解読室 - ソケットインターフェース(データ構造と概要編) - VA Linux エンジニアブログ
    • Google AI Studioを使ってみる

      こんにちわ。 GMO NIKKOのT.Mです。 Google AI Studioとは Google AI Studioは、GoogleのAIモデルであるGeminiを使ってプロンプトの検証やモデルのチューニングなどが行える開発ツールです。Gemini APIのAPIキーの取得もできます。 Google AI Studioの始め方 Googleアカウントがあれば始められます。 企業などでGoogle Workspaceを使っている場合は、「早期アクセスアプリ」を有効にする必要がありました。システム管理者に相談してみましょう。 Google AI Studioの起動 Google AI Studioの公式ページから「Google AI Studioにログイン」ボタンを押せば、画面が開きます。 ログインするとGoogle AI Studioが開きます。 クイックスタート クイックスタートのドキュ

        Google AI Studioを使ってみる
      • コンテナランタイムを自作した - zebian.log

        コンテナの仕組みを勉強したかったため、Goでコンテナランタイムを自作した。雑実装だし未実装の機能もたくさんあるが、ある程度形になってきたため現状をまとめる。 リポジトリ github.com kombu/dashi - 自作コンテナランタイム kombu/nimono - eBPFを利用したシステムコールロガー kombu/yaminabe - dashiとnimonoを利用したマルウェアサンドボックス プロジェクト名から和の雰囲気を感じるが、これはリポジトリ名をkombu(昆布)にしたかったため、せっかくなら今回は和風で固めようと思ったから。趣があっていいんじゃないでしょうか。 dashiが自作コンテナランタイムだが、nimonoとyaminabeは実験的な要素で、セキュキャン2023でコンテナを使ったマルウェアサンドボックスを実装した経験があり、今回はその再実装を自作コンテナランタイム

          コンテナランタイムを自作した - zebian.log
        • 大規模サービスのローンチに向け、パフォーマンスチューニングした話 #go #aws

          背景 こんにちは!Hanoi Dev Centerでバックエンドエンジニアをしているminhquangです。この記事では、私がAI事業本部のある新規プロダクト開発に参画した際に経験したパフォーマンスチューニングについて話したいと思います。 皆さんはサービスのローンチ(サービスを世の中に初めて出すリリース)をやったことがありますか。サービスローンチするときに、リクエストのスパイクや、ユーザー数の増加によるサーバー負荷増加など、様々な未知な課題が存在します。 私のチームでは数百万人の利用が見込まれるサービスにおいて、18000RPSを実現するべく負荷試験とパフォーマンスチューニングを実施しました。 本記事では、上記のサービス要件を満たすために私たちが取り組んだ負荷試験やパフォーマンスチューニングについて説明しつつ、これらの経験から得られた学びを共有したいと思います。 前提 技術スタック サーバ

            大規模サービスのローンチに向け、パフォーマンスチューニングした話 #go #aws
          • とあるプロダクトのエンジニアチームにKRとしてコード変更行数の変動係数を導入して強いチームを目指した話 - カミナシ エンジニアブログ

            はじめに こんにちは!社内の「エンジニアブログの更新を絶やさない会」の方から圧を激を貰っている Keeth こと桑原です!現在はEngineering Manager の見習いをしております. 私が所属しているサービスの開発運用に携わるチーム(Eng + PM + PD で構成。以下「サービスチーム」)では,OKR(目標と成果指標)を設定して取り組んでいます.本記事では, KR に盛り込んだ「変動係数」というあまり聞き慣れない指標を導入してみた感想や,その運用方法について振り返りたいと思います.他のエンジニアチームの運用の参考になれば幸いです. ※だいぶ文字文字しい記事になっています どのような KR をたてたのか? 前クォーターでは,サービスチームにおけるエンジニアリングの KR を定め,定期的に振り返りながら達成を目指していました.KRの内容は以下の通りです. 6月末のコード変更差分の

              とあるプロダクトのエンジニアチームにKRとしてコード変更行数の変動係数を導入して強いチームを目指した話 - カミナシ エンジニアブログ
            • MicroMac, a Macintosh for under £5

              A microcontroller Macintosh This all started from a conversation about the RP2040 MCU, and building a simple desktop/GUI for it. I’d made a comment along the lines of “or, just run some old OS”, and it got me thinking about the original Macintosh. The original Macintosh was released 40.5 years before this post, and is a pretty cool machine especially considering that the hardware is very simple. I

              • Beating the compiler

                In modern times, everyone knows that writing assembly is a fool's errand: compilers are the result of literal engineer-centuries of work, and they know the processor much better than you do. And yet – one hears rumors. Written in ancient tomes, muttered in quiet watering holes, scrawled on the walls of bygone temples, hinted at by mysterious texts; the rumors paint a specific picture: Compilers ar

                • Cloudflare 1.1.1.1 incident on June 27, 2024

                  IntroductionOn June 27, 2024, a small number of users globally may have noticed that 1.1.1.1 was unreachable or degraded. The root cause was a mix of BGP (Border Gateway Protocol) hijacking and a route leak. Cloudflare was an early adopter of Resource Public Key Infrastructure (RPKI) for route origin validation (ROV). With RPKI, IP prefix owners can store and share ownership information securely,

                    Cloudflare 1.1.1.1 incident on June 27, 2024
                  • 3大クラウド×日米両リージョンでハニーポットを動かしてみる【後編】 | gihyo.jp

                    前編の振りかえり 前編ではOSSのハニーポットであるT-PotをAWS、Azure、Google Cloudの3大クラウドサービスの日米両リージョンにデプロイしました。後編となる本記事ではT-Potを24時間程動かした結果をご紹介していきます。 T-Potの実行結果について 各クラウドサービスの日米両リージョンで収集したデータをT-Potのダッシュボードに表示した様子のスクリーンショットを以下に掲載します。なお表示期間はデータ収集を行った2024年6月12日17時から翌日の2024年6月13日17時までの24時間に揃えています。 24時間という比較的短時間かつ各リージョンで1インスタンスのみでしかデータ収集していないため統計学的な考察というよりは一参考情報としてお読み頂けますと幸いです。 図1 AWS東京リージョン(ap-northeast-1) 図2 AWS米国東部リージョン(us-ea

                      3大クラウド×日米両リージョンでハニーポットを動かしてみる【後編】 | gihyo.jp
                    • Cloudflare Zaraz adds support for server-side rendering of X and Instagram embeds

                      Cloudflare Zaraz adds support for server-side rendering of X and Instagram embeds07/10/2024 We are thrilled to announce Cloudflare Zaraz support of server-side rendering of embeds, featuring two Managed Components: X and Instagram. You can now use Cloudflare Zaraz to effortlessly embed posts from X or Instagram on your website in a performant, privacy-preserving, and secure way. Many traditional t

                        Cloudflare Zaraz adds support for server-side rendering of X and Instagram embeds
                      • Duo euthanasia: Why a happily married couple decided to die together

                        Jan and Els were married for almost five decades. In early June, they died together after being given lethal medication by two doctors. In the Netherlands, this is known as duo-euthanasia. It’s legal, and it’s rare - but every year, more Dutch couples choose to end their lives this way. Three days before they voluntarily take their last breath, Jan and Els’ campervan sits on a sunlit marina in Fri

                          Duo euthanasia: Why a happily married couple decided to die together
                        • Why are Japanese developers not undergoing mass layoffs?

                          Why are Japanese developers not undergoing mass layoffs? After Microsoft shut down Tango Gameworks, we look at the reasons why Japan has otherwise been sheltered (but not immune) to many of the layoffs and trends seen further afield On 14th June, Tango Gameworks employees had a pizza party. It was the studio's final day following the announcement of Microsoft's decision to close the studio behind

                            Why are Japanese developers not undergoing mass layoffs?
                          • Claude の Projects にライブラリのリファレンスを丸ごと入れてみる - Qiita

                            概要 Anthropic 社の生成 AI サービスである Claude から Projects という機能が新しく公開されました。今回は、この Projects に特定のライブラリのリファレンスをコンテキストとして入れ、そのリファレンスをもとにこちらの質問に回答できるのかを試してみます。 モチベーション 多くの IT エンジニアがコーディング作業で ChatGPT や Claude , Gemini などの生成 AI を活用しているかと思いますが、 新しくリリースされたライブラリやリポジトリを利用する場合、生成 AI に質問をしても適切に回答してくれないことが多いです。また、活発に開発が行われているライブラリの場合、生成 AI に質問をしても回答内容が最新のものではないということも多々起こります。 このような場合に、新機能である Projects にライブラリのリファレンスの情報を与え、質

                              Claude の Projects にライブラリのリファレンスを丸ごと入れてみる - Qiita
                            • CloudFront Hosting Toolkitを使って静的Webサイト環境を作ってみた | DevelopersIO

                              手間をかけずにCloudFrontを使った静的Webサイトを作りたい こんにちは、のんピ(@non____97)です。 皆さんは手間をかけずにCloudFrontを使った静的Webサイトを作りたいなと思ったことはありますか? 私はあります。 過去にAWS CDKを使ってこの思いを実現したことがありますが、一からAWS CDKを作り込むのはなかなか大変でした。 そんな苦労はCloudFront Hosting Toolkitを使用すると少し解消されるかもしれません。 CloudFront Hosting ToolkitはCLIまたはAWS CDKでフロントエンドのホスティングとCI/CDパイプラインを用意するツールです。 今だとAmplifyを使えば良いのではないか? という声も聞こえてきますが、細かいカスタマイズを行いたい場合にCloudFront周りを直接操作したい場合があります。そうい

                                CloudFront Hosting Toolkitを使って静的Webサイト環境を作ってみた | DevelopersIO
                              • Googleの新ガイドライン対応だけで終わらせない:5分で構築する自前のレポート分析ツールでDMARCを正しく運用 - asoview! Tech Blog

                                アソビュー株式会社VPoEの @tkyshat です。 はじめに この記事は、以下の方々を対象にしています: メールのセキュリティについてかいつまんで知りたい方 DMARCをまだ設定できていない方 DMARCの設定はしたもののポリシーがnoneのままの方 DMARCの設定はしているがレポートをうまく活用できていない方 すでにDMARCの設定が完了し、レポートのモニタリングもできており、BIMI認証まで完了している方には物足りないかもしれません。 ブログの中で簡易的なものではありますが、5分でできるレポート分析ツールの構築方法も紹介しておりますので、ぜひ参考にしていただければと思います。 背景と目的 Googleが2023年10月に発表したGmailの新ガイドラインは、5000件以上のメールを送信する企業に対する要求が強化され、2024年2月以降にガイドラインに従っていないメールは配信されな

                                  Googleの新ガイドライン対応だけで終わらせない:5分で構築する自前のレポート分析ツールでDMARCを正しく運用 - asoview! Tech Blog
                                • black suit details

                                  http://weg7sdx54bevnvulapqu6bpzwztryeflq3s23tegbmnhkbpqz637f2yd.onion Our team gained access to the Kadokawa network almost a month ago. It took some time, because of the language, to figure out that Kadokawa subsidiaries' networks were connected to each other and to get through all the mess Kadokawa's IT department made there. We have discovered that Kadokawa networks architecture was not organis

                                  • Side effects of Abenomics - モノシリンの3分でまとめるモノシリ話

                                    The yen is depreciating rapidly. Looking at the real effective exchange rate index, which shows the true strength of the currency, it was 68.65 in May 2024. This figure has been published since 1970, and it is the lowest value in history. 円安が急激に進行している。通貨の真の実力を示す実質実効為替レート指数を見ると、2024年5月は68.65である。この数字は1970年分から公開されているが、その中で史上最低値となっている。 Data Source The current real value of the yen is lower than it was

                                      Side effects of Abenomics - モノシリンの3分でまとめるモノシリ話
                                    • Gemini Advancedでデータ分析をやってみた - GMOインターネットグループ グループ研究開発本部

                                      TL;DR Geminiの有料プランGemini Advancedでは、5/14から100万トークンもの入力に対応したGemini 1.5 Proを提供開始、更に5/21からスプレッドシートをアップロードしてのデータ分析や可視化が可能になりました。これはPythonのコードを生成して実行するする機能です。 データ分析の性能としてはGemini AdvancedはChatGPT-4oとほぼ同等の性能でどんぐりの背比べ甲乙が付け難いです。Geminiの場合、Google Sheetsなどと連携でき、データの取り込みやエクスポートが容易です。一方のChatGPTは、可視化したグラフがより見やすい印象です。 しかし、Gemini AdvancedもChatGPT-4oも指示が曖昧では適切な集計ができないなど、データサイエンティストの視点から見ると、生成AIに任せきりでは不安な点が多く見受けられます

                                        Gemini Advancedでデータ分析をやってみた - GMOインターネットグループ グループ研究開発本部
                                      • Rails: Kamalデプロイツールはゲームチェンジャーになるか?(翻訳)|TechRacho by BPS株式会社

                                        概要 元サイトの許諾を得て翻訳・公開いたします。 英語記事: Kamal: hot deployment tool to watch—or a total game changer?—Martian Chronicles, Evil Martians’ team blog 原文初版公開日: 2023/04/25 原文更新日: 2024/04/02 原著者: Kirill Kuznetsov(SRE筆頭)、Travis Turner(技術編集者) サイト: Evil Martians -- ニューヨークやロシアを中心に拠点を構えるRuby on Rails開発会社です。良質のブログ記事を多数公開し、多くのgemのスポンサーでもあります。 日本語ブログ: 合同会社イービルマーシャンズ - Qiita 日本語タイトルは内容に即したものにしました。 なお、KamalはRails 8からデフォルトの

                                          Rails: Kamalデプロイツールはゲームチェンジャーになるか?(翻訳)|TechRacho by BPS株式会社
                                        • Announcing updates to the AWS Well-Architected Framework guidance | Amazon Web Services

                                          AWS Architecture Blog Announcing updates to the AWS Well-Architected Framework guidance We are excited to announce the availability of an enhanced AWS Well-Architected Framework. In this update, you’ll find expanded guidance across all six pillars of the Framework: Operational Excellence, Security, Reliability, Performance Efficiency, Cost Optimization, and Sustainability. In this release, we upda

                                            Announcing updates to the AWS Well-Architected Framework guidance | Amazon Web Services
                                          • 6月末の総資産は、こんな感じ~

                                            みなさま こんばんは 投資郎です。 今日も、株式市場はお休み~ って事で姉妹ブログとほぼほぼ同じ記事を載せておきます。 今日は、6月末時点の総資産残高を集計しましたので、記事にしてみたいと思います。 その前に、5月はこんな感じでしたっけ。⇒5月末総資産 現金:約113万円   日本株・ベトナム株・米国株・投資信託の資産総額:約3,378万円 年金を除いた資産は、合計:約3,491万円 でした。 2022年11月で、大損ぶっこいたFXを損切りして撤退しました。 では、6月末はどうなったか見てみましょう。 資産管理は、マネーフォワード for 住信SBIネット銀行を使用しております。 現金:約95万円 投資総額:約3,476万円 合計:約3,571万円 iDeCoを含めると~ 約6,891万円 資産集計を、おかねのコンパスからマネーフォワードに切り替えてから、時系列で増減のグラフを見ることが出

                                              6月末の総資産は、こんな感じ~
                                            • CloudShell VPC environment から VPC内のEC2インスタンスやRDS DBインスタンスに接続してみた | DevelopersIO

                                              CloudShell VPC environment から VPC内のEC2インスタンスやRDS DBインスタンスに接続してみた もっと簡単にVPC内のリソースにアクセスしたい こんにちは、のんピ(@non____97)です。 皆さんはもっと簡単にVPC内のリソースにアクセスしたいと思ったことはありますか? 私はあります。 VPC上のRDS DBインスタンスやRedisクラスターなどのリソースに接続したい場合、Site-to-Site VPNやClient VPN、Direct Connectがなければ踏み台が必要になります。 踏み台へのアクセス方法は以下のようなものがあります。 直接SSH SSMセッションマネージャー EC2 Instance Connect SSMセッションマネージャーとEC2 Instance Connectについては以下記事をご覧ください。 しかし、上述のいずれの

                                                CloudShell VPC environment から VPC内のEC2インスタンスやRDS DBインスタンスに接続してみた | DevelopersIO
                                              • Man raped university student multiple times, recorded and shared footage of assault in 'brutal and cruel' case

                                                SINGAPORE: A hairstylist who came across an intoxicated university student in Clarke Quay in 2019 took her home, where he committed multiple acts of rape against her in a case the judge called "brutal and cruel". Kita Ikko, a 38-year-old Japanese national, filmed the sexual assault and sent the footage to a friend. The victim, who was 20 at the time, continues to grapple with post-traumatic stress

                                                  Man raped university student multiple times, recorded and shared footage of assault in 'brutal and cruel' case
                                                • Introducing Lamini Memory Tuning: 95% LLM Accuracy, 10x Fewer Hallucinations | Lamini - Enterprise LLM Platform

                                                  Introducing Lamini Memory Tuning: 95% LLM Accuracy, 10x Fewer Hallucinations TLDR:Lamini Memory Tuning is a new way to embed facts into LLMs that improves factual accuracy and reduces hallucinations to previously unachievable levels — for one Fortune 500 customer, Lamini Memory Tuning led to 95% accuracy compared to 50% with other approaches. Hallucinations were reduced from 50% to 5%.Lamini Memor

                                                    Introducing Lamini Memory Tuning: 95% LLM Accuracy, 10x Fewer Hallucinations | Lamini - Enterprise LLM Platform
                                                  • Webサイトのパフォーマンスを簡単に確認する方法 - Qiita

                                                    エンジニアのみなさま、日々の学習本当にお疲れ様です! また本記事まで足を運んでいただき本当に感謝です。 約2分程度で読めるので最後まで読んでもらえると幸いです。 タイトルに対する結論 Chrome DevToolsの項目にある 「Lighthouse」 を活用しましょう。 Lighthouseとは ウェブページの品質向上に役立つよう開発されたオープンソースの自動化ツールです。任意のウェブページ、公開ページ、認証要求ページに対して実行できます。パフォーマンス、ユーザー補助、プログレッシブ ウェブアプリ、SEO などの監査を実施しています。 デジタル庁のサイトを使って確認してみる テキストだとイメージしづらいため、早速サイトを見ながら確認してみましょう。 確認手順 1. 対象サイトを開いた状態で「Chrome DevTools」を開く 画面上に「Chrome DevTools」が表示されます

                                                      Webサイトのパフォーマンスを簡単に確認する方法 - Qiita
                                                    • ファクトネタ:世界の小売業売上トップ10 - Be financial freedom. 経済的自由の探求

                                                      こんにちは、株もっちーです。 月曜日は、VISUAL CAPITALISTなどから、気になるファクト・事実・データの話題を取り上げてみます。 世界の小売業売上トップ をビジュアル化 気づいたこと 行動したこと AI(ChatGPT4)との雑談 質問 回答 シュヴァルツ・グループ レーヴェ 引用元|VISUAL CAPITALIST The World’s Top Retail Companies, by Domestic Revenue まとめ ランキング・宣伝など 世界の小売業売上トップ をビジュアル化 気づいたこと 店舗数は以下の記事で取り上げました。 kabu-motty.hatenablog.com こちらは売上です。資本主義世界での順位としては、こちらのほうが重要でしょうか。 こちらがトップ10の企業たちです。 Ranking Retailer Japanese Name Dom

                                                        ファクトネタ:世界の小売業売上トップ10 - Be financial freedom. 経済的自由の探求
                                                      • Flaxを使用したRecurrentGemma2Bグリフィンモデルのファインチューニングチュートリアル(Kaggle、GoogleColabノート付) - Sun wood AI labs.2

                                                        セットアップ まずは必要なライブラリをインストールし、環境を整えていきます。 !pip list --format=freeze > requirements.kaggle.txt !pip list pip listコマンドでインストール済みのライブラリを一覧表示し、requirements.kaggle.txtファイルに出力しています。これは現在の環境を再現するために必要な情報です。 次に、RecurrentGemmaライブラリをインストールします。このライブラリはグリフィンモデルを扱うために必要です。 !pip install git+https://github.com/google-deepmind/recurrentgemma.git これでRecurrentGemmaがインストールできました。続いて、必要なライブラリをインポートしていきます。 import pathlib f

                                                        • hangout_services/thunk.js

                                                          hangout_services/thunk.js (via) It turns out Google Chrome (via Chromium) includes a default extension which makes extra services available to code running on the *.google.com domains - tweeted about today by Luca Casonato, but the code has been there in the public repo since October 2013 as far as I can tell. It looks like it's a way to let Google Hangouts (or presumably its modern predecessors)

                                                          • IPC in Rust - a Ping Pong Comparison

                                                            I wanted to explore different ways of communicating between different processes executing on the same machine, and doing so as fast as possible. We're focussing on high speed inter-process communication (IPC), but some of these approaches can be extended across a network. We'll do this exploration in Rust. A reminder that since these are independent processes, most approaches you'd take within-pro

                                                            • Introducing the MDN HTTP Observatory | MDN Blog

                                                              In its lifespan, Mozilla's HTTP Observatory tool has scanned over 6.9 million websites, providing useful, actionable insights into how developers can improve web security and guard their sites against would-be attackers. The HTTP Observatory tests website compliance with security best practices, mainly concerning the correct usage of HTTP headers. When a scan is complete, it provides a report to t

                                                                Introducing the MDN HTTP Observatory | MDN Blog
                                                              • 【前月比+80万円!】6月末の資産総額

                                                                みなさま こんばんは 今日は、6月末時点の総資産残高を集計しましたので、記事にしてみたいと思います。 その前に、5月はこんな感じでしたっけ。⇒5月末総資産 現金:約113万円   日本株・ベトナム株・米国株・投資信託の資産総額:約3,378万円 年金を除いた資産は、合計:約3,491万円 でした。 2022年11月で、大損ぶっこいたFXを損切りして撤退しました。 では、6月末はどうなったか見てみましょう。 資産管理は、マネーフォワード for 住信SBIネット銀行を使用しております。 現金:約95万円 投資総額:約3,476万円 合計:約3,571万円 iDeCoを含めると~ 約6,891万円 資産集計を、おかねのコンパスからマネーフォワードに切り替えてから、時系列で増減のグラフを見ることが出来るようになりました。 うぅ~~ん 分かりにくい。 なんとなく現金が減ってるように見えます。 現金

                                                                  【前月比+80万円!】6月末の資産総額
                                                                • Amazon Lexの分析の各機能の解説と活用方法を紹介 | DevelopersIO

                                                                  はじめに Amazon Lexは、音声やテキストを用いてアプリケーションの会話型インターフェースを構築するためのAWSサービスです。 ボットの性能を継続的に向上させるためには、その動作を詳細に分析し、改善点を特定する必要があります。 本記事では、Amazon Lexの分析機能について詳しく解説し、その活用方法を紹介します。 Lexの分析機能は、ボットのパフォーマンスを評価し、改善するための機能です。主に以下の3つのダッシュボードで構成されています。 会話ダッシュボード パフォーマンスダッシュボード 概要(Overview) これらのダッシュボードを活用することで、以下のような分析が可能になります ボットと顧客とのやり取りの成功率と失敗率の測定 会話の流れのパターンの視覚化 インテント、スロット、発話、会話に関する問題の特定 これらの指標は直感的なグラフやチャートで視覚化されており、効率的な

                                                                    Amazon Lexの分析の各機能の解説と活用方法を紹介 | DevelopersIO
                                                                  • Code Reviews Do Find Bugs

                                                                    There’s some 2015 research out of Microsoft titled Code Reviews Do Not Find Bugs11 Code Reviews Do Not Find Bugs; How the Current Code Review Best Practice Slows Us Down; Czerwonka, Greiler, Tilford; IEEE International Conference on Software Engineering; 2015. which seems strangely named because reviewers do find bugs. Here’s what the authors say: Contrary to the often stated primary goal of code

                                                                    • Understanding Amazon Aurora MySQL storage space utilization | Amazon Web Services

                                                                      AWS Database Blog Understanding Amazon Aurora MySQL storage space utilization Amazon Aurora is a fully managed relational database service designed to provide the performance, scalability, and availability of high-end commercial databases while offering the simplicity and cost-effectiveness of open-source databases. Amazon Aurora MySQL-Compatible Edition is wire-compatible with MySQL making it an

                                                                        Understanding Amazon Aurora MySQL storage space utilization | Amazon Web Services
                                                                      • The sad state of property-based testing libraries

                                                                        The sad state of property-based testing libraries Posted on Jul 2, 2024 Property-based testing is a rare example of academic research that has made it to the mainstream in less than 30 years. Under the slogan “don’t write tests, generate them” property-based testing has gained support from a diverse group of programming language communities. In fact, the Wikipedia page of the original property-bas

                                                                        • 劇場アニメ『ベルサイユのばら』特報第二弾/2025年新春公開

                                                                          これは、フランス革命という激動の時代の中で、それぞれの人生を懸命に生き抜いた「愛と運命の物語」 ■HP:https://verbara-movie.jp/ ■X:https://x.com/verbara_movie/ ■Instagram:https://www.instagram.com/verbara_movie/ ■YouTube:https://www.youtube.com/@verbara-movie/ 【作品情報】 ■作品名:劇場アニメ『ベルサイユのばら』 ■公開:2025年新春 ■原作:池田理代子 ■STAFF: 監督:吉村 愛 脚本:金春智子 キャラクターデザイン:岡 真里子 音楽プロデューサー:澤野弘之 音楽:澤野弘之、KOHTA YAMAMOTO アニメーション制作:MAPPA 製作:劇場アニメベルサイユのばら製作委員会 配給:TOHO NEXT、エイベックス・

                                                                            劇場アニメ『ベルサイユのばら』特報第二弾/2025年新春公開
                                                                          • The History of DR DOS

                                                                            Digital Research Inc had been founded to sell CP/M in 1976 by Gary and Dorothy Kildall. The operating system quickly became the defacto for any computer built around either the Intel 8080 or Intel Z80 microprocessors, and it even became popular on the Apple II through the Microsoft SoftCard. With the transition to sixteen bit microprocessors over the first years of the 1980s, Kathryn Strutynski le

                                                                              The History of DR DOS
                                                                            • Bolivian police arrest leader of apparent coup attempt

                                                                              By Will Grant, Kathryn Armstrong & Ido Vock, BBC News Bolivian police have arrested the leader of an apparent attempted coup, hours after the presidential palace in La Paz was stormed by soldiers. Hundreds of troops and armoured vehicles had taken up position on Murillo Square where key government buildings are located. One armoured vehicle attempted to smash down the entrance to the presidential

                                                                                Bolivian police arrest leader of apparent coup attempt
                                                                              • The New Free to Be Might Make You Long for the Seventies - Fairer Disputations

                                                                                Free to Be…You and Me is a wildly successful 1972 album, with a 1974 companion book and TV special, conceived by the actress Marlo Thomas. The book, Thomas wrote in the Foreword, has “stories and poems and songs that would help boys and girls feel free to be who they are and who they want to be.” Even if you weren’t around in the 1970s, you can guess the message, delivered at the high watermark of

                                                                                  The New Free to Be Might Make You Long for the Seventies - Fairer Disputations
                                                                                • Anthropic Claude 3.5 Sonnet ranks number 1 for business and finance in S&P AI Benchmarks by Kensho | Amazon Web Services

                                                                                  AWS Machine Learning Blog Anthropic Claude 3.5 Sonnet ranks number 1 for business and finance in S&P AI Benchmarks by Kensho Anthropic Claude 3.5 Sonnet currently ranks at the top of S&P AI Benchmarks by Kensho, which assesses large language models (LLMs) for finance and business. Kensho is the AI Innovation Hub for S&P Global. Using Amazon Bedrock, Kensho was able to quickly run Anthropic Claude

                                                                                    Anthropic Claude 3.5 Sonnet ranks number 1 for business and finance in S&P AI Benchmarks by Kensho | Amazon Web Services