GitHub - modelcontextprotocol/servers: Model Context Protocol Servers
Official integrations are maintained by companies building production ready MCP servers for their platforms. 21st.dev Magic - Create crafted UI components inspired by the best 21st.dev design engineers. 2slides - An MCP server that provides tools to convert content into slides/PPT/presentation or generate slides/PPT/presentation with user intention. ActionKit by Paragon - Connect to 130+ SaaS inte
Assessing Claude Mythos Preview’s cybersecurity capabilities April 7, 2026 Nicholas Carlini, Newton Cheng, Keane Lucas, Michael Moore, Milad Nasr, Vinay Prabhushankar, Winnie Xiao Hakeem Angulu, Evyatar Ben Asher, Jackie Bow, Keir Bradwell, Ben Buchanan, David Forsythe, Daniel Freeman, Alex Gaynor, Xinyang Ge, Logan Graham, Kyla Guru, Hasnain Lakhani, Matt McNiece, Mojtaba Mehrara, Renee Nichol, A
数十億レコードをゼロダウンタイム移行 ── SQL ServerからAurora MySQLへのデュアルデータベース戦略 - ZOZO TECH BLOG
はじめに こんにちは。商品基盤部・商品基盤2ブロックの小原です。私が所属するブロックではお気に入り機能のマイクロサービスを担当しています。 ZOZOTOWNではさらなる成長に向けて、さまざまなリプレイスプロジェクトが進行中です。本記事では、その中でもお気に入り機能のリプレイスについて紹介します。SQL ServerからAurora MySQLへ数十億レコードをゼロダウンタイムで移行するために設計したデュアルデータベース戦略を解説します。 こんな方に読んでもらいたい 段階的なマイクロサービス移行戦略を策定する担当者 ゼロダウンタイム移行の手法を探すアーキテクト Spring BootでマルチDataSourceを実装する開発者 数十億レコード規模の移行戦略に関心があるデータエンジニア オンプレミスからAWS移行でダウンタイム最小化に課題を抱えるチーム なぜデュアルデータベース構成を採用したの
Today we’re excited to announce the release of TypeScript 5.2! If you’re not familiar with TypeScript, it’s a language that builds on top of JavaScript by making it possible to declare and describe types. Writing types in our code allows us to explain intent and have other tools check our code to catch mistakes like typos, issues with null and undefined, and more. Types also power TypeScript’s edi
こんにちは、クレスウェア株式会社の奥野賢太郎 (@okunokentaro) です。本記事は『TypeScript 一人 Advent Calendar 2022』（TypeScript一人カレンダー） の目次と索引ページです。 本アドベントカレンダー内の各記事では、2022年12月、TypeScript 4.9の時点で解説しています。本アドベントカレンダーのすべての記事は、TypeScript初心者を脱し始めてもっと活用していきたいと願う読者層に向けていますので、最低限の前提は省略して記述しています。 目次 第1部 Conditional Types 1日目 ReturnType<T> Utility Types ReturnType<T> どんなときに便利？ 例1 例2 注意点 2日目 Awaited<T> Awaited<T> どんなときに便利？ 例1 例2 3日目 inferと実例
CUPID: for joyful coding
What started as lighthearted iconoclasm, poking at the bear of SOLID, has developed into something more concrete and tangible. If I do not think the SOLID principles are useful these days, then what would I replace them with? Can any set of principles hold for all software? What do we even mean by principles? I believe that there are properties or characteristics of software that make it a joy to
Today we’re excited to announce our Release Candidate of TypeScript 5.2! Between now and the stable release of TypeScript 5.2, we expect no further changes apart from critical bug fixes. To get started using the RC, you can get it through NuGet, or through npm with the following command: npm install -D typescript@rc Here’s a quick list of what’s new in TypeScript 5.2! using Declarations and Explic
Over the course of my Spring 2020 semester at Harvey Mudd College, I developed a self-hosting compiler entirely from scratch. This article walks through many interesting parts of the project. It’s laid out so you can just read from beginning to end, but if you’re more interested in a particular topic, feel free to jump there. Or, take a look at the project on GitHub. Table of contents What the pro
KDL is a small, pleasant document language with XML-like node semantics that looks like you're invoking a bunch of CLI commands! It's meant to be used both as a serialization format and a configuration language, much like JSON, YAML, or XML. It looks like this: package { name my-pkg version "1.2.3" dependencies { // Nodes can have standalone values as well as // key/value pairs. lodash "^3.2.1" op
キャスト null 除外 否定フィルタ Streamから配列へ 配列からStreamへ リストの集約 リストからマップへ変換 コレクションの変更 任意キーでグルーピング 任意キーでソート カンマ区切り プリミティブRangeからリストへ オブジェクト型の合計 BigDecimal の合計 グルーピングして集計 グルーピングしてカウント 最大値/最小値の抽出 Optional から値の取り出し 開発の現場でよく使う Java Stream イディオムです。 キャスト List<String> studentNames = people.stream() .filter(Student.class::isInstance) .map(Student.class::cast) .map(Student::getName) .collect(Collectors.toList()); null 除
はじめに こんにちは、アソビューでバックエンドエンジニアをしている小原です。 アソビューのバックエンドはJava + Spring Bootで構築されており、プロダクトによってJava8かJava11が利用されています。 Java 8は、2014年3月に正式リリースされ、ラムダ式やStream、Optionalなどの機能が導入されました。皆さんもこれらの機能を活用されている事かと思われます。しかしながら、特にStreamは機能が多いためか、適切に使われてないケースをちらほら見てきました。今回は、StreamとOptionalをおさらいし、理解を深めていただければと思い、記事を書きました。 はじめに Stream 概要 特徴 Streamの生成 中間操作と終端操作 中間操作 filter() map() flatMap() distinct() sorted() peek() limit()
Today we are excited to announce the availability of TypeScript 5.2 Beta. To get started using the beta, you can get it through NuGet, or through npm with the following command: npm install -D typescript@beta Here’s a quick list of what’s new in TypeScript 5.2! using Declarations and Explicit Resource Management Decorator Metadata Named and Anonymous Tuple Elements Easier Method Usage for Unions o
自己紹介 Kotlinの魅力 null安全がデフォルトとなっている Javaの資産が活かせる 配列操作が簡単で直感的 文末のセミコロン不要 コンストラクタインジェクションが簡単に書ける テストフレームワーク「kotest」がイケてる 型を後ろに書く メソッドがデフォルトでpublicであり、voidを書く必要がない IntelliJで開発ができる 最後に 自己紹介 初めまして、NewsPicksエンジニアの米澤翔です。 2022年の6月に入社し、そこから初めてKotlinを触り始めました。 私は昔軽くJavaを触ったことがあったり、C#をメインにコードを書いていたりしたのですが... Kotlinはまさに「ちょうど良いパートナー」でした。 kotlinlang.org 今回はそんなKotlinの魅力について、特にWebエンジニアの視点から語らせてください。 Kotlinの魅力 「使い手の心
Try Mastering Emacs for free! Are you struggling with the basics? Have you mastered movement and editing yet? When you have read Mastering Emacs you will understand Emacs. It’s that time again: there’s a new major version of Emacs and, with it, a treasure trove of new features and changes. Notable features include the formal inclusion of native compilation, a technique that will greatly speed up y
Type Parameters Proposal
Ian Lance Taylor Robert Griesemer August 20, 2021 StatusThis is the design for adding generic programming using type parameters to the Go language. This design has been proposed and accepted as a future language change. We currently expect that this change will be available in the Go 1.18 release in early 2022. AbstractWe suggest extending the Go language to add optional type parameters to type an
Rust Language Cheat Sheet 26. August 2021 Contains clickable links to The Book , Rust by Example , Std Docs , Nomicon , Reference . Data Structures Data types and memory locations defined via keywords. Example Explanation struct S {} Define a struct with named fields. struct S { x: T } Define struct with named field x of type T. struct S (T); Define "tupled" struct with numbered field .0 of type
For almost a complete decade—starting with discovering Haskell in about 2009 and right up until switching to a job where I used primarily Ruby and C++ in about 2019—I would have called myself first and foremost a Haskell programmer. Not necessarily a dogmatic Haskeller! I was—and still am—proudly a polyglot who bounces between languages depending on the needs of the project. However, Haskell was m
Swift で filter や map 、flatMap などのコンビネータを実装してみる - Don't Repeat Yourself
今年の言語として Swift を選んで最近練習しています。Swift は iOS を作るために使用されることが多いですが、言語としての表現力が非常に豊かで、たとえば Web アプリケーションのサーバーサイド開発に利用できるのではないかと思っています。まだ Swift を学び始めでランタイムなどには詳しくないので、どこまでいけるのかはわかっていません。が、可能性を感じます。 新しい言語を学ぶ際にやることはいくつかあるのですが、型の表現が豊かそうな言語であればまっさきにやるのは「連結リストを作ってモナドっぽいものを足してみる」です。Swift にはジェネリクスがあるほか、言語に組み込みで Optional などの型が存在しており、それなりに型の表現力があるのではないかと感じました。なので、試してみました。 結論としては、 連結リストは結構気持ちよく書ける上に、言語特有のおもしろい機能があるよう
Large Text Compression Benchmark Matt Mahoney Last update: Mar. 25, 2026. history This competition ranks lossless data compression programs by the compressed size (including the size of the decompression program) of the first 109 bytes of the XML text dump of the English version of Wikipedia on Mar. 3, 2006. About the test data. The goal of this benchmark is not to find the best overall compress
Following up from the last post, there is a lot more we need to cover. This was intended to be the post where we talk exclusively about benchmarks and numbers. But, I have unfortunately been perfectly taunted and status-locked, like a monster whose “aggro” was pulled by a tank. The reason, of course, is due to a few folks taking issue with my outright dismissal of the C and C++ APIs (and not showi
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
はじめに Kubernetes 1.30でValidating Admission Policyの機能がGAするなど、開発中の新機能にCELが組み込まれるケースが増えています。今後Kubernetesで使われる機会が増えそうなCELについて、使い所や記述方法をまとめてみました。 CELとは？ CEL(Common Expression Language)の概要は以下の通りです。 検証ルール、ポリシールール、その他の制約や条件を宣言するために使用される。CEL式はKubernetes APIサーバーで直接評価されるため、Admission WebhookのようなKubernetesのコントロールプレーンの外で拡張する仕組みに代わる便利な選択肢となる。構文は、C、C++、Java、JavaScript、Go の式に似ている。CEL式は、単一の値に評価される。 CEL 式は通常、Kubernet
Renato Athaydes
How to write really slow Rust code How I tried to port Lisp code to Rust and managed to get a much slower program... and how to fix that! Photo by Sam Moqadam on Unsplash I have recently published a blog post that, as I had expected (actually, hoped for, as that would attract people to contribute to the “study”), generated quite some polemic on the Internet! The post was about an old study by Lutz
概要 目的：数GB分の複数ファイルをS3から取得、Lambdaで1つのzipファイルにまとめる 環境：AWS Lambda, S3, Java8（どの言語でもできますが、サンプルの都合でJavaを使います） 実現方法：無圧縮zip, S3マルチパートアップロード機能 構成の概要 実現すること こんな要件があったとします。 数GB分のファイルがS3に配置されていて、それを1つのzipファイルにまとめたい。 既存機能の都合でVPCやECSは使えないため、LambdaとS3だけで実現したい。 一見すると単純ですが、（普通は）実現できない構成です。 参考：要件の構成をSAMのYAMLファイルにしたもの（クリックで開きます） AWSTemplateFormatVersion: "2010-09-09" Transform: AWS::Serverless-2016-10-31 Description
プログラミング言語の作り方 javascript/C言語/アセンブラを用い、 字句解析、構文解析、インタプリタ、コンパイラのプログラムをスクラッチから作りながら、 「プログラミング言語の作り方」を解説する。 目次 プログラミング言語とは 独自プログラミング言語の作り方 自作プログラミング言語のソースコード 自作字句解析の作り方 自作構文解析(パーサ)の作り方 自作パーサジェネレータ 抽象構文木ASTは階層構造データ 自作インタプリタの作り方 自作実行AST実行の作り方 自作コンパイラの作り方 自作バイナリフォーマット3izbin 独自プログラミング言語の作り方 別のプログラムが、プログラミング言語を理解するためには、「プログラミング言語の文法規則（ルール）」が必要だ。 文法規則といっても、プログラミング言語のルールは、とても機械的なので、プログラムで解析するのは難しくない。 自作プログラミ
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Claude Mythos Preview \ red.anthropic.com
Announcing TypeScript 5.2 - TypeScript
TypeScript一人カレンダー 2022 目次と索引
Announcing TypeScript 5.2 RC - TypeScript
Kalyn: a self-hosting compiler for x86-64
The KDL Document Language
現場で良く使う Java Stream イディオム - A Memorandum
JavaのStream/Optionalに対する理解を深める - asoview! Tech Blog
Announcing TypeScript 5.2 Beta - TypeScript
私がKotlinを好きになった理由 - Uzabase for Engineers
What's New in Emacs 28.1?
https://cheats.rs/rust_cheat_sheet.pdf
Leaving Haskell behind
Large Text Compression Benchmark
cuneicode, and the Future of Text in C
The sad state of property-based testing libraries
KubernetesにおけるCELの記述方法まとめ | sreake.com | 株式会社スリーシェイク
S3の機能だけで、数GBある複数ファイルを1つのzipファイルにまとめる方法 - Qiita
プログラミング言語の作り方