Python’s “Type Hints” are a bit of a disappointment to me
2022-04-21 Preface You are reading version 2.0 of this blog post. Readers shared this link on Hacker News and lobsters, which unexpectedly blew up and sparked many heated discussions. I’ve incorporated some of this feedback into this revised version. (Some time later, there was also a discussion about this article on The Real Python Podcast.) Introduction Over the course of several Python 3.x vers
[レベル: 中級] すべてのサイトにモバイル ファースト インデックスを 2020 年 9 月から適用することを Google は先日アナウンスしました。 モバイル ファースト インデックス（以下、MFI）の準備が整っていないサイトは対応を進めていると思います。 あるいは、準備万端のはずなのに MFI にまだ移行されておらず不安に感じているサイト管理者もいるかもしれません。 この記事では、MFI 移行の準備ができているかどうかを調べるのに役立つツールを 2 つ紹介します。 MFI チェックツール その 1 1 つ目のツールは ZEO が提供する “Mobile First Index Checker” です。 使い方は簡単です。 検証したいサイトの PC 版の URL を入力して実行するだけです。 MFI 移行に求められる項目をチェックしてくれます。 別々の URL でモバイル向けページを
リンクはどこだ？（おやじの恋快適化計画）
リフォーム記事です 月曜日に退院しましたが入院疲れと言うか治療疲れと言うか、なんとなくダラ～とした数日を師匠の看病？ と共に過ごしていました(*´Д｀) 入院中は多くの方から応援をいただき感謝しておりましたが、精神的負担が大きかったせいか現在も多少落ち込んでおります(*ﾉωﾉ) と言う事でYaziの入院治療記事には手を付けていない状態なので、もう暫くはリフォーム記事でお楽しみくださいｗ ここからリフォーム記事～ 404はリンク切れ 昨日の事だった。 なぜか自分の過去ページを見てた時、リンク先が404表示になっているのを発見した、いわゆるリンク切れである。 これはいかん、修正しなくてはサーチコンソールの餌食になるぞ、と思ったまでは良いが、後でやろうと一応URLを覚えたつもりになっていた。 何をしていたかは既に覚えていないが、ひと段落ついたので修正しようとワードプレスにIN、投稿一覧を開く、
TypeScript is Surprisingly OK for Compilers Aug 17, 2023 There are two main historical trends when choosing an implementation language for something compiler-shaped. For more language-centric tasks, like a formal specification, or a toy hobby language, OCaml makes most sense. See, for example, plzoo or WebAssembly reference interpreter. For something implementation-centric and production ready, C+
5 Common Mistakes Slowing Down Your Windows PC (And What to Do Instead)
Is your computer running slow? You might be the cause! Here are several mistakes that slow down your PC and how to avoid them. At some point, everyone wonders what is slowing their computer down. Working on a slow computer is no fun at all, and lowers your productivity. While all computers slow down over time, in many cases, your own behavior can cause your computer to run slow unnecessarily. Here
Version 1.88 is now available! Read about the new features and fixes from March. June 2023 (version 1.80) Update 1.80.1: The update addresses these issues. Update 1.80.2: The update addresses this security issue. Downloads: Windows: x64 Arm64 | Mac: Universal Intel silicon | Linux: deb rpm tarball Arm snap Welcome to the June 2023 release of Visual Studio Code. There are many updates in this versi
Our Experience Porting the YJIT Ruby Compiler to Rust
Opens in a new windowOpens an external siteOpens an external site in a new window Last year, my team at Shopify implemented YJIT, a new Just-In-Time (JIT) compiler for CRuby, which was recently upstreamed as part of Ruby 3.1. Because the CRuby codebase is implemented in C99, we also decided to implement YJIT in C99 so that integration with the rest of the CRuby codebase would be as simple as possi
スキンチェッカーで肌の状態を調べよう
利用方法 自分の肌の状態を知って満足して終了する人がいるみたいですが勿体ないです。せっかくなので上手に利用しましょう。 スキンケアの見直し 高額の石鹸や化粧水って値段に見合った効果を発揮してくれてるでしょうか？ 肌に合う合わないもあるのでスキンチェッカーを使って調べてみましょう。高額の石鹸を使っていて肌の調子が良いような気がしていたのに、スキンチェッカーで調べるとほとんど効果無しだと分かったりします。 スキンケアに大金を使っている人ほど見直しする必要ありです。 サンプルで試してスキンチェッカーの結果が良かったら購入するのも良いかもしれません。 肌の為に飲んでいるサプリも効いてない物も結構あります。調べてみていらないサプリは飲むのを止めましょう。 生活の改善 毎日測っていくと体調によって肌の状態が変わるのが客観的に分かると思います。 飲酒 お酒を飲んだ次の日に測ると水分量の減少にビックリする
[レベル: 上級] この記事では、検索結果に表示されたページタイトルと <title> タグで設定された実際のタイトルを検索結果で比較できるブックマークレットを紹介します。 先日 Google が実行したページタイトル生成のアルゴリズムの更新の調査に役立ちます（検索セントラルブログで日本語訳記事が出ています）。 検索結果のタイトルと実際の title タグ/h1 タグを比較 このブックマークレットを作成したのは Chris（クリス）氏です。 Hey folks. I have update the SERP title comparison bookmarklet. It will now download the JSON comparison data on click, not automatically.https://t.co/i4BVdoVKbN@_fede_gomez_ @a
GitHub - kaleidawave/ezno: A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
What Ezno is A type checker for JavaScript usable through a CLI (with a LSP also in the works) A high level library that allows type checking to be added to other tools! Checks programs with guaranteed type safety (no runtime TypeErrors) (as long as definitions are sound) Types aimed at soundness and tracing for better static analysis A imperative type system that tracks and evaluates the side eff
This article brought to you by LWN subscribersSubscribers to LWN.net made this article — and everything that surrounds it — possible. If you appreciate our content, please buy a subscription and make the next set of articles possible. The gccrs project is an ambitious effort started in 2014 to implement a Rust compiler within The GNU Compiler Collection (GCC). Even though the task is far from comp
As of Rust 1.63 (releasing next week), the "non-lexical lifetimes" (NLL) work will be enabled by default. NLL is the second iteration of Rust's borrow checker. The RFC actually does quite a nice job of highlighting some of the motivating examples. "But," I hear you saying, "wasn't NLL included in Rust 2018?" And yes, yes it was! But at that time, NLL was only enabled for Rust 2018 code, while Rust
iOS15 Safari アドレスバーの仕様についてPublic beta版からわかること｜Takumi Hasegawa (unshift)｜note
まえがき先日新しいiOSであるiOS15が発表されました。その中でもSafariのアドレスバーの仕様が大きく変更されたことがWeb制作関係の間で話題になりました。 というのもその仕様が変更が、以前までは上部にあったアドレスバーが下部に移動し、かつフロートするというものだったからです。 ※画像はこのページをキャプチャしたものです。 下部にUIを集めたWebサイトはどうなってしまうのか、、心配してしまった方も多いかと思います。自分もその一人です。 というわけで、iOS15のPublic betaをインストールして検証してみました。 この検証結果はあくまでPublic beta版の検証結果であり、実際のリリース時にはどうなっているかはわかりません。追って検証する予定です。 TL;DRTwitterですでに検証結果を載せています (誤字脱字ご容赦ください)。今回の記事はその検証をまとめ直したもので
Under Deconstruction: The State of Shopify’s Monolith
Opens in a new windowOpens an external siteOpens an external site in a new window Ruby on Rails is a great framework for rapidly building beautiful web applications that users and developers love. But if an application is successful, there’s usually continued investment, resulting in additional features and increased overall system complexity. Shopify’s core monolith has over 2.8 million lines of
Generic associated types to be stable in Rust 1.65 | Rust Blog
As of Rust 1.65, which is set to release on November 3rd, generic associated types (GATs) will be stable — over six and a half years after the original RFC was opened. This is truly a monumental achievement; however, as with a few of the other monumental features of Rust, like async or const generics, there are limitations in the initial stabilization that we plan to remove in the future. The goal
Since I was unable to travel for a couple of years during the pandemic, I decided to take my new-found time and really lean into Rust. After writing over 100k lines of Rust code, I think I am starting to get a feel for the language and like every cranky engineer I have developed opinions and because this is the Internet I’m going to share them. The reason I learned Rust was to flesh out parts of t
RubyKaigi 2023参加レポート 〜エンジニアによるセッション紹介〜 - ZOZO TECH BLOG
こんにちは、バックエンドエンジニアの近です！ 2023/5/11〜13に長野県にて開催されたRubyKaigi 2023でプラチナスポンサーとして協賛し、スポンサーブースを出展しました。 また、今年は我々が運営しているファッションコーディネートアプリ「WEAR」のサービス紹介CMを作成し、RubyKaigiの会場にて放映させていただきました。 technote.zozo.com technote.zozo.com 実際に放映されたCMは以下になります！ www.youtube.com 我々が運営・開発しているファッションコーディネートアプリ「WEAR」のバックエンドはRuby on Railsで開発しています。2013年にVBScriptで作られたシステムですが、2020年頃からVBScriptのシステムをコードフリーズし、リプレイスをはじめました。現在もリプレイスを進めながら、新規の機能
15+ new code scanning integrations with open source security tools
EnterpriseOpen Source15+ new code scanning integrations with open source security toolsToday, we’re happy to announce more than 15 new integrations with open source security tools that broaden our language coverage to include PHP, Swift, Kotlin, Ruby, and more. Last year, we released code scanning, a vulnerability detection feature in GitHub Advanced Security that’s also free on GitHub.com for pub
Ubie Discovery で機械学習エンジニアをしている @hagino3000 です。医療用AIの歴史および動向をキャッチアップするために調査した内容をまとめました。特に画像を入力として診断支援を行なうAIと比較して、自然言語で表現された自覚症状などを入力とするものを構築する上での課題に焦点をあてています。 Keywords: コンピューター支援診断システム(Computer Aided Diagnosis: CAD), Medical Diagnostic Systems, 症状チェッカー(Symptom Checker), 機械学習(ML), 自然言語処理(NLP) 背景 現在、医療用AIが最も成功を収めている領域は画像診断です。X線・内視鏡・皮膚腫瘍と様々な画像に適用されており、その診断性能が専門医を越えたとの報告もあります ([1], [2])。2018年にはAIが糖尿病網膜
Effective TypeScript › The Saga of the Closure Compiler, and Why TypeScript Won
Here's something that makes me feel old: in just six months, Gmail will celebrate its 20th anniversary. If you weren't actively developing web sites at the time, it's hard to capture just how revolutionary it was. This was a time when JavaScript was held in almost universally low regard. The idea that you could build a sophisticated web app using it was mind-boggling. But it clearly worked and it
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
正規表現チェッカー | WWWクリエイターズ
g : 繰り返しマッチする Global １回目のマッチング発生後も、その直後から繰り返しマッチング施行を行います。
For context, I'm the creator of the swc project and I previously announced that I would use Go for the new TypeScript type checker. Related: I'm porting tsc to Go Related: Status update of my tsc port I'm announcing two things about the new TypeScript type checker. I'll switch back to the Rust version# I was working on the Rust-based TypeScript type checker before switching to Go. But I decided to
research!rsc: The Principles of Versioning in Go (Go & Versioning, Part 11)
This blog post is about how we added package versioning to Go, in the form of Go modules, and the reasons we made the choices we did. It is adapted and updated from a talk I gave at GopherCon Singapore in 2018. Why Versions? To start, let’s make sure we’re all on the same page, by taking a look at the ways the GOPATH-based go get breaks. Suppose we have a fresh Go installation and we want to write
Typeclass metaprogramming is a powerful technique available to Haskell programmers to automatically generate term-level code from static type information. It has been used to great effect in several popular Haskell libraries (such as the servant ecosystem), and it is the core mechanism used to implement generic programming via GHC generics. Despite this, remarkably little material exists that expl
続編記事を投稿しました 🥳🎉 (2023/06/08) CodeSpaces の紹介の他に実際の開発で活用している Dev Container 設定のサンプルも紹介します。 Dev Container で MySQL や LocalStack などのサービスを起動する方法や、ローカル環境と Dev Container 環境での開発の共存方法など実際の開発で活用しているものから抜粋したものを紹介しています。 [続！Dev Container] GitHub Codespaces でクラウド開発環境を構築 はじめに こんにちは。共通サービス開発グループで複数のサービスが利用する決済プラットフォームの開発チーム[^1][^2]に所属している鳥居です。 この記事をご覧の皆さんは、ローカル開発環境の構築時にこんな経験ありませんか？IDE の設定を環境構築手順書に従って構築したが動かなかったり、プ
How we chose the Rust programming language to advance the state-of-the-art in real-time communication This post was written collectively with Ryo Kawaguchi, Andrea Law, Brian Schwind. Our goal for tonari is to build a virtual doorway to another space that allows for truly natural human interactions. Nearly two years in development, tonari is, to the best of our knowledge, the lowest-latency high r
Interest in Rust has surged in recent years, with tech leaders such as Microsoft, Google, and Amazon coming forward to share their experiences of leveraging Rust for critical systems. Much of the dialogue about Rust, however, is still driven by those who have not leveraged Rust in a significant production capacity or have only done so for non-critical systems. This results in a skewed understandin
大規模言語モデルを駆使して数理科学問題の新しい解決策を数学者よりも巧みに出力するAIシステム「FunSearch」をGoogle DeepMindが発表
GoogleのAI開発部門であるGoogle DeepMindが、大規模言語モデル(LLM)を利用して数理科学の未解決の問題を解決したり、新しい知見をもたらしたりすることができるAIシステム「FunSearch」を発表しました。Google DeepMindのデミス・ハサビスCEOは「FunSearchのブレークスルーに興奮しています」と語っています。 FunSearch: Making new discoveries in mathematical sciences using Large Language Models - Google DeepMind https://deepmind.google/discover/blog/funsearch-making-new-discoveries-in-mathematical-sciences-using-large-language-
最近Reactのプロジェクトは全部Gatsbyベースで作ればいいじゃないかな（大体適用できる）と思ったので なぜそう思ったのかまとめてみます。（Gatsbyサイト実装の雛形付き） SPAのメリット・デメリット Reactに代表されるSPAのメリットとしては history APIによる疑似ルーティングでバックエンド無しでページ間遷移ができる（API無しの場合はファイルをホストするだけでWebページが作れる） フロントエンドとバックエンド（API）の棲み分けがはっきりしてる（SSRしない場合） 仮想DOMツリーによる差分レンダリングが高速 逆に動的に仮想DOMツリーを生成するSPAのデメリットとして以下のことが挙げられます。 bundle.jsのファイルサイズが肥大化して読み込みが遅い 仮想DOMツリーの構築に初回のJS実行時間がかかる TwitterやFacebookシェアのOGPを実装し
コーコス信岡（co-cos nobuoka) 今回純粋に商品紹介です。 私が2年前にやっと履き心地のいい安全靴に出会いました。 それがこのコーコス信岡の安全靴A-44000モデルです。 商品モデル A-44000 （この記事内の写真は全てAmazonよりお借りしています） [コーコス信岡] セーフティスニーカー ユニセックス メッシュ JSAA規格 A種 通気 耐滑 耐油 衝撃吸収 リンク 参考価格￥3.828 Amazon価格￥2.953 カラーラインナップは8色、サイズも30.0cmまであり、足の大きい方・足幅の広い方でもつま先がキツくない状態で履き続けられます。 昨今安全靴はどのメーカーでも日本人に合ったものが少ないようで、特に足先が丸まっていて、つま先、小指辺りが当たり爪が真っ青になったり、薬指の関節が先芯（防護部分)に当たり痛くて歩けなくなったり。 Amazonのレビューとサクラ
In general, if you want a key-value storage with the highest performance, choosing the file hash database is recommended. If you need ordered access of records, choosing the file tree database is recommended. If you need scalability of ordered databases, choosing the file skip database is recommended. If you need extreme performance, the on-memory hash database and the on-memory tree database are
GitHub - Mythra/typeish: A runtime type checker for bash.... in bash. I'm not sorry.
Type-ish is a runtime type checker for bash functions, implemented entirely in bash. This way you can accept arguments, and be sure they conform to whatever sort of shape you want them too. It is also a very cursed idea taken way too far, and I do not apologize for it. NOTE: as of this moment type-ish has only been tested on bashv4 everything should be compatible with bashv3 (what OSX ships), but
Version 1.78 is now available! Read about the new features and fixes from April. April 2023 (version 1.78) Update 1.78.1: The update addresses this security issue. Downloads: Windows: User System Arm64 | Mac: Universal Intel silicon | Linux: deb rpm tarball Arm snap Welcome to the April 2023 release of Visual Studio Code. There are many updates in this version that we hope you'll like, some of the
Library Checker
Library Checker
Amazonのサクラレビュー 2020年1月9日 メジャーなメーカー製品を購入するときは、それなりに名が知られている会社であれば、産地が何処であろうとそんなに問題はないです。 メジャーメーカーが商品開発をして、その製品のパフォーマンスが最大限に生かせる生産ラインはメジャーメーカー主導で行われているので、中国で生産されようがベトナムであろうが問題はないです。 Amazonのサクラレビュー 売り逃げ的商品とメジャーメーカーの違い 口腔洗浄器商品の多様性 中華製品のバッタ物とは 人と物欲 ネットでのインフルエンサーの多くは商売 閑話休題でもないが 正義の味方登場！ レビューのサクラ度チェック 終わりに もちろんメジャーメーカーでも初期不良などの問題は無いわけじゃないけど、それらの対策もちゃんとなされていますし、初期不良を乗り越えてもその会社の製品を使いたいのはメジャーメーカー製品が優れているから
肩こり、首こり、バッキバキのれいっちょです。 ブログ書いてると、ずーっと同じ姿勢でいるので、肩や首、背中がカチカチに固まってしまいます。 ちょうど肩甲骨のあたりを触ってみると、カッチカチの石みたいな、コリコリした部分があるんですよ。 このコリコリがたまにすっごく痛くなることがあります。 鹿児島弁で言うと『へっが痛い』。 酷くなってくると、息をするのもつらいほどなんです。 そんな時に使うのが『コリコラン』。 パナソニックの高周波治療器です。 【ポイント10倍！11月1日(金)00:00〜23:59まで】パナソニック EW-CRA518-K 高周波治療器 「コリコラン」 posted with カエレバ 楽天市場 Amazon Yahooショッピング シールで直に貼り付けたり、専用のシリコンリングを使って、シャツに取り付けたりして、痛みがある部分にコリコランを当てます。 そのまま、家事をしたり
Zig And Rust
Zig And Rust Mar 26, 2023 This post will be a bit all over the place. Several months ago, I wrote Hard Mode Rust, exploring an allocation-conscious style of programming. In the ensuing discussion, @jamii name-dropped TigerBeetle, a reliable, distributed, fast, and small database written in Zig in a similar style, and, well, I now find myself writing Zig full-time, after more than seven years of Ru
「君が最上級のパートナー」Listen & Download: https://karent.jp/album/3727初音ミク16周年記念曲https://piapro.net/miku16thbd/(C) Crypton Future Media, INC. www.piapro.netLyrics & Music: DECO*27Arrangement: RockwellStrings Arrangement: 瀬恒 啓Bass: Kei NakamuraAc.Piano: 西村 奈央Movie by OTOIRODirector: DMYMOriginal Character Designer / Concept Artist / Color script: No.734Character Designer: 木倉 たまKey Animator: 木倉 たま, 丸尾
In 2013, I had an idea: "what if I were to build my programming language?". Back then my idea came down to "an interpreted language that mixes elements from Ruby and Smalltalk", and not much more. Between 2013 and 2015 I spent time on and off trying different languages (C, C++, D and various others I can't remember) to see which one I would use to build my language in. While this didn't help me fi
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
モバイルファーストインデックス対応できているかどうかを調査する2つのツール
TypeScript is Surprisingly OK for Compilers
Visual Studio Code June 2023
Google検索のタイトル書き換えを調査できる便利なブックマークレット
Progress toward a GCC-based Rust compiler [LWN.net]
Non-lexical lifetimes (NLL) fully stable | Rust Blog
Rust: A Critical Retrospective « bunnie's blog
臨床診断支援AIの歴史から症状チェッカーの今後を展望する―エキスパートシステムから大規模言語モデルまで
Kalyn: a self-hosting compiler for x86-64
Devblog of @kdy1
An introduction to typeclass metaprogramming
VSCode Dev Containerを使った開発環境構築
3K, 60fps, 130ms: achieving it with Rust | tonari blog
Why Rust in Production? | Corrode Rust Consulting
お前らのReactは遅すぎる(SSG編) - Qiita
安全靴オススメ コーコス信岡 - 二位ガン 呟く|ω・*)
Tkrzw: a set of implementations of DBM
Visual Studio Code April 2023
Amazon のサクラレビューにどうやって対抗している？ - チコちゃんに叱られないブログ
コリコランでもう肩こりこらん！高周波治療器のレビュー - わたしのまいにち
DECO*27 - ブループラネット feat. 初音ミク
A decade of developing a programming language