OCaml Programming: Correct + Efficient + Beautiful — OCaml Programming: Correct + Efficient + Beautiful
Preface About This Book Installing OCaml Introduction 1. Better Programming Through OCaml 1.1. The Past of OCaml 1.2. The Present of OCaml 1.3. Look to Your Future 1.4. A Brief History of CS 3110 1.5. Summary 2. The Basics of OCaml 2.1. The OCaml Toplevel 2.2. Compiling OCaml Programs 2.3. Expressions 2.4. Functions 2.5. Documentation 2.6. Printing 2.7. Debugging 2.8. Summary 2.9. Exercises OCaml
me/007-My-Thoughts-on-OCaml-vs-Haskell-Rust-2023.md at master · sidkshatriya/me
Recently, osa1's My Thoughts on OCaml generated quite a robust conversation on Hacker News. Overall I felt the blog post was a bit too critical about OCaml. However, everyone has a right to their opinions and I respect whatever has been written. Except for a couple of points, the article didn't resonate with me, so I thought I should pen down my good/bad experiences with OCaml and see if others ha
ゼロからのハイパーバイザ自作入門
本書では、Arm64 CPUアーキテクチャを前提としたハイパーバイザの仕組みをできるだけ分かりやすく解説し、実際にラズベリーパイ4やQEMUで動作するハイパーバイザ（Type1）を自作する方法を解説しています。 ⬛︎ 注意 本書はまだ作成中（現在4章を作成中）ですが、モチベーション維持のために公開している状態です（章立てなど今後変わる可能性ありです）。 内容は随時更新していますので、気になる方はウォッチやコメント等をお願いします。 ⬛︎ 学べること ・ハイパーバイザとその仕組みと原理 ・Arm64 (aarch64) アーキテクチャの仮想化支援機構の仕組み ・自作ハイパーバイザの作り方 ⬛︎ ソースコード https://github.com/HidenoriMatsubayashi/evisor ⬛︎ 価格 本書は無料にしていますが、役に立った！という方は「バッジを贈って応援」や「いいね
kiennt26's home | Linux Network Performance Ultimate Guide
The following content is rendered from my #til github.Linux Network PerformanceSource: https://github.com/leandromoreira/linux-network-performance-parameters/https://access.redhat.com/sites/default/files/attachments/20150325_network_performance_tuning.pdfhttps://www.coverfire.com/articles/queueing-in-the-linux-network-stack/https://blog.cloudflare.com/how-to-achieve-low-latency/https://blog.cloudf
Welcome to Triton’s documentation! — Triton documentation
Getting Started Installation Tutorials Python API triton triton.language triton.testing Type Promotion Broadcasting Differences with NumPy Triton MLIR Dialects Triton MLIR Dialects and Ops Programming Guide Introduction Related Work Debugging Triton Welcome to Triton’s documentation!¶ Triton is a language and compiler for parallel programming. It aims to provide a Python-based programming environm
Go Cheat Sheet & Quick Reference
package main import "fmt" func main() { fmt.Println("Hello, world!") } Run directly $ go run hello.go Hello, world! Or try it out in the Go repl var s1 string s1 = "Learn Go!" // declare multiple variables at once var b, c int = 1, 2 var d = true Short declaration s1 := "Learn Go!" // string b, c := 1, 2 // int d := true // bool See: Basic types
【Flutter】スマホの位置情報を取得するやり方
Android Studio Arctic Fox | 2020.3.1 Patch 4 macOS Monterey version12.1 使用パッケージ geolocator => 位置情報取得 geocoding => 位置情報の詳細情報取得 1. パッケージのインストール 下記サイトからパッケージを二つインストールします。 2. Androidの権限設定 2-1. Android SDKバージョンを31に設定 android / app /build.gradleファイルを開き、 android { + compileSdkVersion 31 // <= ここの値が31になっているか確認 ... defaultConfig { // TODO: Specify your own unique Application ID (https://developer.android.c
はじめに - Rustで学ぶ非同期処理ランタイム
この本を手にとってくれたそこのあなた！はじめまして(あるいはお久しぶり!)本書の著者、nasa と申します。 まず、この本が生まれた背景をお話していきますね。本書はボクの「非同期処理の仕組みをなるべく隅から隅まで理解したい」という思いから生まれました。主に JavaScript を使う場面で、async/awaitを用いた非同期処理、非同期プログラミングをしています。しかし、その具体的な仕組みを知らないままで使っています。たとえば「アプリケーションサーバーにリクエストを投げる」という処理があったとします。このタスクはいつ実行されるのでしょうか？そして、実行のタイミングを誰が決めているのでしょうか？ プログラマーである私でしょうか？ どのタスクをいつ実行するかを決めているのはランタイムと呼ばれるものになります。本書ではこのランタイムの実際のコードを読んでいくことで非同期処理、非同期プログラミ
Getting Started - Asynchronous Programming in Rust
Getting Started Welcome to Asynchronous Programming in Rust! If you're looking to start writing asynchronous Rust code, you've come to the right place. Whether you're building a web server, a database, or an operating system, this book will show you how to use Rust's asynchronous programming tools to get the most out of your hardware. What This Book Covers This book aims to be a comprehensive, up-
C++入門 AtCoder Programming Guide for beginners (APG4b) - AtCoder
プログラミングに詳しい方へ ここから先はプログラミング未経験者の方は読む必要がありません APG4bは多くの一般的な教材とはいくつか違う点があるため、プログラミングに慣れた人がこの教材を見ると色々思うところがあるかもしれません。 ここではこの教材がどのようなコンセプトで書かれているかを説明した後、APG4bがなぜ一般的でないことをしているのかを説明します。 APG4bのコンセプト プログラムとは何のためにあるのでしょうか？ 「便利なアプリを作るため」「ゲームをつくるため」「『人工知能』をつくるため」など、色々あると思います。 これらの具体例は決して間違いではありませんが、プログラミングにはより根源的な用途があります。 それは「計算」です。 コンピュータが開発された当初、その用途は高度な電卓でした。 それから月日が流れ、様々な用途に応用されるようになっても、最終的にコンピュータが行っているこ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
OCaml from the Very Beginning
OCaml From the Ground Up
Async Rust: The new billion-dollar mistake?
SERV user manual — SERV documentation
Configure and manage Lightsail WordPress instances - Amazon Lightsail
Rust for Linux
GitHub - suzukiplan/mgp-fc: ファミコンで始める ~ 6502マシン語ゲームプログラミング
Vivliostyle — Enjoy CSS Typesetting!
Welcome to Comprehensive Rust 🦀 - Comprehensive Rust 🦀
ゴリラ | さくらのナレッジ
