home.social

Search

1000 results for “thekkid”

  1. Currying in languages with implicit effects seems sketchy—effectful functions returning other functions obscure when effects are interleaved. Users see it as just multiple arguments, not realizing some parameter applications might be expensive.

  2. Watching the polytope editor demo and it's sick. youtu.be/8g_XCZSY7lM

    I really want to work on my frontend skills. I think a lot of PL advancement will come from better interaction design.

    #DirectManipulation
    #HCI

  3. Watching the polytope editor demo and it's sick. youtu.be/8g_XCZSY7lM

    I really want to work on my frontend skills. I think a lot of PL advancement will come from better interaction design.


  4. Watching the polytope editor demo and it's sick. youtu.be/8g_XCZSY7lM

    I really want to work on my frontend skills. I think a lot of PL advancement will come from better interaction design.

    #DirectManipulation
    #HCI

  5. Watching the polytope editor demo and it's sick. youtu.be/8g_XCZSY7lM

    I really want to work on my frontend skills. I think a lot of PL advancement will come from better interaction design.

    #DirectManipulation
    #HCI

  6. Watching the polytope editor demo and it's sick. youtu.be/8g_XCZSY7lM

    I really want to work on my frontend skills. I think a lot of PL advancement will come from better interaction design.

    #DirectManipulation
    #HCI

  7. A cacophony of . Prepping my travel router for all the trips this summer.

  8. I wonder if in the large (modules, packages, etc.) and text in the small (function definitions, values) is an interesting design space.

    It seems very difficult to have strong ergonomics for full structural editing but using it for large codebase management might be the strongest entry point.

  9. I'm really struggling with TAPL exercise 6.1.4 and there's no solution in the appendix. I can't tell if I'm supposed to build up the set of n-terms inductively using the previous set or build up each n-terms inductively.

  10. was great. Thanks everyone for the great conversations.

  11. If you have thoughts on extensions or plugin systems consider submitting to the malleable systems challenge problem on fearless extensibility: forum.malleable.systems/t/chal

  12. Your configuration language should be a full programming language. Your configuration should be a value. The second part is where most fall short.

  13. I wonder if #StructuredEditors in the large (modules, packages, etc.) and text in the small (function definitions, values) is an interesting design space.

    It seems very difficult to have strong ergonomics for full structural editing but using it for large codebase management might be the strongest entry point.

    #ProgrammingLanguages #StructuralEditing #IDE

  14. I wonder if #StructuredEditors in the large (modules, packages, etc.) and text in the small (function definitions, values) is an interesting design space.

    It seems very difficult to have strong ergonomics for full structural editing but using it for large codebase management might be the strongest entry point.

    #ProgrammingLanguages #StructuralEditing #IDE

  15. I wonder if #StructuredEditors in the large (modules, packages, etc.) and text in the small (function definitions, values) is an interesting design space.

    It seems very difficult to have strong ergonomics for full structural editing but using it for large codebase management might be the strongest entry point.

    #ProgrammingLanguages #StructuralEditing #IDE

  16. I wonder if #StructuredEditors in the large (modules, packages, etc.) and text in the small (function definitions, values) is an interesting design space.

    It seems very difficult to have strong ergonomics for full structural editing but using it for large codebase management might be the strongest entry point.

    #ProgrammingLanguages #StructuralEditing #IDE

  17. Your configuration language should be a full programming language. Your configuration should be a value. The second part is where most fall short. #configuration #configlang

  18. Your configuration language should be a full programming language. Your configuration should be a value. The second part is where most fall short. #configuration #configlang

  19. Your configuration language should be a full programming language. Your configuration should be a value. The second part is where most fall short. #configuration #configlang

  20. Your configuration language should be a full programming language. Your configuration should be a value. The second part is where most fall short. #configuration #configlang

  21. 🏺🦅 Spanish researchers surveyed 12 abandoned bearded vulture #nests and discovered 226 human #artifacts, some nearly 700 years old, preserved alongside animal remains. The #vultures' cliff cave nests acted as natural #museums, protecting items like medieval #shoes, crossbow bolts, and woven baskets through centuries. #Carbon dating revealed artifacts spanning from the #MiddleAges to 150 years ago.

    1️⃣ popsci.com/environment/bearded

    2️⃣ Learn more on #TKSST: Vultures, the acid-puking, plague-busting heroes of the ecosystem • thekidshouldseethis.com/post/v

    #archaeology #spain #conservation #birds #history #ecology #science