Mac版Safari 15の「タブ」の悲劇
ジョン・グルーバーのブログより。 長かったiOS 15 Safariの悪夢は先月終わり、賞賛に値しますが、WWDCで発表された2つの悪いSafariデザインのうち、重要でない方が存続し、Mac版Safari 15の新しいタブが実際にリリースされました。iPad版のSafari 15も同様の問題を抱えていますが、ここではMac版に焦点を当てたいと思います。 WWDCで発表されたMac版Safariの変更のうち、最も物議を醸し他ものは、タブとURLのロケーション・フィールドを各ウィンドウの最上部に一列に圧縮し、ウィンドウ全体を現在最前面にあるWebページのアクセントカラーで色付けするというものですが、ありがたいこと、 Safariの環境設定ウィンドウ(もちろん、タブの下)でオフにすることができます。タブとロケーション・フィールドを同じ列に配置し、タブ自体をURLのテキスト編集フィールドとして使
FaceTimeの仕組みはどのようになっているか?
マシュー・ダガンのブログより。 デンマークに住む元エクスパットの私は、FaceTimeオーディオをよく使います。使い方が簡単で信頼性が高いだけでなく、音質も素晴らしいです。固定電話を覚えている人にとっては、良いヘッドセットがあれば固定電話を思い出すことでしょう。私たちが携帯電話サービスに切り替えたとき、音質は大きな打撃を受けましたが、最近のVoIP家庭用電話でも問題は改善されていません。そのため、母とFaceTimeオーディオで話していると、まるで母が部屋にいるかのような高音質で、1週間に何度もかかってくる電話と比べて、その存在感は際立っています。 では、Appleはどのようにこれを実現しているのでしょうか? システム管理者としてキャリアを積んできた者としては、技術的な課題を考えると計り知れないものがあります。私たちは、ISPレベルと家庭レベルの両方で、様々なレベルのネットワークの抽象化を
SARS-CoV-2の新しい変異株がパンデミックを変えた。ウイルスは次に何をするのか?
(GRAPHIC) N. DESAI/SCIENCE; (DATA) NEXTSTRAIN; GISAID 分岐の様子 上の各点はSARS-CoV-2の家系図で、COVID-19患者から分離されたウイルスを表している。これまでに配列が決定された200万以上のウイルスのごく一部を示している。世界保健機関では現在、懸念される4つの変異株と注目される4つのる変異株を認識している。 懸念される変異株 イギリスで初めて検出されたアルファ型は、広く普及した最初の変異株となる 南アフリカで最初に見られたベータ型は、免疫回避の最も強い証拠を示している ガンマ型はブラジルで初めて検出され、南アフリカで広く普及した インドで最初に発見されたデルタ型は、世界各地で急速に他の変異株に取って代わられている 関心のある変異株: イータ型、イオタ型、カッパ型、ラムダ型 以前の関心のある変異株: エプシロン型、シータ型
リチャード・ヒップとのSQLiteの秘話
CoRecursiveより。 今日の番組では、リチャード・ヒップと、サバイバルが世界の中核インフラになることについてに話します。SQLiteは至る所にあります。ウェブブラウザにも、携帯電話にも、おそらく車の中にも、そして旅客機の中にも間違いなく存在します。iMessagesやWhatsAppのメッセージが保存されているのもSQLiteです。コンピュータで*.dbを検索すると、驚くほど多くのSQLiteデータベースが見つかります。 今日は、リチャードが彼の物語を紹介します。小さなオープンソースのプロジェクトを立ち上げ、それが自分の野心を超えて成長したという話です。そして、テック巨人との関係から、興味深いテスト方法まで、その成功をどこまでも追いかけていく物語です。 注: このポッドキャストは、聞くことを前提としています。可能であれば、ページに記載されていない部分を含めて、音声を聞くことを強くお
Chromeに対抗し、Webブラウザを再発明するというスタートアップの挑戦
protocolより。 Webブラウザは現代生活に欠かせないものですが、90年代以降、実際には改訂されていません。その状況が変わりつつあるようです。 The Browser CompanyのArcブラウザーは、インタフェースがほとんどなく、Webアプリがデスクトップアプリのように使えます。| Photo: The Browser Company デビッド・ピアス ブラウザタブは過小評価されている存在です。多くの人がタブのことを考えるのは、タブの数隻が増え過ぎて、Chromeの重さにコンピュータが耐えられなくなった時だけです。タブを作っている開発者(Chrome、Firefox、Brave などに取り組んでいるエンジニアやデザイナ)でさえ、タブに対してあまり手を加えていません。インターネットは、この20年間で地球を揺るがすような大規模な進化を遂げましたが、タブは90年代半ばにブラウザの機能と
なぜ、コンピュータは自ら賢くならないのか?
New Yorkerより。 私たちは「シンギュラリティ = 技術的特異点」を畏れ、切望しています。しかし、おそらく決してやって来ないでしょう。 テッド・チャン 11世紀、カンタベリーの聖アンセルムスは、神の存在を証明するためにある論拠を提唱しました。「神は、定義上、私たちが想像できる最も偉大の存在であり、存在しない神は存在する神に比べて明らかに偉大ではない。故に、神は存在するはずである。」これは存在論的証明(ontological argument)として知られていますが、この議論は1000年近く経った今でも議論されているほど、説得力があると思う人がたくさんいます。存在論的証明を批判する人の中には、存在論的証明は本質的に存在を定義するものであり、定義の仕組みではないと主張する人もいます。 人々が存在を主張しようとしたのは神だけではありません。数学者のアーヴィング・ジョン・グッドは、1965
日本のシティポップのエンドレス・ライフ・サイクル
Pitchforkより。 YouTubeのおすすめアルゴリズムやTikTokのミームによって後押しされ、アメリカの影響を受けた日本のヴィンテージ音楽が、ネット上で長年にわたってカルト的な人気を博しています。この傾向は、西洋の東洋に対する認識について、よりも多くのことを語っています。 By キャット・チャン (Cat Zhang) 2020年の暮れ、1979年に作られた日本のポップスが、Spotifyのバイラルチャートで1位を獲得しました。『真夜中のドア/Stay With Me』というタイトルのこの曲は、当時19歳の松原みきが歌ったものです。この歌は、ファンキーなベースライン、いかしたホーン、そして煌びやかなプロダクションに乗せて、松原の切ないボーカルで黄昏時のオープンカーに乗っているかのように爽やかに歌われます。彼女は日本語と英語を使い分けながら、冷めてしまった恋人に、前夜の思い出を胸に
20年代のオブジェクト指向言語
アダム・ネルソンのブログより。 オブジェクト指向プログラミングは、今やすっかり廃れてしまいましたが、しばらく前からそうなっています。新しいプログラミング言語が意図的にオブジェクト指向(OO)を採用することはほとんどありません。そして、これには正当な理由があります。OOは多くの場合、多くの定型文を必要とし、コードを不自然なオブジェクト階層に押し込め、隠れたミュータブル状態を助長します。 しかし、もし2021年にJavaやC#のような静的型付けされた新しいOO言語をゼロから作ったとしたら、関数型プログラミングから学んだ全てのことと、10年以上にわたる厳しいOO批判を受けて、この問題を解決することができるでしょうか? 特に、レガシーコードとの互換性を期待していない場合はどうでしょうか? まず、新しいOO言語が持つべき、いくつかの明白な譲れないものがあります。 null安全 安全なキャスト オプシ
ビットコインはポストモダンのポンジ
ステファン・ディールのブログより。 世界はますます奇妙な場所になり、私たちが生きている時代についての私のお気に入りの引用の1つは、私たちは皆、圧倒されることと圧倒されないこと両方の重ね合わせの中にいるということです。停滞と社会的硬化の現実が無意味に圧倒されているように見える間に、現在の出来事の巨大さと地震の変化のための可能性は圧倒的です。このような感覚は、テック業界の中に比べてより普遍的で明白なものはどこにもありません。 多くの人と同じように、私もフィンテックや新しい右派ポピュリズムが金融市場に与えている影響について少し書いてきましたが、本当に前例のないことが起こっていて、テクノロジーの分野で今後10年間は反響を呼びそうなことが起きています。この4年間の、すべての左翼的思考は、物語と現実が切り離され、現代の状況は、センスメイキングと権力が区別できない世界に漂流しているという考え方を打ち負か
pingを分割する
Ben's Blogより。 Pingは、ネットワークの基本的な柱の1つです。これはシンプルで、普遍的にサポートされており、通常、すべてのネットワーク・スタックに付属している数少ないものの1つです。 これにより、2つの便利な確認機能を提供します。1つはホストが到達可能であること、もう1つはユーティリティを実行しているシステムとターゲットの間にどのくらいの遅延があるかの概算を提供します。 $ ping 8.8.8.8 PING 8.8.8.8 (8.8.8.8) 56(84) bytes of data. 64 bytes from 8.8.8.8: icmp_seq=1 ttl=120 time=3.29 ms 64 bytes from 8.8.8.8: icmp_seq=2 ttl=120 time=2.78 ms 64 bytes from 8.8.8.8: icmp_seq=3 tt
暗号通貨の解明
Tom's Blogより。 ハンマーしか持っていなければ、すべてが釘のように見える 2011年の高校の年鑑に載っている私のプロフィールを読むと、次のことが分かります。 「トムは、ジンバブエドルよりも本質的に価値のない普遍的な通貨であるビットコインを早期に採用するなど、みんなとは正反対のことをすることに喜びを感じる人です。」 実際のところ、私はビットコインを所有していたわけではなく、少なくとも今日でも意味のあるものではありません。2006年に、Macbookで少しマイニングを試してみたこともありましたが、当時の人々は暗号経済をキックスタートのために無料でビットコインを配っていました。当時の「ビットコイン・コミュニティ」の焦点は、実際の有効な通貨の作り上げることでした。言い換えれば、2021年は、まだ暗号マルクス主義の終末カルトにはなりませんでした。確かに、このコミュニティに関わっていた多くの
ISO 8601: 優れた日付フォーマット
Kirby Kevinsonのブログより。 あなたが世の中の動きを知らずに暮らしているのであれば、アメリカの日付フォーマット(mm/dd/yyyy)とヨーロッパの日付フォーマット(dd.mm.yyyy)など、世界には様々な日付フォーマットがあると聞いたことがあるでしょう。あなたが十分に賢いなら、アメリカの日付フォーマットが意味をなさず、ひどいものであることに気付くでしょう。多くの人がこのことから導き出される単純な結論は、ヨーロッパ形式がベストだということですが、私はそうではないと思います。もし、あなたがそう考えている人の一人なら、ISO 8601と呼ばれるあまり知られていない日付フォーマットを紹介して、あなたの考えを変えてみましょう。 基本 フォーマット名の「ISO」の部分から分かるように、これは国際標準化機構が作成した実際の規格です。移植可能なソフトウェアの作成に役立つ時間間隔の記述方法
型付けは難しい
ベン・フィードラーのブログより。 型検査と型推論 型検査とは、あるプログラミング言語で与えられたプログラムを実行し、すべての変数や式が正しい型を持っているかどうかを調べるプロセスです。例えば、文字列は文字列に代入され、算術式は数値のみを使用するなどです。一部の言語では型推論を提供しており、コンパイラに自分で正しい型を見つけるタスクも提供します。言語の特徴に応じて、型検査と型推論の問題は、些細なものから決定不能なものまで様々です。 一般的な用語 完全性 正しく入力されたプログラムを全てチェックできれば、タイプチェッカーは完了です。 健全性 正しく型付けされたプログラムのみを受け付けるものであれば、型検査は健全です。 決定可能性 任意の入力に対して、その入力が問題を満足するかどうかを有限時間で計算できる場合、決定問題は決定可能です。決定可能な問題の例としては、素数判定や充足可能性などがあります
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Web3に夢中になるのが早過ぎる理由
ハンドウエイビー・テクノバブル・ナッシングバーガー
変異株B.1.1.529に関する新しい情報
密告者のインターネット
メタバースは常にディストピアのアイデアだった
私はFLoCされているか?
「BETTER C」ベンチマーク