はじめに こんにちは！今回は、Pythonを使ってポモドーロタイマーを作成する過程を、要件定義から実装まで詳しく解説します。このプロジェクトを通じて、以下のスキルを身につけることができます： ソフトウェア開発のプロセス（要件定義、仕様策定、設計、実装） Pythonの基本的な構文とオブジェクト指向プログラミング Tkinterを使ったGUIアプリケーションの作成 時間管理の基本概念とその実装方法 それでは、プロジェクトの各段階を見ていきましょう。 1. 要件定義 まず、ポモドーロタイマーの基本的な要件を定義します。 1.1 機能要件 25分の作業時間を計測するタイマー機能 5分の短い休憩時間を計測するタイマー機能 15分の長い休憩時間を計測するタイマー機能（4回の作業セッション後） タイマーの開始、一時停止、再開、リセット機能 現在のフェーズ（作業、短い休憩、長い休憩）の表示 完了したポモ
Doctor Webは29月12日(現地時間)、「Void captures over a million Android TV boxes」において、Android TVボックスから新しいマルウェア「Android.Vo1d」を発見したと報じた。すでに世界中のデバイスに感染していることが確認されており注意が必要。 Void captures over a million Android TV boxes マルウェア「Android.Vo1d」 Doctor Webの分析によるとマルウェア「Android.Vo1d」はトロイの木馬とされる。3つのコンポーネントで構成され、複数の手段で永続性を確保する。これまでのところ、初期の感染経路は明らかになっていない。 攻撃者は何らかの方法でデバイスへのアクセスを確保し、管理者権限を取得してマルウェアを展開したとみられている。被害報告のあったデバイスに
RAG の精度を向上させる Advanced RAG on AWS の道標 | Amazon Web Services
Amazon Web Services ブログ RAG の精度を向上させる Advanced RAG on AWS の道標 生成 AI の進化と共に、大規模言語モデル (LLM) を活用したアプリケーション開発が急速に広がっています。その中で、検索拡張生成 (Retrieval-Augmented Generation; RAG) は、LLM に対して最新の情報や特定のドメイン知識を組み込むための重要な技術として注目を集めています。 RAG は、その名の通り、外部知識ベースから関連情報を検索し、それを LLM の入力に組み込むことで、より正確で最新の情報に基づいた回答を生成する手法です。この手法には以下のような重要な利点があります。 最新情報の反映: LLM の学習データの制限を超えて、最新の情報を回答に反映させることができる。 ドメイン特化: 特定の分野や組織固有の情報を容易に組み込むこ
Version 1.93 is now available! Read about the new features and fixes from August. Using Copilot Chat in VS Code The GitHub Copilot Chat extension gives you a chat interface that lets you interact with GitHub Copilot and receive answers to coding-related questions directly within VS Code, without requiring you to navigate documentation or search online forums. Copilot Chat might use syntax highligh
GitHub Models を使って 20 種類以上の LLM の日本語性能を測定してみた - NTT Communications Engineers' Blog
本記事では、今年8月にパブリックベータ版として GitHub に搭載された新機能 GitHub Models について、概要や利用法を簡単にご説明します。さらに、実際に GitHub Models を活用して、多数の LLM の日本語性能を横断的に測定していく例を紹介していきます。 目次 目次 はじめに 三行で GitHub Models を説明すると... GitHub Models の使い方 Waitlist への登録 モデル一覧 ブラウザ上で試す API経由で試す GitHub Models を利用する上での注意点 API レート制限の制約が強い Azure AI Content Safety が全ての LLM に適用されている GitHub Models を使って LLM の日本語性能を横断的に測定する 実験 1. GPT-4o による自動評価 2. 出力が日本語になっているかどう
【SNS英文投稿和訳】ウクライナ軍が抱える制度的問題（ウクライナ軍元将校Tatarigami氏 | 日本時間2024.09.18 04:37投稿）｜Panzergraf
As Russian forces continue their advance in the Pokrovsk front, long-standing systemic issues within the Armed Forces of Ukraine continue to aid Russians with that. Based on numerous conversations with sergeants, as well as junior, and senior officers in command positions in the… — Tatarigami_UA (@Tatarigami_UA) September 17, 2024 本記事は、上記リンク先のロシア・ウクライナ戦争に関連する内容のSNS英文投稿を日本語に翻訳したものです。 投稿者のTatarigami
SREの菅原です。 カンムのサービスはWebサービス・バッチ処理なども含めて基本的にはECS上で動かしているのですが、簡単なバッチ処理はLambda+EventBridge Schedulerの組み合わせで動かすこともあります。 LambdaはECSに比べてDockerイメージのビルドやECRの準備が不要で作成の手間が少ないのですが、terraformでデプロイまで含めて管理しようとすると少し問題がありました。 terraformでのLambdaのデプロイの問題点 例えば以下のような構成のNode.jsのLambdaをデプロイする場合 / ├── lambda.tf └── lambda ├── app.js ├── package-lock.json └── package.json // app.js const util = require("util"); const gis =
Windowsを使いやすくする25ものツール群、マイクロソフト謹製PowerToys：ウィンドウズ活用術 | Forbes JAPAN 公式サイト（フォーブス ジャパン）
(c) linkties Co., Ltd. Under license from Forbes.com LLC™ All rights reserved. Windowsには長年、かゆいところに手が届くツールがマイクロソフトから提供されている。「PowerToys」と呼ばれるそのツールは、Windows 95の時代に登場。標準搭載はしないけど使い勝手をよくするツールとして「利用したい人は利用してね」というスタンスで提供されている。Windows 11になってもPowerToysは健在で、Windows 11のUIに合わせてしっかりと作り込まれている。 インストールは簡単で、「Microsoft Store」アプリから「PowerToys」を検索してインストールを実行するだけ。説明は英語表記になっているが、アプリ自体は日本語化されている。 PowerToysは更新され続けており、2024年
We’re delighted to announce the general availability of Swift 6. This is a major new release that expands Swift to more platforms and domains. Many people know of Swift as a language for app development, with a million apps on the App Store. But Swift is great for more than just apps. Swift’s safety, speed, and approachability make it a great choice for many other use cases including libraries, in
As an open source developer I frequently get emails from GitHub, most of these emails are notifications sent on behalf of GitHub users to let me know that somebody has interacted with something and requires my attention. Perhaps somebody has created a new issue on one of my repos, or replied to a comment I left, or opened a pull request, or perhaps the user is trying to impersonate GitHub security
公共交通オープンデータチャレンジ2024で提供されるデータを使い、リアルタイム性を考慮した経路検索ができるOpenTripPlanner (OTP) と Docker Compose を用いて、JR東日本の首都圏のデータで、リアルタイムの運行情報を反映した経路検索を実行するまでをご紹介します。 公共交通オープンデータチャレンジ2024ではJR東日本の関東エリアにおける一部の路線遅延情報や在線情報などのリアルタイム情報がGTFS-RT形式で配信されているため、下の図のように、山手線が現在7分遅れていることなど、リアルタイムな遅延を考慮した経路検索をローカル環境で動かすことができます！ 過去、ヴァル研究所の@kumatiraさんやsoeda_jpさんがOpenTripPlannerで岡山県で経路探索をする記事を書いてくださっていますが、5年以上経過してOpenTripPlanner2がリリース
Astro 5.0 Beta Release | Astro
The first Astro 5.0 beta is now available! This release includes the now stable Astro Content Layer, our latest iteration on managing content in Astro projects, and server islands, a new way to mix static and personalized content on your site for the best of both worlds. Read on to learn more about the new features and improvements in Astro 5.0 beta! This release includes the following highlights:
Node.js — Node v22.9.0 (Current)
2024-09-17, Version 22.9.0 (Current), @RafaelGSS New API to retrieve execution Stack Trace A new API getCallSite has been introduced to the util module. This API allows users to retrieve the stacktrace of the current execution. Example: const util = require('node:util'); function exampleFunction() { const callSites = util.getCallSite(); console.log('Call Sites:'); callSites.forEach((callSite, inde
I wrote about how much I love fish in this blog post from 2017 and, 7 years of using it every day later, I’ve found even more reasons to love it. So I thought I’d write a new post with both the old reasons I loved it and some reasons. This came up today because I was trying to figure out why my terminal doesn’t break anymore when I cat a binary to my terminal, the answer was “fish fixes the termin
非エンジニアが一年間Neovimを使った感想
はじめに これは、非エンジニアの学生が一年間Neovimを使ってみて感じたことを気ままに書いた記事です。 エディタ遍歴 まず最初に自己紹介がてらこれまでのエディタ遍歴を紹介します。 Eclipse(2022/4 ~ 2023/7) 最初に使ったエディタ(IDE)は、Eclipseです。 学校の授業で半年間だけc言語をやる機会があったので、その時に入れました。 本当はVS Codeを入れたかったのですが、当時のわたしはVisual StudioとVisual Studio Codeの違いすら分からないエディタ弱者だったので断念しました。 しかし、ここでVS Codeを使っていたらおそらくNeovimには出会えなかったと思うので、結果的には幸運だったと思います。 Eclipseは、c言語を書く以外にも学校のレポートをTeXで書くために使っていました。 エディタ内で編集やコンパイルやPDFのプレ
Ruby LSP
Ruby LSP The Ruby LSP is an implementation of the language server protocol for Ruby, used to improve rich features in editors. It is a part of a wider goal to provide a state-of-the-art experience to Ruby developers using modern standards for cross-editor features, documentation and debugging. Want to discuss Ruby developer experience? Consider joining the public Ruby DX Slack workspace. Table of
1. はじめに Next.js(App Router)をCloud Runにデプロイしようとしたのですが、Next.jsのビルド時に環境変数を設定するのに苦労したので備忘録です。 実はVercelを使えば即効で終わるのですが、それでもCloud Runを使いたい人向けの記事です。 2. 前提 Next.jsの環境変数はCloud Runに設定済みとします Cloud RunにNext.jsをビルドしようとする際はCloud Buildが走りnext buildを行います Cloud Runに環境変数を設定してもCloud Buildは環境変数を知らないので正常にビルドできません Next.jsが正常にビルドできるようにするには.envファイルなどで環境変数を教えてあげる必要があります Dockerfileやcloudbuild.yaml(つまりコード内)に機密情報をハードコーディングするこ
What's new in DevTools, Chrome 129 | Blog | Chrome for Developers
Recorder supports export to Puppeteer for Firefox As part of WebDriver BiDi support, the Recorder panel can now export recordings to Puppeteer for Firefox. With Puppeteer's support of Firefox, you can now record user flows using the Chrome DevTools Recorder panel, export them, and run them against both Firefox and Chrome. For more information, see WebDriver BiDi - The future of cross-browser autom
7日間でハッキングをはじめる本をやってみた
はじめに 2024/8/28に発売された、野溝のみぞう氏著の「7日間でハッキングをはじめる本 TryHackMeを使って身体で覚える攻撃手法と脆弱性」をやってみた。思いの外長くなったので、感想を最初に書き、各章の内容を振り返ってみる。 感想 ハッキングの楽しさに触れられる良書だった。環境構築をはじめ、各章がかなり丁寧に解説されており、初心者でも躓くことなくハッキングを学べる本だと思った。用語の説明も詳しいが、「なぜこの方法を取るか？」や「どうアプローチするか？」の道筋の説明が丁寧で、わかりやすかった。あとイラストが最高にかわいい。 TryHackMeは登録したきりだったが、楽しさがやっとわかった。閉じた環境で遊べるのと、幅広いルームで遊べるのがいいと思った。ツールを試したり、脆弱性を悪用した攻撃を試せたり、CTF形式で遊べるなど、好きな遊び方ができるのが楽しい。 自身の場合は、Learni
“Life can only be understood backwards; but it must be lived forwards.” — Kierkegaard I’m very pleased to announce the release of Factor 0.100! OS/CPU Windows Mac OS Linux x86 Source code: 0.100 This release is brought to you with over 1400 commits by the following individuals: Aditya Aryaman Das, Alex null Maestas, Alexander Ilin, Andy Kluger, Bhargav Shirin Nalamati, Charlie Weismann, Dave Carlt
これは何 RAGの構築そのものよりも RAGの回答品質を上げるためにどの指標をどう使うか RAGの回答品質を上げるために人手でやるべき評価は何か RAGの回答品質が十分であることをどのように確かめるか に焦点を充てた考え方の整理 基本的にはRAG評価フレームワークで有名なOSSのRAGASの指標や用語を使うが、一部大胆に拡張する。 今回、RAGで参照するドキュメントは規定やマニュアル等の「自組織で作成・管理している」「他組織で作る場合も全体像は把握できている」ケースを想定しており、例えばWeb検索で幅広に情報収集するケースは想定していない。自前でRAGを作りたい場合は、独自のドキュメントで特化型のRAGを作りたい！が大半のはず 用語の全体像。以下、この図の解説 人力質問応答（問い合わせ窓口・ヘルプデスク）対応 用語 real question 実際のユーザからの質問内容 質問内容に直接関係
Lumen Technologiesは9月18日(米国時間)、「Derailing the Raptor Train - Lumen」において、中国の国家支援を受けているとみられる脅威グループ「Flax Typhoon」が4年以上かけて構築した多層ボットネット「Raptor Train」を発見したと報じた。ボットネットの分析、キャンペーンの詳細など脅威グループの活動レポートは「(PDF) Derailing the Raptor Train Black Lotus Labs - LUMEN」から閲覧できる。 Derailing the Raptor Train - Lumen 多層ボットネット「Raptor Train」の概要 レポートによると、発見された多層ボットネット「Raptor Train」は複雑な多層ネットワークで構成されているという。具体的には、上流の管理ノード(Tier3)、
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Pythonで作るポップなポモドーロタイマー - Qiita
130万台のAndroid TVからマルウェア検出、確認と対策を
AI-powered chat conversations with GitHub Copilot
terrraformを使ったGoのLambdaの管理 - カンムテックブログ
Announcing Swift 6
GitHub Notification Emails Hijacked to Send Malware
JR東日本のリアルタイムデータで乗換案内（OTP）を動かす -1.Docker起動編-
Reasons I still love the fish shell
Next.jsをCloud Runにデプロイする際にビルド時の環境変数を設定する
Factor 0.100 now available – Re: Factor
RAGの評価と改善箇所特定方法について考えていることのメモ - Qiita
TP-LINK製ルータなど数十万台のデバイスの侵害発見、サイバー攻撃の兆候か