home.social

#thedam — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #thedam, aggregated by home.social.

  1. @julm I'm enjoying reading the write-up on (the-dam.org/docs/explanations/). Very neat! How many users are there on ?

  2. @shipp you’d have to ask #TheDam but I guess they just have fun doing it, besides, people do pay for stuffs a lot more crazy I’m sure you know 🙃

    Is the minimal/flawed C code the best actionable way to tackle their stated problem: “almost every widely-distributed piece of software is a complexity behemoth”? Likely not, but that’s a crucial problem nonetheless. I would rather see them embracing #VLSAL (Very Large Scale Application of Logic) as #EdsgerDijkstra once summarized, but #ComputerScience is still young and not teached as much as it should be, though things are improving on that topic.

  3. @shipp you’d have to ask #TheDam but I guess they just have fun doing it, besides, people do pay for stuffs a lot more crazy I’m sure you know 🙃

    Is the minimal/flawed C code the best actionable way to tackle their stated problem: “almost every widely-distributed piece of software is a complexity behemoth”? Likely not, but that’s a crucial problem nonetheless. I would rather see them embracing #VLSAL (Very Large Scale Application of Logic) as #EdsgerDijkstra once summarized, but #ComputerScience is still young and not teached as much as it should be, though things are improving on that topic.