はじめに こんにちは、ダイニーの ogino です。 TypeScript のコンパイラは今まで TypeScript で実装（セルフホスト）されていました。 それが TypeScript 7.0 から、Go による実装に移植され、10 倍高速になります。 本記事は、移植に関して筆者が疑問に感じた点を、GitHub discussion や TypeScript lead architect のインタビュー動画などから調べてまとめたものです。 移行の背景 今回 Go に移植される背景は、大規模な TypeScript コードベースをコンパイルする際のスピードの遅さにあります。 例えば VSCode のコードベース (150 万行) に対して tsc を実行すると、約 80 秒もかかります。 TypeScript のコンパイルは大きく以下の段階に分けられ、その内の check が特に複雑で重

ターミナル向けに色付きの文字を format する関数を実装してて、そのテストを Vitest で書こうとしていた。 // src/format.ts function red(text: string): string { // ... } export function formatError(message: string): string { if (process.stderr.hasColors()) { return red('error: ') + message; } else { return 'error: ' + message; } } // src/format.test.ts import { expect, test } from 'vitest'; import util from 'node:util'; import { formatError } f

This page describes Rocq version 9.0, released on March 12th, 2025. Go here for a list of all releases. This is the first release of Rocq, version 9. It marks the completion of the renaming from The Coq Proof Assistant to The Rocq Prover. Changes See the full changelog in the reference manual. Installation Instructions The base proof assistant can be installed as an opam switch with the following

When we started migrating our API services from TypeScript to Go, we were looking for an HTTP framework that would provide a clean developer experience, offer precise control over middleware execution, and integrate seamlessly with OpenAPI for our SDK generation. After evaluating the popular frameworks in the Go ecosystem, we found that none quite matched our specific requirements. So, we did what

Harden-Runner detection: tj-actions/changed-files action is compromised We are investigating a critical security incident involving the popular tj-actions/changed-files GitHub Action. We want to alert you immediately so that you can take prompt action. This post will be updated as new information becomes available. IntroductionWe are actively investigating a critical security incident involving th

At Re:Invent 2024, AWS announced EventBridge and Step Functions integration with private APIs. Thanks to this new feature, customers can now directly invoke APIs that are inside a private VPC from EventBridge (with API destinations), or Step Functions (HTTP Tasks). Before, users had to use Lambda functions inside the VPC as a proxy to their private APIs. In a previous post, I explained how to invo

お客さま各位 平素よりさくらインターネットに格別のご愛顧を賜り、誠にありがとうございます。 パブリッククラウド「さくらのクラウド」において、2025年2月に新たに13の機能を追加しました。 詳細は下記をご参照ください。 さくらインターネットでは、今後もよりよいサービスの提供が行えますよう、精一杯努めてまいります。引き続き変わらぬご愛顧を賜りますようお願い申し上げます。 「さくらのクラウド」の新規追加機能

While we’re not yet feature-complete, these numbers are representative of the order of magnitude performance improvement you’ll see checking most codebases. We’re incredibly excited about the opportunities that this massive speed boost creates. Features that once seemed out of reach are now within grasp. This native port will be able to provide instant, comprehensive error listings across an entir

@ kyoto.rb 2025/3/9

’73年富山の港町に生まれる。少年時代はおばあちゃんから1日50円のこづかいをもらっていた。（現在のこづかい額は月２万１千円）。大学は福祉系の学科を専攻。卒業後、テレビ番組制作会社に勤めるも１年ほどで退職。制作会社在職中、絵コンテの絵を褒められたことに背中をおされ、漫画家を志す。代表作に『ブラック・ジャック創作秘話～手塚治虫の仕事場から～』（原作／宮崎克）、『日本をゆっくり走ってみたよ～あの娘のために日本一周～』、『寂しいのはアンタだけじゃない』、『ルーザーズ～日本初の週刊青年漫画誌の誕生～』、『定額制夫の「こづかい万歳」～月額２万千円の金欠ライフ～』などがある。

