Untitled/unsorted collection of math notes Dennis Yurichev Untitled/unsorted collection of math notes Dennis Yurichev May 18, 2023 Contents 1 Unsorted parts 1 1.1 Fencepost error / off-by-one error . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 GCD and LCM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2.1
The biggest sci-fi/fantasy award has been accused of censorship, and the situation is a mess
Graphic: Matt Patches/Polygon | Source images: Chengdu Worldcon; HarperCollins Publishers; Penguin Random House; Netflix; Getty Images Hugo Awards under fire over censorship accusations, and SFF writers want answers The 2023 awards, held in China, saw several nominees mysteriously declared ineligible The science fiction and fantasy literature community is in uproar this week after the release of t
Over the past while, I’ve worked on-and-off in my free time patching the arm64 Linux kernel to run Nintendo Switch games natively, i.e. by taking many of the Switch’s “Horizon” OS system calls and implementing their behavior using Linux’s existing facilities for memory management, scheduling, synchronization, etc. Well my original thought was merely that I wanted to run Switch games on my MacBook—
Real-ESRGANを利用し低解像度の写真やイラストを4倍に拡大＆高解像度化してくれるMacアプリ「Pictura」がリリースされています。詳細は以下から。 Real-ESRGANは中国Tencent AI LabのXintao Wangさんが開発している画像や映像の修復を目的とした超解像アルゴリズムで、機械学習モデルを利用し低解像度でノイズを含んだ写真やイラストを4倍に拡大/高解像度化することができますが、このReal-ESRGANを利用したMacアプリ「Pictura」が新たにリリースされています。 Leverage transformative AI to redefine your visuals with Pictura. This MacOS-native tool boosts low-res images to stunning 4x clarity, right on
Designing Better Error Messages UX — Smashing Magazine
Error messages need to be easy to spot, but they also need to be helpful. Let’s explore when error messages should live above input fields and why toast error messages are usually not a very good idea. When we design interfaces, we rarely think about error messages first. After all, how much is there to design anyway? We highlight the error, display a message, and nudge users toward the correct in
GPT-4oやClaude 3 Opus、Gemini、Llama 3などにデスクトップから素早くアクセスできるMac用パーソナルアシスタント「Invisibility」がリリース。
GPT-4oやClaude 3 Opus, Gemini、Llama 3などに素早くアクセスできるMac用パーソナルアシスタント「Invisibility」がリリースされています。詳細は以下から。 米サンフランシスコのInvisibility Inc.(i.inc)でAIサービスを開発するSulaiman Ghoriさんらは、Macのデスクトップ上からOpenAIのGPT-4oやAnthropicのClaude 3 Opus, GoogleのGemini、MetaのLlama 3などのAIアシスタントに素早くアクセスできるクライアント「Invisibility for Mac」をリリースしたと発表しています。 Invisibility is a next-generation personal assistant designed specifically for your Mac. Wi
micardis hct. Buy Online Next Day. ^ - Field and Stream Questions and Answers
№1 US Reliable Pharmacy - Buy Online Next Day -- Click here for more info - micardis hct - Quality and pharmaceutical dosage. - Fast delivery guaranteed. - 100% legal products. - Bonus pills and big discounts for every order - Our prices are 70% less than your local pharmacy - Various payment methods: MasterCard / Visa / AMEX / PayPal / BitCoin - Fast delivery and complete anonymity - Your full sa
GitHub - serokell/haskell-with-utf8: Get your IO right on the first try
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.
The Wonderfully Terrible World of C and C++ Encoding APIs (with Some Rust)
Last time we talked about encodings, we went in with a C++-like design where we proved that so long as you implement the required operations on a single encoding type, you can go between any two encodings on the planet. This meant you didn’t need to specifically write an e.g. SHIFT-JIS-to-UTF-8 or UTF-EBCDIC-to-Big5-HKSCS pairwise function, it Just Worked™ as long as you had some common pivot betw
)
トム・パーカー (マネージャー) - Wikipedia
トマス・アンドリュー・"トム"・パーカー大佐（Colonel Thomas Andrew "Tom" Parker、出生名：アンドレアス・コルネリス・（"ドリエス"）・ファン・カウク、Andreas Cornelis ("Dries") van Kuijk、1909年6月26日 - 1997年1月21日）は、パーカー大佐（Colonel Parker）と通称される、オランダ王国出身の芸能インプレサリオ。アメリカ合衆国でエルヴィス・プレスリーのマネージャーとして長期間活動したことで知られている[1]。 概要[編集] パーカーによるプレスリーのマネジメント手法は、プレスリーの生活のあらゆる側面に関与するものであり、タレントのマネジメントを統括する役割のあり方を決定づけるとともに、プレスリーの驚異的な成功に中心的な役割を果たしたものと考えられている。「大佐（カーネル）」は、クライアントの利益のた
Devbox 📦 : Instant, easy, and predictable shells and containers
Devbox 📦 : Instant, easy, and predictable shells and containers What is it? Devbox is a command-line tool that lets you easily create isolated shells and containers. You start by defining the list of packages required by your development environment, and devbox uses that definition to create an isolated environment just for your application. In practice, Devbox works similar to a package manager
クルーグマン「コアインフレ理論を注視せよ、ただしブルウィップ効果に気を付けよ」 - himaginary’s diary
デロングが、インフレについて考察したツイート*1で、プーチンのウクライナ侵攻はサマーズの懸念するインフレスパイラルの可能性をデロングの主観確率にして5%から40%に高めた、と述べたところ、クルーグマンはそれについては同意できない、として以下のようにツイートしている。 This is part of a very thoughtful thread about stagflation risks, but this particular point is one I disagree with 1/ To start with what *does* worry me, it's mainly labor markets. High wages are good, but unsustainably high wage growth isn't 2/ This looks like an o
They’re openly saying it: Brexit has failed. But what comes next may be very dark indeed | Jonathan Freedland
It lasts no more than a second, but it is a moment for the ages. Interviewed on BBC Newsnight on Monday, Nigel Farage made a confession that, by rights, should end the debate that has split this country down the middle for much of the last decade. A month ahead of the seventh anniversary of the 2016 vote that took Britain out of the European Union, Farage said three words of striking simplicity an
Intel Core Processors and Intel Bridge Technology Unleash Windows 11...
New PCs enabled by Intel® Core™ processors and Intel’s broad portfolio of intellectual property and platform technologies are ready to deliver the full potential of new Windows 11 experiences — allowing people to collaborate, create and connect in ways that are meaningful to them. What’s New: Renowned for deep co-engineering and collaboration to advance computing, Intel and Microsoft today deepen
4 Ways to Animate the Color of a Text Link on Hover | CSS-Tricks
Let’s create a pure CSS effect that changes the color of a text link on hover… but slide that new color in instead of simply swapping colors. There are four different techniques we can use to do this. Let’s look at those while being mindful of important things, like accessibility, performance, and browser support in mind. Let’s get started! Technique 1: Using background-clip: text At the time of w
Brand Color Gallery
551蓬莱 http://www.551horai.co.jp/ 2019/11/04 ABCマート https://www.abc-mart.net/shop/ 2019/11/12 ABLENET https://www.ablenet.jp/ 2022/05/21 AIG損保 https://www.aig.co.jp/sonpo 2019/11/27 AIR DO https://www.airdo.jp/ 2019/10/14 Amazon https://www.amazon.co.jp/ 2019/10/13 Amazon Prime Video https://www.amazon.co.jp/Prime-Video/ 2019/11/17 Ameba https://www.ameba.jp/ 2022/03/10 Ameba https://www.ameba.jp/
How I Made a Self-Quoting Tweet Or the real reason Twitter doesn't want you to have an edit button. I'll try to leave the pulp in here and keep this as chronological as I can. In that spirit, no tweets were harmed in the making of this post. The original idea to make a tweet that quote tweets itself is from the 28th of May 2020—as recorded in Evernote—but I think had likely occurred to me earlier
Do you spend hours crafting the design of your Web Story only to find that it does not quite display right on older devices or on the biggest phones? It can be tricky to develop content in a portrait-based aspect ratio and make it look great across devices. So to make testing easier, today the Web Story Team is releasing a tool that shows you the major design breakpoints of your Stories. Simply a
Nintendo Switchゲームを物理スイッチで操作できるコントローラを作ってみた - OGIMOテックノート ～家族のためのモノづくり～
はじめに(製作動機) ゲーム好きな我が家族、妻と娘は時間を見つけてはNintendo Switchのゲーム(スプラトゥーン、マリオカートなど)で毎日楽しく遊んでいます！ 息子もその横で、楽しそうに画面を見て喜んでいます。 しかし、見てるだけで、操作できない。 ゲーム依存が社会問題になっている様ですが、我が家はゲームから多くを学んでます。 消極的だった娘はゲームをやる様になって、チャレンジ精神、失敗する事の大切さを学び、学校の友達とも積極的に遊ぶ様になりました！ なので、息子にも息子もゲームを通して、 「自分で操作する楽しさ」や「失敗してやり直せる楽しさ」を感じて欲しい！ まず最初の関門は、市販のコントローラでは「手の不自由な息子は操作できない」という事。 ・ボタンが多すぎて、どれを押せばいいか分からない ・コントローラを持てないので、狙ったボタンを押せない という訳で、まずは第一歩として
The Principles of Deep Learning Theory An Effective Theory Approach to Understanding Neural Networks Daniel A. Roberts and Sho Yaida based on research in collaboration with Boris Hanin drob@mit.edu, shoyaida@fb.com ii Contents Preface vii 0 Initialization 1 0.1 An Effective Theory Approach . . . . . . . . . . . . . . . . . . . . . . . . 2 0.2 The Theoretical Minimum . . . . . . . . . . . . . . . .
Cookies When designing web applications, (especially the traditional HTML kind), you will at one point have to figure out how to log a user in and keep them logged in between requests. The core mechanism we use for this are cookies. Cookies are small strings sent by a server to a client. After a client receives this string, it will repeat this in subsequent requests. We could store a ‘user id’ in
【株主優待到着】2年連続無配のライトオンからタダ券ゲット。 - ～絶望中年セミリタイア民のハイブリッド投資+節約生活～
どーも。 昨日、ストップ高のGSIクレオス、本日は6円高の1,062円でした。 『下値1,300円は堅いだろう、そこまで騰がれば半分の100株売るか🤔』 との予想はカスリもせずにハズレてしまいました😂元々が中長期保有の予定でしたので、クオカード貰いながらのんびりガチホールドしていきたいと思います。 本日は株主優待到着記事でございます。 ライトオン(7445)の優待内容。 届いた優待品。 優待品の商品価値が気になった😎 民のつぶやきを聴いてみる。 ライトオンの総合利回りは？（考察も少しあり） 2021年株主優待サマリー。 ライトオン(7445)の優待内容。 ジーンズセレクトショップ「Right-on」を全国展開するライトオン様。 店舗数は400以上あります。わが街にも昨年まで2店舗ありましたが、1店閉鎖され現在はなんとか1店舗踏みとどまっている状況。いつ完全撤退するか不安です。 権利確
The Blog of Scott Aaronson If you take nothing else from this blog: quantum computers won't solve hard problems instantly by just trying all solutions in parallel. Links: Google paper in Nature New York Times article IBM paper and blog post responding to Google’s announcement Boaz Barak’s new post: “Boaz’s inferior classical inferiority FAQ” Lipton and Regan’s post My quantum supremacy interview w
Introducing a big update to Windows 11 making the everyday easier including bringing the new AI-powered Bing to the taskbar
Introducing a big update to Windows 11 making the everyday easier including bringing the new AI-powered Bing to the taskbar It’s an exciting time in technology, not just for our industry but for the world. The Windows PC has never been more relevant in our daily lives, and this is increasingly the case as we approach the next wave of computing led by the mass adoption of AI. Today’s major update t
図解で解決！pandasデータ結合総まとめ（concat, merge, join） - YutaKaのPython教室
pandasには、データの連結、結合を行うための便利な関数、メソッドがたくさん用意されています。 これらを使いこなせば、自由自在にデータの結合ができるようになる！…はずなのですが…。 実際にデータの結合を行おうとすると、次のような問題に直面することも… 結合関係の関数が多すぎてよくわからない！ concat, merge, joinってどれ使えばいいの？！ inner, outerとか、内部・外部結合の意味がいまいちよくわからない… そこで、この記事では、pandasのデータ連結・結合concat, merge, joinについて図解付きで解説していきます！ pandasのデータ結合関数・メソッドまとめ concat, merge, joinの違いと使い分けは？ concat｜データの連結 引数による連結方法の設定 連結方向の設定｜axis インデックスの振り直し｜ignore_index
接触冷感の和紙デニムのファッションマスクが登場
ライトオンは、”和紙デニム”を使った「接触冷感」機能付きの『デニムマスク』を販売する。 『デニムマスク』は、ライトオンのプライベートブランド「BACK NUMBER（バックナンバー）」の人気商品である「和紙デニム」の生地で作ったデニム素材のマスクです。 マスクの裏地には、汗臭の原因となる黄色ブドウ球菌の繁殖を抑える「抗菌・防臭」機能のほか、「接触冷感」のある生地を使用し、暑くなる季節にかけて使いやすいマスクとなっています。 また、手洗いして繰り返し何度でも使用することができます。 https://right-on.co.jp
メロウなホリデーソング Teyana Taylor feat. King Combs「How You Want It?」 今年夏発売の新曲。 ティヤーナ・テイラー（Teyana Taylor）は大変鍛えられた肉体を持っていて、女らしさとアスリートっぽさを併せ持つ方。このミュージック・ビデオは彼女の両性具有な特性を生かしたものとなっています。 1998年にキング・コムズ（King Combs）の父親ショーン・パフィ・コムズ（Sean Puffy Combs）の手引きの元大ヒットしたメイス（Mase）「What You Want」が下敷きになっている曲だそうです。 冒頭のカッティング・ギターのリフは、カーティス・メイフィールドの1973年「Back to the World」というアルバムに収められている「Right on for the Darkness」という曲のギターリフを引用したメイス
Right to Left Styling 101
Over 292 million people around the world speak Arabic as their first language. Arabic (al-Arabiyyah, pronounced /al ʕarabijja/, /ʕarabiː/) is my native language, and I sometimes build websites that need to support both left-to-right (LTR) and right-to-left (RTL) styles. Introduction to RTL styling # The default page direction in CSS is LTR. If you check the browser of your choice and inspect the b
「日本を代表する夏バンドって『サザンオールスターズ』と『TUBE』がいるけど、結局どっちが『真の夏バンド』なんだろう」という疑問にお答えします。二組のリリースした楽曲すべてから『夏の曲』だけを集計しました。 ※2024年3月時点の集計 真の夏バンドを決めるにあたってのルールは以下 「夏曲」の定義として「夏の季語」が歌詞中に含まれるものにする。 集計対象は2023年10月までに発売された、サザン「260曲」と桑田佳祐名義「124曲」、TUBE「476曲」と前田亘輝名義「60曲」とし、集計後パーセンテージに直して夏曲の割合の多いバンドを「真の夏バンド」にする。 「いやこの曲はたしかに『夏』という単語は使われてるけど主人公が夏に思いを馳せる曲で実際は冬に歌った曲なんだよ…」みたいなのも今回は「夏曲」とします。 集計結果 サザンの夏曲...260曲中85曲 I AM YOUR SINGER 愛の言
In this post we'll cover new hardware additions to tonari and some of the work and research that went into powering that hardware. We're big fans of the Rust programming language but before this project we hadn't ever used it for embedded hardware. We'll go over our hardware requirements, some possible solutions, some reasons (excuses) for choosing Rust for the job, and provide a primer for gettin
And it was released yesterday! The big news for us in CSS Land is that the new release supports the aspect-ratio property. This comes right on the heels of Safari announcing support for it in Safari Technology Preview 118, which released January 6. That gives us something to look forward to as it rolls out to Edge, Firefox and other browsers. Here’s the release video skipped ahead to the aspect-ra
C99 doesn't need function bodies, or 'VLAs are Turing complete' 19 Feb 2022 Preface The 1999 revision to the C programming language brought several interesting changes and additions to the standard. Among those are variable length arrays, or VLAs for short, which allow array types to have lengths that are determined at runtime. These can show up in different contexts, but for the purposes of this
Usability Guidelines For Better Carousels UX — Smashing Magazine
In this series of articles, we highlight design patterns and techniques to design better interfaces. You can find more examples in “Smart Interface Design Patterns”, a 10h-video course with 100s of hand-picked examples, curated by Vitaly. Carousels don’t have a good reputation, and rightfully so. They have plenty of accessibility issues, they often exhibit low click-through rates, can be very disr
M1 Macs can now run Windows apps and games through CrossOver 20 - 9to5Mac
Mac M1 M1 Macs can now run Windows apps and games through CrossOver 20 We already know that the new Macs with M1 chip can run both Intel and ARM apps made for macOS and iOS, but Mac users who rely on Windows for some specific software have lost Boot Camp support. However, CodeWeavers announced that CrossOver 20 now works on Apple Silicon Macs, which means that the new M1 Macs can run Windows softw
GitHub - EvgSkv/logica: Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
Logica is for engineers, data scientists and other specialists who want to use logic programming syntax when writing queries and pipelines for databases and datawarehouses. Logica programs run on BigQuery, Postgres and SQLite. Logica compiles to SQL and gives you access to the power of SQL ecosystem with the convenience of logic programming syntax. This is useful because SQL enginers are magnitude
The darling of those who wish to explain why incompetent people don’t know they’re unskilled, the Dunning-Kruger effect may actually just be a data artefact. I want the Dunning-Kruger effect to be real. First described in a seminal 1999 paper by David Dunning and Justin Kruger, this effect has been the darling of journalists who want to explain why dumb people don’t know they’re dumb. There’s even
Kanazawa is the capital city of Ishikawa prefecture and takes only two and a half hours from Tokyo station by the Hokuriku Shinkansen Line. Kanazawa was the home of the wealthy Maeda clan in the Edo period and became one of the most important cultural centers, where artisans and craftsmen gathered. Kanazawa was fortunate to escape destruction from the great air raids in WWII so the city is well pr
高橋ダン English Chanel 株式市場は大幅下落 / トランプ氏、米国選挙延期を提案（7月31日） - やかた寿司の日記
いつも記事を見ていただきありがとうございます。 英語には実は母音が25種類もあります。難しい、発音記号が複雑、日本語には「あいうえお」の5つしかないのに25もムリ、と感じる人も多いと思いますが、知らないと致命的です。 「感覚で分かる」という人はいいですが、少しでも「不安がある」人は、英語の音についてしっかり理解しないと後悔します。膨大な時間を消費したのに英語がまったく上達しなかったという悲惨な結果になってしまいかねません。 でも大丈夫、まだ間に合います。今からでも勉強すれば最悪の結果は回避できます。このブログでは、従来、発音記号でしか表記できなかった25種類の母音をカタカナ母音で見える化しています。英語の発音がわからないという人はぜひチェックしてみてください！ 今日は高橋ダンさんという youtuber の動画をご紹介します。ダンさんはもともとウォール街でトレーダーをしていて、現在は日本を
It gets hand-wavy at the end, doesn’t it? I find that frustrating. These days I work on YJIT, a JIT for Ruby. So I can make this extremely NOT hand-wavy. Let’s talk specifics. I like specifics. Wait, What’s JIT Again? An interpreter reads a human-written description of your app and executes it. You’d usually use interpreters for Ruby, Python, Node.js, SQL, and nearly all high-level dynamic languag
I was working on this simple static website that should have an YouTube video displayed right on the landing page. So I went my merry way, hopped onto YouTube, snatched the embed code, pasted it into my editor and called it a day. The thing is the job was specifically to deliver high performance, accessibility and modern practices, so you can imagine my annoyance when I noticed that just for havin
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Untitled/unsorted collection of math notes
r/linux_gaming - Introducing Horizon Linux!
Real-ESRGANを利用し低解像度の写真やイラストを高解像度化できるMacアプリ「Pictura」がリリース。
Oisín Moran | How I Made a Self-Quoting Tweet
Preview your Web Stories across all devices
https://deeplearningtheory.com/PDLT.pdf
JWT should not be your default for sessions
Quantum supremacy: the gloves are off
松尾潔のメロウな夜 2019月12月9日（ティヤーナ・テイラー、具島直子） - ラジオと音楽
サザンとTUBEどっちが夏の曲が多いのか数えた - kansou
Using Rust for a simple hardware project | tonari blog
New in Chrome 88: aspect-ratio | CSS-Tricks
C99 doesn't need function bodies, or 'VLAs are Turing complete'
The Dunning-Kruger Effect Is Probably Not Real
10 Best Places to Visit in Kanazawa
When is JIT Faster Than A Compiler?
Lazy load embedded YouTube videos