![[翻訳]LLMで1年間開発して学んだこと〜LLMプロダクト開発を成功に導くための実践的ガイド〜](https://cdn-ak-scissors.b.st-hatena.com/image/square/3636c7c8e7c838018a6e006d55b3f4b8d18f34cc/height=288;version=1;width=512/https%3A%2F%2Fres.cloudinary.com%2Fzenn%2Fimage%2Fupload%2Fs--7VM-vHg9--%2Fc_fit%252Cg_north_west%252Cl_text%3Anotosansjp-medium.otf_55%3A%25255B%2525E7%2525BF%2525BB%2525E8%2525A8%2525B3%25255DLLM%2525E3%252581%2525A71%2525E5%2525B9%2525B4%2525E9%252596%252593%2525E9%252596%25258B%2525E7%252599%2525BA%2525E3%252581%252597%2525E3%252581%2525A6%2525E5%2525AD%2525A6%2525E3%252582%252593%2525E3%252581%2525A0%2525E3%252581%252593%2525E3%252581%2525A8%2525E3%252580%25259CLLM%2525E3%252583%252597%2525E3%252583%2525AD%2525E3%252583%252580%2525E3%252582%2525AF%2525E3%252583%252588%2525E9%252596%25258B%2525E7%252599%2525BA%2525E3%252582%252592%2525E6%252588%252590%2525E5%25258A%25259F%2525E3%252581%2525AB%2525E5%2525B0%25258E%2525E3%252581%25258F%2525E3%252581%25259F%2525E3%252582%252581%2525E3%252581%2525AE%2525E5%2525AE%25259F%2525E8%2525B7%2525B5%2525E7%25259A%252584%2525E3%252582%2525AC%2525E3%252582%2525A4%2525E3%252583%252589%2525E3%252580%25259C%252Cw_1010%252Cx_90%252Cy_100%2Fg_south_west%252Cl_text%3Anotosansjp-medium.otf_37%3Aseya%252Cx_203%252Cy_121%2Fg_south_west%252Ch_90%252Cl_fetch%3AaHR0cHM6Ly9zdG9yYWdlLmdvb2dsZWFwaXMuY29tL3plbm4tdXNlci11cGxvYWQvYXZhdGFyL2QzODg4YjM0MzEuanBlZw%3D%3D%252Cr_max%252Cw_90%252Cx_87%252Cy_95%2Fv1627283836%2Fdefault%2Fog-base-w1200-v2.png)
![newmoで活躍中の id:yaottiを訪問 | はてな卒業生訪問企画 [#10] - Hatena Developer Blog](https://cdn-ak-scissors.b.st-hatena.com/image/square/ae8ff000a9f80353447c4315baf32d7dada6d46e/height=288;version=1;width=512/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fh%2Fhatenatech%2F20240618%2F20240618182821.jpg)
Magic: Future-proof passwordless authentication
Magic provides the leading wallet-as-a-service plus essential NFT capabilities.
タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
Magic provides the leading wallet-as-a-service plus essential NFT capabilities.
2018年9月20日、Quanta Magazine "Titans of Mathematics Clash Over Epic Proof of ABC Conjecture" の翻訳
tar0log.tumblr.com tar0.tumblr.com | taro.haun.org | @tar0zzz | @4bungi | @4bungi | suzuri Tags: abc, eht, life, mini, prfm, photo, ringo, sci, writing Feb 21, 2023: My blog has moved to 4bungi.jp/blog/. I will keep this tumblr so the links will not be broken, but I am also copying the articles I have posted here to 4bungi.jp. Life is like riding a bicycle. To keep your balance you must keep movin
Here’s How Two New Orleans Teenagers Found a New Proof of the Pythagorean Theorem
Recently, two teenage girls — Calcea Johnson and Ne’Kiya Jackson — gave a presentation to the American Mathematical Society where they demonstrated a new proof of the Pythagorean Theorem. Their proof has caused quite a stir. One reason for the stir delights me and makes me incredibly happy as a teacher of mathematics. By all accounts, these two teenage math…
Mathematical proof that rocked number theory will be published
Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.
GitHub - google/security-research: This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.
This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code. We believe that vulnerability disclosure is a two-way street. Vendors, as well as researchers, must act responsibly. This is why Google adheres to a 90-day disclosure deadline. We notify vendors of vulnerabilities immediately, with details shar
GitHub - Polight/lego: 🚀 Low-Tech Web-Components Made Lightweight & Future-Proof.
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
An all-in-one marketing solution, purpose-built to scale your campaigns.
PoC（Proof of Concept：概念実証）とは？意味・定義 | ITトレンド用語 | ドコモビジネス｜NTTコミュニケーションズ 法人のお客さま
事業共創プログラム OPEN HUB for Smart World 未来をひらく「コンセプトと社会実装」の実験場 OPEN HUB for Smart Worldは、社会課題を解決し、わたしたちが豊かで幸せになる未来を実現するための新たなコンセプトを創り、社会実装を目指す事業共創の場です
An elementary proof that the regular polygon is the largest among polygons that are inscribed in a circle | Parabola
Rikuto Tanaka, Jinya Miyamoto, Yuki Maruo, Keita Nakayama and Ryohei Miyadera In this article, we present an elementary proof of the following fact: A regular polygon has the largest area among all polygons inscribed in a circle.
GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
This repo is still very early and rough, it's mostly just notes, speculative writing, and exploratory theorem proving. Most of the files in this repo are just "mad scribblings" that I haven't refined enough to actually stand by! If you prefer video, this presentation talks about the core ideas that make formal verification and Magmide possible, and the design goals and intentions of the project: I
⭐︎目次の見出しは訳者が付けたもので原本にはありません。 最初のスタジオ、パンPDとの出会い BTSが証明してきた瞬間 飾らないよう努める人 変わらないものはない。大事なのはどう変わるか バイク事故で一番辛かった20歳の頃 スピードより大切なのはどこに向かっているのか 運命のふりをした、選択の集まり SUGAの選ぶアルバム・曲 花様年華…１カ月近く、一坪半の部屋で SEASAW…相手に合わせるタイプ Cypher3 Killer…全方位から殴られた頃 最初のスタジオ、パンPDとの出会い 過去、現在、未来の中で最も重要だと思うことは何ですか？ 以前は未来が一番大事だと思ってたけど、今は現在だと思います。 過去は通り過ぎたので、僕がどうすることもできないじゃないですか。 未来だけを見つめて生きる時は、心配が多くなりましたしね。このごろは現在に忠実に、今できることをしようという考えで暮しています
From Theory to Reality: Explaining the Best Prompt Injection Proof of Concept
My thoughts on hacking, ai, faith, and more. © 2024 rez0. I’ve been theorizing and researching prompt injection attacks. They’ve mostly been theoretical, though. In this post, I’m going to break down and explain the best self-contained proof of concept for how indirect prompt injection can lead to plugin-hijacking with severe consequences. Definitions Before diving in, let’s clarify some terms: LL
「BTS（防弾少年団）」、「Proof」リリースから1時間で全世界300万ツイートを記録！ ｜Infoseekニュース
「BTS（防弾少年団）」、「Proof」リリースから1時間で全世界300万ツイートを記録！ – 記事詳細｜Infoseekニュースグループ「BTS（防弾少年団）」のニューアルバム「Proof」の関連ツイートが、アルバムリリース1時間で全世界で300万件以上あふれた。12日、ツイッターによると、「BTS」の「Proof」関連のツイートは、アルバム発売から1時間経った10日の午後1時から2時までで、300万件以上のツイートを記録し… 枚組のBTS Anthology Album『Proof』発売決定！ ＜収録内容＞ [Disc 1] 1. Born Singer (新曲) 2. No More Dream 3. N.O 4. ???(Boy In Luv) 5. anger 6. I NEED U 7. RUN 8. ?????(FIRE) 9. ? ? ?? 10. ?? 11. DNA 1
- Blockchain As A New Medium For Art - 2023.6.17 sat - 6.25 sun THE FACE DAIKANYAMA 非中央集権型のP2Pシステムであるブロックチェーンは、透明性と高い信頼性を実現し、仲介者を不要とすることで、その登場以降社会への影響を広げ続けています。そして、ブロックチェーンにおいて一定の条件下で実行されるスマートコントラクトは、所有・販売・配布などの多様なプロセスをシステム化し、NFT作品の制作とマーケット形成を支えています。またそれは、アートの在り方の新たな展開をも生み出そうとしています。かつてアーティスト、ハッカーであるレア・マイヤース（Rhea Myers）はブロックチェーンをアートのメディウムとして活用できることを先駆けて提示し、《シンプル・ブロックチェーンアート・ダイアグラム（Simple Blockchain
Fe - A next generation, statically typed, future-proof smart contract language for the Ethereum Virtual Machine
The next generation smart contract language for Ethereum Create decentralized applications in a powerful, future-proof and statically typed language that is easy to learn. Beautiful and elegant The syntax of Fe is largely inspired by Rust. It is easy to learn, even for those who have never dealt with the EVM before. Fe is designed to be safe and equipped with the tooling needed to validate contrac
Elegant Six-Page Proof Reveals the Emergence of Random Structure | Quanta Magazine
When the mathematicians Jeff Kahn and Gil Kalai first posed their “expectation threshold” conjecture in 2006, they didn’t believe it themselves. Their claim — a broad assertion about mathematical objects called random graphs — seemed too strong, too all-encompassing, too bold to possibly be true. It felt more like wishful thinking than a reflection of mathematical truth. Even so, no one could prov
GitHub - yyx990803/vue-lit: Proof of concept custom elements "framework"
<my-component></my-component> <script type="module"> import { defineComponent, reactive, html, onMounted, onUpdated, onUnmounted } from 'https://unpkg.com/@vue/lit' defineComponent('my-component', () => { const state = reactive({ text: 'hello', show: true }) const toggle = () => { state.show = !state.show } const onInput = e => { state.text = e.target.value } return () => html` <button @click=${to
How Panasonic Avionics designed its Astrova IFE to be future-proof - Runway Girl
Runway Girl Network uses cookies. By using our site you consent to the use of cookies in accordance with our Privacy Policy. A lot of airlines carry the same inflight entertainment system on board their aircraft for as long as ten or 15 years. But IFE screens and associated technology typically evolve at a much faster pace than aircraft seats and other interiors. That’s why, when Panasonic Avionic
A little under four years ago we announced Cloudflare's first experiments in web3 with our gateway to the InterPlanetary File System (IPFS). Three years ago we announced our experimental Ethereum Gateway. At Cloudflare, we often take experimental bets on the future of the Internet to help new technologies gain maturity and stability and for us to gain deep understanding of them. Four years after o
A Spectre proof-of-concept for a Spectre-proof web
The latest news and insights from Google on security and safety on the Internet
* We rebranded this idea as #InternetOfDemocraticity. We'll provide more sophisticated version in English sooner :) / 契約民主主義は#InternetOfDemocraticity として順次リブランドされます。より体系化された資料も随時提供されます。 序文読者に、今の民主主義を愚直に続けていけば状況は改善すると思っている人々がいたら、胸に手を当てて考え直してほしい。 読者に、いずれは綻ぶことに目を瞑って独裁制を肯定する人々がいたら、胸に手を当てて考え直してほしい。 読者に、弱者を棄民していることに無自覚なネオリベラリストがいたら、胸に手を当てて考え直してほしい。 読者に、自分だけ豊かであればいいと、政府からの自由を追求するサイファーパンクがいたら、胸に手を当てて考え直して
GitHub - malept/rusty_blank: Proof-of-concept Rust + Ruby extension
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 - Minoru/plentyfs: A proof-of-concept for a read-only filesystem with random contents generated on demand.
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
[日本語の説明は↓にあります] Mosaic Street is a Japanese/English crime drama set in a near-future Japan where diversity is already a norm. It is made to advocate diversity in the Japanese film/TV industries where minority actors have virtually no representation. Starring openly transgender actress Kota Ishijima, openly lesbian actress Ami Ide, and Afro-Japanese actress Ema Grace. Why did I make Mosaic Street?
⭐︎目次の見出しは訳者が付けたもので原本にはありません。 計算なしで出会い、友だちになれた過去 RMとキム・ナムジュンのペルソナ 結局時間が経てば全て解決する 中身がぎっしり詰まっていてこそ 芸術と音楽の核心に知的な遊び 人生の一つの峰を越えたところ しがみついていた「証明」。でもきりがなかった RMが選んだアルバムとトラック LOVE YOURSELF 轉 'Tear…涙でできたアルバム Intro:PERSONA…一番正直に書いた曲 STAY…パンデミック期の意味は パンデミック期は皮肉にも羅針盤に 計算なしで出会い、友だちになれた過去 過去、現在、未来の中で最も重要だと思うことは何ですか？ 当然現在で、これからも現在だと思います。 未来は、「いまだ・未（み）」「くる・来（らい）」、すぐには来ないことで、結局不透明な何かです。 過去はもう過ぎ去ったことです。 現在を最も重要に思いながら
背景 Log Matching Property の証明 データ構造と述語の定義 AppendEntries 関数の性質 leader の log に関する性質 Log Matching Property の証明 参考資料 背景 分散合意アルゴリズム Raft は kubernetes のクラスターの構成情報を保存する etcd の内部で使われておりお世話になっている方も多いアルゴリズムだと思います。 この記事では Raft の満たす重要な性質である Log Matching Property について証明します。 元々、『Raft を TLA+ で検証する』というタイトルの記事を書こうと考えて Raft の考案者 Diego Ongaro の博士論文を読み始めました（その記事は後日公開予定です）。 アルゴリズムは論文の 3 章に書かれているのですが、そこで Raft が常に成り立つことを
The approach is through a singularity analysis of generating functions for 3- and 4-connected triangulations, asymptotic analysis, properties of the ${{}_3F_2}$ hypergeometric series, and Tutte's enumerative work on planar maps and chromatic polynomials.
St. Mary's seniors invited to Atlanta to present mathematical proof
St. Mary's seniors invited to Atlanta to present mathematical proof Over their holiday break, most high school students relax, kick back and watch TV, visit with family, maybe take a trip. But on this last winter holiday, two New Orleans seniors at St. Mary’s Academy tackled a mathematical feat thought to be impossible for 2,000 years. At some point in their education, every student learns that "A
この度、株式会社proof ninja (本社: 東京都板橋区、代表取締役: 今井宜洋、以下「当社」)は、2019年10月に新規株主となる株式会社ドワンゴを引受先として、第三者割当増資による資金調達を実施したことをおしらせします。資金調達額は1000万円です。 当社は形式証明で数学的に証明されたソフトウェアを提供することを目指しています。暗号通貨Tezosのコア開発に参加し、関数型プログラミング言語OCamlおよび証明支援器Coqによる開発に力を注いでおります。 調達した資金は証明駆動開発や関数プログラミングの開発促進のために投資することにより、ソフトウェアの高信頼化に貢献していく所存です。 本資金の出資者 株式会社ドワンゴ (本社: 東京都中央区) お問い合わせ Email: contact@proof-ninja.co.jp Twitter: @proof_ninja
GitHub - deepklarity/jupyter-text2code: A proof-of-concept jupyter extension which converts english queries into relevant python code
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 - samuelkarp/runj: runj is an experimental, proof-of-concept OCI-compatible runtime for FreeBSD jails.
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
Key Concepts Learn about the OAuth 2.0 grant type, Authorization Code Flow with Proof Key for Code Exchange (PKCE). Use this grant type for applications that cannot store a client secret, such as native or single-page apps. Review different implementation methods with Auth0 SDKs. When public clients (e.g., native and single-page applications) request access tokens, some additional security concern
Agility Robotics on Twitter: "With a 99% success rate over about 20 hours of live demos, Digit still took a couple of falls at ProMat. We have no proof, but we think our sales team orchestrated it so they could talk about Digits quick-change limbs and dur
IoTNEWSは、毎日10-20本の新着ニュースを公開しております。 また、デジタル社会に必要な視点を養う、DIGITIDEという特集コンテンツも毎日投稿しております。 そこで、週一回配信される、無料のメールマガジン会員になっていただくと、記事一覧やオリジナルコンテンツの情報が取得可能となります。 DXに関する最新ニュース 曜日代わりのデジタル社会の潮流を知る『DIGITIDE』 実践を重要視する方に聞く、インタビュー記事 業務改革に必要なDX手法などDXノウハウ など、多岐にわたるテーマが配信されております。 また、無料メルマガ会員になると、会員限定のコンテンツも読むことができます。 無料メールから、気になるテーマの記事だけをピックアップして読んでいただけます。 ぜひ、無料のメールマガジンを購読して、貴社の取り組みに役立ててください。 無料メルマガ会員登録
Proof of Concept: Linux カーネルモジュールで特定のディレクトリ以下の dentry キャッシュを破棄する - hibomaの日記
動機 社内の同僚がカーネル周りの問題を調べていて slab キャッシュ ( = dentry, inode ) に関する内容を追っていた。 その問題自体の内容は、アレがコレで、伏せておく。 その問題をみているうちに 「特定のディレクトリ以下の slab キャッシュ = dentry / inode キャッシュ を選択的に破棄することはできないのかな？」 という関心がわきいろいろ調べていた。 ビジネスロジックを担当するアプリケーションの実行とは関係ない箇所で大量に slab キャッシュ (dentry, inode) を蓄えてしまうプロセスがいて、そいつらが作ったキャッシュを意図して破棄したいようなユースケースを考えている (例: バックアップやウィルススキャン) (注意: メモリプレッシャーがかかるとカーネルがよしなに扱ってくれるはずで、「通常」のサーバ用途では slab キャッシュをあれ
Windows 10 SMBGhost bug gets public proof-of-concept RCE exploit
HomeNewsSecurityWindows 10 SMBGhost bug gets public proof-of-concept RCE exploit Working exploit code that achieves remote code execution on Windows 10 machines is now publicly available for CVE-2020-0796, a critical vulnerability in Microsoft Server Message Block (SMB 3.1.1). More refined versions of the exploit are expected to emerge, especially since at least two cybersecurity companies created
This article provides a simple proof of the quadratic formula, which also produces an efficient and natural method for solving general quadratic equations. The derivation is computationally light and conceptually natural, and has the potential to demystify quadratic equations for students worldwide.
Playsometoys、Macintosh Classic風デザインClassicbotをカプセルトイサイズにしたフィギュア「Classicbot Mini Artist Proof Edition」を発売。
PlaysometoysがカプセルトイサイズのClassicbotフィギュア「Classicbot Mini Artist Proof Edition」を発売しています。詳細は以下から。 香港の玩具メーカー”Playsometoys”は現地時間2021年03月25日、2017年に発売したMacintosh Classicを模したフィギュア「Classicbot」をカプセルトイサイズにしたフィギュア「Classicbot Mini Artist Proof Edition (以下、Classicbot Mini)」を新たに発売したと発表しています。 Classicbot Mini is designed by artist Philip Lee for the Seven Bubbles blind box project with Inscape Studio. Classicbot Mi
How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer. | Quanta Magazine
In October 2018, David Asperó was on holiday in Italy, gazing out a car window as his girlfriend drove them to their bed-and-breakfast, when it came to him: the missing step of what’s now a landmark new proof about the sizes of infinity. “It was this flash experience,” he said. Asperó, a mathematician at the University of East Anglia in the United Kingdom, contacted the collaborator with whom he’d
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Future proof your business with GTM AI
PROOFインタビュー／SUGA - はちみつと焼酎
Proof of X - Blockchain as a New Medium for Art
Proof of Stake and our next experiments in web3
Proof of Excellenceとしての契約民主主義 | ALIS
MOSAIC STREET - Proof of Concept Scene
PROOF インタビュー／RM - はちみつと焼酎
A Proof for Log Matching Property of Raft - 俺の Colimit を越えてゆけ
A non-constructive proof of the Four Colour Theorem
(株)proof ninjaが(株)ドワンゴから資金調達を実施 - にわとり小屋でのプログラミング
Authorization Code Flow with Proof Key for Code Exchange (PKCE)
Proof By Experimentation? Towards Better IR Research (SIGIR 2020)
PoC（Proof of Concept）は「概念実証」、「技術検証」にあらず | IoT NEWS
A Simple Proof of the Quadratic Formula
univ-journal.jp
japan.cnet.com
note.com/sangmin
tanemaki.iwanami.co.jp
www.manabeat.com
asmpwx.seesaa.net