dependently-typed
  • wiki
  • meetings
  • GhostCell (pt1)

    • Rank N Types
      • https://riptutorial.com/haskell/example/9606/rankntypes
    • Creating memory leaks in Java
      • https://stackoverflow.com/questions/6470651/how-can-i-create-a-memory-leak-in-java
    • Weak pointers
      • https://en.cppreference.com/w/cpp/memory/weak_ptr/~weak_ptr#Example
      • https://stackoverflow.com/questions/12030650/when-is-stdweak-ptr-useful
      • https://doc.rust-lang.org/book/ch15-06-reference-cycles.html#preventing-reference-cycles-turning-an-rct-into-a-weakt
      • https://dev.to/fenbf/how-a-weakptr-might-prevent-full-memory-cleanup-of-managed-object-i0i
    Links:
  • rss
  • email
  • github
  • discord