ウェブサーバーとブラウザ間の通信においてはさまざまなデータが圧縮されています。より圧縮率の高いアルゴリズムの開発と普及が進む中、Chromeで共有辞書を使用した圧縮のテストを開始するとGoogleが発表しました。 Supercharge compression efficiency with shared dictionaries | Blog | Chrome for Developers https://developer.chrome.com/blog/shared-dictionary-compression ウェブサイト閲覧時にはリソースの読み込み時間を削減するため、ウェブサーバーでHTMLやCSS、JavaScriptなどの一般的なテキスト形式のファイルを送信する前に圧縮を行い、クライアントで解凍することが一般的です。 長い間圧縮にはgzipというアルゴリズムが使用され
Highlights from Git 2.42
EngineeringOpen SourceHighlights from Git 2.42Another new release of Git is here! Take a look at some of our highlights on what's new in Git 2.42. The open source Git project just released Git 2.42 with features and bug fixes from over 78 contributors, 17 of them new. We last caught up with you on the latest in Git back when 2.41 was released. To celebrate this most recent release, here’s GitHub’s
Have you heard about CRDTs and wondered what they are? Maybe you've looked into them a bit, but ran into a wall of academic papers and math jargon? That was me before I started my Recurse Center batch. But I've spent the past month or so doing research and writing code, and it turns out that you can build a lot with just a few simple things! In this series, we'll learn what a CRDT is. Then we'll w
This year’s Advent of Code has been brutal (compare the stats of 2023 with that of 2022, especially day 1 part 1 vs. day 1 part 2). It included a problem to solve with dynamic programming as soon as day 12, which discouraged some people I know. This specific problem was particularly gnarly for Advent of Code, with multiple special cases to take into account, making it basically intractable if you
Bloom Filters
This page makes heavy use of JavaScript to visualise the concepts discussed. Viewing it without JavaScript will be a strange experience, as the text talks about the visualisations. I strongly recommend either enabling JavaScript, or not wasting your time. Everyone has a set of tools they use to solve problems. Growing this set helps you to solve ever more difficult problems. In this post, I'm goin
Fantastic Learning Resources Aug 6, 2023 People sometimes ask me: “Alex, how do I learn X?”. This article is a compilation of advice I usually give. This is “things that worked for me” rather than “the most awesome things on earth”. I do consider every item on the list to be fantastic though, and I am forever grateful to people putting these resources together. Learning to Code I don’t think I hav
Recursion Viewer
Website for visualizing recursive functions. Helps to debug and understand how your recursive algorithm works
2023年のGoogleアルゴリズムアップデートのまとめ - SEO Japan｜アイオイクスのSEO・CV改善・Webサイト集客情報ブログ
最近昼夜逆転がひどい六角レンチです 夕方まで起きてようと思ったらいつの間にか寝て夜に起きる謎 haskellに興味を持って入門の記事を見ながらソートを実装して楽しんでます。 ガードとかパターンマッチ楽しい 他にはどんなソートがあるんだろうと思いwikipediaを見ていろいろなソートアルゴリズムを発見したので、pythonの練習として実装してみたいと思います。 実装してみたソートたちはここに置いてます。 バブルソート def bubblesort(target:list): # バブルソート for targetrange in reversed(range(1, len(target))): isnotswap = True for r in range(targetrange-1): if target[r] > target[r+1]: target[r], target[r+1]
はじめに ヘレの海底都市計画 ～箱庭に空気を植えるSLG～ というゲームの開発に携わらせていただきました。 主にいくつかの主要な機能の全体的な設計と実装、UI の MVP モデル設計、また開発中に問題が生じた際の抜本的な再設計を担当しました。 せっかくなので、本プロジェクトで行った設計のエピソードについてお話していこうと思います。 第一弾は セーブデータ設計について 扱いました。 本記事は第二弾となります。 今回は本ゲームの中で、規模的にもゲーム的にも最も大きい要素の一つだった、住民の管理部分の設計をさせていただいた話です。 私が設計について学び始めた際、設計ができる人はどうしてその設計に至ったのかがわからずにもどかしい思いをしたので、当時の自分の様な設計を学び始めた人にとって助けになればと思います。 （本記事では説明のために具体的なコードを記載しておりますが、これらはこの記事のためのコー
ハーバード大学、QuEra、MIT、NIST/メリーランド大学が、48個の論理量子ビットを用いて誤り訂正量子アルゴリズムを実現し、量子コンピューティングの新時代を先導
ハーバード大学、QuEra、MIT、NIST/メリーランド大学が、48個の論理量子ビットを用いて誤り訂正量子アルゴリズムを実現し、量子コンピューティングの新時代を先導「 Nature 」に掲載された新しい研究は、拡張可能で誤り耐性を備えた量子コンピューター開発における大躍進 2023年12月6日、マサチューセッツ州ボストン – 中性原子量子コンピューターの先駆者であるQuEra Computing（クエラ・コンピューティング）は本日、科学雑誌Nature（ネイチャー）にて画期的な進展を発表した。ハーバード大学がQuEra Computing、MIT、NIST/UMDと連携して実験を行い、誤り訂正量子コンピューター上で48個の論理量子ビットと数百の論理オペレーションを実装、大規模アルゴリズムを実行することに成功した。量子コンピューティングにおける大きな飛躍であるこの結果は、古典的なコンピュー
Visualizing algorithms for rate limitingMay 15, 2024Why rate limit?Imagine a Twitch chat with many active participants and just one spammer. Without rate limiting, the sole spammer can easily dominate the entire conversation. With rate limiting, each user has a fair chance to participate. A rate limiter lets you control the rate of traffic that your service processes by blocking requests that exce
Flow field pathfinding
You may know me for my interactive tutorials. But before that, I was writing visual but non-interactive tutorials. In particular, there wasn't a lot of information about A* on the web, so I decided to collect all my notes about pathfinding together in one place in the 1990s. But then in the 2010s I started making interactive pages. The newer pages are narrower in scope; I covered a broader set of
はじめに この記事はコネヒトAdvent Calendar2023の5日目の記事です。 世界中で広く使われているLinuxがどのようなメモリ割り当てアルゴリズムを使って物理メモリを管理しているのか、その仕組みには以前から興味がありました。 そこで、Linuxでメモリ割り当てアルゴリズムとして使用されている、Buddy Memory AllocationとSlab Allocationを自作しているOSに実装したのですが、日本語の記事や情報があまりなく実装するのに結構時間がかかってしまいました。（両者とも日本語版Wikipediaにすら載っていませんでした）なので、日本語の情報が少ないのならばこの機会に残しておこうと思い、この記事を書くことにしました。 本記事では、Buddy Memory Allocationに焦点を当て、その仕組みを紹介していきたいと思います。 ↓ 後編の記事です 前提
今こそ基礎固め、必修アルゴリズム10選
プログラミングの上達のためにはアルゴリズムの理解は欠かせない。3つのテーマで厳選した10個のアルゴリズムをPythonによる実装とともに解説する。 出典：日経ソフトウエア、2023年7月号 pp.6-27 「絶対に理解しておきたいアルゴリズム10選」を改題 記事は執筆時の情報に基づいており、現在では異なる場合があります。 ニュートン法にマクローリン展開、Pythonで数値計算アルゴリズムを学ぶ Part 3 数値計算のアルゴリズム 少し趣向を変えて、基礎的な数値計算のアルゴリズムを紹介しましょう。ここでは、「ニュートン法」と「マクローリン展開」、「台形公式（定積分）」を説明します。いずれも、何らかの近似値を求めるためのアルゴリズムです。 2023.08.24 数式は中置記法だけじゃない、Pythonでスタックとキューを使いこなす Part 2 スタックとキューを使うアルゴリズム（後半） 逆
50代半ばでAtCoder入水しました - Qiita
Birdwatch - 西尾泰和のScrapbox
We present an approach for selecting objectively informative and subjectively helpful annotations to social media posts. We draw on data from on an online environment where contributors annotate misinformation and simultaneously rate the contributions of others. Our algorithm uses a matrix-factorization (MF) based approach to identify annotations that appeal broadly across heterogeneous user group
PNGのメタデータを理解する【Python解説あり】
ある特徴的な文字列がある。 11b484b6-cfeb-4730-8fba-467aee2d26ad 使ったことがあれば、恐らくすぐに UUID であると分かると思う。UUID は16進数がハイフンで分けられた特徴的なフォーマットをしている。その区切り方は、 8-4-4-4-12 となんだか不思議な感じだ。 そもそも、UUID は 128bit の数値であり、それを文字列で表現したものなのでハイフンが無くたって問題ない。にもかかわらずわざわざ覚えにくいケタで区切ることが多い。 その理由として、最初に思いつくのは人間が読みやすくするためだとは思うが、覚えやすく均等に区切ったり、左右対称の形にはできなかったのだろうか？ UUID の定義 生成した UUIDv1 を眺めてみる 元祖 UUID（Network Computer System の UUID） 形式の謎 RFC4122 で times
GitHub - facebookresearch/searchformer: Official codebase for the paper "Beyond A* Better Planning with Transformers via Search Dynamics Bootstrapping".
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
In the Introduction To Database Indexing Article, We discussed database indexes, Their type, representations, and use cases. In this article, we will experiment to check which performs better as a clustered index. UUID version 4 vs UUID version 7 or 6. Then we will discuss why that happened. What is UUID version 4?UUID, an acronym for Universally Unique Identifier, is a 128-bit identifier represen
While Transformers have enabled tremendous progress in various application settings, such architectures still lag behind traditional symbolic planners for solving complex decision making tasks. In this work, we demonstrate how to train Transformers to solve complex planning tasks and present Searchformer, a Transformer model that optimally solves previously unseen Sokoban puzzles 93.7% of the time
Most tutorials for the Kalman Filter are difficult to understand because they require advanced math skills to understand how the Kalman Filter is derived. If you have tried to read Rudolf E Kalman’s 1960 Kalman Filter paper, you know how confusing this concept can be. But do you need to understand how to derive the Kalman Filter in order to use it? No. If you want to design and implement a Kalman
We present Prequal (Probing to Reduce Queuing and Latency), a load balancer for distributed multi-tenant systems. Prequal aims to minimize real-time request latency in the presence of heterogeneous server capacities and non-uniform, time-varying antagonist load. It actively probes server load to leverage the power-of-d-choices paradigm, extending it with asynchronous and reusable probes. Cutting a
About Me My name is Marc Brooker. I've been writing code, reading code, and living vicariously through computers for as long as I can remember. I like to build things that work. I also dabble in machining, welding, cooking and skiing. I'm currently an engineer at Amazon Web Services (AWS) in Seattle, where I work on databases, serverless, and serverless databases. Before that, I worked on EC2 and
プロジェクトやタスクなどなんらかの計画が並んだリストの中で、それら個別の計画について直接的に優先順位を考えてはいけないのではなかろうか。 むしろ、考えて決めなければならないのは、それらの計画を立てた理由になっている目標の優先順位ではなかろうか。それが決まっていれば、それに紐づく個々の計画の優先順位は自動的に決まるだろう。SELECT * FROM 計画 ORDER BY 計画.目標の優先順位 というわけである。 そもそも、優先順位というものをあらかじめ決めておくのは、それを関係者との間で約束として機能させるためである。自分一人なら好きなものを好きな順にやるのと変わりない。集団が優先順位を決めることで結ぶのは、「われわれはこの優先順位に従って選択し、行動する」という約束であり、「優先されたものがあるうちは、劣後されたものを選択しない」という約束でもある。 であれば、優先順位について合意をとる
独自試験を作成できるコーディングテストツール「Track Test」 Track Testは、600問以上ある問題ライブラリーから求人企業が扱う技術領域と求める難易度で独自試験を作成できるコーディングテストツールである。試験のスコアリングやソースコードを元にした対象者の選定や、面接での活用にも役立つ。 コーディングテストツール「Track Test」とは？ 問題作成は、AtCoderのレッドコーダーやICPC世界大会の出場者、大手GAFAなどに属しているエンジニアなど、総勢100名以上のトップクリエイターによるコミュニティメンバーによって開発されている。 今回のセッションでは、Track Testの初級問題と上級問題を用意し、株式会社10Xの石田光一氏と、GMOグローバルサイン・ホールディングス株式会社の津田良太郎氏がChatGPTで挑戦。その検証結果についてディスカッションを行った。 T
激ムズ数え上げパズルと驚きの解法
この動画は3Blue1Brownの動画を東京大学の学生有志団体が翻訳・再編集し公式ライセンスのもと公開しているものです。 チャンネル登録と高評価をよろしくお願いいたします。 関連するこちらの動画もどうぞ 畳み込みの仕組み | Convolution https://youtu.be/CHx6uHnWErY 日本語版Twitter https://twitter.com/3B1BJP 元チャンネル（英語） https://www.youtube.com/c/3blue1brown 元動画（英語） https://youtu.be/bOXCLR3Wric ゼータ関数の見た目【解析接続】 https://youtu.be/Xjja6Cc7lio 【視覚的に理解する】フーリエ変換 https://youtu.be/fGos3wrKeHY 最後の問題の解説 https://benjamin-
githublog/2024/5/10/cordic.md at main · francisrstokes/githublog
This post is an adaptation of a twitter thread I put together a few days ago. CORDIC is an algorithm for computing trig functions like sin, cos, tan etc on low powered hardware, without an FPU (i.e. no floating point) or expensive lookup tables. In fact, it reduces these complex functions to simple additions and bit shifts. I'll cut right to the chase and tell you why I love this algorithm so much
Collision Detection
COLLISION DETECTION Jeff Thompson The collision of objects underlies most game experiences and user-interfaces. Baseball bats collide with balls, zombies bump into walls, and Mario lands on platforms and stomps turtles. Even something as simple as clicking a button (a rectangle) with your mouse (a point) is a collision. This book explains the algorithms behind those collisions using basic shapes l
GitHub - yorickpeterse/pattern-matching-in-rust: Pattern matching and exhaustiveness checking algorithms implemented in Rust
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
試してわかるGo ModulesとMinimal Version Selection @shino_nobishii(のびしー） for Go Conference 2024 (↓スライドURL)
BM25を数式から説明する - Qiita
はじめに BM25は特に検索アルゴリズムに使われる自然言語処理の一つで、tf-idfの進化系である。具体的には単語の出現頻度に基づいて、文章の順位付けを行う。tf-idfとの違いはドキュメントが短いほど順位が高くつき、長いほど順位が低くつく傾向があるというところである。この記事では数式を紐どいて、BM25の性質を説明する。 数式 BM25の数式についてまず説明する。$D$を文章全体の集合(以下全文章と呼ぶ)、$d$は文章であり$D$の要素、$q$を検索クエリ($q_i\in q$)とした時のBM25の数式は以下のようなものである。 $$ score(q, d) = \sum_i idf(q_i)\times\frac{(k_1+1)f(q_i, d)}{f(q_i, d)+k_1(1-b+b\frac{|d|}{avg(dl)})} $$ $idf(q_i)$は単語$q_i$のidf、$f
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Chromeで共有辞書を使用した圧縮のテストが開始される、リピーターが多いウェブサイトで極めて効果的
An Interactive Intro to CRDTs | jakelazaroff.com
Dynamic Programming is not Black Magic – Quentin Santos
Fantastic Learning Resources
いろんなソートアルゴリズムを実装してみよう - Qiita
街づくりゲームの住民管理システムを設計した話 - Qiita
rate limiter – smudge.ai blog
Spring Securityでログイン時にパスワードハッシュアルゴリズムを変更する方法 - IK.AM
Linuxのメモリ割り当てアルゴリズムを追う Buddy Memory Allocation編
なぜUUIDはハイフンで8-4-4-4-12に区切られているか？ - Memo:
Why UUID7 is better than UUID4 as clustered index in RDBMS
Beyond A*: Better Planning with Transformers via Search Dynamics Bootstrapping
Kalman Filter Explained Simply - The Kalman Filter
Load is not what you should balance: Introducing Prequal
Why Aren't We SIEVE-ing? - Marc's Blog
計画の優先順位ではなく目標の優先順位を決める | Marginalia
ChatGPTはコーディングテストをどこまで解けるか？ AI時代の「エンジニア採用選考」を考える
各種 DP を愚直な形で考えてみる - えびちゃんの日記
互除法よりも高速な (こともある) 最大公約数アルゴリズム - Qiita
試してわかるGo ModulesとMinimal Version Selection