【公式】エンジニア&クリエイター総合支援サービス「レバテック」が運営する情報メディア。開発現場に役立つ記事コンテンツを中心にお届けします。 #レバテックラボ 主催イベントはこちら:https://xitter.cf/t.co/M8ZPbxgvrc

Joined March 2021
レバテックLAB(レバテックラボ) retweeted
AIを使うと考えなくなるんじゃないかとか、果てはAI Slopみたいな話までいろいろ出ていますが、ではどのように使えばいいのかという議論をknown/unknownの4象限モデルでまとめており、この辺の話の決定版なのではないかと思います。どうぞご笑覧ください。 levtech.jp/media/detail_951/
3
19
1,108
「AIを使うと人間は、手が空いて創造的になるのか、考えなくなって創造的でなくなるのか」 GMOペパボCTOの栗林健太郎さん(@kentaro)は、この疑問をKnown-Unknownマトリクスで捉えます。そこから見えてくる、AIの良い使い方・悪い使い方を伺いました。 levtech.jp/media/detail_951/
2
161
レバテックLAB(レバテックラボ) retweeted
OpenAIの“ナビエ・ストークス方程式”証明、「公開された論文とLeanコードに“ズレ”あり」ケンブリッジ大などが指摘 levtech.jp/media/detail_952/ 人が数学証明を論文に書く→Leanコードに翻訳して機械で正誤判定し通過→だが自然言語からコード変換が不完全→Lean検証を通過しても論文が正しいとは限らない
2
72
10
283
29,362
レバテックLAB(レバテックラボ) retweeted
育児とITの付き合い方について、レバテックLABさんに寄稿しました! 子どもが生まれて、使える時間が変化する中で、ITとの付き合い方をどう変えてきたか書いています。 育児中の方も、育児の様子が気になる方も読んでみてください! levtech.jp/media/detail_944/
11
2
51
4,098
技術を学ぶ時間がなくなったら、エンジニアとして成長できないのか? 育児で自由な時間が減り、キャリアに不安を感じた、はてなのエンジニア・hitode909さん(@hitode909)。 たどり着いたのは、技術を諦めることではなく、「今しかできないこと」を大切にする生き方でした。 余暇のほとんどをITに使っていたエンジニアは、子どもが生まれてITとの付き合い方をどう変えたのか⏬ levtech.jp/media/detail_944/
1
4
258