modeling CRDTs in Alloy - counters
Hey, welcome back! Last time, we introduced conflict-free replicated datatypes (CRDTs) and modeled them in Alloy by using boolean OR as our merge function. As a quick recap, CRDTs give you eventual consistency, no matter how out of sync the data originally was. This makes them great for local-first or networked multiplayer applications. If you can write a merge function for a data structure that i
In a previous blog post, I described how I managed to get an iPod Touch 1G up and running using the QEMU emulator. While I’m very happy that the emulator runs smoothly overall, its functionality is limited to some stock apps, not all of which are fully functional. Moreover, I received a few questions on whether it would be possible to run third-party apps. Unfortunately, the iPod Touch 1G (and iPh
忘れそうなので、メモ代わりに記事を残しておく。 それぞれの手順は、ググれば出てくるので詳細は割愛。 Google Play デベロッパーアカウントを作成 Google Play Console の編集 UnityでAppBundleをビルドする リリースを作成し、App Bundleのアップロード 実機でテストを行う場合 Google Play デベロッパーアカウントを作成 公式ドキュメントを参照。 Play Console の使用方法 - Play Console ヘルプ 作成すると、Googleアカウント（～@gmail.com）でログインできる。 なお、アカウント登録に2500円掛かる。クレジットカード支払い可能。 デベロッパーアカウント一つに、複数のGoogleアカウントでログインすることもできるので、例えばチームでアプリを作成する場合、デベロッパーアカウントは一つ作成しておけば良
written by Ruud van Asseldonk published 4 February, 2024 About six months ago, I was fed up with it. The particular it was HCL — Hashicorp Configuration Language — but that was just the trigger, it was hardly the only offender. The issue I was struggling with that day was to define six cloud storage buckets in Terraform. They were similar, but not quite identical. The kind of thing you’d do with a
James Henry Clark was born on the 23rd of March in 1944 in Plainview, Texas. Clark’s family was far from wealthy. His father was fond of drinking and couldn’t keep a job. His mother worked at a local doctor’s office making about $225 per month (around $2605 in 2024). Clark’s parents divorced while Clark was still young, and while that salary may seem fine if low adjusted for inflation, Clark’s mot
前書き自己紹介はじめまして、nek12と申します。いつもVRChatで撮影したり音楽イベントを楽しんでいるプレイヤーのひとりです。 もちろんアバターの着せ替えも楽しんでいますが、皆さんは着せたい衣装が自アバターに公式対応していなくて悩んだ経験はありますか？ 私はあります。そんなとき、思わずこんな言葉が口をついて出ることはないでしょうか。 「Blenderができれば着せられそうなのにな…。」と。 わたし自身の経験ですが、上で書いたような思いを胸に試しにBlenderをダウンロードして色々と触ってみるものの、あまりの多機能さや慣れない操作につまずき、バージョン違いのネット解説記事に翻弄されたりしているうちに いつしか心が折れ、「もうUnityで着せよう…」とあきらめてしまうことの繰り返しでした。 ただ、何度かそんな流れを繰り返していたら、「なんかこれでそこそこ行けんじゃね？」的な流れがつかめて
209 MacoCaml: Staging Composable and Compilable Macros NINGNING XIE, University of Toronto, Canada LEO WHITE, Jane Street Capital, UK OLIVIER NICOLE, Tarides, France JEREMY YALLOP, University of Cambridge, UK We introduce MacoCaml, a new design and implementation of compile-time code generation for the OCaml language. MacoCaml features a novel combination of macros with phase separation and quotat
黒人差別・Black Lives Matter運動 | 世界のソーシャルグッドなアイデアマガジン | IDEAS FOR GOOD
Black Lives Matter（BLM）とは？──What is BLM？ Black Lives Matter（ブラック・ライブズ・マター、BLM）とは、アフリカ系アメリカ人に対する警察の残虐行為をきっかけにアメリカで始まった人種差別抗議運動のことです。 BLM運動といえば、2020年5月に米ミネソタ州ミネアポリスで、アフリカ系アメリカ人のジョージ・フロイドさんが白人の警察官に首を8分46秒圧迫されて死亡したいわゆる「ジョージ・フロイド事件」を受け、全米に広がっていった抗議運動が有名です。このデモをきっかけにBLM運動が生まれたと思われることもあるようですが、実際、BLM運動のきっかけは2012年2月に米・フロリダ州で起きたある事件だと言われています。 2012年の事件では、フードをかぶってお菓子を買いに出かけていたアフリカ系アメリカ人の高校生トレイボン・マーティンさんが、自警団の
はじめにサンディエゴは、日差しも海もあっけらかんとしていて、初めて訪れたはずなのに、なぜか親しみを感じる。 2024年5月、二度目のTableau Conference。Ambassadorも二年目を迎え、仲間を率いるリーダーとしての自覚と、周囲の期待（会場の壁やキーノートのCEOセクションの表紙に自分を見つける驚きと感動は言葉にできない）を身にまとって、私は充実した時を過ごしていた。 …はずだった。 二時間にわたるキーノートを聴き終え、よろよろと会場を出た後、私は半ば茫然と、会場のテラスで海と青い空を眺めていた。 変化の予感。その気配に、胸を躍らせたDataFamばかりではないことはすぐに分かった。 気配はあった。それこそ、去年のTableau Conferenceから。もしかしたら、もっと前から。この１年間、ずっと、ずっと悩んでいた。 これまでと同じやり方でFamを率いる事が難しいのは
Real-world match/case
Python 3.10 brought us structural pattern matching, better known as match/case. At first glance, it looks like a switch statement from C or JavaScript, but it’s very different. You can use match/case to match specific literals, similar to how switch statements work, but their point is to match patterns in the structure of data, not just values. PEP 636: Structural Pattern Matching: Tutorial does a
New – Cost and Usage Dashboard powered by Amazon QuickSight | Amazon Web Services
AWS Cloud Financial Management New – Cost and Usage Dashboard powered by Amazon QuickSight Today, we announced the general availability of Data Exports, a new AWS Billing and Cost Management feature that enables you to create exports of your billing and cost management data using SQL column selections and row filters. As part of AWS Data Exports, you can now also deploy a Cost and Usage Dashboard
Unison is a MIT-licensed programming language, in development since 2013, that explores the ramifications of making code immutable and stored in a database, instead of a set of text files. Unison supports a greatly simplified model for distributed programming — one that describes the configuration of and communication between programs in the same language as the programs themselves. Along the way,
Lesser known parts of Python standard library – Trickster Dev
In this article we will explore some lesser known, but interesting and useful corners of Python standard library. Python dictionaries and lists are bread and butter for many applications, but might be too simple for more advanced data organisation. To provide more powerful containers for storing data in memory Python ships a collection module with things like: Deque - list-like data structure for
EC サイトで匿名カートからログインカートにシームレスに移行する方法 [Next.js 13 App Router]
はじめに オンラインショッピングサイトでは、スムーズな買い物体験が大切であり、商品をカートに入れてから購入するまでの流れは、途切れることなくスムーズ（シームレス）であることが求められます。特に、ユーザーがサイトを訪れて商品を選び、最終的に購入に至るまでの流れは、中断や混乱のないものでなければなりません。中でも、カート機能ではユーザーがログインしていない場合でも、選択した商品を記憶し、ログイン後に簡単に購入できるようにすることが重要です。 この記事では、Next.js 13 の App Router を活用し、このようなシームレスなユーザー体験を実現する方法について解説します。ログイン前後でのカートの中身を維持し、ユーザーが途中で混乱することなく購入を完了できるよう、実装方法を共有します。 事前準備 デモプロジェクトを用意したので、そちらに沿って説明を進めます。 リポジトリもオープンソースと
![EC サイトで匿名カートからログインカートにシームレスに移行する方法 [Next.js 13 App Router]](https://cdn-ak-scissors.b.st-hatena.com/image/square/b8cfa49c6a29191bc4622645ddd84f6722281cb5/height=288;version=1;width=512/https%3A%2F%2Fres.cloudinary.com%2Fzenn%2Fimage%2Fupload%2Fs--8DI16JM8--%2Fc_fit%252Cg_north_west%252Cl_text%3Anotosansjp-medium.otf_55%3AEC%252520%2525E3%252582%2525B5%2525E3%252582%2525A4%2525E3%252583%252588%2525E3%252581%2525A7%2525E5%25258C%2525BF%2525E5%252590%25258D%2525E3%252582%2525AB%2525E3%252583%2525BC%2525E3%252583%252588%2525E3%252581%25258B%2525E3%252582%252589%2525E3%252583%2525AD%2525E3%252582%2525B0%2525E3%252582%2525A4%2525E3%252583%2525B3%2525E3%252582%2525AB%2525E3%252583%2525BC%2525E3%252583%252588%2525E3%252581%2525AB%2525E3%252582%2525B7%2525E3%252583%2525BC%2525E3%252583%2525A0%2525E3%252583%2525AC%2525E3%252582%2525B9%2525E3%252581%2525AB%2525E7%2525A7%2525BB%2525E8%2525A1%25258C%2525E3%252581%252599%2525E3%252582%25258B%2525E6%252596%2525B9%2525E6%2525B3%252595%252520%25255BNext.js%25252013%252520App%252520Router%25255D%252Cw_1010%252Cx_90%252Cy_100%2Fg_south_west%252Cl_text%3Anotosansjp-medium.otf_37%3ATsuboi%252Cx_203%252Cy_121%2Fg_south_west%252Ch_90%252Cl_fetch%3AaHR0cHM6Ly9zdG9yYWdlLmdvb2dsZWFwaXMuY29tL3plbm4tdXNlci11cGxvYWQvYXZhdGFyLzUzMmU3Zjg2MTIuanBlZw%3D%3D%252Cr_max%252Cw_90%252Cx_87%252Cy_95%2Fv1627283836%2Fdefault%2Fog-base-w1200-v2.png)
Two Threads, One Core: How Simultaneous Multithreading Works Under the Hood
Simultaneous multithreading (SMT) is a feature that lets a processor handle instructions from two different threads at the same time. But have you ever wondered how this actually works? How does the processor keep track of two threads and manage its resources between them? In this article, we’re going to break it all down. Understanding the nuts and bolts of SMT will help you decide if it’s a good
June 21, 2023 Apple HEVC Stereo Video Interoperability Pro fi le (Beta) Version 0.9 (Beta) June 21, 2023 Note: The information contained within this document is preliminary and is subject to change. Copyright © 2023 Apple Inc. All rights reserved. Apple, the Apple logo and QuickTime are trademarks of Apple Inc., registered in the U.S. and other countries. 1 June 21, 2023 Introduction 3 Referen
OSINT for Incident Response (Part 1) - Black Hills Information Security
Being a digital forensics and incident response consultant is largely about unanswered questions. When we engage with a client, they know something bad happened or is happening, but they are uncertain of the “how, when, where, and why.” A significant component of our job is to tease out the “known knowns,” the “known unknowns,” and effectively and efficiently help the client answer the following:
AKS on Azure Stack HCI 用の Azure Kubernetes Service (AKS) ベースライン アーキテクチャ - Azure Example Scenarios
このシナリオでは、Azure Stack HCI で実行される Microsoft Azure Kubernetes Service (AKS) のベースライン アーキテクチャを設計して実装する方法について説明します。 この記事には、組織のビジネス要件に基づいたクラスターのネットワーク、セキュリティ、ID、管理、監視に関する推奨事項が記載されています。 これは、2 つの記事で構成されるアーキテクチャ ベースライン ガイダンス セットの一部です。 ネットワーク設計に関する推奨事項については、こちらを参照してください。 Architecture 次の図は、Azure Stack HCI または Windows Server 2019/2022 Datacenter フェールオーバー クラスターの Azure Kubernetes Service のベースライン アーキテクチャを示しています。
I have a very simple use case and I can't seem to find a way to do it. My application has an app part (angular) and an api part (nodejs). From the UI, although I call the api as /api/*, the api server itself does not have the /api prefix. Because of this, I need to rewrite any request for /api to /. In the development environment, my angular application simply has a proxy configuration which does
Agrigenomics Market Size, Growth, Trends, Report 2032 | MRFR
✉ info@marketresearchfuture.com 📞 +1 (855) 661-4441(US) 📞 +44 1720 412 167(UK) Global Market Outlook In-depth analysis of global and regional trends Analyze and identify the major players in the market, their market share, key developments, etc. To understand the capability of the major players based on products offered, financials, and strategies. Identify disrupting products, companies, and tr
There's one trick we use at work, and now I'm using in my current medieval village building game project, which apparently isn't as well-known as I thought: transforming colors using matrices, interpreting colors as 3D RGB or 4D RGBA vectors. In this article I'll try to explain how it works and which operations on colors can be represented this way. Contents But why? I mean, if you're a graphics p
Recently, I've been looking at cache friendly algorithm for common data structures like trees, tries, ... One such algorithm kept coming up to mind and that's why I decided to implement it in Go. You can find the paper describing the algorithm here. The Intuition Let's assume that we have a binary tree: ┌────── 41 ──────┐ │ │ ┌──23──┐ ┌───61───┐ │ │ │ │ ┌─11─┐ ┌─31─┐ ┌─47─┐ ┌─73─┐ │ │ │ │ │ │ │ │
Spring Securityを用いた認証と認可を説明します。 多くのアプリケーションで必要となる認証（ログイン）処理ですが、Spring BootではSpring Securityという仕組みを準備してくれています。これを使えば、少ないコードで安全な認証と認可を実装可能です。 なお、Spring Security関係の内容はSpring Bootのv2系からv3系になる際に大きく変わりました。v2系の情報が知りたい場合は、こちらの記事を御覧ください。 [v2系]Spring Boot入門:Spring Securityで認証と認可Spring Securityを用いた認証と認可を説明します。 多くのアプリケーションで必要となる認証（ログイン）処理で...www.tsuchiya.blog2021.11.07 この記事はSpring Boot入門：Spring Data JPAでデータベー
![[v3.1.0対応]Spring Boot入門:Spring Securityで認証と認可](https://cdn-ak-scissors.b.st-hatena.com/image/square/6ee04ad9e10039dcd98d353bc50d2c1edcd76acd/height=288;version=1;width=512/https%3A%2F%2Fwww.tsuchiya.blog%2Fwp-content%2Fuploads%2F2021%2F11%2F94e9b3aba380e568d3b7335c3ae4c844.png)
Linuxのnetfilterのconnection trackingとNAT動作の仕組み - turgenev’s blog
概要 LinuxではNATやファイアウォールなどのパケットの扱いを担当するカーネルの機能としてnetfilterというものが搭載されており、特にそのconnection trackingの機能を理解することがLinuxのNAT動作の理解には不可欠です。また、安価な市販ルーターの多くはLinuxを搭載しているため、netfilterを理解することは市販ルーターの動作を理解することにもつながります。 NAT動作タイプ（cone NAT, symmetric NATあるいはEIM/APDFなどの用語）については以前の記事（NATタイプ、ポートセービングIPマスカレード、UDPホールパンチング、STUN - turgenev’s blog）などを参照してください。 他のプロトコルに関しても参考になる部分はあるかもしれませんが、この記事では主にUDPとTCPのみについて扱います。 conntrack
Generating value from enterprise data: Best practices for Text2SQL and generative AI | Amazon Web Services
AWS Machine Learning Blog Generating value from enterprise data: Best practices for Text2SQL and generative AI Generative AI has opened up a lot of potential in the field of AI. We are seeing numerous uses, including text generation, code generation, summarization, translation, chatbots, and more. One such area that is evolving is using natural language processing (NLP) to unlock new opportunities
In November 2022, we set ourselves a challenge: make a real-time animation that looks like a standard short animated movie, with the constraint that it should fit in 8 kilobytes. The goal was to have decent graphics, animations, direction and camera work, and the matching music… Yes, 8 kilobytes, less than half of this post, for everything. It wasn’t clear how much was actually feasible, so we had
Are You Sure You Want to Use MMAP in Your Database Management System?
Are You Sure You Want to Use MMAP in Your Database Management System? Andrew Crotty Carnegie Mellon University andrewcr@cs.cmu.edu Viktor Leis University of Erlangen-Nuremberg viktor.leis@fau.de Andrew Pavlo Carnegie Mellon University pavlo@cs.cmu.edu ABSTRACT Memory-mapped (mmap) file I/O is an OS-provided feature that maps the contents of a file on secondary storage into a program’s address spac
A note on incidents: incidents are internal events for our infrastructure team. Incidents often correspond to degraded service on our platform, but not always. This log aims for 100% fidelity to internal incidents, and will generally be a superset of our status page events. It includes events reported to subsets of customers on their personal status pages, as well as events without any status page
Uncovering the Seams in Mainframes for Incremental Modernisation
Tom Coggrave is a Principal Technologist at Thoughtworks where he helps clients with their modernisation challenges, lately with a particular focus on mainframe modernisation. In a recent project, we were tasked with designing how we would replace a Mainframe system with a cloud native application, building a roadmap and a business case to secure funding for the multi-year modernisation effort req
OpenAI APIのAssistants APIを使用して、ファイルのやり取りを含むアシスタントを作成してみた。 | DevelopersIO
OpenAI APIのAssistants APIを使用して、ファイルのやり取りを含むアシスタントを作成してみた。 こんちには。 データアナリティクス事業本部 機械学習チームの中村(nokomoro3)です。 今回は、OpenAI APIのAssistants APIを使用して、ファイルのアップロードやダウンロードなどのやり取りを含むアシスタントを作ってみたいと思います。 Code Interpreterとは Code Interpreterはサンドボックス化された実行環境でPythonコードを記述し、実行することができます。 Assistants APIを使用してこのCode Interpreterが有効なアシスタントを作成することができます。 このツールは、多様なデータやフォーマットのファイルを処理し、データやグラフの画像を含むファイルを生成でき、 アシスタントが自身が実行に失敗するコ
名前ユーザーストーリーマッピング(User Story Mapping)解説ユーザーストーリーマッピングは、提供するプロダクトの全体像を顧客の行動軸と優先順位軸の２軸で整理し、チーム全体で何を優先的に...
VLOGGER
VLOGGER: Multimodal Diffusion for Embodied Avatar Synthesis Enric Corona, Andrei Zanfir, Eduard Gabriel Bazavan, Nikos Kolotouros, Thiemo Alldieck, Cristian Sminchisescu description Paper description Supp bookmarks Project downloading Dataset play_circle_filled Video Abstract We propose VLOGGER, a method for text and audio-driven talking human video generation from a single input image of a person
『勝手にコードゴルフ王決定戦 in RubyKaigi 2024』を開催しました！ - 後編 - freee Developers Hub
こんにちは。freee エンジニアの yongi です。 この記事は後編です。前編はこちらの記事をご覧ください。作問の背景や、当日の様子を紹介しています。後編では、問題の簡単な解説と、優勝回答の紹介をします。 developers.freee.co.jp 問題解説 詳しい内容については、GitHubリポジトリをご覧ください。回答者に求められているのは、沖縄の市町村の名前と座標、地図上での色の一覧を格納した配列から、地図を表す２次元配列を作成するコードを書くことです。 m = [] 26.times do line = gets.split m << [line[0], "\e[#{line[1]}m", line[2].to_i, line[3].to_i] end # ここを回答 a.each { |row| puts row.map { |cell| "#{cell[1]}#{cell
Chrome 120 beta CSS masking, relaxed rules for CSS nesting, create accordion patterns with the <details> element, the enterpictureinpicture action for the Media Session API. Published on Wednesday, November 1, 2023 Unless otherwise noted, changes described below apply to the newest Chrome beta channel release for Android, ChromeOS, Linux, macOS, and Windows. Learn more about the features listed he
チームビルディングとは、チームが共有した目標の達成に向けて協働できる関係や環境をじっくり作り続けていくこと | at-blog
2024年6月21日 チームビルディングとは、チームが共有した目標の達成に向けて協働できる関係や環境をじっくり作り続けていくこと こんにちは、asatoです。 チームメンバーから「チームビルディングについてブログ書いてよ」と言われたので書きます。 ただし、こんなアクティビティするとうまくいくよ！でなく、僕がチームビルディングをどう捉えているかを語ります。 チームビルディングとは？チームビルディングとは、「チーム」を「ビルディング」することです。日本語では「チームづくり」と訳されます。 チームビルディングを始める前に、「チーム」と「ビルディング」についてちょっと調べてみましょう。 チームとは？「チーム」という言葉を使うとき、僕は「Google re:Work」の定義をよく引用します。 チーム: メンバーは相互に強く依存しながら、特定のプロジェクトを遂行するために、作業内容を計画し、問題を解決
【Terraform】plan / apply と状態ファイル (tfstate) の関係 - サーバーワークスエンジニアブログ
こんにちは🐱 カスタマーサクセス部の山本です。 本記事ではTerraform のplan / apply と状態ファイル (tfstate) の関係について、をテーマに書いていきます。 基本的には Terraform のドキュメントを読めばわかるものの、若干分かりにくいなと感じたため、記事にしました。 AWS の ECS タスク定義を作成するサンプルコードも交えつつ、解説できればと思います。 まず簡単に図を示して、下で解説します。 対象読者 【図解】 状態ファイル (tfstate) の確認・更新タイミング terraform plan terraform apply terraform plan -refresh-only terraform apply -refresh-only ignore_changes属性のリソースしかない場合の terraform plan ignore_c
Training and Finetuning Embedding Models with Sentence Transformers v3
Additionally, you can use SequentialEvaluator to combine multiple evaluators into one, which can then be passed to the SentenceTransformerTrainer. If you don't have the necessary evaluation data but still want to track the model's performance on common benchmarks, you can use these evaluators with data from Hugging Face: EmbeddingSimilarityEvaluator with STSb The STS Benchmark (a.k.a. STSb) is a c
'); doc.close(); } if (!doc) throw Error('base not supported'); var baseTag = doc.createElement('base'); baseTag.href = base; doc.getElementsByTagName('head')[0].appendChild(baseTag); var anchor = doc.createElement('a'); anchor.href = url; return anchor.href; } finally { if (iframe) iframe.parentNode.removeChild(iframe); } }()); } // An inner object implementing URLUtils (either a native URL // ob
What is Damas-Hindley-Milner? Damas-Hindley-Milner (HM) is a type system for the lambda calculus (later adapted for Standard ML and the ML-family languages) with parametric polymorphism, aka generic functions. It sits at a sweet spot in PL design: the type system is quite expressive, and there are well known type inference algorithms that require absolutely no annotations from the programmer. It s
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Emulating an iPod Touch 2G using QEMU | Martijn de Vos
Esri on X: "ChatGPT but for maps.💡Here's a first look at our work on a Smart Mapping Assistant prototype that combines the power of GIS with generative AI. https://t.co/PVIPbyMxKG #AIinMapping #GeospatialAI https://t.co/ScPrOGe5AZ"
UnityアプリをGoogle Playでリリースする方法 - つきくさのぶろぐ
A reasonable configuration language
The Rise and Fall of Silicon Graphics
Blender初心者が手探りでVRChatアバターに非対応衣装を着せてみる｜nek12
MacoCaml: Staging Composable and Compilable Macros
さぁ、新しいTableau Creatorの姿について話そう。｜Rika Fujiwara
Programming in Unison [LWN.net]
HEVC-Stereo-Video-Profile
GCP Load Balancing (non classic) - URL rewrite
Transforming colors with matrices
Binary Search Tree with SIMD
[v3.1.0対応]Spring Boot入門:Spring Securityで認証と認可
How we made an animated movie in 8kB - Ctrl-Alt-Test
Infra Log
ユーザーストーリーマッピング | Agile Studio
Chrome 120 beta - Chrome for Developers
Watch Tokyo Swindlers | Netflix Official Site
Damas-Hindley-Milner inference two ways