@cedretaber

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

Power Queryの活用を進めています。Accessも好きです。 よろしくお願いします。

もろもろIT系をふらふらしてた結果、スキルセットで深いものがなくなった悲しいエンジニア。いまはクラウドエンジニアのポジションでやらしてもろてます。Terraform けっこうすきなんだが業務では AWS CDK 使っているもの。

Read Only Member

Web開発 / バイオインフォマティクス / ケモインフォマティクス

帰ってください

Tencent Cloud 触ってる

お酒と物語があれば生きていけます。裏の姿は Software Engineer らしい

F#, Rust

「楽しく楽にcoolにsmartに」を理想とするprogrammer/philosopher/liberalist/realist。好きな言語はClojure, Haskell, Flix, English, français, русский。読書、プログラミング、語学、法学、数学が大好き! イルカと海も大好き🐬

いろいろ変なことやったけど、今はAWSインフラ専任でやっています。

福岡でプログラマしています 超高速／省電力 非ノイマン型CPU開発 プログラマ歴42年、158言語書き IT企業3社経営 大学・高専・企業でプログラミング&AI講義 fukuoka.ex／ElixirConf JP創設 2023年スペ107コスプレ開始、体脂肪-9.2kg/5ヶ月 2025年1月STEPN開始、3月STEPNGO開始⋯毎日プレイ

千葉市の経営者兼プログラマ、装備はHHKB,Mac,vim。 Railsプログラミング指導やITキャリアの相談乗ってます。 ご相談は https://nekakoshi.youcanbook.me Rails/Go/AWSらへんやっとる。

インフラ屋さんやってます。構成の設計とか、仮想サーバのお守とか、システムのマイナーアップデートとか、監視など。 [[ また、このサイトにおける掲載内容はあくまで私自身の見解であり、私の所属団体・企業における立場、戦略、意見を代表するものではありません ]]