並び順

ブックマーク数

期間指定

  • から
  • まで

1 - 10 件 / 10件

新着順 人気順

translationの検索結果1 - 10 件 / 10件

  • GitHub - Mega-Gorilla/Index_PDF_Translation

    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

      GitHub - Mega-Gorilla/Index_PDF_Translation
    • 🦀 Translation of the Rust's core and alloc crates | Formal Land

      We continue our work on formal verification of Rust programs with our tool coq-of-rust, to translate Rust code to the formal proof system Coq. One of the limitation we had was the handling of primitive constructs from the standard library of Rust, like Option::unwrap_or_default or all other primitive functions. For each of these functions, we had to make a Coq definition to represent its behavior.

        🦀 Translation of the Rust's core and alloc crates | Formal Land
      • GitHub - niedev/RTranslator: Open source real-time translation app for Android that runs locally

        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

          GitHub - niedev/RTranslator: Open source real-time translation app for Android that runs locally
        • DeepL's next-gen LLM outperforms ChatGPT-4, Google, and Microsoft for translation quality

          Our next-generation (“next-gen”) language model outperforms Google Translate, ChatGPT-4, and Microsoft for translation quality The new LLM's translations require fewer edits, with Google needing 2x and ChatGPT-4 needing 3x more edits to achieve the same quality As part of our mission to provide the highest quality translations to businesses around the world, we’re excited to introduce our next-gen

            DeepL's next-gen LLM outperforms ChatGPT-4, Google, and Microsoft for translation quality
          • nofrills/文法を大切にして翻訳した共訳書『アメリカ侵略全史』作品社など on X: "以下、投稿主はパレスチナ史の研究者で、米プリンストン大で博士号を取得。 「イスラエルがあまり世間に知られたくないハマスとの関係について、いくつか連ツイでまとめておきます」 #ガザ投稿翻訳 #Gaza Translation"

            • Pre-translation vs. direct inference in multilingual LLM applications

              Philosophy We strive to create an environment conducive to many different types of research across many different time scales and levels of risk. Learn more about our Philosophy Learn more

              • Japan: Publisher pulls translation Abigail Shrier's anti-trans book

                Kadokawa Corp, a publishing house in Japan, announced it was pulling the translation of Abigail Shrier’s anti-trans book Irreversible Damage. (Regnery Publishing/YouTube/ReasonTV) A major publishing house in Japan has cancelled the publication of a translated version of Abigail Shrier’s anti-trans book, after a backlash and a planned protest outside its headquarters. The Kadokawa Corporation revea

                  Japan: Publisher pulls translation Abigail Shrier's anti-trans book
                • [Announcement] Ubuntu Desktop 23.10 release image translation incident - now resolved

                  This post was updated on Oct 16, 2023 at 18:26 BST. We are pleased to announce that, following an audit of all desktop installer translations, Ubuntu Desktop 23.10 is available for download from https://ubuntu.com/download/desktop Updated builds for Ubuntu Budgie 23.10 and Ubuntu Desktop 23.10 Lenovo X13s Gen1 are also available. Going forward we will be drafting new safeguards around translation

                    [Announcement] Ubuntu Desktop 23.10 release image translation incident - now resolved
                  • GitHub - WICG/translation-api: A proposal for a web translation API

                    This proposal is an early design sketch by the Chrome built-in AI team to describe the problem below and solicit feedback on the proposed solution. It has not been approved to ship in Chrome. Browsers are increasingly offering language translation to their users. Such translation capabilities can also be useful to web developers. This is especially the case when browser's built-in translation abil

                      GitHub - WICG/translation-api: A proposal for a web translation API
                    • GitHub - jsdotlua/react-lua: A comprehensive, but not exhaustive, translation of upstream ReactJS 17.x into Lua.

                      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

                        GitHub - jsdotlua/react-lua: A comprehensive, but not exhaustive, translation of upstream ReactJS 17.x into Lua.
                      1