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
週刊Railsウォッチ（20200428後編）Rubyのバックトレース順序が戻る、KubernetesでRailsをスケール、セキュリティソフト入れますか？ほか｜TechRacho by BPS株式会社
2020.04.28 週刊Railsウォッチ（20200428後編）Rubyのバックトレース順序が戻る、KubernetesでRailsをスケール、セキュリティソフト入れますか？ほか こんにちは、hachi8833です。ついさっき見つけた記事がよかったので貼りました。 元記事: 世界各地の親が｢ネット授業｣に悲鳴を上げる訳 | ほしいのは「つかれない家族」 | 東洋経済オンライン | 経済ニュースの新基準 各記事冒頭には⚓でパーマリンクを置いてあります: 社内やTwitterでの議論などにどうぞ 「つっつきボイス」はRailsウォッチ公開前ドラフトを（鍋のように）社内有志でつっついたときの会話の再構成です👄 毎月第一木曜日に「公開つっつき会」を開催しています: お気軽にご応募ください ⚓Ruby ⚓Rubyのバックトレース順序が戻る Wow! I really appreciate th
A glimpse into a more civilized (yet challenging) tool in the JavaScript ecosystem Art for ReScript Blog, credit to Bettina SteinbrecherThis is not evangelism of ReScript or a one-to-one comparison with TypeScript. I love TypeScript. I decided to rewrite a small TypeScript+React+Jest side project into ReScript. ReScript is not new. In a way it’s as old as JavaScript itself. ReScript is a rebrandin
GitHub - AndyObtiva/glimmer: DSL Framework consisting of a DSL Engine and a Data-Binding Library used in Glimmer DSL for SWT (JRuby Desktop Development GUI Framework), Glimmer DSL for Opal (Pure Ruby Web GUI), Glimmer DSL for LibUI (Prerequisite-Free Ruby
If You Liked Shoes, You'll Love Glimmer! (Original Glimmer Library Handling World’s Ruby GUI Needs Since 2007. Beware of Imitators!) (Glimmer DSL for LibUI Won a Fukuoka Ruby 2022 Special Award [Announcement]) (RubyConf 2023 Workshop - How To Build Desktop Applications in Ruby) (RubyConf 2022 Talk - Building Native GUI Apps in Ruby) (Ruby Rogues Podcast Interview - Desktop Apps in Ruby ft. Andy) G
A Gentle Introduction to 8-bit Matrix Multiplication for transformers at scale using transformers, accelerate and bitsandbytes
The 3 models are BLOOM-176B, T5-11B and T5-3B. Hugging Face transformers integration nuances Next let's discuss the specifics of the Hugging Face transformers integration. Let's look at the usage and the common culprit you may encounter while trying to set things up. Usage The module responsible for the whole magic described in this blog post is called Linear8bitLt and you can easily import it fro
Design Systems 101
Summary: A design system is a set of standards to manage design at scale by reducing redundancy while creating a shared language and visual consistency across different pages and channels. As UI design has evolved over the years, the scale and speed at which UI screens must be created has also increased. Not only are there millions of applications and billions of websites (with more created each y
The tools and tech I use to run a one-woman hardware company - Thea Flowers
This gives me a clear set of criteria for choosing which SAM D to use - the SAM D11 is great for super simple things, the SAM D21 is a great all-arounder, and the SAM D51 is great for more demanding applications. Looking towards the future I'm considering two other microcontrollers - the RP2040 and the STM32H7. The RP2040 could be great for applications that don't require a lot of analog I/O, and
Math — Susan Rigetti
So You Want to Study Mathematics… IntroductionMarch 6th, 2022 Back in 2016, I typed up a little guide to studying physics called “So You Want to Learn Physics.” It ended up being pretty popular, so I started working on other guides, including a guide to studying philosophy (“So You Want to Study Philosophy”), which I published in 2021, and this long-awaited guide to studying mathematics, which I a
Lisp Game Jam - "Wireworld" - Hoot's low level WASM tooling in action -- Spritely Institute
This blogpost focuses on our second Spring Lisp Game Jam 2023 entry, wasm4-wireworld, an implementation of Wireworld on top of Hoot's lower-level assembly tools which are a part of our Guile → WASM project to bring Spritely Goblins-powered distributed applications to the common web browser. For our entry, we targeted WASM-4, a "fantasy console" which uses low-level WebAssembly constructs. In fact,
Open Source Security (OpenSSF) and OpenJS Foundations Issue Alert for Social Engineering Takeovers of Open Source Projects | OpenJS Foundation
CommunityOpen Source Security (OpenSSF) and OpenJS Foundations Issue Alert for Social Engineering Takeovers of Open Source Projects Posted On: April 15, 2024XZ Utils cyberattack likely not an isolated incident By: Robin Bender Ginn, Executive Director, OpenJS Foundation; and Omkhar Arasaratnam, General Manager, Open Source Security Foundation The recent attempted XZ Utils backdoor (CVE-2024-3094)
const slides = document.querySelector(".slides"); const newSlide = document.createElement("img"); newSlide.src = "htttp://example.com/cat1.jpg"; slides.appendChild(newSlide); For advanced carousel optimization, consider loading the first slide statically, then progressively enhancing it to include navigation controls and additional content. This technique is most applicable to environments where y
The New Terminal (Beta) Is Now in JetBrains IDEs | The IntelliJ IDEA Blog
TL;DR: The new terminal (Beta) is now in JetBrains IDEs and will be available in the new UI starting from the 2024.1 version of the IDEs. You can switch between the old and new terminal in Settings/Preferences | Tools | Terminal | Enable New Terminal. Currently, it supports only Bash, Zsh, and PowerShell, with other shells in development. This blog post covers the architectural and visual changes
The Austral Programming Language Austral is a new systems programming language. It uses linear types to provide memory safety and capability-secure code, and is designed to be simple enough to be understood by a single person, with a focus on readability, maintainbility, and modularity. See: Features and anti-features What are linear types? Specification Tutorial Example programs Source on GitHub
Due to missing verification when configuring mail routes, both Gmail’s and any G Suite customer’s strict DMARC/SPF policy may be subverted by using G Suite’s mail routing rules to relay and grant authenticity to fraudulent messages. This is notably not the same as classic mail spoofing of yesteryear in which the From header is given an arbitrary value, a technique which is easily blocked by mail s
Compiling a subset of JavaScript to ARM assembly in Haskell - Micah Cantor
A toy compiler for a subset of JavaScript to ARM assembly, using Haskell. Published: May 29, 2022 I recently got a copy of the book Compiling to Assembly from Scratch by Vladamir Keleshev, which details how to write a compiler for a subset of JavaScript to 32-bit ARM assembly code. The choice to use ARM assembly is mainly for its simplicity in comparison to x86. Keleshev elects to use TypeScript t
A professional programmer delivers value through the authoring and maintaining of software that solves problems. (There are other important ways for professional programmers to deliver value but this post is about programming.) Programmers rely on various tools to author software. Arguably the most important and consequential choice of tool is the programming language. In this post, I will articul
Open Source Kanban Tools
There are still many open source kanban tools available, contrary to open source projects for Scrum tools that have mostly ended being transformed in a limited offer that supports a main commercial product. The simplicity of the Kanban approach has allowed open source software developers to create and maintain Kanban tools based on various platforms. This article lists pure Kanban open source tool
❤️ 🦀 ❤️ 100,000 issues filled with love, compassion and a wholesome community. Thank you, Rust community, for being one of the most, if not straight out the most, welcoming programming communities out there. Thank you, Rust teams, for the tireless hours you spend every day on every aspect of this project. Thank you to the Rust team alumni for the many hours spent growing a plant and the humility
プログラミングの超基本の話をします。 これからプログラマーを目指す人は参考にして下さい。 凝った技術の話ではなく、プログラミングをする上で基本的な考え方です。 まぁ、すげぇ技術を知っているよりも遥かに大切な事なんですけどね。 もちろん、プログラム経験者やもう一皮むけたいと思っている人も読んでください。 プログラミングをする上で最も重要な事は「可読性」 まず一番最初にに伝えたいのは本記事のタイトルにもある「可読性」の重要性です。 プログラムの「可読性」を意識する事はプログラムを書く上で最も重要な事です。 この可読性を上げる努力をする事がプログラミング技術を向上させる最も近道になります。 えー？可読性って読みやすいだけでしょ？ そういう声が聞こえてきそうですね。そう思う人はまだまだプログラミングの神髄からは程遠いと思った方が良いです。少なくとも実践ではまだまだのレベルにいます。可読性の重要性を
『Apex Legends』にて「タップストレイフ」が削除されるとの発表。パッド勢偏重への懸念高まり、「#SaveApexStrafe」の声が挙がる - AUTOMATON
After much consideration and debate, we've decided to remove tap-strafing from @playapex in patch 10.1. Our reasoning: It's inaccessible, lacks readability/counterplay, and is exacerbated by movement abilities. The next patch notes will include a more detailed note about this. — Respawn (@Respawn) August 31, 2021 タップストレイフとは、『Apex Legends』におけるキャラクターコントロールのテクニックだ。所定の入力をすることで、ジャンプしながら急激に方向転換をすることができる
Plan 9 Desktop Guide
PLAN 9 DESKTOP GUIDE INDEX What is Plan 9? Limitations and Workarounds Connecting to Other Systems VNC RDP SSH 9P Other methods Porting Applications Emulating other Operating Systems Virtualizing other Operating Systems Basics Window Management Copy Pasting Essential Programs Manipulating Text in the Terminal Acme - The Do It All Application Multiple Workspaces Tiling Windows Plumbing System Admin
GitHub - Wisser/Jailer: Database Subsetting and Relational Data Browsing Tool.
2024-07-04 Data can now also be exported as structured JSON and YAML files. 2024-06-26 A dark UI theme has been introduced that improves readability in low light environments. 2024-04-18 DDL scripts for creating database objects can now be generated thanks to an integration of the Liquibase tool. This makes it possible to create subset databases from scratch using only on-board means. 2023-02-03 T
// Good: choose between two options as appropriate (see below). import * as ng from '@angular/core'; import {Foo} from './foo'; // Only when needed: default imports. import Button from 'Button'; // Sometimes needed to import libraries for their side effects: import 'jasmine'; import '@polymer/paper-button'; Import paths TypeScript code must use paths to import other TypeScript code. Paths may be r
Originality AI Plagiarism and Fact Checker - Publish With Integrity
Our team at Originality.ai was founded by content marketing and AI experts who deeply understand your needs. By focusing our solution on the world of Web Publishers we are able to build the most accurate AI detector and additional features that will allow you and your organization to hit publish with integrity… AI Plagiarism Checker, Fact Checker and Readability Checker. Web Publisher - Be In Cont
A clean start for the web
The web is in need of some reinvention right now. The web’s evolution over the last decade has mirrored the American economy. All of the essential indicators are going “up and to the right,” a steady stream of fundamental advances reassure us that there “is progress,” but the actual experience and effects for individuals stagnates or regresses. The crisis affects platforms, creators, and consumers
Benefits for LWN subscribersThe primary benefit from subscribing to LWN is helping to keep us publishing, but, beyond that, subscribers get immediate access to all site content and access to a number of extra site features. Please sign up today! There are times when developers and system administrators need to diagnose problems in running code. The program to be examined can be a user-space proces
The Python ecosystem has been rapidly evolving during the recent years. Here's a subjective take on what are the hot topics at the moment. Python 🤝 RustBoosting CPU-bound work with C extensions have gotten a worthy competitor from Rust. The key enabler has been PyO3 which offers Rust bindings for Python. PyO3 makes it possible to easily use Rust code from Python. It also has support for using Pyt
You must know the power of Object-oriented programming if you have ever worked with object-oriented languages like Java, C#, and much more. Python also supports object-oriented programming, and we can define a class in Python. Let’s explore more about how to achieve this in Python. In the post Getting Started with Python, I have covered the essentials required before becoming a data scientist. In
Testing software is one of the most complex tasks in software engineering. While in traditional software engineering there are principles that define in a non-ambiguous way how software should be tested, the same does not hold for machine learning, where testing strategies are not always defined. In this post, I elucidate a testing approach that is not only highly influenced by one of the most rec
Not news to any web developer in 2021: CSS Grid is an incredibly powerful tool for creating complex, distinct two-dimensional modern web layouts. Recently, I have been experimenting with CSS Grid and alignment properties to create component layouts that contain multiple overlapping elements. These layouts could be styled using absolute positioning and a mix of offset values (top, right, bottom, le
What is coming next for OpenAPI, as v4.0 of the OpenAPI Specification gets closer to being released? What major changes are coming, how easy will it be to upgrade, and how do tooling companies feel about it? Recent History of OpenAPI OpenAPI has been around for a long time, but only hit the mainstream when OpenAPI v3.0 was released in 2017. It made it a whole lot easier to describe the majority of
ChatGPT時代に必要かも!? Pythonで実行するファイルパース（HTML編） | DevelopersIO
コアとしては、GPL 3ライセンスではhtml2text、trafilatura、それ以外のライセンスでは、BeautifulSoup4、unstructured(lxml)、Readability.jsが挙げられます。 ラッパーを含みで一つずつ動かしてみたいと思います。 試してみた 準備 pip install llama-index html2text trafilatura langchain unstructured requests pip install git+https://github.com/alan-turing-institute/ReadabiliPy.git@master#egg=readabilipy readabilipyは、pip install readabilipyで入るバージョン0.2.0がWindowsの文字コードに対応できていなかったので、git
この記事は、Chris BeamsのHow to Write a Git Commit Messageブログの内容を簡単にまとめた資料で、翻訳・編集して、役に立つ内容を追加したものです。 Gitのコミットメッセージをうまく作成すべき理由 なぜコミットメッセージをうまく書く必要があるのか？理由は色々ありますが、うまく書かれたコミットメッセージが有益であるという事実は、多くのプログラマが同意することでしょう。そのうち代表的な3つの例を挙げてみます。 コミットログの読みやすさ より良いコラボレーションとレビュープロセス コード保守の容易さ 「良いコミットメッセージについて考えることは素晴らしいアイデアだと思う。しかし、良いメッセージの正解があるかは分からない。個人によって良いコミットメッセージと捉える基準が異なるためだ。多くの人々が共感できる良いコミットメッセージをうまく作るためのルールはないだ
Journey to libbpf 1.0
Libbpf 1.0 release is here! It has been a pretty long journey to get to libbpf 1.0, so to commemorate this event I decided to write a post that would highlight main features and API changes (especially breaking ones) and show large amount of work done by libbpf community that went into improved usability and robustness of libbpf 1.0. The idea to clean up and future-proof and shed some organically
Opens in a new windowOpens an external siteOpens an external site in a new window In early September 2021, we retired our last Shopify database virtual machine (VM) that was running Percona Server 5.7.21, marking the complete cutover to 5.7.32. In this post, I’ll share how the Database Platform team performed the most recent MySQL upgrade at Shopify. I’ll talk about some of the roadblocks we encou
How to Check Which Bluetooth A2DP Audio Codec Is Used on Windows • Helge Klein
by: Helge, published: Sep 9, 2020, updated: Sep 16, 2020, in Windows General This is a follow-up to my earlier article Bluetooth Audio Quality & aptX on Windows 10, based on a comment by reader eluxe. Windows makes it unnecessarily hard to identify the audio codec used by the Bluetooth A2DP profile, but there is a way. This post shows how to check if your connection makes use of aptX, LDAC, or som
We are thrilled to announce the release of Quill 2.0! Please check out the announcement post. Major Improvements Quill is now a valid ESM package for better ecosystem (e.g. bundlers) and tree-shaking support Nested Quill support #3590 Improved IME and spell corrector support #3807 Semantic cleanups for TEXT_CHANGE event #3778 History: Record selection in history module #3823 Auto detect scrolling
Background Last year I experienced the all-too-common career burnout. I had a couple of bad projects in a row, yes, but more generally I was disillusioned with the software industry. There seemed to be a disconnection between what I used to like about the job, what I was good at, and what the market wanted to buy from me. I did the usual thing: I slowed down, quit my job, started therapy. I revise
ChatHub - GPT-4, Gemini, Claude side by side - Chrome Web Store
Created by the owner of the listed website. The publisher has a good record with no history of violations. Learn more Use ChatGPT, Gemini, Claude, Llama and more chatbots simultaneously Stop switching apps. Compare AI responses side-by-side with ChatHub! ChatHub is a powerful browser extension that revolutionizes your AI chatbot experience. With ChatHub, you can simultaneously use multiple AI chat
Announcing JSON Canvas: an open file format for infinite canvas data
Today we're excited to announce that the Obsidian Canvas file format is now called JSON Canvas and has its own site, specification, and open source resources at jsoncanvas.org. JSON Canvas can be implemented freely as an import, export, and storage format for any app or tool. All the resources associated with JSON Canvas are open source under the MIT license, and can be found on GitHub. For the re
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Untitled/unsorted collection of math notes
How I Switched from TypeScript to ReScript
Best practices for carousels | Articles | web.dev
The Austral Programming Language
The Confused Mailman: Sending SPF and DMARC passing mail as any Gmail or G Suite customer :: Ezhes
Gregory Szorc's Digital Home | Rust is for Professionals
Rust is Beautiful · Issue #100000 · rust-lang/rust
プログラミング超基本「可読性」を意識するだけですごい上達する - 空と僕の記憶
Google TypeScript Style Guide
Comparing SystemTap and bpftrace [LWN.net]
Three Python trends in 2023
Object-oriented Programming in Python
Test-First Machine Learning | codingossip
Positioning Overlay Content with CSS Grid | CSS-Tricks
OpenAPI v4.0 (A.K.A "Project Moonwalk") · Bump.sh
Gitのコミットメッセージをうまく作成する7つのルール | NHN Cloud Meetup
Upgrading MySQL at Shopify
Release Version 2.0.0 · slab/quill
Reclaiming the Web with a Personal Reader