Replit — Repl.it GFX: Native graphics development in the browser
At Repl.it we live and breathe making software creation easier. With our programming environment, you could start coding in your favorite language in seconds. With live deployments, we made web hosting a breeze. With Multiplayer, we've removed the drudgery from coding with friends. And today, we're excited to bring native GUI applications and game development to the browser. Before we go on, you h
textlint と VS Code で始める文章校正 - Qiita
はじめに 文章を書くときに、注意して半角文字の両端に半角空白を空けるという手動 lint をよくやっています。 また、日本語の表現や句読点、typo などに注意を払うことも必要です。 そこで、機械的に検出できた方が内容を書くことに集中できるので文章の lint ができる textlint というツールを使っていきます。 同様の検査ツールとして RedPen が存在します。 以下の記事に RedPen と textlint それぞれの立場から文章における問題とその解決についてまとまっているので参考になります。 文書執筆の指南書で解説されている問題点を RedPen で発見する - Qiita 文書執筆の指南書で解説されている問題点を textlint で発見する - Qiita 今回は、リポジトリ内で管理する Markdown ファイルに対して、Visual Studio Code(VS C
もし間違ってDROP DATABASEしてしまったら – area[nothing] : diary
2007/ 01 02 03 04 05 06 07 08 09 10 2006/ 01 02 03 04 05 06 07 08 09 10 11 12 2005/ 01 02 03 04 05 06 07 08 09 10 11 12 2004/ 01 02 03 04 05 06 07 08 09 10 11 12 2003/ 01 02 03 04 05 06 07 08 09 10 11 12 2002/ 01 02 03 04 05 06 07 08 09 10 11 12 2001/ 01 02 03 04 05 06 07 08 09 10 11 12 2000/ 01 02 03 04 05 06 07 08 09 10 11 12 1999/ 01 02 03 04 05 06 07 08 09 10 11 12 1998/ 01 02 03 04 05 06 07 0
Dividing by Zero - How Bad Is It, Really?
Takayuki Kihara and Arno Pauly. Dividing by Zero - How Bad Is It, Really?. In 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 58, pp. 58:1-58:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016) https://doi.org/10.4230/LIPIcs.MFCS.2016.58 @InProceedings{kihara_et_al:LIPIcs.MFCS.2016.
スパコンと円周率の話
スパコンと円周率の話 はじめに 2019年3月14日、Googleが円周率を31兆桁計算したと発表しました。このニュースを聞いて僕は「GoogleがノードまたぎFFTをやったのか！」と大変驚き、「円周率の計算には高度な技術が必要」みたいなことをつぶやきました。しかしその後、実際にはシングルノードで動作する円周率計算プログラム「y-cruncher」を無改造で使っていることを知り、「高度な技術が必要だとつぶやいたが、それは撤回」とつぶやきました。円周率の計算そのもののプログラムを開発していなかったとは言え、これだけマッシブにディスクアクセスのある計算を長時間安定実行するのは難しく、その意味においてこの挑戦は非自明なものだったのですが、まるでその運用技術のことまで否定したかのような書き方になってしまい、さらにそれが実際に計算を実行された方の目にもとまったようで、大変申し訳なく思っています。 こ
dot言語を使わずにGraphvizでグラフを描く便利なライブラリ - Qiita
Graphvizはオープンソースのグラフ描画ソフトです。dot言語というグラフ構造を記述する言語によって書かれたグラフを綺麗に描画してくれます。Graphvizの良いところの一つはdot言語でグラフ構造さえ書けばノードやエッジをどのように配置するかは勝手に決めてくれるところでしょう。この機能があるおかげでグラフの管理や自動生成などが簡単に実現できます。 しかしグラフを描きたいと思っただけなのに新しい言語を覚えるのは大変です。加えてdot言語には変数や関数など抽象化をサポートする機能が乏しく複雑なグラフを描こうとするとコピペが大量に発生して記述が冗長になることもあります。そこでgraphvizというライブラリを使えばHaskellのEDSLとしてグラフ構造を記述することが可能になり、直接Graphvizを通してグラフ画像を生成することができます。必要ならdot言語を生成することも可能です。ち
RISC Vに従うCPUの上で動作するOSをRustで書く（CPU実験余興） - 欣快の至り
お手製のCPUの上で自分で作ったOSを動かすというのは、割と夢のある行為だと思っていて、今回それを一定のレベルですることができたので、簡単に内容についてメモをしておこうと思います。 曖昧な日本語を読むより、プログラムを読むほうが速いと思う人は、駄文を読まずにGitHubを見てください。 https://github.com/moratorium08/osmium/ 僕が書いたのはOSだけで、コアはATPが書きました。また、乗算命令の実装はdaiが書きました。 https://github.com/hitohira/yokyo 概要 RustでフルスクラッチでRISC-V(rv32im)で動作するOSの実装をしました。OSを実装するにあたり、ページングやカーネルとユーザーモードでの権限切り分け、割り込みなどの仕様を考える必要があり、これもRISC-VのPrivilegeの仕様書に従ったものに
Verilog, Formal Verification and Verilator Beginner's Tutorial
If you are interested in learning Verilog, there are already many tutorials online. Asic-world’s tutorial is perhaps the most complete on-line Verilog tutorial I know of. Nandland has an exceptional beginner’s tutorial as well. FPGA 4 Fun’s web site doesn’t really start at the bare basics, although it discusses how to build several basic peripherals. None of these tutorials, however, couple togeth
Docker might be eating your batteries
Docker.io's ugly power grabI recently spent a little while troubleshooting the battery life on my vintage ThinkPad x230 which is running Debian linux buster, as the power drain seemed to be mysteriously high. After poking around with the diagnostic tools, I was suprised to find according to powertop an ethernet device called nic:docker0 was consuming between 2-4W of power according to PowerTOP. Th
FF5のレベル5デスと整数論 - tsujimotterのノートブック
Final Fantasy Ⅴ（以下、FF5）というゲームをご存知でしょうか？ 私が小学生ぐらいの頃に流行したロールプレイングゲームです。当時、私はFFの魅力がわからずプレイしたことすらなかったのですが、大人になってからその面白さに気づき、はまっています。 今回は、FF5にまつわるちょっぴり整数論っぽい問題についてです。 背景 さて、そのFFの5作目のFF5ですが、面白いシステムが導入されました。それが 青魔法 です。青魔法を使う青魔導士は、敵が使ってくる魔法を受けると、「ラーニング」といって、その魔法を習得し、次回以降の戦闘で使用することができるのです。もちろん、敵の扱う魔法すべてをラーニングできるわけではないのですが、バラエティ豊かな魔法を手にいれることができ、青魔法を収集することもゲームの楽しみの一つでした。 参考： FF5 青魔法の効果と習得方法 その中でも、特に面白いなと思ったの
Oleg's gists - Flag, a tagged Bool
This posts complements two other recent blogs: Code smell: Boolean blindness by Thomas Tuegel and Ceci n'est pas un default by Guillaume Allais. Thomas writes The popular term “boolean blindness” refers to the information lost by functions that operate on Bool when richer structures are available and indeed, in one project I wrote a function with a very horrible type: I could add comments, but tho
Return a Function to Avoid Effects
To help write robust, reliable, and easy-to-test software, I always recommend purifying your code of effects. There are a bunch of tricks and techniques to accomplish this sort of thing, and I’m going to share one of my favorites. I have implemented a pure data pipeline that imports records from one database and puts them in another database with a slightly different schema. Rather than implement
Tagless Final Encoding in Haskell
FP, Haskell, some related math and Computer Science Blog Source CodeYou can find source code of the example described in this post here IntroductionIn this post i am going to explore a simple technique for organizing our programs which is called Tagless Final Encoding to write testable programs in Haskell. I am also use TypeApplication LANGUAGE directive to write more readable and flexible test. W
haskell-shoen
🎌ようこそ🎌 / kakkun61 / Haskell の歩き方 / リンク / パッケージティアリスト / Wiki のライセンス / ロゴ / チャット / Slack 管理者へのメモ / 文字コードを変換する / mrsekut / 論理学 / fumieval / barbies-th / Haskellのつらいところ / 組織紹介 / 避けるべきこと / HKD / Recursio
まだTerraform使ってるの？未来はPulumiだよ
Lv：4 Exp：19011 プログラマー友の中釣りが一番上手、釣友の中インフラが一番得意、インフラ友の中猫が一番好き、猫友の中プログラミングが一番詳しい。 本当のInfrastructure as Codeを実現するPulumi インフラをコードにして管理する、所謂Infrastructure as Code(IaC)、特にクラウド上のインフラ管理はTerraformというツールがよく使われていると思います。クラウドエースでもインフラ管理にはTerraformを使用しています。しかし、このInfrastructure as Codeは本当のCodeではなく、Configurationです。今回は本当のInfrastructure as Codeを実践するPulumiというツールを紹介したいと思います。 Pulumiはまさにプログラミングでインフラを自動化する Pulumiは自分が好きなプ
入門 Docker
入門 Docker¶ About¶ Dockerの入門からプロダクションで活用するプラクティスについてのドキュメントです。 プロダクションへ導入するために必要なDockerの概要から設計までをなるべく最短経路で学ぶことが目的です。 想定する読者層¶ WebAPIのようなサーバーサイドのプログラミングをしたことがある Dockerをこれからプロダクション環境へ導入してみたいと考えている初学者 Version¶ Docker 18.09.3 docker-compose 1.23.2 必要な環境¶ Docker Hub のアカウント Docker公式レジストリ Play with Docker DockerをWeb上で動かせる環境 Play with Dockerを起動するのに前述のDockerHubアカウントが必要 Docker for Mac(Windows)の場合VMが間に挟まり挙動が異
Endlessh: an SSH Tarpit
This article was discussed on Hacker News (later), on reddit (also), featured in BSD Now 294. Also check out this Endlessh analysis. I’m a big fan of tarpits: a network service that intentionally inserts delays in its protocol, slowing down clients by forcing them to wait. This arrests the speed at which a bad actor can attack or probe the host system, and it ties up some of the attacker’s resourc
Redis streams as a pure data structure - <antirez>
The new Redis data structure introduced in Redis 5 under the name of “Streams” generated quite some interest in the community. Soon or later I want to run a community survey, talking with users having production use cases, and blogging about it. Today I want to address another issue: I’m starting to suspect that many users are only thinking at Streams as a way to solve Kafka(TM)-alike use cases. A
特級シリアライズライブラリ、winery 1.0解禁 - モナドとわたしとコモナド
fumieval.hatenablog.com あれから9ヶ月…wineryのバージョン1.0をついにリリースした。 前回までのあらすじ データの保存や通信に直列化は不可欠の概念である。 binaryなどの直列化ライブラリは、レコードのフィールド名などの情報が欠けており、構造が変わると互換性を持たせることができない。 一方、JSONやCBORなどのフォーマットで愚直にフィールド名などを残すと極めて冗長になり、時間・空間効率が悪い。 コード生成が前提のProtobufなどはHaskellの既存のデータ構造との相性がよくない。 そんな現状に殴り込みをかけたのがwineryだ。値を「スキーマ」と「データ」に分割して保存することによって、冗長性を避けつつ、メタデータを保持させることができる。wineryは最強のライブラリとなりうるか…？ 特徴と特長 JSON, MessagePack, CBORな
How I'm able to take notes in mathematics lectures using LaTeX and Vim
How I'm able to take notes in mathematics lectures using LaTeX and Vim A while back I answered a question on Quora: Can people actually keep up with note-taking in Mathematics lectures with LaTeX. There, I explained my workflow of taking lecture notes in LaTeX using Vim and how I draw figures in Inkscape. However, a lot has changed since then and I’d like to write a few blog posts explaining my wo
KubernetesネイティブなJavaフレームワーク Quarkus について調査してみた件 - Qiita
はじめに 2019/3/7にRed HatがKubernetesネイティブなJavaフレームワーク「Quarkus(くぉーかす)」を発表しました。 Introducing Quarkus: a next-generation Kubernetes native Java framework https://developers.redhat.com/blog/2019/03/07/quarkus-next-generation-kubernetes-native-java-framework/ Kubernetesの利用やマイクロサービス・サーバレス化が進み、アプリケーションのコンテナ化が一般的になりつつある現在、他の言語に比べて起動が遅いことはJavaにとって大きなデメリットでした。 これに対して、Quarkusでは "Supersonic Subatomic Java (超音速・原子よ
How Mozilla’s Rust dramatically improved our server-side performance | Figma Blog
How Mozilla’s new language dramatically improved our server-side performance Like building state-of-the-art web apps? Come work at Figma! At Figma, performance is one of our most important features. We strive to enable teams to work at the speed of thought, and our multiplayer syncing engine is a critical part of this vision. Everyone should see each change made to a Figma document in real time. T
Implementing a NES Emulator in Rust
Recently, I made an emulator for the Nintendo Entertainment Console(NES) - a game console first released in 1983. In this article, I’ll talk about how I used Rust to develop the emulator. I’ll cover questions like: What features does the emulator support? What games can it play? How did I approach the problem of emulating the NES? Did Rust’s type system or borrow checker interfere? Were there perf
Scientists rise up against statistical significance
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.
n月刊ラムダノート Vol.1, No.1(2019)
紙書籍をお届けします（PDFがついてきます） PDFのみ必要な場合は、こちらからPDF単体をご購入ください 通常はご注文から2～3営業日で発送します。 年末年始や大型連休など、1週間から10日程度、配送のお休みをいただく場合があります。詳しくはお知らせをご覧ください。 計算機好きのための技術解説情報誌 n月刊ラムダノートは、nヶ月ごとに刊行される、計算機好きのための技術解説情報誌。コンセプトは「いろんなIT系技術書から1章ずつ選んできた解説記事の集まり」です。毎号3つから4つの記事をお届けします。 目次 #1 TCPの再送制御機構（西田佳史） 現代のインターネットでは多くのアプリケーションがHTTPを利用しており、そのHTTP接続の信頼性は長年にわたってトランスポート層のTCPが一手に担ってきた。TCPは歴史あるプロトコルであり、接続の確立手順といった基本的な機能こそ変化していないが、再送
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【初音ミク】遠い街から【オリジナル】
【滲音かこい】夢の暮らし【オリジナル】
【IA】海辺の鉄路
GitHub - cirosantilli/x86-bare-metal-examples: Dozens of minimal operating systems to learn x86 system programming. Tested on Ubuntu 17.10 host in QEMU 2.10 and real hardware. Userland cheat at: https://github.com/cirosantilli/linux-kernel-module-cheat#us
僕は君の中、最後の夢 / 初音ミク
さとうささら弾き語りプロジェクト(１０)歌曲【オリジナル曲】
【再録】トロンボーン四重奏のための「ディセンバー・アセンション」【オリジナル曲】
not found
Why Hashbrown Does A Double-Lookup
❤️ Best adult photos at chargen.one
Understanding lifecycle management complexity of datacenter topologies | the morning paper
Datacenter RPCs can be general and fast | the morning paper
Slim: OS kernel support for a low-overhead container overlay network | the morning paper
"Three Things I Wish I Knew When I Started Designing Languages" | Lambda the Ultimate
Higher-order type-level programming in Haskell - Microsoft Research
Compdata Trees and Catamorphisms
GitHub - NanXiao/strace-little-book: A little book which introduces strace.
New zine: Bite Size Networking!
Differentiable Programming with Julia by Mike Innes
Can you solve the dark coin riddle? - Lisa Winer
Reddit - Dive into anything
Reddit - Dive into anything
GHC Rebuild Times - Shake profiling
GitHub - microsoft/pyright: Static Type Checker for Python
GitHub - opencomputeproject/Project-Zipline: Defines a lossless compressed data format that is independent of CPU type, operating system, file system, and character set, and is suitable for compression using the XP10 algorithm.
GitHub - akiradeveloper/ijk: A real editor for real programmers