GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Embed Notice

HTML Code

Corresponding Notice

  1. Embed this notice
    Paul Cantrell (inthehands@hachyderm.io)'s status on Wednesday, 27-Dec-2023 03:04:34 JSTPaul CantrellPaul Cantrell
    in reply to
    • myrmepropagandist
    • Alex, the Hearth Fire
    • datarama
    • SnackTraces

    @datarama @futurebird @WizardOfDocs @snacktraces …and while formalizing them often teases out those hidden assumptions, just as often it can lead engineers to diligently verify and implement •the wrong goal•. That’s why it’s crucial to pair that sort of proof-flavored thinking with the skills of the humanities: communication, theory of mind, trust-building, etc. One without the other faceplants fast.

    (This is where Paul recommends Lakatos’s Proofs and Refutations)

    In conversationWednesday, 27-Dec-2023 03:04:34 JST from gnusocial.jppermalink
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.