tiflolinux.org - GNU Social
  • Login

Bienvenido

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Notices by Cyborg Anthropologist (jmw150@qoto.org)

  1. Cyborg Anthropologist (jmw150@qoto.org)'s status on Friday, 22-Apr-2022 12:24:45 CEST Cyborg Anthropologist Cyborg Anthropologist
    in reply to
    • Ekaitz Zárraga 👹
    • Adrián Pérez
    • w96k

    @aperezdc @w96k @ekaitz_zarraga

    Also this, which works more in general, but with performance loss to compiler time.

    https://m.youtube.com/watch?v=vzKKKdK7eDA

    In conversation Friday, 22-Apr-2022 12:24:45 CEST from qoto.org permalink

    Attachments

    1. Lightning Talk: I Wrote a C++ REPL in 20 Lines of Code - And so can you! - CppCon 2021
      from CppCon
      https://cppcon.org/https://github.com/CppCon/CppCon2020---I Wrote a C++ REPL in 20 Lines of Code - And so can you!---Ben Brock---Videos Filmed & Edited by Ba...
  2. Cyborg Anthropologist (jmw150@qoto.org)'s status on Tuesday, 21-Dec-2021 21:38:22 CET Cyborg Anthropologist Cyborg Anthropologist

    As a computer scientist, I dislike programming languages that tell me what to do.

    So, Java, Haskell, and Rust have interesting ideas... But I do not like programming in them.

    I also think idiomatic programming is a garbage idea. It is an evolved version of tabs-vs-spaces. Seriously, code how you want, and use a traspiler to get it in your company's standard form.

    In conversation Tuesday, 21-Dec-2021 21:38:22 CET from qoto.org permalink

User actions

    Cyborg Anthropologist

    Cyborg Anthropologist

    I am an algebraist. Most of what I like is in mathematical logic and algebraic geometry. I also like automation. I am pretty curious about how to use automated reasoning systems to help discover new things, use and verify old ideas, and generally make my life easier.Worth reading- Algebra community (JoA, JoAG, JoPaAA, SIGSAM)- Math Logic community (The Journal of Symbolic Logic)- PL community (POPL/PLDI/OOPSLA)- Formal Methods community (CAV/TACAS)- ML community (NeurIPS/ICML/ICLR)

    Tags
    • (None)
    ActivityPub
    Remote Profile

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          7066
          Member since
          23 Aug 2021
          Notices
          2
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          tiflolinux.org - GNU Social is a social network, courtesy of tiflolinux.org. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All tiflolinux.org - GNU Social content and data are available under the Creative Commons Attribution 3.0 license.