タグ

2022年10月3日のブックマーク (5件)

  • pipとpipenvとpoetryの技術的・歴史的背景とその展望 - Stimulator

    - はじめに - Pythonのパッケージ管理ツールは、長らく乱世にあると言える。 特にpip、pipenv、poetryというツールの登場シーン前後では、多くの変革がもたらされた。 記事は、Pythonパッケージ管理ツールであるpip、pipenv、poetryの3つに着目し、それぞれのツールに対してフラットな背景、技術的な説明を示しながら、所属企業内にてpoetry移行大臣として1年活動した上での経験、移行の意図について綴り、今後のPythonパッケージ管理の展望について妄想するものである。 注意:記事はPythonパッケージ管理のベストプラクティスを主張する記事ではありません。背景を理解し自らの開発環境や状態に応じて適切に技術選定できるソフトウェアエンジニアこそ良いソフトウェアエンジニアであると筆者は考えています。 重要なポイントのみ把握したい場合は、各章の最後のまとめを読んで頂

    pipとpipenvとpoetryの技術的・歴史的背景とその展望 - Stimulator
    onk
    onk 2022/10/03
  • PubGrub: Next-Generation Version Solving

    Image by @Th3RoadVirusIf you’d peeked in on me at work five months ago you’d find me with my nose in a textbook reading up on cutting-edge academic research on constraint-solving problems. Three months ago I was applying that knowledge to code, drafting and tweaking a new algorithm that united that research with a real-world tool. One month ago I was adding the last few features and polishing it u

    PubGrub: Next-Generation Version Solving
    onk
    onk 2022/10/03
  • master への push を禁止するローカル git hook の正しい書き方 - 永遠に未完成

    GitHub などで Pull Request ベースで開発をしていると、master には間違っても push したくないわけです。 GitHub 側には残念ながら master への push を禁止するような設定はできないので、仕方ないのでクライアント側の Hook で対応しようってことになり、この方法についてググるとこことかこことか、いくつか方法を紹介しているページが出てくるんですが、どれもやり方が間違っている*1ので、正しい方法を紹介。 何がまずいのか 上記に挙げた方法では、細かい部分は違ってたりするけど、git symbolic-ref HEAD を使って現在ブランチを見て、master だったら push を禁止する、という方法を取っている。 しかし、push はカレントブランチから行われるとは限らない。dev ブランチにいるときに git push origin maste

    master への push を禁止するローカル git hook の正しい書き方 - 永遠に未完成
    onk
    onk 2022/10/03
  • 今も開発が継続しているオープンソースのWikiソフトウェアは何があるか - YAMDAS現更新履歴

    少し前に仕事場のローカルに立てている、今や主力でなくなったウェブサーバに久しぶりにアクセスしたら、Wiki が PukiWiki なのに懐かしくなってこれまた久しぶりに公式サイトを見てみた。すると、今年バージョン1.5.4がリリースされており、開発は継続しているのに少し感動した。 かつてはそれこそ雨後の筍のごとく開発されていた Wiki ソフトウェア(エンジン、クローン)だが、Wiki が広義の開発環境の一つに統合されているのもあり、単体のソフトウェアとして今も開発が続いているところはだいぶ少なくなった印象がある。 果たして今も開発が継続しているオープンソースの Wiki ソフトウェアに何があるか、ざっと調べてみた。 具体的には、Wikipedia の Comparison of wiki software に名前があるもので(それくらいの知名度があり)、オープンソース、なおかつ安定最新版

    今も開発が継続しているオープンソースのWikiソフトウェアは何があるか - YAMDAS現更新履歴
    onk
    onk 2022/10/03
  • Gboard チームからの新しい日本語入力方法のご提案 2022

    Gboard チームは、いつでもどこでも思いどおりの文字入力を提供すべく、日々努力を重ねています。Gboard は、優れた変換性能にくわえて、お好きな写真を背景にできるテーマ機能、音声入力や外国語への翻訳機能などの便利な機能をそなえたキーボード アプリです。Android と iOS のどちらでもご利用いただけます。私たちは、ユニークな文字入力環境を実現するために、これまでにもさまざまなキーボードやデバイスを提案してきました。 そして今回もこれまでのキーボードと同様に、実際にみなさまに作っていただける DIY キーボードをご紹介します。 入力したい文字がどこにあるのか見つからなくて、キーボード上を上下左右に探し回ったことはないでしょうか?そのような問題を改善しようと、今回は文字を探しやすいキーボードを開発しました。 入力したい文字が探しにくい理由は、キーが平面上に配置されているため上下と左

    Gboard チームからの新しい日本語入力方法のご提案 2022
    onk
    onk 2022/10/03
    「Q. 今日は 10 月 1 日ですよね?」「A. はい、今日は 10 月 1 日です!」 / エイプリルフールに合わせて書いた人が異動とか退職とかになるのでこのタイミングで出している、というのを考えてしまうw