Finding Goroutine Bugs with TLA+
My job these days is teaching TLA+ and formal methods: specifying designs to find bugs in them. But just knowing the syntax isn’t enough to write specs, and it helps to have examples to draw from. I recently read Chris Siebenmann’s Even in Go, concurrency is still not easy and thought it would make a good case study for writing a spec. In it, he gives an example of Go code which deadlocks: /*1 */
Three bugs in the Go MySQL Driver
EngineeringThree bugs in the Go MySQL DriverCheck out what we learned from shipping our busiest Go service in production—we found 3 bugs in the Go MySQL driver. Although GitHub.com is still a Rails monolith, over the past few years we’ve begun the process of extracting critical functionality from our main application, by rewriting some of the code in Go—mostly addressing the pieces that need to ru
Go CDK
The Go Cloud Development Kit The Go Cloud Development Kit (Go CDK) is an open source project building libraries and tools to improve the experience of developing for the cloud with Go. Go CDK provides commonly used, vendor-neutral generic APIs that you can deploy across cloud providers. The idea is to support hybrid cloud deployments while combining on-prem (local) and cloud tools. This project al
stephen.sh
Home About Essays Simple techniques to optimise Go programs I'm very interested in performance. I'm not sure I can explain the underlying reasons for it. I'm easily frustrated at slow services and programs, and it seems like I'm not alone. In A/B tests, we tried delaying the page in increments of 100 milliseconds and found that even very small delays would result in substantial and costly drops in
NSQ Docs 1.3.0 - A realtime distributed messaging platform
Distributed NSQ promotes distributed and decentralized topologies without single points of failure, enabling fault tolerance and high availability coupled with a reliable message delivery guarantee. See features & guarantees. Scalable NSQ scales horizontally, without any centralized brokers. Built-in discovery simplifies the addition of nodes to the cluster. Supports both pub-sub and load-balanced
このページについて
golang.tokyo コードラボ Codelabs of Go by golang.tokyo organizers View on GitHub このページについて ここにあるコードラボはgolang.tokyoの運営メンバーによって作られたものです。 主にGoに関する内容のものになります。 何か問題や間違いがありましたら、issueを起票してください。 コードラボ一覧 文法などを学びたい方は、まずはA Tour of Goで学ぶことをオススメします。 Google Cloud ShellにおけるGoの開発環境の構築 by pospome 静的解析をはじめよう - Gopherをさがせ！ by tenntenn GoでWebAssemblyに触れよう by tenntenn Goでテストを書いてみよう by tenntenn 構造体のタグを整形しよう！ by daisuzu 型チェッ
proposal - Git at Google
f0acbe0 README.md: mention GODEBUG settings by Russ Cox · 3 months ago master49da79f design/60773-execution-tracer-overhaul.md: add design by Michael Anthony Knyszek · 1 year agod661ed1 design: add go13compiler, go13linker, go15bootstrap by Russ Cox · 10 months agof87e19c README: add Go architects by Russ Cox · 12 months ago29340dd design/README: add declined as obsolete by Russ Cox · 12 months ag
`go test` に色を付けるツールを作った #golang – blog.izum.in
🎨 Painting go test outputs. Contribute to izumin5210/cgt development by creating an account on GitHub. なぜつくったか当然ながら，既存のツールはいくつかある: https://github.com/rakyll/gotesthttps://github.com/kyoh86/richgoいずれも go test -v ./... の代わりに richgo test ./... などとして利用する，そもそもの呼び出すバイナリを差し替えるタイプのツール． 一方で，ちょっと大きめの Go プロジェクトでは make をタスクランナーとして使うことがあり，テストの実行も make test となっていることが多々ある． そのため，テストの実行コマンドごと違うものにする既存ツールでは Makefi
How I write Go HTTP services after seven years
UPDATE: You can watch a video of me giving this talk at Gophercon 2019:
JSON-to-Go: Convert JSON to Go instantly
This tool instantly converts JSON into a Go type definition. Paste a JSON structure on the left and the equivalent Go type will be generated to the right, which you can paste into your program. The script has to make some assumptions, so double-check the output! For an example, try converting JSON from the SmartyStreets API or the GitHub API. © 2015 Matt Holt (@mholt6) • View on GitHub • Dark mode
Trying Clean Architecture on Golang | HackerNoon
Too Long; Didn't Read After reading uncle Bob’s Clean Architecture Concept, I’m trying to implement it in Golang. This is a similar architecture that we used in our company, Kurio - App Berita Indonesia, but a little different structure. The architecture does not depend on the existence of some library of feature laden software. The business rules can be tested without the UI, Database, Web Server
Switching from PHP to Go: A Development Case Study
We recently upgraded from PHP to Go for our Face Recognition API architecture. In this article we share why we made the move, how it’s radically improved performance, and some lessons learned along the way. As we strive to be the premier Face Recognition partner to businesses across the world, we constantly improve our platform to upgrade our products and enhance customer experience. And while und
GoLand’s Take on Go Development
Hello, My name is Andrey and I work at JetBrains. Even though in the last five years I have been heavily involved in product marketing and product management, I’m an engineer by heart and like to get my hands dirty from time to time. I’m always keen to learn new things and so about a year ago when Sergey and Alex, colleagues of mine, started working on the Go IDE, I decided to join their team part
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
play-with-go.dev
GitHub - valyala/fasthttp: Fast HTTP package for Go. Tuned for high performance. Zero memory allocations in hot paths. Up to 10x faster than net/http
packagestest package - golang.org/x/tools/go/packages/packagestest - Go Packages
tmrts.com
GitHub - DATA-DOG/go-sqlmock: Sql mock driver for golang to test database interactions
Goでテストを書く(テストの実装パターン集) - Qiita
GitHub - ikawaha/kagome: Self-contained Japanese Morphological Analyzer written in pure Go
