• j

    Jack Rusher

    2 months ago
    And this is one for @Ivan Reese

    https://www.youtube.com/watch?v=UXwfYOEPODA

    j
    w
    +1
    3 replies
    Copy to Clipboard
  • Kartik Agaram

    Kartik Agaram

    2 months ago
    I was stunned that I could be playing with PageMaker and doing work -- laying my galleys, stuff I'd done in the real world with real objects -- and when I went home at night and remembered what I'd done that day, I remembered working with my hands. I didn't have this image in my head of this digital text block being moved by a cursor. In my mind, I was grabbing galleys and sticking wax on them and laying them down. To me, working with a good interface is working with my hands.
    https://craphound.com/nonfic/mackerel.html
    Kartik Agaram
    yeT
    2 replies
    Copy to Clipboard
  • Mariano Guerra

    Mariano Guerra

    2 months ago
    CADtron is a gesture-based 2D CAD prototype exploring the idea that:1. Precision mouse clicking is annoying, so 2. a CAD tool built on pen-input / gestures might feel faster, more fluid, and more fun
    Mariano Guerra
    1 replies
    Copy to Clipboard
  • i

    Ivan Reese

    2 months ago
    [moved from #thinking-together, original post by @Tony Worm]

    https://www.youtube.com/watch?v=PpoS_ThntEM

    i
    1 replies
    Copy to Clipboard
  • Mariano Guerra

    Mariano Guerra

    2 months ago
    Node-RED 3.0 Released
    Node-RED is a programming tool for wiring together hardware devices, APIs and online services in new and interesting ways.
    It provides a browser-based editor that makes it easy to wire together flows using the wide range of nodes in the palette that can be deployed to its runtime in a single-click. If nodes and wires is "the way" what's missing in node RED for the paradigm to get wider adoption? 🎥

    What's new in Node-RED 3.0

    📰 Release Notes
    Mariano Guerra
    m
    +2
    4 replies
    Copy to Clipboard
  • Nilesh Trivedi

    Nilesh Trivedi

    2 months ago
    I’m fascinated with this visual proof assistant (although, not quite as powerful yet as Coq/Lean): http://incredible.pm/
  • Kartik Agaram

    Kartik Agaram

    2 months ago
    Following the theme, a neat repo of Coq proofs I just discovered:https://github.com/stepchowfun/proofs I don't know much about this space, but a gateway drug like this might help me get into it.
  • Tony Worm

    Tony Worm

    2 months ago
    Podcast about formal methods & verification https://www.youtube.com/c/BuildingBetterSystemsPodcast
    Tony Worm
    1 replies
    Copy to Clipboard
  • j

    Jack Rusher

    2 months ago
    j
    1 replies
    Copy to Clipboard
  • Tony Worm

    Tony Worm

    2 months ago

    https://www.youtube.com/watch?v=SaiQdrprBFQ