There are lots of posts trying to show how simple it is to get started with Kubernetes. But many of these posts use complicated Kubernetes jargon for that, so even those with some prior server-side knowledge might be bewildered. Let me try something different here. Instead of explaining one unfamiliar matter (how to run a web service in Kubernetes?) with another (you just need a manifest, with thr
DirectXの作者の一人であるEric Engstromが死去した。これにことよせてD言語のWalter Brightが思い出話を書いている。 I've known Eric since around 1985 or so when he came to work at Data I/O. Our fr... | Hacker News Ericは1985年から知り合いだった。Data I/Oで働いていた頃だ。次第に疎遠になっていったが、あいつは常に特別なやつだった。 今となっては私しか覚えていないであろう思い出話をひとつしてやろう。いつ思い出しても笑えるし、まさにあいつらしい話だ。 あいつが1991年か92年あたりにMicrosoftで働いていた頃、問題を抱えているマネージャーがいた。アセンブリ言語で書かれたプログラムがあった。5万行ほどのサイズだ。プログラムには修正すべき不具合があっ
オープンソースで開発されるソフトウェアと安価なソフトウェア無線機器を使って、ローカルな第4世代移動通信システム(4G)のネットワークを簡単に構築できることを目指すプロジェクトが「LibreCellular」です。 Welcome — LibreCellular 21.04 documentation https://librecellular.org/ lc-website/index.rst at master · myriadrf/lc-website · GitHub LibreCellular Aims to Simplify Building LTE Networks with Open-Source - AB Open https://abopen.com/news/librecellular-aims-to-simplify-building-lte-networks-wit
ジャガイモが体によい6つの理由とは？
ジャガイモは多くの国で安価な主食として普及している食材ですが、近年ではフライドポテトやポテトチップスに使われることが多くなり、「ジャガイモ＝ジャンクな食べ物」という印象を持っている人もいるかもしれません。ところが、実際にはジャガイモは人の体によい食材であるとして、「ジャガイモが体によい6つの理由」をイギリス・アストン大学で栄養学を教えるDuane Mellor氏が解説しています。 Six reasons why potatoes are good for you https://theconversation.com/six-reasons-why-potatoes-are-good-for-you-160889 ◆1：ビタミンC 多くの人は「ビタミンC」についてレモンなどのかんきつ類に豊富なイメージを持っていますが、実はジャガイモにもビタミンCが豊富に含まれています。150gほどの小さい
近年ではビジネスや私生活で取り扱うデータの量と重要性が加速度的に増加しているため、天災や人災などでデータが消失するとさまざまな物事に致命的な影響が及ぶこともあります。テクノロジー専門家のケビン・ソルトウ氏は、データのバックアップサービスを提供するVeeamが提唱した「3-2-1バックアップルール」というルールに従って人々がバックアップを取ることで、不測の事態に遭ってもデータを安全に保つことができると説明しています。 What is the 3-2-1 backup rule? https://www.veeam.com/blog/321-backup-rule.html The 3-2-1 Backup Rule – Why Your Data Will Always Survive - VMWARE BLOG https://www.vmwareblog.org/3-2-1-backup
Basic Fuzzing Training by Ren Kimura CEO of Ricerca Security, Inc.
早起きする人はうつ病のリスクが低く幸福度も高いことが明らかに
人間は早起きが得意な「朝型」と夜更かししがちな「夜型」といったタイプが存在します。人間が持っている固有の体内時計は時計遺伝子によってリズムが整えられているため、就寝のリズムを自分の意志で整えるのはなかなか難しいのですが、エクセター大学のジェシカ・オローリン氏らの研究により、「朝型の人はうつ病のリスクが低く、より幸福である」ということが分かりました。 Scientists discover one sleep habit is most likely to result in happiness https://www.inverse.com/mind-body/being-a-morning-person-actually-keeps-you-happier Waking just one hour earlier cuts depression risk by double digits
GitHub - honkit/honkit: :book: HonKit is building beautiful books using Markdown - Fork of GitBook
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. Dismiss alert
Prustiを使ってRustでプログラム検証をしよう
導入に際し、ドキュメントに書いてないこととか色々あってつらかったため、軽くメモ代わりに投稿しておきます。 また、Prusti を使う最も簡単な方法は VSCode の拡張である Prusti-Assistant を使うことですが、Vimの使用を見越しコマンドだけで使えるようにアレコレ設定しました。 Prusti の紹介 プログラミングにおいて、関数に対してプログラマが明示的に制約を課すことはよくあります。 例えば、次のような単純な関数 max を考えます。 fn max(x: i32, y: i32) -> i32 { let result = if x > y { x } else { y }; result } さて、この関数は次のような性質を持つことが期待されます。 resultはx以上かつy以上 resultはxまたはy そういった情報は多くの場合ライブラリのドキュメントなどに書い
実験内容 今回は、電池で駆動するPico W上にWebサーバーを立てて、RP2040のCPU温度と現在時刻をJSONで返すURLを作り、それを別の機材から毎秒GETでアクセスをして、アクセスができなくなるまでの時間を測りました。スクリプトは、前回のレポート記事で紹介したものからBME280を取り除いたようなイメージです。 Pico Wが起動したときの時刻が2021/01/01 00:00:00なので、GETできなくなった直前のJSONに含まれている時刻＝電池で動かせた時間として見ることができそうです。 電池は、IKEAのニッケル水素充電池「LADDA」1.2V・2450mAhを2本使用しました。前回のレポートでは、ネットワーク通信時は5Vで0.06A==60mAくらいと計測できていたため、2.4Vでは60mA * 5V / 2.4V == 125mAとして、2450mAh/125mA==1
エドガー・ダイクストラ
Inferenceより。 クシシュトフ・アプト 結局、ナイメーヘンからアイントホーフェンに向かう列車は遅れて到着しました。さらに悪いことに、私は大学の建物の中にあるオフィスを見つけることができませんでした。結局、着いた時には、約束の時間に予定より30分以上遅れていました。教授は、私の謝罪を完全に無視し、会議に1時間も掛かってしまいました。私がエドガー・ウィベ・ダイクストラに会ったのはこの時が初めてでした。 1975年に会った時、ダイクストラは45歳でした。コンピュータ・サイエンスで最も権威のあるACMチューリング賞を授与されたのは、3年前のことでした。彼のほぼ20年後輩の私は、この分野についてほとんど知らず、数週間前にフローチャートが何であるかを知ったばかりでした。私は、共産主義のポーランドから来たばかりのポスドクで、数理論理学のバックグラウンドを持ち、西側にとどまる計画を持っていました。
システム開発で作成するドキュメントの体系
はじめに 実は、かなり前になりますが、私はThink ITで2つの連載を執筆していました。 「即活用！企業システムにおけるプロジェクト管理」(2004年) 「即活用! 業務システムの開発ドキュメント標準化」(2005年) 連載終了後、プロジェクト管理に関しては、そこで紹介したプロジェクト管理手法「PYRAMID(ピラミッド)」を統合型プロジェクト管理システム「SI Object Browser PM(OBPM)」として製品化しました。また、開発ドキュメント標準化の方も、記事でダウンロード可能とした開発ドキュメント標準「DUNGEON(ダンジョン)」をシステム開発の設計書作成CAD「SI Object Browser Designer(OBDZ)」として製品化しています(図1、2)。 今回は、図2の延長としてDUNGEONをOBDZに製品化する際に得たノウハウ、出来上がった製品を各社に導入し
第688回と第690回では、カーネルのトレーシングツールとして注目されているeBPFを活用するためのツールとしてBCCを紹介しました。しかしながら、BCCだけがeBPFを扱えるツールというわけではありません。今回はツールなしに利用できるsysfsや、よりユーザーフレンドリーなトレーシングツールであるbpftoolを紹介します。 Python版BCCの問題点 これまで紹介していたBPF Compiler Collection（BCC）のツールはいずれもフロントエンドとしてPythonを使っていました。つまり利用者はまずPythonスクリプトを起動し、その中でeBPFのオブジェクトをコンパイルし、ロードすることでようやくトレースが始まっていたのです。 実行環境でBPFオブジェクトをビルドする必要があるこの方法にはいくつかの問題点が存在します。 実行環境にコンパイラをインストールする必要がある
Home InfiniBand C＃ Docker Linux Raspberry Pi RouterOS Windows Mkdocs プライバシー・ポリシー WSLのアーキテクチャ WSLで実現できること Windows Subsystem for Linux(WSL)は少ないオーバーヘッドでGNU/LinuxのCLIプログラムを実行できる環境を提供する機能です。 Windowsでは「Portable Executable」という形式の実行ファイルのみを動作させることができます。 しかし、Linuxなどで利用されている実行ファイルは「Executable and Linkable Format(ELF)」と呼ばれる形式であるため、通常はWindows上で動作させることはできません。 Linuxのプログラム(ELFバイナリ)を実行するには LinuxのCLIプログラムを利用できる環境を用
前書き この記事はC++標準化委員会の2019年12月公開の論文の1つ、Bjarne Stroustrupさんが書かれた「P1962R0 How can you be so certain?」という論文の和訳です。 この文章はC++標準化委員会における機能追加時の議論を念頭において、C++標準化委員会メンバーに向けて書かれています。したがって、読むにあたってはC++の機能などについてある程度知っている必要があるかと思います。 私の英語力はひよこ以下なので訳の正確性には全く保証がありません。特に、細部のニュアンスの解釈は大いに間違っている可能性があります（修正してやる！という方がいましたら、この記事のMarkdownソースからお願いします）。 以下の方に修正を賜りました k-satodaさん なお、翻訳の公開についてBjarne Stroustrupさんに連絡を取った所、問題ないとのお返事を
ユーザのための要件定義ガイド 第2版 要件定義を成功に導く128の勘どころ | アーカイブ | IPA 独立行政法人 情報処理推進機構
デジタル技術を活用して企業のビジネスを変革し、自社の競争力を高めていく「デジタル・トランスフォーメーション（DX）」が注目を集めるなか、従来のようなITベンダやシステム部門が中心になって要件定義をすすめるスタイルから、業務部門のユーザが主体的に関与するスタイルへの変革の必要性が増しています。 システムの要件を定義する責任は、構築されたシステムを利用してビジネスに貢献する役目を負うユーザにあると言われています。しかしながら、システム開発の遅延の過半は要件定義の失敗にあると言われるように、要件定義においては、その過程で様々な問題に直面します。 そこでIPAでは、要件定義の過程で直面する問題への対応をガイドすることが、ユーザへのよりいっそうの支援策となると考え、「ユーザのための要件定義ガイド(初版)」の内容を一新し、「ユーザのための要件定義ガイド 第2版 要件定義を成功に導く128の勘どころ」と
これまでのあらすじ : https://twitter.com/tanakmura/status/1280152564898557952 FPGAでHello World以上のものが書きたいという気持ちは前からあったので、この機会に少し実用的はHDLを書くことにした。 なにをやっているかの解説を書いておこう。 ソースは、 https://github.com/tanakamura/jisaku_pc_8088 ここにある(上のツイートでは、タイミング問題があってLED点灯しないことがあると書いてるが、これは多分改善してあるはず。) こういう昔のCPUは、CPU側の命令実行とバスが直結していて、ポインタ0x80 を読むと、CPUの足に、そのまま0x80が出てくる。それを正しくハンドリングして、有効な命令バイト列を返せば、8088を動かすことが可能だ。 この実装では、この足から出てくる信号をデ
「ノルウェーの一部都市だけであっても多数のスマートフォンが位置情報を追跡されており、それは販売されている」と、ノルウェーの公共テレビ・ラジオ局であるNRKが独自調査の内容をまとめています。 Avslørt av mobilen – Norge https://www.nrk.no/norge/xl/avslort-av-mobilen-1.14911685 仕事や幼稚園のお迎え、友人との外食などあらゆるタイミングで、ユーザーはスマートフォンを持ち出します。そのため、位置情報を追跡することで、「この人は何が好きなのか？」という情報を継続的に収集することが可能です。 一部のスマートフォン向けアプリは位置情報へのアクセスを要求しており、これを許可するとアプリはユーザーの位置情報を継続的に収集できるようになります。このデータは非常に貴重なものであり、多くのモバイルアプリ開発者は位置情報を販売するこ
この記事は Merpay Tech Openness Month 2022 の17日目の記事です。 はじめに こんにちは。Credit Design Teamでバックエンドエンジニアをしている@tk8です。主にメルペイスマート払いに関わるマイクロサービスの開発や運用をしています。 この記事では、私のチームでの持続可能なデータベースドキュメントへの取り組みに関して紹介します。 背景 私が担当しているマイクロサービスでは歴史的経緯（*1)もあり複雑なスキーマ設計をしています。また、領域的にドメイン知識が複雑なものも多く、バックエンドエンジニアでもデータとスキーマの関連に関して理解が難しいことが多々ありました。 さらに私のチームではQAエンジニアやPMもデータベースに関するドキュメントを読むことがあり、不明点があれば都度詳しそうな人に聞いたり過去のSlackでの会話を調べたりするなど非効率な状態
今回の目的 前回は、青空文庫のWebサイトから梶井基次郎の小説データを取得して、そこから本文のデータを抽出する方法を見ました。今回は、自然言語処理で扱いやすいように分かち書きをするための準備をします。 ところで、自然言語処理とはもちろん私たちが日常的に使っている言葉（ここでは日本語としましょう）をコンピューターに処理させることです。その結果、コンピューターに入力された言葉からは、何らかの情報が取り出されます。何らかの情報とは例えば地名や製品名、ランチの注文かもしれませんし、ユーザーがしたい何かのアクションかもしれません。あるいは、入力された言葉が、全体として肯定的なものなのか、否定的なものなのかを判断するといったことも考えられます。 いずれにせよ、こうした処理を行うには、入力された言葉をさまざまな段階を踏んで解析する必要があるでしょう。 例えば、「くるまでまつ」という文について考えてみます
マリオの生みの親・宮本茂さんに海外メディアがインタビュー
2020年12月19日、任天堂はユニバーサル・スタジオ・ジャパン(USJ)にオープンする新エリア「スーパー・ニンテンドー・ワールド」の一部詳細を明らかにしました。2021年2月についにオープンするスーパー・ニンテンドー・ワールドは、任天堂のゲームやキャラクターを現実世界に再現したテーマパークであり、任天堂のこれまでの集大成とも言えるものです。そのスーパー・ニンテンドー・ワールドのデザインや設計を監修する宮本茂さんに、ニュースメディアのThe New Yorkerがインタビューしています。 Shigeru Miyamoto Wants to Create a Kinder World | The New Yorker https://www.newyorker.com/culture/the-new-yorker-interview/shigeru-miyamoto-wants-to-cre
Nature Remo開発におけるテストフレームワーク『Catch2』の活用方法を紹介します - Nature Engineering Blog
3日目！ Nature Engineering Blog祭3日目は、ファームウェアエンジニアの中林 (id:tomo-wait-for-it-yuki) がお送りします。みなさま、自動テストはお好きですか？私は大好きです。手動で何度も同じことをテストするのは苦痛ですが、それをプログラミングのタスクに転化できるとなれば、最高ですよね！ 今回はNature Remoのファームウェア開発で使用しているユニットテストフレームワーク『Catch2』の活用方法を紹介します。ESP-IDFで使えるテンプレートプロジェクトも用意してありますので、少し長いですが、最後まで楽しく読んでいただけると嬉しいです。 Catch2 Catch2は (modern) C++で書かれたユニットテストフレームワークです。Nature RemoのファームウェアはC言語で書いていますが、テストフレームワークはC++で書かれたも
1 Introduction Compilers, assemblers and similar tools generate all the binary code that processors execute. It is no surprise then that these tools play a major role in security analysis and hardening of relevant binary code. Often the only practical way to protect all binaries with a particular security hardening method is to have the compiler do it. And, with software security becoming more and
Apple、ARM、そしてインテル
STRATECHERYより。 ブルームバーグのマーク・ガーマンは、Appleが来週開催されるWorldwide Developer Conference(WWDC)で、ついにMacがARMチップへの移行を発表することをレポートしている。 その計画に詳しい関係者によると、Appleは、早ければ今月の年次開発者会議で、インテルのチップに取って代わる、Macコンピュータの独自のメインプロセッサへの移行を発表する準備をしていると言う。同社は6月22日の週にWWDCを開催する。Kalamataと名付けられたこの取り組みをイベントで発表することで、2021年に新しいMacが発売される前に外部の開発者に調整の時間を与えることができる、と関係者は述べている。ハードウェアの移行はまだ数か月先のことなので、発表のタイミングは変わる可能性があると付け加え、プライベートな計画を議論していることを特定しないよう求め
RIGOLのオシロがめちゃくちゃ安くなっている - onagawa's diy diary
お久しぶりです。 Amazonを見ていたら正規代理店出品でRIGOLのオシロが買えるようになっていたのでそれの紹介 よく見てみるとエントリーモデルDS1102Z-Eが33000円からとなっており初心者でも十分に手を出せる価格になっています。 スタンドアロンオシロスコープで33000円と破格であるが・・・・ちゃんと使えるのか？スペックを軽くさらってみると 帯域100MHz 2CH UART,I2Cなどのシリアルデコード機能を標準装備 といったように最近の電子工作に必要な機能はそろっているように感じる。 オシロスコープが欲しいけどはじめての一台でなにを選んでいいかわからないという方にはDS1102をぜひお勧めしたい。 ちなみに私の一台目はRIGOLの1054Zというモデルを選んだが、今はもっと多数のラインナップがあるので必要なスペックを吟味しながら選んでもらえたらよいと思います。 個人で買えそ
オープンソースのドキュメントをいち早く日本語化、NICTがAI自動翻訳技術をLinux Foundationに提供
オープンソースのドキュメントをいち早く日本語化、NICTがAI自動翻訳技術をLinux Foundationに提供：「日本の競争力を高める鍵となる」 NICTは、Linux Foundation Japanに「みんなの自動翻訳」のAI自動翻訳技術を提供した。Linux Foundationは、オープンソースプロジェクトのドキュメント翻訳作業に同技術を活用する。
こんにちは。H.Tと申します。 今年の1月よりGMOソリューションパートナーからGMOアドマーケティングに転籍となりました。 アドマではAkaNe管理画面の開発を担当することになりRails漬けの毎日を過ごしております。 今回は画面のパフォーマンス調査をする機会がありrack-mini-profilerを使ってみたので簡単にご紹介できればと思います。 rack-mini-profilerは手軽にRuby on Railsのパフォーマンス計測ができるgemとなります。 使い方の詳細については下記の通りです。 インストール ローカルなどの開発環境で使う前提の場合は下記のインストールですぐに使えます。
こんにちは、チェシャ猫です。 Alloy は関係論理を用いた形式手法ツールの一種です。本記事では、2021 年 11 月にリリースされた Alloy 6 の新機能、Mutable Field を用いた検査について解説します。この機能を使用することで、時間発展するタイプのシステムをよりシンプルに記述できるようになりました。 なお、本記事は従来の v5 以前の Alloy に触ったことがある読者を想定しています。したがって Alloy のツールとしての位置付けや基本的な文法・機能については説明しません。興味のある読者には『抽象によるソフトウェア設計ーAlloy ではじめる形式手法』（以下 Jackson 本）をお勧めします。 それでは早速、Alloy 6 をダウンロードして始めましょう。 TL;DR Mutable Field が導入され、時刻に従って変化するような関係が記述可能になった それ
The SYZBOT CTF
目次 第０章 概要 0.1 syzbot とは？ 0.2 主な登場人物紹介？ 0.3 自己紹介：熊猫の Linux との関わりについて 0.4 今日のお話「バグハンティング」 第１章 Linux カーネルについて 1.1 Linux カーネルの規模について 1.2 Linux カーネルの制約事項について 1.3 Linux カーネルのデバッグ支援機能について 第２章 カーネルメッセージを読めるようにするための試行錯誤について 2.1 printk() に求められているものとは？ 2.2 複数行分のメッセージをバッファリングする試み（２０１７年４月～） 2.3 メッセージ本文中にコンテキスト情報を埋め込む試み（２０１８年４月～） 2.4 １行分のメッセージをバッファリングする試み（２０１８年６月～） 2.5 再び１行分のメッセージをバッファリングする試み（２０１８年９月～） 2.6 再挑戦（
Covid19Radar/README.ja.md at master · Covid-19Radar/Covid19Radar
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. Dismiss alert
「人生を変える呼吸法」とは？
呼吸は常に行われるものですが、ほとんど意識されることはありません。そんな呼吸に関する著作で知られる作家のジェームズ・ネスター氏が、「自分の人生を変えた呼吸法」について語っています。 How one hour of slow breathing changed my life | Health & wellbeing | The Guardian https://www.theguardian.com/lifeandstyle/2020/jul/26/every-breath-you-take-the-lost-art-of-breathing ネスター氏が「Sudarshan Kriya(スダルシャンクリア)」という呼吸法に出会ったのは、肉体的にも精神的にもつらい時期だそうです。スダルシャンクリアの教室で、ネスター氏は「目を閉じてゆっくりと鼻呼吸する」という教えを受けました。ネクター氏は1
Linus Torvaldsは8月24日（米国時間）、2020年10月のリリースに向けて開発中の「Linux 5.9」において、カーネルエンジニアのGustavo Silvaの修正パッチをマージした。このパッチではカーネル全体で使われていた2484もの「/* fall through */」および類似のコメント部分をすべて「fallthrough;」にリプレースしているほか、不要なfall-throughの削除も行われている。 Merge tag 'fallthrough-pseudo-keyword-5.9-rc3' of git://git.kernel.org/pub/scm/linux/kernel/git/gustavoars/linux -Linux kernel source tree Linuxカーネルのメインライン開発では、今回のパッチを提供したSilvaを中心に、s
The Atlanticより。 Story by バートン・ゲルマン 内部告発者から大量の文書の山を受け取った後、私は気が付くと米国政府の監視と調査を受けていました。 バートン・ゲルマンは、The Atlanticの常勤ライターであり、『Dark Mirror: Edward Snowden and the American Surveillance State』と『Angler: The Cheney Vice Presidency』の著者です。 「あなたの時計は正確に何時を示していますか?」電話口で尋ねたのは、エドワード・スノーデンがこれまで声に出して聞いた最初の言葉でした。(それまでのコミュニケーションはすべて、秘密のサーバー上の暗号化された匿名リンクを介した安全なテキストチャットで行われていました。) 私は手首をちらっと見ました — 午後3時22分でした。「いいでしょう。4時ちょう
ランサムウェアによるサイバー攻撃のリスクが急増するなか、その脅威は今や国内の医療機関にも及んでいる。実際に日本国内でもランサムウェアにより医療情報システムが利用不可となり、患者診療の継続性に影響を与える事案が報告されている。 法令上、病院は個人データの漏洩、滅失、毀損を防止するための必要かつ適切な安全管理措置を講じる義務を負っている。さらに、電子カルテなどは、法的な保存期限を定められた法定保存文書であり、この文書が暗号化され復旧不可となることは、その病院にとって医師法・医療法等の各種法令違反となるおそれがある。ランサムウェアによる被害は、病院において様々な不利益をもたらすといえる。 このような状況のもと、21年10月に厚生労働省「医療情報システムの安全管理に関するガイドライン（5.1版）」（以下、厚労省安全管理GL）の別添資料として、「医療機関のサイバーセキュリティ対策チェックリスト」・「
インターネット接続、ゲーム、サービスは必要な時にあってくれたらいいのですが、さもなければ最悪です。 Facebookは落ちていて、Gmailは送受信ができず、Slackはオフラインで職場が静まり返っている。そんなことが起こる度に、私は「なんでこうなる前に代替案を用意しておかなかったんだろう」と思います。 これは、一番不可欠で、生産性向上のツールとして幅広く使っている、Googleのサービスが使えない時に特に思います。 次にGoogleが1〜2時間使えなくなるのがいつなのか予測することはできませんが、メールやその他Googleのサービスがアクセスできている間、不意に使えなくなる前に、対策を講じることはできます。 今回提案する内容は、サービスがオフラインになったら役に立たないので、今すぐ検討した方がいいでしょう。 Gmailのオフラインモードの設定方法Gmailがオフラインの時に、メールにアク
はじめに （あともう少しで）あけましておめでとうございます。 この記事では2020年12月31日時点での私のおすすめの最新のHaskellプロジェクトの作成方法をまとめます。 Haskellの環境構築はstackを使うものとcabalを使うものの２種類があります。 歴史的にはcabalの不便さを改善したのがstackですが、現在はcabalも進化して 不便さは大幅に解消されているため、筆者の好みでcabalによる環境構築をまとめます。 ツールのインストール ghcup ghcupはGHCとcabalとHLSをバージョン管理してくれるインストーラです。 インストールガイド を参考にインストールしてください。 バージョン確認 ghcupをインストールしたら $ ghcup list Tool Version Tags Notes ✗ ghc 7.10.3 base-4.8.2.0 ✗ ghc
社会人学生にまつわる記事を書いていただければと思います。働きながら学生をやっている(やっていた)方、仕事を休職や退職して学生をやっている(やっていた)方など、自分が社会人学生に当てはまると思えばOKです。 現役社会人学生や元社会人学生、これから社会人学生進学を検討している方など、ぜひご参加下さい！ 参加者希望者が増えたので，増枠しました．【増枠】社会人学生 Advent Calendar 2020 ハッシュタグは #社会人学生 参考: 社会人学生に関するサイトまとめ - yumulog ※概要の文章は去年のものを拝借しております 社会人学生 Advent Calendar 2019
人文学のためのテキストデータ構築の国際デファクト標準、初の日本語による入門書 - digitalnagasakiのブログ
https://bungaku-report.com/blog/2022/07/tei1.html 初めての日本語によるTEIガイドラインの入門書が刊行されました。『人文学のためのテキストデータ構築入門』[1]というタイトルで、株式会社文学通信によるものです。TEI ガイドラインは、人文学のためのテキストデータ構築におけるデファクト標準として国際的に普及しており、とくに欧米先進国ではこれに準拠したテキストデータの膨大な蓄積があるが、日本語文化圏においては諸般の事情により普及が進んでいなかったものです。日本語文化圏でも、TEI ガイドラインに取り組むにあたっては Web に様々な情報が各所に蓄積されて点在しており、検索すれば必要な情報は大体集まる形になっていました。とはいえ、Web の海に浮かぶそれらは、論文であったり、Web コラボレーションシステムに組み込まれたサイトであったり、英語で書
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
How Kubernetes Reinvented Virtual Machines (in a good sense)
Walter BrightによるEric Engstromの思い出話
10コア超えCPUはこうして冷やせ！ 簡易水冷の基礎知識
低コストでローカルな4Gネットワーク構築を目指すオープンソースプロジェクト「LibreCellular」
不測の事態で重要なデータを失ってしまうのを防ぐ「3-2-1バックアップルール」とは？
Introduction to Fuzzing
Raspberry Pi Pico Wを電池で動かすとどのくらい動くか試す
第692回 sysfsやbpftoolを用いたeBPFの活用 | gihyo.jp
WSLのアーキテクチャ - roy-n-roy メモ
石油と同等の燃料を合成できる植物プランクトン。海洋研究開発機構が世界初の発見
［翻訳］なぜそんなに確信が持てるのか？ - 地面を見下ろす少年の足蹴にされる私
FPGA で 8088 (D8088-2) を動かして自作PCをやる - w_o’s diary
「スマホの位置情報の売買」は一大ビジネスと化しており、匿名化されたものからでも簡単に個人を特定することが可能
持続可能なデータベースドキュメント生成 | メルカリエンジニアリング
［文章生成］MeCabをインストールして分かち書きを試してみよう
Low-Level Software Security for Compiler Developers
Railsのパフォーマンス調査でrack-mini-profilerを使ってみました。
Alloy 6 の新機能 Mutable Field と線形時相論理
2020年8月26日 Linuxカーネル、約2500の"フォールスルー"をリプレース | gihyo.jp
ブログ: 私は、エドワード・スノーデンに出会ってから、警戒し続けてきた
「医療機関向けランサムウェア対応検討ガイダンス」の公開 | デジタル・フォレンジック研究会
Googleがサーバーダウンしてもオフラインでサービスを使う方法 | ライフハッカー・ジャパン
おすすめHaskellプロジェクト作成方法(ほぼ)2021年版
社会人学生 Advent Calendar 2020 - Adventar