ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

What do this Eisenman house and #Haskell program have in common? ✅Based on formal structures (solids and voids vs. IO monad) ✅Sort of works if flipped upside down (red staircase, comonads) ✅Stuff gets in your way (column blocking the table, all the do notation) eisenmanarchitects.com/House-VI-1975

Jan 24, 2025, 12:44 AM

Record data

{
  "uri": "at://did:plc:hq34kh7mx5ku3bldoiriijht/app.bsky.feed.post/3lgh66oz6pk2f",
  "cid": "bafyreibvstpfsn6kfd62p764ys7l5uiuqd2kn3itpr2jjhncz6r6nec4ae",
  "value": {
    "text": "What do this Eisenman house and #Haskell program have in common?\n\n✅Based on formal structures (solids and voids vs. IO monad)\n✅Sort of works if flipped upside down (red staircase, comonads)\n✅Stuff gets in your way (column blocking the table, all the do notation)\n\neisenmanarchitects.com/House-VI-1975",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.images",
      "images": [
        {
          "alt": "",
          "image": {
            "$type": "blob",
            "ref": {
              "$link": "bafkreifo54uowtyhnrpp257sgzvofiq7dvsmlvzz4i3teymvsshbeq4xb4"
            },
            "mimeType": "image/jpeg",
            "size": 510369
          },
          "aspectRatio": {
            "width": 1538,
            "height": 1009
          }
        },
        {
          "alt": "",
          "image": {
            "$type": "blob",
            "ref": {
              "$link": "bafkreidsatiyjkfdmarmmi6uhskidtgnjiqajyw5zfiykq53flkko6r4v4"
            },
            "mimeType": "image/jpeg",
            "size": 276506
          },
          "aspectRatio": {
            "width": 1062,
            "height": 838
          }
        }
      ]
    },
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 40,
          "byteStart": 32
        },
        "features": [
          {
            "tag": "Haskell",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 306,
          "byteStart": 270
        },
        "features": [
          {
            "uri": "https://eisenmanarchitects.com/House-VI-1975",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-01-24T00:44:59.661Z"
  }
}