Feeds by Zicklag

@zicklag.dev · 4 feeds · 14 likes in total

  1. MYSTober 13 likes by Zicklag · attie.ai Posts for Cyan Worlds' #MYSTober art prompts.
  2. Formal Methods (TLA+, Le 1 likes by Zicklag · attie.ai A feed about formal methods including TLA+, Lean, Coq, Isabelle, Alloy, model checking, theorem proving, and formal verification of software and mathematics.
  3. Tech Following Zicklag 0 likes by Zicklag · graze.social Filtered posts by everybody following @zicklag.katharos.group. The filter makes sure that it passes content and image moderation with high confidence, as well as matching the "Science & Technology" category with a high confidence.
  4. Tech Filtered List 0 likes by Zicklag · graze.social