並び順

ブックマーク数

期間指定

  • から
  • まで

1 - 8 件 / 8件

新着順 人気順

functionality modsの検索結果1 - 8 件 / 8件

  • Hypershell: A Type-Level DSL for Shell-Scripting in Rust | Context-Generic Programming

    Discuss on Reddit, Lobsters, and Hacker News. Summary I am thrilled to introduce Hypershell, a modular, type-level domain-specific language (DSL) for writing shell-script-like programs in Rust. Hypershell is powered by context-generic programming (CGP), which makes it possible for users to extend or modify both the language syntax and semantics. Table of Contents Estimated reading time: 1~2 hours

      Hypershell: A Type-Level DSL for Shell-Scripting in Rust | Context-Generic Programming
    • Machine Child – Content Restoration Patch | JAST

      「Machine Child」コンテンツ復元パッチ このパッチは、Steam版「Machine Child」から削除された内容を復元するものです。これにより、本作を本来の表現意図により近い形でお楽しみいただけます。 このパッチは、正規に購入されたゲームでご利用いただくことを前提に提供されています。動作確認は誠意をもって行っていますが、すべての環境で同じように動作することを保証するものではありません。互換性は、ゲームのバージョン、動作環境、今後のアップデート、他の改造データやパッチ、またはお使いのシステム設定などによって変わる場合があります。 このパッチを適用することで、プレイヤーはこれが本作を元の形により近づけるための任意の復元ツールであることを理解したものとします。導入はご自身の判断で行っていただき、インストール前にゲームファイルのバックアップを作成することをおすすめします。 This

        Machine Child – Content Restoration Patch | JAST
      • The internet wants to be fragmented

        The internet wants to be fragmentedThrowing the whole world into a single room together doesn't work. Five years ago I was sitting around drinking a beer with my college buddy Dayv. I was scrolling through Twitter and watching people get mad at Donald Trump’s latest outrage, and I said “You know…fifteen years ago, the internet was an escape from the real world. Now the real world is an escape from

          The internet wants to be fragmented
        • Gaudiy Tech Blog

          この記事は#GauDev Advent Calendar 2025の15日目です。 はじめに こんにちは、Gaudiyでエンジニアをしている@mrskiroです。 私が所属するチームでは、新規事業の複数立ち上げに向けてより高速に開発を行える、AIネイティブな開発フローを模索していました。AI駆動開発というキーワードは盛り上がり始めていましたが、コード生成の話が中心で開発プロセス全体をどう回すかのベストプラクティスはまだ見当たりませんでした。 そんな中で出会ったのがAWSの提唱する「AI-DLC(AI-Driven Development Lifecycle)」です。この記事では、AI-DLCを実践したこの3ヶ月間の取り組みについて紹介します。 AI-DLCとは AI-DLC(AI-Driven Development Lifecycle)は、AWSが提唱した開発ライフサイクルの考え方です。

            Gaudiy Tech Blog
          • Keenadu the tablet conqueror and the links between major Android botnets

            In April 2025, we reported on a then-new iteration of the Triada backdoor that had compromised the firmware of counterfeit Android devices sold across major marketplaces. The malware was deployed to the system partitions and hooked into Zygote – the parent process for all Android apps – to infect any app on the device. This allowed the Trojan to exfiltrate credentials from messaging apps and socia

              Keenadu the tablet conqueror and the links between major Android botnets
            • Helix: Why (And How) I Use It | Jonathan's Blog

              Posted 12th December 2024 in Tools, Helix, Terminals, Text Editors Cover image based on The Start of the Hunt, American 19th Century (c. 1800) National Gallery of Art ContentsContentsI’ve come to accept that I’m just a sucker for shiny nerd things. I use Rust, despite never having had a professional reason to use it in my life. I switched to Linux in my student years and I’ve never looked back sin

              • Ghostty: Reflecting on Reaching 1.0

                This isn't a release announcement. Ghostty 1.0 is out. You can download it and read about it on the Ghostty website. This is a personal reflection on the project. Ghostty 1.0 is out. If you told me two years ago that I would be releasing a terminal emulator, I wouldn't have believed you. I've always been a fan of the terminal, my entire career was built around shipping terminal-first software. But

                • Stack-chan - JavaScript driven super-kawaii robot

                  The open communication robot for everyone In recent years, a variety of communication robots have appeared on the market. However, most of them are "closed", dependent on specific proprietary services, or their specifications are not disclosed to the public. In fact, compared to other bipedal, quadrupedal, and wheeled robots, there are surprisingly few open source communication robots. We often se

                    Stack-chan - JavaScript driven super-kawaii robot
                  1