Visualizing Your Data: Incorporating Mongo into Loggly Infrastructure

2024年12月8日に開催されたプログラミング競技大会ISUCON（イスコン）。14回目を数えた今回の作問を担当したのは、ポケットサインのエンジニアとして働く3人でした。東京工業大学（現・東京科学大学）デジタル創作同好会（traP）OBという仲の3人に、今だから話せる作問の裏話を聴きました。 （左からポケットサインの澤田=取締役CTO、岸本、大橋） ベンチマーカー作りに大重圧 ISUCONとは「いい感じにスピードアップコンテスト」の略であり、LINEヤフーが窓口となって運営。参加者は、動作が遅いサーバーとサーバーアプリケーションが与えられ、サーバーの挙動を基本的に変えない、ユーザーができる体験を変えないといったルールの下、制限時間内でスピードアップ度合いを競う。14回目となった今大会はポケットサインの澤田、岸本、大橋の3人が作問を担当した。 ・参考記事：2年連続ISUCON優勝の東工大トリ

1年6ヶ月勤めた前職を2025年2月末をもって退職し、2025年3月1日付けで SmartHR に入社しました！ 正式な職種名としては "プロダクトエンジニア" で、いわゆるソフトウェアエンジニア職になります。コードを書くこと自体は趣味や個人開発として続けてきてはいたものの、"職業ソフトウェアエンジニア" だったのは直近で2016年7月が最後だったので、実に8年8ヶ月・9年弱ぶりに戻ることになります。 ちなみに、この9年間、以下のように色々と肩書を変えつつ職務にあたってきましたが、 セールスエンジニア Customer Reliability Engineer カスタマーサクセスエンジニア / カスタマーサクセスマネージャー etc. ソリューションアーキテクト セールスエンジニアリングスペシャリスト いずれにも "カスタマーフェイシングな仕事" というのが共通項としてあるような業務がメイ

コードレビューにずっと苦手意識を持っていた。レビューは時間がかかるし、あまり気が乗らない。 がんばってやっても、うまくできたのかどうか自信が持てない。 もちろん、世にあるコードレビューに関する書籍や記事などはいくつも読んだ。 そこには、コードレビューをするときの観点や、コードレビューで望ましい言葉づかいなど、ためになることがたくさん書かれていた。 それでも、やはりコードレビューが苦手なことに変わりはなかった。 だけど最近ようやく、こうすればレビューをうまくこなせるのではないかという出口が、なんとなく見えはじめてきた。 この記事では、ぼくなりにたどり着いた、プルリクエストのレビューを上手に行うための心構え、つまりいかにしてレビューのつらみを減らすかについて書く。 目次 なぜコードレビューはつまらないのか われわれは、なんのためにコードレビューをするのか レビューのコスト レビューの観点 文化

第173回 PHP勉強会＠東京でのメイン発表枠の資料です https://phpstudy.connpass.com/event/344583/

フリーアナウンサーでタレントのみのもんたさんが亡くなりました。80歳でした。 家族や関係者によりますと、みのもんたさんはきょう未明に亡くなったということです。 みのもんたさんは今年1月16日の午後5時半ごろ、東京・港区の飲食店で食事をのどに詰まらせて、都内の病院に搬送されました。 その後、治療を受けていましたが、きょう未明、家族が見守る中、亡くなったということです。 みのもんたさんは去年、80歳の傘寿を迎えたばかり。5年ほど前にパーキンソン病と診断され、最近はテレビなどの仕事を控えていました。 東京都出身で、1967年に文化放送に入社し、ラジオのアナウンサーとして活躍。退社後もフリーアナウンサーとして活躍を続け、2006年には「1週間で最も多く生番組に出演する司会者」としてギネス世界記録に認定されました。 TBSでも、1993年から2009年にわたって「どうぶつ奇想天外！」、2005年から