Exploring Typst, a new typesetting system similar to LaTeX - jreyesr's blog
Hello again! Today we’ll review Typst ("Ty like in Typesetting and pst like in hipster"), a language and tool to write text documents, usually PDF documents. This will be a very long article; it started small but then kept growing and growing. Typst is similar in spirit and aims to LaTeX: it’s a typesetting tool that can be used to write and generate documents, usually PDF files. It intends to be
答え：スクショからシェルのコマンドに渡す値を生成する # 開発者が実装する！ await asyncio.create_subprocess_shell("xdotool mousedown 1 mousemove --sync 750 738 mouseup 1") 🤖「ﾖｼ!」 さらに詳しく さらに詳しく Anthropic Computer Use の概要 実装例と使用方法 VNC サーバーと NoVNC を使用した接続 送受信フロー 送信 受信 computer_20241022 ツールの例: コード例: text_editor_20241022 ツールの例: bash_20241022 ツールの例: 結果の保存 スクリーンショットの base64: コード例: 処理とループ ループ内でのスクリーンショット取得 タスクを完了したと判断する基準 その後の処理 具体的な処理の流れの例
大和総研が CRM システムを商用データベースから Amazon Aurora PostgreSQL に移行 (Part 1/3) | Amazon Web Services
Amazon Web Services ブログ 大和総研が CRM システムを商用データベースから Amazon Aurora PostgreSQL に移行 (Part 1/3) 大和総研は、長年培ってきたIT分野における多くの実績とノウハウを基盤として、証券会社、銀行等の金融機関に加え、事業会社、官庁および地方自治体、健康保険組合といった公共団体等の幅広いお客様に向けて、戦略的かつ効率的な業務改革に資するコンサルティング、ならびに安全性の高い情報システムサービスを展開している AWS のパートナーです。大和総研では、大和証券の顧客情報管理システム（以下「CRM システム」）を 2022 年に全面更改しました。この更改のタイミングで、データベースエンジンを商用データベースから Aurora PostgreSQL に移行しています。本ブログでは、商用データベースから Amazon Auror
Microsoft SharePoint RCE bug exploited to breach corporate network
HomeNewsSecurityMicrosoft SharePoint RCE bug exploited to breach corporate network A recently disclosed Microsoft SharePoint remote code execution (RCE) vulnerability tracked as CVE-2024-38094 is being exploited to gain initial access to corporate networks. CVE-2024-38094 is a high-severity (CVSS v3.1 score: 7.2) RCE flaw impacting Microsoft SharePoint, a widely used web-based platform functioning
Claude AIがブラウザ内でJavaScript実行可能に！コード不要のデータ分析ツールで業務効率化へ前進 - イノベトピア
Claude AIがブラウザ内でJavaScript実行可能に！コード不要のデータ分析ツールで業務効率化へ前進 Last Updated on 2024-10-26 15:21 by admin Anthropic社は2024年10月24日、AI チャットボット「Claude」に新機能「分析ツール（analysis tool）」を実装したことを発表した。 主な特徴は以下の通り： JavaScriptのコード実行環境が統合され、ブラウザ上で直接コードを実行できる CSVファイルやPDFなどのデータファイルを分析し、インタラクティブな可視化が可能 プログラミング知識がなくても、データ分析やグラフ作成をリアルタイムで実行可能 性能面での改善： Claude 3.5 Sonnetのプログラミング性能がSWE-Bench Verifiedテストで33.4%から49.0%に向上 TAU-benchでの
ビデオ会議サービスを展開するZoomが2024年10月9日に開催した年次イベントのZoomtopiaで、「AIに会議やチャットの内容をまとめてもらう機能」「自分のAI生成アバターで動画を作る機能」など、ビジネスに役立つ新機能を発表しました。 Zoom introduces AI Companion 2.0 and the ability to customize AI Companion with a new add-on | Zoom - Zoom https://news.zoom.us/zoom-introduces-ai-companion-2-0/ Zoomtopia 2024: Unveiling AI-first work platform innovations | Zoom - Zoom https://news.zoom.us/zoomtopia-2024-unveil
Fearless SSH: short-lived certificates bring Zero Trust to infrastructure
BastionZero joined Cloudflare in May 2024. We are thrilled to announce Access for Infrastructure as BastionZero’s native integration into our SASE platform, Cloudflare One. Access for Infrastructure will enable organizations to apply Zero Trust controls in front of their servers, databases, network devices, Kubernetes clusters, and more. Today, we’re announcing short-lived SSH access as the first
Claude can now use computers. The latest version of Claude 3.5 Sonnet can, when run through the appropriate software setup, follow a user’s commands to move a cursor around their computer’s screen, click on relevant locations, and input information via a virtual keyboard, emulating the way people interact with their own computer. We think this skill—which is currently in public beta—represents a s
Machines of Loving Grace1 How AI Could Transform the World for the Better October 2024 I think and talk a lot about the risks of powerful AI. The company I’m the CEO of, Anthropic, does a lot of research on how to reduce these risks. Because of this, people sometimes draw the conclusion that I’m a pessimist or “doomer” who thinks AI will be mostly bad or dangerous. I don’t think that at all. In fa
A step-by-step guide with my learnings from 30+ AI implementations. Earlier this year, I wrote Your AI product needs evals. Many of you asked, “How do I get started with LLM-as-a-judge?” This guide shares what I’ve learned after helping over 30 companies set up their evaluation systems. The Problem: AI Teams Are Drowning in Data Ever spend weeks building an AI system, only to realize you have no i
The 6 Notion Features That Keep My Overwhelming Task List in Check
I originally started using Notion as a simple note-taking app, but it quickly evolved into my go-to tool for managing an out-of-control task list. What began as a knowledge base soon turned into a game-changing productivity powerhouse. Here's how I use it to stay on top of everything, no matter how overwhelming the workload gets. 1 Organize Projects and Tasks With Databases When dealing with a hug
Nov 4, 20243907 Words19 Minute readTable of Contents I am currently writing a analysis tool for Sql: sqleibniz, specifically for the sqlite dialect. The goal is to perform static analysis for sql input, including: syntax checks, checks if tables, columns and functions exist. Combining this with an embedded sqlite runtime and the ability to assert conditions in this runtime, creates a really great
Why I’m skeptical of rewriting JavaScript tools in “faster” languages
I’ve written a lot of JavaScript. I like JavaScript. And more importantly, I’ve built up a set of skills in understanding, optimizing, and debugging JavaScript that I’m reluctant to give up on. So maybe it’s natural that I get a worried pit in my stomach over the current mania to rewrite every Node.js tool in a “faster” language like Rust, Zig, Go, etc. Don’t get me wrong – these languages are coo
AI Flame Graphs
Recent posts: 29 Oct 2024 » AI Flame Graphs 22 Jul 2024 » No More Blue Fridays 24 Mar 2024 » Linux Crisis Tools 17 Mar 2024 » The Return of the Frame Pointers 10 Mar 2024 » eBPF Documentary 28 Apr 2023 » eBPF Observability Tools Are Not Security Tools 01 Mar 2023 » USENIX SREcon APAC 2022: Computing Performance: What's on the Horizon 17 Feb 2023 » USENIX SREcon APAC 2023: CFP 02 May 2022 » Brendan
Highlights from Git 2.47
The open source Git project just released Git 2.47 with features and bug fixes from over 83 contributors, 28 of them new. We last caught up with you on the latest in Git back when 2.46 was released. To celebrate this most recent release, here is GitHub’s look at some of the most interesting features and changes introduced since last time. Incremental multi-pack indexes Returning readers of this se
pt-online-schema-changeにnohupをつけてバックグラウンドで実行してもSIGHUPを受け取って終了する現象 - Repro Tech Blog
Platform Team/Sys-Infra Unitの伊豆です。今回は、pt-online-schema-changeにnohupをつけてバックグラウンドで実行してもSIGHUPを受け取って終了する現象に遭遇したので、そのときに調査した内容を共有します。 調査は以下の環境で行いました。 pt-online-schema-change v3.6.0 Amazon Linux 2023 bash 5.2.15 OpenSSH 8.7p1 背景 ReproではAurora MySQLを使っていて、レコード数の多いテーブルのスキーマを変更するときに、pt-online-schema-changeを使うことがあります 1 。pt-online-schema-changeを実行するときは、実行用のサーバーにSSHでログインして実行しています。 中には10億レコード以上あるテーブルもあり、pt-on
GitHub Pull Requests Version 0.100.0 of the GitHub Pull Requests extension adds Copilot integration: Use the @githubpr chat participant in the Chat view to search for issues, summarize issues/prs, and suggest fixes for issues. @githubpr uses a number of Language Model tools to accomplish this. There's also a new Notifications view that shows GitHub notifications, with an action to prioritize them
Writing secure Go code
What does it mean to keep security in mind when writing Go code? Answering this question in one short article seems impossible. For this reason, we will narrow it down to a few specific practices. They will lead to writing robust, secure and performant code when applied continuously. How do we stay informed about the Go security announcements? How do we keep our Go code patched and up to date? How
まもなく Snipping Tool で表形式データの読み取りとコピーが可能に Microsoftは画面キャプチャーなどを行うSnipping Toolに新機能を追加する予定で、Windows Insider ProgramのDevおよびBetaチャンネルに登録しているユーザー向けに、新たに表形式のデータをキャプチャーした際に「テーブルとしてコピー」できる機能が追加されることが明らかになりました。 Snipping Toolでは文字認識を行うことは可能ですが、単語のコピーに留まっていました。しかし、バージョン11.2409.22.0にてキャプチャーした画像内に表形式のデータがある場合、「テーブルとしてコピー」というオプションが表示され、Excelなどの表計算ソフトに貼り付けることが可能になります。 Snipping Tool（バージョン11.2409.22.0以降）のアップデートをWind
Welcome to WikiProject AI Cleanup—a collaboration to combat the increasing problem of unsourced, poorly written AI-generated content on Wikipedia. If you would like to help, add yourself as a participant in the project, inquire on the talk page, and see the to-do list. Ever since 2022, large language models (LLMs) like ChatGPT have become a convenient tool for writing at scale. Unfortunately, thes
The first Rails 8 beta has officially been released, bringing an exciting set of features, bug fixes, and improvements. This version builds on the foundation of Rails 7.2, while introducing new features and optimizations to make Rails development even more productive and enjoyable. Key highlights include an integration with Kamal 2 for hassle-free deployments, the introduction of Propshaft as the
Discretization of continuous-time control systems - 制御工学ブログ
Discretization of Continuous-Time Control Systems When expressing the characteristics of a control target based on physical laws, it is often represented in the form of differential equations, which are treated within the framework of continuous-time representation. However, when implementing the controller, although it is for a brief moment, the control input is calculated at discrete steps and a
【衝撃】Google検索では絶対に出てこない隠れた便利・暇つぶしサービスを31個ご紹介します！視聴者さんが作ったウェブサイト・拡張機能・アプリが凄すぎた！
◇ウェブマニアの視聴者さん同士で交流ができる公式Discordサーバー→https://discord.gg/HtDkPsGDMs ◇Xはこちら→https://twitter.com/webmaniasns ＜エントリー作品一覧＞ ① Simle Fake OS https://sfosdemo.bitbucket.io/ ② 暇つぶしゲーム集 https://impossible-snapper-205.notion.site/Scratch-10fc7c94ecce804d8307d616b02b9cc3 ③ プロセカ自動スコア記録ツール https://sites.google.com/view/wamom/0005 ④ ガチガチ検索さん https://ruru.kanagawa.jp/qo/2024/08/17/gachi-search/ ⑤ Learn and Check
Octoverse: AI leads Python to top language as the number of global developers surges
Remember when people said AI would replace developers? Our data tells a different story. As AI rapidly expands, developers are increasingly building AI models into applications and engaging with AI projects on GitHub in large numbers. At the same time, we’re seeing an unprecedented number of developers join GitHub from across the globe, and many of these developers are contributing to open source
GitHub Copilot、3大AIモデルに対応へ ─ Anthropic、Google、OpenAIのモデルを自由に選択可能に。新ツール「GitHub Spark」も発表 - イノベトピア
GitHub Copilot、3大AIモデルに対応へ ─ Anthropic、Google、OpenAIのモデルを自由に選択可能に。新ツール「GitHub Spark」も発表 Last Updated on 2024-10-30 20:34 by admin GitHubは2024年10月29日（米国時間）、サンフランシスコで開催された年次開発者カンファレンス「GitHub Universe 2024」において、以下の発表を行った。 主な発表内容： 1. GitHub Copilotのマルチモデル対応 – AnthropicのClaude 3.5 Sonnet（即日利用可能） – GoogleのGemini 1.5 Pro（数週間以内に利用可能） – OpenAIのGPT-4o、o1-preview、o1-mini（即日利用可能） 2. 新規アプリ開発ツール「GitHub Spark」の発
ファクトネタ：最も人気のある生成AI 2024 - Be financial freedom. 経済的自由の探求
こんにちは、株もっちーです。 月曜日は、VISUAL CAPITALISTなどから、気になるファクト・事実・データの話題を取り上げてみます。 最も人気のある生成AI 2024 をビジュアル化 気づいたこと 行動したこと 引用元｜VISUAL CAPITALIST Ranked: The Most Popular Generative AI Tools in 202 まとめ ランキング・宣伝など 最も人気のある生成AI 2024 をビジュアル化 気づいたこと ご覧の通りの順位です。 Rank GenAI Tool Type Traffic in March 2024 (million visits) 1 ChatGPT Chatbot 2,343.2 2 Gemini Chatbot 132.9 3 Poe Chatbot 43.4 4 Perplexity Chatbot 40.2 5 C
Ten years ago (July 2014) the Express v5 release pull request was opened, and now at long last it’s been merged and published! We want to recognize the work of all our contributors, especially Doug Wilson, who spent the last ten years ensuring Express was the most stable project around. Without his contributions and those of many others, this release could not have happened. Eight months ago we we
Lingo: A Go micro language framework for building Domain Specific Languages
Lingo: A Go micro language framework for building Domain Specific Languages Design, build and integrate your own Domain Specific Language with Lingo. Domain Specific Languages (DSL) are small, focused languages with a narrow domain of applicability. DSLs are tailored towards their target domain so that domain experts can formalize ideas based on their knowledge and background. This makes DSLs powe
規範倫理学の一分野に、現代社会契約論という領域がある。これは、最も広く定義するなら、ホッブズら近世の社会契約論者にインスピレーションを得た議論の集合ということになるが、功利主義や義務論、徳倫理と比べると明らかに知名度が低く、教科書でもさらっとしか触れられないことが多い。 そこで本エントリでは自分用のメモも兼ねて、現代社会契約論の文献を筆者の目につく範囲でリストアップしていくことにする。文献は随時追加していく予定である。これを追加しろとかこれが入っているのは変だというのがあればぜひコメントしてほしい。 以下注意点。 現代社会契約論の中にも様々な潮流があり、例えば契約論（contractarianism）、契約主義（contractualism）、黙約論（conventionalism）といった風な区分けがされている*1。非常にざっくり言うと、合理的で現実主義的っぽいのが契約論、理想主義的っぽ
Adobe Photoshop新機能：AIで不要物を一瞬で消去！「Distraction Removal」が画像編集を革新 - イノベトピア
Adobe Photoshop新機能：AIで不要物を一瞬で消去！「Distraction Removal」が画像編集を革新 Last Updated on 2024-10-15 08:09 by admin 2024年10月14日、Adobe社はPhotoshopの最新アップデートを発表した。このアップデートでは、人工知能（AI）を活用した新機能「Distraction Removal」が追加された。 主な特徴は以下の通り： 「Remove Tool」に「Distraction Removal」機能が統合され、画像内の不要な要素（人物、ワイヤー、ケーブルなど）を1クリックで自動的に検出・削除・置換できるようになった。 最新のAdobe Firefly Image 3 Modelが導入され、Generative Fill、Generative Expand、Generate Similar、
21st October 2024 I’m a huge fan of Claude’s Artifacts feature, which lets you prompt Claude to create an interactive Single Page App (using HTML, CSS and JavaScript) and then view the result directly in the Claude interface, iterating on it further with the bot and then, if you like, copying out the resulting code. I was digging around in my Claude activity export (I built a claude-to-sqlite tool
Making content-aware components using CSS :has(), grid, and quantity queries
Making content-aware components using CSS :has(), grid, and quantity queries A big thing you need to contend with when working on design systems is anticipating all the different ways someone may use a component. The idea here is that you then preemptively provide sensible behavior and safeguards to keep things working well. An example of this is a “Simple List” component I was helping to make. It
Last Updated on 2024-10-25 08:31 by admin 音声AI技術で知られるElevenLabsは、2024年10月21日にサンフランシスコでAndreessen Horowitz (a16z)と共同で会話型AIに関するミートアップを開催し、新しい会話型AIプラットフォームのプレビューを発表することを明らかにした。 このプラットフォームは音声対音声のAIエージェントを簡単に構築できることを特徴としており、同社が持つ3,000以上の高品質なAI音声ライブラリと音声クローニング技術を活用する。 ElevenLabsは2023年に80億円規模の資金調達を実施してユニコーン企業となった企業で、最近では32言語に対応したReaderアプリをグローバルにリリースするなど、急速に事業を拡大している。 現在提供している音声変換サービスの価格は、ビジネスプランで1分あたり10セ
We’re publishing React Compiler Beta today, so that early adopters and library maintainers can try it and provide feedback. We’re officially supporting React Compiler for apps on React 17+, through an optional react-compiler-runtime package. We’re opening up public membership of the React Compiler Working Group to prepare the community for gradual adoption of the compiler. At React Conf 2024, we a
Unsafe Rust Is Harder Than C
Or: The Most Expensive Linked List I’ve Ever Written Some of you already know the contents of this post, especially if you’ve written embedded or unsafe code in Rust. But I didn’t, so I thought it was useful to write down my experience as accurately as I can. Without further ado… Last year, I wrote Photohash, software to help me index my NAS and find duplicate photos with rotation-independent hash
❯ askrepo --prompt "What is the purpose of this code?" --model "gemini-1.5-flash" ./src This code, primarily found in `src/main.rs`, is designed to **extract information from source code files and provide answers to questions about them using a Google AI model**. It leverages the `google_api` module (`src/google_api.rs`) to interact with the Google Generative Language API. Here's a breakdown of it
articles today i learned tags contact Using static websites for tiny archives Tagged with digital preservation, html Posted 16 October 2024 In my previous post, I talked about how I’m trying to be more intentional and deliberate with my digital data. I don’t just want to keep everything – I want to keep stuff that I’m actually going to look at again. As part of that process, I’m trying to be bette
Welcome to your flow state. This year marks our tenth GitHub Universe—and one theme has remained constant: our focus on developers and the developer experience. Over 10 years, that developer experience has evolved from inventing the pull request to building the world’s most widely adopted AI coding tool, GitHub Copilot. Today, our platform serves more than 100 million developers, and through the p
OpenAIのGPT-4など大規模言語モデル(LLM)をベースにしたAIは、自然な文章を生成したりさまざまな課題をクリアしたりと、高度で広範な機能を備えています。しかし、依然として小学生レベルの算数でも、文章題だと人間がしないようなミスをして答えられないケースがあります。Appleの人工知能科学者が発表した論文では、MetaやOpenAIなどの大規模言語モデルに基づくAIは「基本的な推論能力が欠けている」という研究結果が示されました。 [2410.05229] GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models https://arxiv.org/abs/2410.05229 Researchers question AI's 'reasoning' a
GPT-4o(Claude)に危険物取扱者試験(甲種試験)を解かせてみる-その4: LangGraphによるエージェント化と自動の文献情報の照合｜Kan Hatakeyama
ranggraphを入れます｡GPT-4oよりもClaude-3.5-sonnetの方が読解力が高そうだったので､anthropicのモジュールも入れておきます｡ pip install -U langgraph pip install langchain-anthropic練習1: 秘密の合言葉をチェックするエージェントを作るチュートリアルを少し改造したシステムを作ります｡ 練習で､以下のようなシステムを作ります｡ 人間の代わりにLLMがツールにアクセスし､返答を得るものです｡ モジュールの定義モジュール類を定義します｡ from typing import Annotated, Literal, TypedDict from langchain_core.messages import HumanMessage from langchain_anthropic import ChatA
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Anthropic Computer Useはどうやって実現されているのか？ - laiso
Zoomが「自分のAI生成アバター」を使って動画を作成する機能などAIを活用した新機能を多数発表
Developing a computer use model
Dario Amodei — Machines of Loving Grace
Creating a LLM-as-a-Judge That Drives Business Results –
Why I love Rust for tokenising and parsing
Visual Studio Code October 2024
まもなく Snipping Tool で表形式データの読み取りとコピーが可能に
Wikipedia:WikiProject AI Cleanup - Wikipedia
What's New in Ruby on Rails 8 | AppSignal Blog
Introducing Express v5: A New Era for Node.js Framework
現代社会契約論 文献リスト - 清く正しく小賢しく
Everything I built with Claude Artifacts this week
ElevenLabs、会話型AIプラットフォームを発表 ─ 3000種類の音声と32言語対応 - イノベトピア
React Compiler Beta Release – React
GitHub - laiso/askrepo: Source code reading with LLM.
Using static websites for tiny archives
New from Universe 2024: Get the latest previews and releases
AppleのAI研究者らが「今のAI言語モデルは算数の文章題への推論能力が小学生未満」と研究結果を発表