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 */
AI & MLLearn about artificial intelligence and machine learning across the GitHub ecosystem and the wider industry. Generative AILearn how to build with generative AI. GitHub CopilotChange how you work with GitHub Copilot. LLMsEverything developers need to know about LLMs. Machine learningMachine learning tips, tricks, and best practices. How AI code generation worksExplore the capabilities and be
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
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 型チェッ
0ecc9c7 design/68578-mutex-spinbit.md: describe protocol by Rhys Hiltner · 14 days ago master3d7db7d design/68723-crypto-ssh-v2.md: change NewPublicKey signature by Nicola Murino · 4 weeks ago1663299 design/68723-crypto-ssh-v2.md: crypto.Signer returns ed25519 keys as value by Nicola Murino · 4 weeks agob0ae23a design/68723-crypto-ssh-v2.md: PrivateKeySigner and MarshalPrivateKey Options by Nicola
🎨 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
sqlmock is a mock library implementing sql/driver. Which has one and only purpose - to simulate any sql driver behavior in tests, without needing a real database connection. It helps to maintain correct TDD workflow. this library is now complete and stable. (you may not find new changes for this reason) supports concurrency and multiple connections. supports go1.8 Context related feature mocking a
UPDATE: You can watch a video of me giving this talk at Gophercon 2019:
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
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
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
Goでテストを書くお話です。 基本的なところから、応用的なテストの書き方（パターン？）をまとめておくことにしました。 ポイントを先に列挙します: テストのエラーメッセージは丁寧に書こう テーブルテストを活用してパターンを整理しながら網羅しよう ｔ．Runをつかって大きなテストを分割しよう t.Helperをつかってテストエラーの箇所をわかりやすくしよう テスト用のデータは testdata ディレクトリに置こう Setup/Teardownをうまく書いてテストの見通しをよくしよう 等 では、見ていきましょう。 実装 tenntennさんの もっと楽して式の評価器を作る を参考に、シンプルな計算機能を持つ関数(Compute)を書いて、それをテストしてみます（みんなはテストから書こう）。 実装コード: package calc import ( "go/token" "go/types" )
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ページを開く
