GitHub - Bnaya/objectbuffer: JavaScript Object like api, backed by an arraybufferYou 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
HTR subsets解説 〜DRからHTRを作るために〜
こんにちは、うえしゅうです。 FMCの解法、Domino Reduction(DR)ではHalf Turn Reduction(HTR)という工程があります。 このHTRを作る上で覚えておくと役立つHTR subsetsという手法をこの記事では説明します。 注意：この記事ではDRに関する詳しい説明は行いません。DRについて学びたい方は以下のリンクを参照ください。 DRを使おう(前編) DRを使おう(後編) HTR subsetsの概要HTRとは？HTRとは、DR状態から[U2, D2, R2, L2, F2, B2]といったHalf Turn(HT)のみで揃えられる状態に持っていくステップのことを言います。 見た目としては、UD面が白か黄色の2色、RL面が赤かオレンジの2色、FB面が緑か青の2色になっています。 注意しておきたいのは、上記のようにそれぞれの対面が2色になっていたとしてもHT
Ruby の oneshot coverage で本番稼働中の Rails アプリの使用状況を収集して不要なコードを発見するための仕組みを導入した話 - DIGGLE開発者ブログ
前置き プロダクト開発は人の手によって行われるものですから、開発サイクルの中で不要なコードを削除し忘れる人的なミスはどうしても発生します。 後から不要なコードに気づき削除する際には、慎重にチェックして本当にコードが使用されていないことを確認する必要があります。ただし、削除に自信が持てない場合、本番稼働中の Rails アプリに障害が発生する可能性も考慮しなければならず、何も影響しない場合はそのままにしておくことも多く、削除が難しい状況も少なくないと思います。 上記状況を打破するために DIGGLE では本番稼働中の Rails アプリのコードの使用状況を収集して不要なコードを発見するための仕組みを導入したので共有したいと思います。 前置き 不要なコードをどのように発見するか Ruby で コードカバレッジを計測する 仕組み導入にあたって悩んだポイント YJIT を有効化した状態で動作するの
IETF 118 Pragueにリモート参加しました | うなすけとあれこれ
チェコの首都、プラハで開催されたIETF 118にリモートで参加したので、自分なりにまとめます。ただ今回、RubyWorld Conference 2023と日程が被ってしまったため、Meetecho(ライブで会議が行われる場所、Zoomの部屋みたいなイメージ)にはあまり入れずにYouTubeのアーカイブと議事録からのまとめとなります。英語の議論についていけないのでどのみちそうなるのですが…… 写真はIETFとは全く関係ない、RubyWorld Conference 2023開催地である島根県は宍道湖の写真です。 例によって正確性の保証は一切いたしません。 参加したセッション QUIC https://datatracker.ietf.org/group/quic/about/ Agenda等 https://datatracker.ietf.org/meeting/118/session
ホストクラブ売掛規制に関する整理 - 渡辺みちたか（自民党・新宿区議会議員）official blog
SNSではホストクラブでの売掛（ツケ払い）禁止を条例制定すべきだと盛り上がっている。今回は悪質ホストクラブの問題解決にむけて２つの重要な点を書く。 １．営業は歌舞伎町に来る前から始まっている 「ホストにハマる」と聞くと、「いや、そもそもホスト行くなよ」というツッコミをしたくなる。そう、普通のイメージは、歌舞伎町で飲んで、ほろ酔いになった時、ホストの初回の声掛けに誘われて、「え、1000円でいいの？」となって行く感じのシーンを想像する。だけど、ホストの営業活動はもっと前から始まっている。 いまのホストはSNSを積極的にやっていて、Tiktokやショート動画、インスタで発信をしている。そこでいいねを押したりコメントを書いたりすると、ホストからDMが届いて、やり取りが始まる。そしてある程度仲良くなってから店に誘われるのだ。もちろん従来のように、歌舞伎町でキャッチに声掛けられてとか、ホスト通いして
ハンダゴテの選び方
概要 さいきんハンダゴテをいろいろ検証していましたので、選び方をまとめてみました。ある程度のものを使わないとハンダは難しいので、最低でもセラミックヒーターを利用しているものをおすすめします。 ハンダゴテ選びの要素 ヒーター 昔ながらのニクロム線のヒーターと、すばやくあたたまるセラミックヒーターがあります。現状ニクロム線ヒーターを使うメリットはありませんのでセラミックヒーターのものを最低限使ってください。 最新のものはIHヒータを搭載したものもあるようです。 温度調整 昔のハンダゴテは30Wのヒーターを常にオンしているようなもので、温度調整ができないものが主流でした。現在は温度調整機能付きのものが主流になります。 温度センサー 温度調整ができるものは当然温度センサーが搭載されていると思っていると裏切られます。安い製品に関してはヒーターのワット数を調整する機能になっています。そのため低い温度に
Web Fairy Paradise
【主な内容】 ・第158回WFPフェアリー作品展（再掲） ・第159回WFPフェアリー作品展 ・使わなかった作品展（占魚亭）解答 ・第157回WFP作品展結果 ・第20回フェアリー入門（安南協力詰） ・推理将棋第171回出題 ・推理将棋第168回出題結果 ・推理将棋第169回出題結果 ・協力詰・協力自玉詰解付き＃21（駒井めい） ・第5回フェアリー杯作品紹介(駒井めい) ・実験室の悲劇（第25回(占魚亭) ・今月の手筋（北村手筋） ・NK2協力詰超短編の研究後編（さんじろう） ・フェアリー入門 QUEEN超入門（springs） ・緩募ナンマイダコンテスト（たくぼん） 【ＷＦＰ作品展登場ルールのまとめ】 ～159回に更新しました。 【改訂：2024/2/23 PM14:45】 第157回WFP作品展解説中、157-1bの図画が間違っていたので修正。 157-2の解説文の一部を修正しました。
長編協力詰めの世界 | やねうら王 公式サイト
やねうら王の長編協力詰めsolver、ちょっと本気を出して改造しておきました。 長編協力詰めに、まだ前回のsolverで現実的な時間で解けない問題があったので、カッとなって並列化版のsolverを作り公開しました。これで全部解けるかも？とりあえず『寿限無』(19447手)は100秒で解けるようになりました。 https://t.co/YeHJuoHfZS — やねうら王 (@yaneuraou) January 5, 2016 これで全部解けるといいのですが…。(いまPC4台フル稼働で解かせてます。) このsolver、苦手なタイプの問題でなければ間違いなく世界最速でしょう。 あと、今回のsolver(1つ前のバージョン)がTETSUさん(加藤徹さん)の長編作品に早詰めを発見しました。 加藤徹さんの長編協力詰めNo.211a(12693手)の早詰め(12687手)をやねうら王協力詰めsol
日勤と夜勤でマスクの色分け、残業時間が大幅減…「はよ帰り」「おつかれさま」など声かけやすく
【読売新聞】 日勤と夜勤でマスクの色を変える――。滋賀県甲賀市の甲南病院が、そんなちょっとした工夫で残業時間を大幅に減らすことに成功した。「余分な経費はかからず、リスクもゼロ、働きやすい職場環境にもつながる」（担当者）という“一石三
A tale of broken badges and 23,000 features | Rust Blog
Around mid-October of 2023 the crates.io team was notified by one of our users that a shields.io badge for their crate stopped working. The issue reporter was kind enough to already debug the problem and figured out that the API request that shields.io sends to crates.io was most likely the problem. Here is a quote from the original issue: This crate makes heavy use of feature flags which bloat th
ラマヌジャンは本当に何も知らなかったのか
$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{C}[0]{\mathbb{C}} \newcommand{d}[0]{\delta} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{F}[4]{{}_2F_1\left(\begin{matrix}#1,#2\\#3\end{matrix};#4\right)} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{Gal}[0]
安全な作品を作るには：体験型作品展示の安全管理チェックリスト｜山岡 潤一
学生や作家の方、展示などで体験型の作品を制作方々向けの、危険な所や使い方はないかという安全管理のチェックリストです。安全管理と言いつつ、展示全般のノウハウなども入ってます。博物館の設営マニュアル、遊具や玩具の安全チェック、作成者の経験などからこのリストは作られています。 これを守れば安全ということはなく、火気を伴ったり、大型の構造物等は、消防法や建築法なども関わると思いますので、専門家の方に相談してください。このチェックリストは目安にしてください。 また追記情報や補足などもありましたら、ぜひコメントで記入してください。すぐに反映させます。 ※最新版はこちらのGoogleDocsになります。 (2023.11.15更新） 形状 □ 誤飲してしまうような、取り外せる小さな部品は無いか。(三歳赤ちゃんの最大口径約39mm,喉の奥まで約51mmが目安です ※誤飲チェッカーなどを利用して確かめましょ
フェアリー詰将棋の紹介
フェアリー詰将棋の紹介（V3.1） 2019年7月20日 F*社 S.ヤマシタ ０．目次 １．将棋とは ２．詰将棋とは ３．フェアリー詰将棋とは ４．変則ルール・条件 ５．ちょっとやり過ぎな作品群 ６．万が一 1 １．将棋とは 9×9桝の盤と、王将/飛車/角行/金将/銀将/桂馬/香車/歩兵の8種 40枚の駒を使った、2人制の盤上遊戯。 ◼ 起源 ◼ 紀元数世紀 チャトランガ＠インド チェス＠欧州 マックルック＠タイ チャンシー＠中国 チャンギ＠朝鮮半島 将棋＠日本 ジェッタン＠火星！ ◼ 11世紀 将棋＠日本 インド⇒タイ⇒中国⇒日本？ ◼ 16世紀 現在の形 ◼ ソフトウェア ◼ 『Ponanza』（山本一成）？ 2 ２．詰将棋とは（1/2） 将棋の終盤から派生した玉を詰める問題。 与えられた局面（問題図）から 「詰」 に至る手順（解答）を求めるもの で、手順には以下の制約がある。 ◼
学園祭で売上をリアルタイムに公開するサイトを雑に作ると盛り上がる - いなにわうどん
先日の学園祭で友人のオタク達とやきそばを焼いて原価ギリギリで売ったところ予想以上の盛況でした*1。色々と工夫点はあったのですが、その一つとして売上杯数を Web 上で登録してリアルタイムで雑に public internet に公開するという試みをしてみところちょっと盛り上がったため、その経緯を書いていきたいと思います*2。 つくったもの 会計を登録するシステムとその集計結果を表示する Web サイト（＋付随する簡単な API）を作りました。フロントエンド側のコードは GitHub 上に公開しています*3。 github.comサイトは以下のページから構成されます。フロントエンドはすべて public になっているため、簡易的な認証として API 側で Authorization ヘッダ内のトークンの有無を検証し、不正なトークンが送付された場合は 401 を返す設計としました*4。 トーク
福岡Rubyフェスタ2024
福岡Rubyフェスタ2024 アクロス福岡にて 2024年1月13日開催！ NEW11/1 イベント情報を一部公開しました 福岡Rubyフェスタとは？ みなさまは福岡県がプログラミング言語「Ruby」の拠点であることはご存知でしょうか。 本イベントは、Rubyを通して福岡県の様々な業種の方にITへの参入を促すきっかけとなるように、 福岡県の取組みをご紹介するイベントです。 ITエンジニアの方はもちろん、子供から大人まで楽しめ る催し物を行います。 Ruby開発者による講演や小中学生プログラミングコンテスト審査会、ITワークショップ、mruby 講座、 高校生向けIoT体験ワークショップ、IT業界研究セミナー、 福岡県で生まれたソフトウェア体験 コーナーなどを予定しています。 ぜひご来場ください。
Railsで秒間1000コミットを捌くにはどうすればいいのか (Kaigi on Railsのフリースペースより) - joker1007’s diary
先日のKaigi on Rails中の雑談として @ima1zumi さんから、RDBに対して秒間1000コミットぐらいで処理が詰まってる場合ってどうするのが良いのか、という質問を受けまして、雑談の中で色々答えてたんですが、せっかくだから記事にまとめておこうと思います。 ちょっとしたKaigi Effectって感じですね。 今回のKaigi on Railsのトークの中では、 数十億のレコードを持つ5年目サービスの設計と障害解決 by KNR - Kaigi on Rails 2023 の話なんかは割と関連がありますね。ユーザーの行動履歴というのは、ユーザー数 * N * タイムスパンで増えていくレコードなので、書き込みとデータ量が爆発しがちです。トランザクションで堅牢に処理しなければいけないケースもそこまで多くないので、RDBだと書き込みに対する処理が過剰なケースが多い。実際のところこの
PythonでSMTソルバ (z3py) 入門
はじめに SMTソルバ[1]とは、数式や真理値を用いて定式化された問題を解くツールです。例えば「x + y < 5 を満たす自然数(x, y) をすべて求めなさい。」のような問題を解くことができます。 SMTソルバには様々な種類がありますが、本記事では z3[2] を利用して簡単な問題を解いてみます。 準備 pip で z3py をインストールします。[3] チュートリアル 簡単な例 問題 x + y < 5 を満たす自然数(x, y) をすべて求めなさい。 解答 (x,y) = (1,1),(1,2),(1,3),(2,1),(2,2),(3,1) 具体的には、次のコードを用いて求めます。 from z3 import * # 変数定義 x = Int("x") y = Int("y") # 基本制約 s = Solver() s.add(x > 0, y > 0) s.add(x +
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
WFP作品展登場ルール一覧
ERB Hacks
GitHub - reg-viz/reg-actions: A visual regression test tool for github actions :octocat:.
