もともとインフラエンジニアをしていた私が、LINEに入るまで知らなかった「テクニカルライターという職種があること」と「LINEにはテクニカルライティング専門のチームがあること」の2つについてお話しします。技術も好きだし、ドキュメントを書いたり、人に教えたりするのも好きだ、という方に「こういうキャリアもあ…
タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
Using TLA+ in the Real World to Understand a Glibc Bug by Malte Skarupke TLA+ is a formal specification language that you can use to verify programs. It’s different from other formal verification systems in that it’s very pragmatic. Instead of writing proofs, it works using the simple method of running all possible executions of a program. You can write assertions and if they’re not true for any p
The Learning Interpretability Tool (🔥LIT, formerly known as the Language Interpretability Tool) is a visual, interactive ML model-understanding tool that supports text, image, and tabular data. It can be run as a standalone server, or inside of notebook environments such as Colab, Jupyter, and Google Cloud Vertex AI notebooks. LIT is built to answer questions such as: What kind of examples does m
Scientists have known for years that measles can alter the immune system – but the latest evidence suggests it's less of a mild tweaking, and more of a total reset. It was late at night on 15 November 2019, on the Samoan island of Upolu – a tiny jade-green splodge in the Pacific Ocean, somewhere between Hawaii and New Zealand. Government officials were rushing to attend a meeting in the sleepy har
Enlarge / Linus Torvalds is eminently qualified to discuss issues with license compatibility and kernel policy. However, this does not mean he's equally qualified to discuss individual projects in project-specific context. Last Monday in the "Moderated Discussions" forum at realworldtech.com, Linus Torvalds—founding developer and current supreme maintainer of the Linux kernel—answered a user's que
Here's Why Movie Dialogue Has Gotten More Difficult To Understand (And Three Ways To Fix It) I used to be able to understand 99% of the dialogue in Hollywood films. But over the past 10 years or so, I've noticed that percentage has dropped significantly — and it's not due to hearing loss on my end. It's gotten to the point where I find myself occasionally not being able to parse entire lines of di
Over the past few days, the Taliban has taken 26 of Afghanistan’s 34 provincial capitals. The armed group now controls an estimated 65 percent of the country’s territory, as the US-led foreign forces are about to complete the pullout from the country after 20 years of war. At least 244,000 people have been internally displaced since the beginning of May, when the Taliban group began multiple offen
What is it for? SceneScript allows AR & AI devices to understand the geometry of physical spaces Shown on footage captured by Aria glasses, SceneScript can take visual input and estimate scene elements, such as walls, doors, or windows. Shown on Meta Quest, scene elements predicted by SceneScript can be arbitrarily extended to include new architectural features, objects, and even object decomposit
どうもそれんそんです。こんばんは、皆さん元気にしてますでしょうか。僕はそこそこ元気にしてますよ。ただ色々とやることが多くて忙殺されてしまいそうです。まじで英語しかやりたくないんですよ。この歳になって何を言うてんねんって話ですけど、仕方ないじゃないですか。やりたくなってしまったんだもの。じゃあ学生に戻るんかと言われても難しい話ですよね。時間がありすぎて逆にまた勉強しなくなるんじゃないかなと。学生時代は何を血迷ってか勉強しないで何かしらで忙しいことをしているのが偉いと思ってたんですよ。とにかくスケジュールを埋めること。バイト入れたり友達と飲みいったり、まあそれぐらいしかなかったな。そう考えると空虚な学生生活だったのかもしれないな。でも楽しかったからな。やっぱ楽しいと何も身にならないというか、それなりに負荷がかかるからこそ人は成長出来るということなのか。よく分からなくなってきた。でも年齢も年齢や
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く