０７６萌ＳＮＳ
  • Login

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Notices by Tomas Petricek (tomasp@hachyderm.io)

  1. Tomas Petricek (tomasp@hachyderm.io)'s status on Friday, 17-Mar-2023 02:50:37 JST Tomas Petricek Tomas Petricek

    We know how to talk about programming languages, but how to study programming systems? Find out in the interactive version of our ‹Programming› 2023 paper on technical dimensions! https://tomasp.net/techdims/

    In conversation Friday, 17-Mar-2023 02:50:37 JST from hachyderm.io permalink

    Attachments


    1. https://media.hachyderm.io/media_attachments/files/110/029/240/573/249/458/original/c67b584cf3feac39.png
    2. Technical dimensions of programming systems
      from Joel Jakubovic, Jonathan Edwards and Tomas Petricek
      Framework that captures the characteristics of programming systems, makes it possible to compare and better understand them and find interesting new points in their design space.
  2. Tomas Petricek (tomasp@hachyderm.io)'s status on Monday, 20-Feb-2023 02:52:36 JST Tomas Petricek Tomas Petricek

    What makes data serialization similar to an abandoned freight rail station? And why are spreadsheets more like a city than conventional languages? https://tomasp.net/blog/2023/vague-spaces/

    In conversation Monday, 20-Feb-2023 02:52:36 JST from hachyderm.io permalink

    Attachments


    1. https://media.hachyderm.io/media_attachments/files/109/863/339/040/429/213/original/37352fd7a3b97aef.jpeg
    2. Where programs live? Vague spaces and software systems
      from @tomaspetricek
      Terrain vague in a city is abandoned space without clear purpose. Does it also exist in programs and can we learn something useful about reading programs and the space in which program exist from the inter-disciplinary study of terrain vague in cities?

User actions

    Tomas Petricek

    Tomas Petricek

    Assistant prof at MFF, Prague. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and Cambridge Computer Lab.

    Tags
    • (None)
    ActivityPub
    Remote Profile

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          15789
          Member since
          19 Feb 2023
          Notices
          2
          Daily average
          0

          Feeds

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

          ０７６萌ＳＮＳ is a social network, courtesy of ０７６. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All ０７６萌ＳＮＳ content and data are available under the Creative Commons Attribution 3.0 license.