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

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

Notices by brokenix (brokenix@emacs.ch)

  1. Embed this notice
    brokenix (brokenix@emacs.ch)'s status on Thursday, 08-Aug-2024 13:14:10 JST brokenix brokenix
    • BeAware

    @BeAware you are right my 1st cross post seems to be a disaster I guess

    In conversation Thursday, 08-Aug-2024 13:14:10 JST from emacs.ch permalink
  2. Embed this notice
    brokenix (brokenix@emacs.ch)'s status on Wednesday, 07-Aug-2024 22:51:28 JST brokenix brokenix

    lazy q - is there a way to cross post from #mastodon to #lemmy

    In conversation Wednesday, 07-Aug-2024 22:51:28 JST from emacs.ch permalink
  3. Embed this notice
    brokenix (brokenix@emacs.ch)'s status on Sunday, 23-Jun-2024 00:20:24 JST brokenix brokenix
    in reply to
    • Tokyo Outsider (337ppm)

    @tokyo_0 I d just mention a #Hegel quote

    Hell is other people
    hope it helps

    In conversation Sunday, 23-Jun-2024 00:20:24 JST from gnusocial.jp permalink
  4. Embed this notice
    brokenix (brokenix@emacs.ch)'s status on Sunday, 23-Jun-2024 00:04:59 JST brokenix brokenix
    in reply to
    • Tokyo Outsider (337ppm)

    @tokyo_0
    Yah katha nahin hai, keval ichchhaon ke sangharsh kee."
    This isn't a tale of the struggle of human(s) with the desires
    Details are not sufficient to confirm of its one's own desires or this of the others, the struggle with which of the subject is mentioned in the quote

    In conversation Sunday, 23-Jun-2024 00:04:59 JST from emacs.ch permalink
  5. Embed this notice
    brokenix (brokenix@emacs.ch)'s status on Wednesday, 15-May-2024 11:54:06 JST brokenix brokenix
    • Thomas 🔭🕹️

    @thomasfuchs I am not but isn't the answer obvious ? Money

    In conversation Wednesday, 15-May-2024 11:54:06 JST from emacs.ch permalink
  6. Embed this notice
    brokenix (brokenix@emacs.ch)'s status on Monday, 04-Mar-2024 23:57:07 JST brokenix brokenix

    fixpoint combinators like Y can't be well-typed in #Haskell. Specifically, something of the form x x requires x to have two conflicting types simultaneously. In dynamic languages, this doesn't matter because you just don't care what the type is, only that you can use the value in some way. But a Haskell compiler does care. However there's no need for such combinators, because Haskell's solution fix f = let x = f x in x is more elegant anyway, and has no typing difficulties (but does require lazy evaluation).
    #javascript is perhaps not the best launchpad to haskell , to their credit they make good fp presentations
    https://stackoverflow.com/questions/68975627/translating-a-fixed-point-operator-to-haskell-language

    In conversation Monday, 04-Mar-2024 23:57:07 JST from emacs.ch permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: cdn.sstatic.net
      Translating a fixed-point operator to Haskell language
      I am trying to translate this JS fixed-point operator into Haskell. JS: const fix = F => { const D = X => F( t => X(X)(t) ) return D(D) }; My attempt is (Haskell): fix...
  7. Embed this notice
    brokenix (brokenix@emacs.ch)'s status on Monday, 22-Jan-2024 02:59:05 JST brokenix brokenix
    in reply to
    • Paul Cantrell

    @inthehands one thing i learnt from my student days , is that safe space is as much an i illusion as an unconditionally inclusive society
    so i d wager that the very dichotomy is false

    In conversation Monday, 22-Jan-2024 02:59:05 JST from emacs.ch permalink
  8. Embed this notice
    brokenix (brokenix@emacs.ch)'s status on Thursday, 21-Sep-2023 08:22:24 JST brokenix brokenix

    Don't write documentation in Markdown | Hacker News

    "Developers: reStructuredText is better than .txt and .md because it has feature XYZ, and it's special syntax is great.

    Researchers: .rst and .md are poor with math symbols, please write the technical documentation in beautiful LaTeX with rendered symbols.

    Managers: If I can't read or edit it easily, I'll hire someone to rewrite it using Word or Google Docs.

    Everyone: Here's the Word document."
    https://news.ycombinator.com/item?id=22675165#:~:text=Developers%3A%20reStructuredText%20is,the%20Word%20document.

    In conversation Thursday, 21-Sep-2023 08:22:24 JST from emacs.ch permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: news.ycombinator.com
      Don't write documentation in Markdown | Hacker News
  9. Embed this notice
    brokenix (brokenix@emacs.ch)'s status on Thursday, 03-Aug-2023 23:26:24 JST brokenix brokenix

    What can that mean #kbindev

    In conversation Thursday, 03-Aug-2023 23:26:24 JST from emacs.ch permalink

    Attachments


    1. https://media.emacs.ch/media_attachments/files/110/807/715/900/656/085/original/adc705f2f4f0a458.png

User actions

    brokenix

    brokenix

    > Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence pedantic nooball content CC BY-SA 4.0 #nobot> i am not a book about me .> https://git.sr.ht/~carnotweat/morning-rust

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          157022
          Member since
          3 Aug 2023
          Notices
          9
          Daily average
          0

          Feeds

          • Atom
          • 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.